Papers
8
Total Citations
448
H-Index
6
About
No biography available yet.
Research Focus
Computer science8 · 448 citations
Programming language7 · 444 citations
Distributed computing7 · 414 citations
Component (thermodynamics)5 · 400 citations
Software3 · 379 citations
Software system3 · 379 citations
Correctness2 · 281 citations
Software engineering2 · 281 citations
Compiler1 · 278 citations
Formalism (music)1 · 278 citations
Software design1 · 278 citations
Component-based software engineering1 · 278 citations
Key Achievements
6
H-Index
8
Papers
448
Total Citations
56
Avg Citations/Paper
🏆 Most Cited Paper
Rigorous Component-Based System Design Using the BIP Framework
278 citations · 2011
📈 Most Prolific Year: 2011 (2 Papers)
🤝 Key Collaborators: 20
🏛 Institutions: Verimag, Université Joseph Fourier, Centre National de la Recherche Scientifique, Université Grenoble Alpes
Top Papers
- 1Rigorous Component-Based System Design Using the BIP Framework278 citations · 2011
- 2Runtime Verification of Component-Based Systems57 citations · 2011
- 3
- 4
- 5Component-based verification using incremental design and invariants18 citations · 2014
- 6
- 7Formal Modeling and Simulation of Collaborative Intelligent Robots4 citations · 2021
- 8Rigorous System Design Flow for Autonomous Systems3 citations · 2014
Key Collaborators
TNThanh-Hung Nguyen4 shared papersSBSaddek Bensalem4 shared papersSBSaddek Bensalem3 shared papersMJMohamad Jaber3 shared papersJSJoseph Sifakis2 shared papersJCJacques Combaz2 shared papersYFYlìès Falcone2 shared papersSCSalim Chehida1 shared papersABAnanda Basu1 shared papersIDIulia Dragomir1 shared papersBBBensalem Bensalem1 shared papersMKMoez Krichen1 shared papersATAhlem Triki1 shared papersMMMarta Millet1 shared papersALAxel Legay1 shared papersSISimon Iosti1 shared papersRYRongjie Yan1 shared papersSTStavros Tripakis1 shared papersABAbdelhakim Baouya1 shared papersMCMiquel Cantero1 shared papers
Not generated yet