Papers
14
Total Citations
144
H-Index
8
About
No biography available yet.
Research Focus
Computer science14 · 144 citations
Programming language13 · 142 citations
Model checking10 · 128 citations
Distributed computing11 · 117 citations
Artificial intelligence8 · 86 citations
Robot8 · 86 citations
Software5 · 85 citations
Formal verification8 · 79 citations
Software engineering4 · 69 citations
Formal methods6 · 67 citations
Scalability6 · 52 citations
Robotics3 · 46 citations
Key Achievements
8
H-Index
14
Papers
144
Total Citations
10
Avg Citations/Paper
🏆 Most Cited Paper
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
31 citations · 2016
📈 Most Prolific Year: 2018 (3 Papers)
🤝 Key Collaborators: 12
🏛 Institutions: Centre National de la Recherche Scientifique, Université Fédérale de Toulouse Midi-Pyrénées, Verimag, Laboratoire d'Analyse et d'Architecture des Systèmes
Top Papers
- 1
- 2
- 3Compositional verification of embedded real-time systems15 citations · 2023
- 4Statistical Model Checking of Complex Robotic Systems13 citations · 2019
- 5
- 6Runtime Verification of Timed Properties in Autonomous Robots11 citations · 2020
- 7
- 8
- 9
- 10
Key Collaborators
FIFélix Ingrand6 shared papersPHPierre-Emmanuel Hladik3 shared papersAMAnthony Mallet3 shared papersSDSilvano Dal Zilio2 shared papersBBBernard Berthomieu2 shared papersAZAlexander Zuepke2 shared papersSLSimon Lacroix1 shared papersSBSaddek Bensalem1 shared papersJCJacques Combaz1 shared papersAIAnthony I. Mallet1 shared papersCRChristophe Reymann1 shared papersCSCristina Seceleanu1 shared papers
Not generated yet