P. Caspi
About
P. Caspi has authored 10 papers that have received a total of 890 indexed citations.
This includes 7 papers in Hardware and Architecture, 6 papers in Computational Theory and Mathematics and 3 papers in Artificial Intelligence. The topics of these papers are Embedded Systems Design Techniques (7 papers), Formal Methods in Verification (6 papers) and Real-Time Systems Scheduling (6 papers). P. Caspi is often cited by papers focused on Embedded Systems Design Techniques (7 papers), Formal Methods in Verification (6 papers) and Real-Time Systems Scheduling (6 papers) and collaborates with scholars based in France and United States. P. Caspi's co-authors include Nicolas Halbwachs, D. Pilaud, Pascal Raymond, Stavros Tripakis and Florence Maraninchi and has published in prestigious journals such as Proceedings of the IEEE, IEEE Transactions on Software Engineering and IEEE Transactions on Computers
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Monica Macri are about Top countries impacted by papers by Sandeep Kaushik Top journals papers by Timo Schröder are published in Top journals papers by Peter H. Jons are published in Top fields papers by A Gee are about Top authors papers by Kate O’Connor are co-authored with Top journals papers by Yu‐Der Wen are published in Top authors papers by I A MacNeil are co-authored with