Papers
8
Total Citations
69
H-Index
5
About
No biography available yet.
Research Focus
Computer science8 · 69 citations
Distributed computing6 · 57 citations
Programming language4 · 56 citations
Component (thermodynamics)4 · 56 citations
Deadlock4 · 52 citations
Artificial intelligence5 · 46 citations
Robot4 · 45 citations
Embedded system3 · 34 citations
Software3 · 34 citations
Process (computing)2 · 29 citations
Control engineering3 · 28 citations
Engineering3 · 28 citations
Key Achievements
5
H-Index
8
Papers
69
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels
20 citations · 2011
📈 Most Prolific Year: 2011 (3 Papers)
🤝 Key Collaborators: 23
🏛 Institutions: Verimag, State Key Laboratory of Computer Science, Centre National de la Recherche Scientifique, Chinese Academy of Sciences, Institute of Software
Top Papers
- 1
- 2Component-based verification using incremental design and invariants18 citations · 2014
- 3
- 4
- 5
- 6
- 7Distributed Priority Synthesis and its Applications2 citations · 2011
- 8
Key Collaborators
SBSaddek Bensalem6 shared papersLDLavindra de Silva4 shared papersFIFélix Ingrand3 shared papersALAxel Legay2 shared papersJLJiewu Leng1 shared papersKHKai Huang1 shared papersMBMarius Bozga1 shared papersJLJun Lin1 shared papersYLYejing Li1 shared papersRARachid Alami1 shared papersAGAndreas Griesmayer1 shared papersGZGuangquan Zhang1 shared papersTNThanh-Hung Nguyen1 shared papersCXChengkai Xu1 shared papersHRHarald Rueß1 shared papersMZMingtai Zhang1 shared papersRSRihui Song1 shared papersMCMingcai Chen1 shared papersJSJoseph Sifakis1 shared papersLLLan Liu1 shared papers
Not generated yet