Papers
5
Total Citations
73
H-Index
5
About
No biography available yet.
Research Focus
Programming language5 · 73 citations
Model checking5 · 73 citations
Computer science5 · 73 citations
Software4 · 60 citations
Distributed computing4 · 60 citations
Formal verification3 · 53 citations
Formal methods3 · 53 citations
Software engineering3 · 45 citations
Operating system3 · 33 citations
Embedded system2 · 32 citations
Scalability2 · 28 citations
Scheduling (production processes)2 · 28 citations
Key Achievements
5
H-Index
5
Papers
73
Total Citations
15
Avg Citations/Paper
🏆 Most Cited Paper
Formal verification of complex robotic systems on resource-constrained platforms
27 citations · 2018
📈 Most Prolific Year: 2018 (1 Papers)
🤝 Key Collaborators: 7
🏛 Institutions: Université Fédérale de Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique, Laboratoire d'Analyse et d'Architecture des Systèmes, École Centrale de Nantes
Top Papers
- 1
- 2Compositional verification of embedded real-time systems15 citations · 2023
- 3
- 4A formal toolchain for offline and run-time verification of robotic systems13 citations · 2022
- 5
Key Collaborators
Not generated yet