F. Lagnier

2 papers and 86 indexed citations i.

About

F. Lagnier has authored 2 papers that have received a total of 86 indexed citations. This includes 2 papers in Computational Theory and Mathematics, 2 papers in Hardware and Architecture and 0 papers in Industrial relations. The topics of these papers are Embedded Systems Design Techniques (2 papers), Formal Methods in Verification (2 papers) and Real-Time Systems Scheduling (1 paper). F. Lagnier is often cited by papers focused on Embedded Systems Design Techniques (2 papers), Formal Methods in Verification (2 papers) and Real-Time Systems Scheduling (1 paper) and collaborates with scholars based in France. F. Lagnier's co-authors include Nicolas Halbwachs and Christophe Ratel and has published in prestigious journals such as IEEE Transactions on Software Engineering and Acta Informatica

In The Last Decade

Rankless by CCL
2025