Papers
3
Total Citations
17
H-Index
2
About
No biography available yet.
Research Focus
Software engineering3 · 17 citations
Computer science3 · 17 citations
Formal verification3 · 17 citations
Programming language3 · 17 citations
Distributed computing2 · 15 citations
Embedded system2 · 15 citations
Model checking2 · 15 citations
Petri net2 · 15 citations
Robustness (evolution)1 · 8 citations
Computer architecture1 · 8 citations
Runtime verification1 · 7 citations
Formal methods1 · 2 citations
Key Achievements
2
H-Index
3
Papers
17
Total Citations
6
Avg Citations/Paper
🏆 Most Cited Paper
SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems
8 citations · 2022
📈 Most Prolific Year: 2022 (1 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: Office National d'Études et de Recherches Aérospatiales, Université Fédérale de Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique
Top Papers
- 1
- 2
- 3
Key Collaborators
Not generated yet