Claire Pagetti

17 papers and 111 indexed citations i.

About

Claire Pagetti has authored 17 papers that have received a total of 111 indexed citations. This includes 14 papers in Hardware and Architecture, 7 papers in Computational Theory and Mathematics and 4 papers in Artificial Intelligence. The topics of these papers are Embedded Systems Design Techniques (11 papers), Real-Time Systems Scheduling (10 papers) and Formal Methods in Verification (7 papers). Claire Pagetti is often cited by papers focused on Embedded Systems Design Techniques (11 papers), Real-Time Systems Scheduling (10 papers) and Formal Methods in Verification (7 papers) and collaborates with scholars based in France, India and Australia. Claire Pagetti's co-authors include Frédéric Boniol, Éric Noulard, Julien Forget, Daniel Gracia Pérez and David Lesens and has published in prestigious journals such as SAE technical papers on CD-ROM/SAE technical paper series, ACM SIGPLAN Notices and Real-Time Systems

In The Last Decade

Rankless by CCL
2025