Jacques Combaz

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 13

Top Topics

Successful Deployment

Real Time Embedded

Mathematical Foundations

Top Venues

Math. Struct. Comput. Sci.

Publications

Aina Rasoldier, Alain Girault, Sophie Quinton, Jacques Combaz, Kevin Marquet
Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled. ICT4S (2023)
Anne-Laure Ligozat, Julien Lefèvre, Aurélie Bugeau, Jacques Combaz
Unraveling the hidden environmental impacts of AI solutions for environment. CoRR (2021)
Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand
Runtime Verification of Timed Properties in Autonomous Robots. MEMOCODE (2020)
Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
Local Planning Semantics: A Semantics for Distributed Real-Time Systems. Leibniz Trans. Embed. Syst. 6 (1) (2019)
Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay
Performance evaluation of stochastic real-time systems with the SBIP framework. Int. J. Crit. Comput. Based Syst. 8 (3/4) (2018)
Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
Knowledge Based Optimization for Distributed Real-Time Systems. APSEC (2017)
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz
Monitoring Multi-threaded Component-Based Systems. IFM (2016)
Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz
RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. TACAS (2016)
Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem
Local Planning of Multiparty Interactions with Bounded Horizons. FM (2016)
Ahlem Triki, Jacques Combaz, Saddek Bensalem
Optimized distributed implementation of timed component-based systems. MEMOCODE (2015)
Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem
Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. NFM (2015)
Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz
Compositional Verification for Timed Systems Based on Automatic Invariant Generation. Log. Methods Comput. Sci. 11 (3) (2015)
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz
Compositional Verification of Parameterised Timed Systems. NFM (2015)
Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki
Rigorous System Design Flow for Autonomous Systems. ISoLA (1) (2014)
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz
Compositional Invariant Generation for Timed Systems. TACAS (2014)
Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis
Model-Based Implementation of Parallel Real-Time Systems. FASE (2013)
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
Rigorous implementation of real-time systems - from theory to application. Math. Struct. Comput. Sci. 23 (4) (2013)
Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Félix Ingrand
Rigorous design of robot software: A formal component-based approach. Robotics Auton. Syst. 60 (12) (2012)
Tesnim Abdellatif, Jacques Combaz, Marc Poulhiès
Correct Implementation of Open Real-Time Systems. EUROMICRO-SEAA (2011)
Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis
Rigorous Component-Based System Design Using the BIP Framework. IEEE Softw. 28 (3) (2011)
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
Model-based implementation of real-time applications. EMSOFT (2010)
Mohamad Jaber, Jacques Combaz, Loïc Strus, Jean-Claude Fernandez
Using neural networks for quality management. ETFA (2008)
Jacques Combaz, Loïc Strus
A stochastic approach for fine grain QoS control. ESTIMedia (2008)
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus
Symbolic quality control for multimedia applications. Real Time Syst. 40 (1) (2008)
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus
Using Speed Diagrams for Symbolic Quality Management. IPDPS (2007)
Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis
Fine Grain QoS Control for Multimedia Application Software. DATE (2005)
Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis
QoS control for optimality and safety. EMSOFT (2005)