Jacques Combaz

About

Jacques Combaz is a researcher whose work sits at the intersection of formal methods, real-time systems, and component-based software engineering. He is best known for his contributions to the BIP (Behavior, Interaction, Priority) framework, a rigorous design methodology that enables the structured composition of complex software systems across multiple levels of abstraction. His landmark 2011 paper, "Rigorous Component-Based System Design Using the BIP Framework," has accumulated 278 citations, establishing him as a key figure in the field of correct-by-construction system design. Combaz has consistently pushed the boundaries of applying formal methods to challenging engineering domains. His work on real-time systems addresses the critical and often underexplored problem of guaranteeing timing correctness from high-level models down to executable implementations. He has also extended these rigorous approaches into robotics, developing formal component-based methods for robot software design and runtime verification of timed properties in autonomous systems — reflecting a sustained commitment to making formal techniques practically applicable. His research trajectory demonstrates a clear vision: bridging the gap between theoretical rigor and real-world deployment, particularly in safety-critical domains where software failures carry significant consequences.

Research Focus

Key Achievements

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

Contact & Links