Florence Maraninchi
About
Florence Maraninchi has authored 15 papers that have received a total of 174 indexed citations.
This includes 12 papers in Hardware and Architecture, 11 papers in Computational Theory and Mathematics and 4 papers in Software. The topics of these papers are Embedded Systems Design Techniques (11 papers), Formal Methods in Verification (11 papers) and Real-Time Systems Scheduling (4 papers). Florence Maraninchi is often cited by papers focused on Embedded Systems Design Techniques (11 papers), Formal Methods in Verification (11 papers) and Real-Time Systems Scheduling (4 papers) and collaborates with scholars based in France, United States and Switzerland. Florence Maraninchi's co-authors include Laurent Maillet-Contoz, Matthieu Moy, Jean-Pierre Talpin, Laurent Mounier and Stavros Tripakis and has published in prestigious journals such as Communications of the ACM, ACM SIGPLAN Notices and Science of Computer Programming.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Dacheng Zhao Breakdown of academic impact, for papers by Tianyi Li Breakdown of academic impact, for papers by Jean-Marc Elouard Breakdown of academic impact, for papers by Marcin Świątek Breakdown of academic impact, for papers by Tulsi Patel Breakdown of academic impact, for papers by Fei Yi Breakdown of academic impact, for papers by J. Peter Euben Breakdown of academic impact, for papers by Takumi Kasai