Paul Le Guernic

43 papers and 949 indexed citations i.

About

Paul Le Guernic has authored 43 papers that have received a total of 949 indexed citations. This includes 37 papers in Hardware and Architecture, 22 papers in Computational Theory and Mathematics and 13 papers in Computer Networks and Communications. The topics of these papers are Embedded Systems Design Techniques (33 papers), Real-Time Systems Scheduling (22 papers) and Formal Methods in Verification (19 papers). Paul Le Guernic is often cited by papers focused on Embedded Systems Design Techniques (33 papers), Real-Time Systems Scheduling (22 papers) and Formal Methods in Verification (19 papers) and collaborates with scholars based in France, United States and Canada. Paul Le Guernic's co-authors include Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Huafeng Yu and Albert Benveniste and has published in prestigious journals such as IEEE Transactions on Automatic Control, Proceedings of the IEEE and Theoretical Computer Science

In The Last Decade

Rankless by CCL
2025