Verimag

🇫🇷 FR

Papers

29

Total Citations

898

H-Index

14

Researchers

25

About

No biography available yet.

Research Focus

Computer science28 · 894 citations
Programming language20 · 837 citations
Software9 · 612 citations
Distributed computing17 · 588 citations
Component (thermodynamics)9 · 495 citations
Software system4 · 412 citations
Software engineering4 · 320 citations
Correctness4 · 313 citations
Component-based software engineering2 · 311 citations
Artificial intelligence18 · 280 citations

Key Achievements

14
H-Index
29
Papers
898
Total Citations
25
Faculty & Researchers
🏆 Most Cited Paper
Rigorous Component-Based System Design Using the BIP Framework
278 citations · 2011
📊 Avg Citations/Paper: 31
📈 Most Prolific Year: 2013 (4)
🔬 Research Focus: Computer science, Programming language, Software, Distributed computing, Component (thermodynamics), Software system

Top Papers

  1. 1
    Rigorous Component-Based System Design Using the BIP Framework
    278 citations · 2011
  2. 2
    Coverage-guided test generation for continuous and hybrid systems
    86 citations · 2009
  3. 3
    Designing autonomous robots
    71 citations · 2009
  4. 4
    Verification of Hybrid Systems
    62 citations · 2018
  5. 5
    Runtime Verification of Component-Based Systems
    57 citations · 2011
  6. 6
    Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
    47 citations · 2003
  7. 7
    Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
    44 citations · 2013
  8. 8
    Testing Conformance of Real-Time Applications by Automatic Generation of Observers
    34 citations · 2005
  9. 9
    Rigorous design of robot software: A formal component-based approach
    33 citations · 2012
  10. 10
    Certified Universal Gathering in $$\mathbb {R} ^2$$ for Oblivious Mobile Robots
    26 citations · 2016

Faculty & Researchers

…

Not generated yet