Jacques Combaz

Verimag

Papers

7

Total Citations

362

H-Index

5

About

No biography available yet.

Research Focus

Distributed computing7 · 362 citations
Computer science7 · 362 citations
Programming language7 · 362 citations
Software3 · 327 citations
Component (thermodynamics)3 · 314 citations
Software engineering3 · 314 citations
Component-based software engineering2 · 311 citations
Software system2 · 311 citations
Correctness2 · 281 citations
Software design1 · 278 citations
Compiler1 · 278 citations
Formalism (music)1 · 278 citations

Key Achievements

5
H-Index
7
Papers
362
Total Citations
52
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: 13
🏛 Institutions: Verimag

Top Papers

  1. 1
    Rigorous Component-Based System Design Using the BIP Framework
    278 citations · 2011
  2. 2
    Rigorous design of robot software: A formal component-based approach
    33 citations · 2012
  3. 3
    Model-Based Implementation of Parallel Real-Time Systems
    19 citations · 2013
  4. 4
    Rigorous implementation of real-time systems – from theory to application
    16 citations · 2013
  5. 5
    Runtime Verification of Timed Properties in Autonomous Robots
    11 citations · 2020
  6. 6
    Rigorous System Design Flow for Autonomous Systems
    3 citations · 2014
  7. 7
    Open Real-time Systems: From Modeling to Implementation
    2 citations · 2011

Key Collaborators

JSJoseph Sifakis3 shared papersTATesnim Abdellatif3 shared papersATAhlem Triki2 shared papersMBMarius Bozga2 shared papersSBSaddek Bensalem2 shared papersFIFélix Ingrand2 shared papersSBSaddek Bensalem2 shared papersABAnanda Basu1 shared papersLDLavindra de Silva1 shared papersMJMohamad Jaber1 shared papersMFMohammed Foughali1 shared papersBBBensalem Bensalem1 shared papersTNThanh-Hung Nguyen1 shared papers
Not generated yet