Jacques Combaz

According to our database, Jacques Combaz authored at least 29 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled.

Aina Rasoldier, Alain Girault, Sophie Quinton, Jacques Combaz, Kevin Marquet

Proceedings of the International Conference on ICT for Sustainability, 2023

2021

Unraveling the hidden environmental impacts of AI solutions for environment.

Anne-Laure Ligozat, Julien Lefèvre, Aurélie Bugeau, Jacques Combaz

CoRR, 2021

2020

Runtime Verification of Timed Properties in Autonomous Robots.

Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

2019

Local Planning Semantics: A Semantics for Distributed Real-Time Systems.

Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga

Leibniz Trans. Embed. Syst., 2019

2018

Performance evaluation of stochastic real-time systems with the SBIP framework.

Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay

Int. J. Crit. Comput. Based Syst., 2018

2017

Knowledge Based Optimization for Distributed Real-Time Systems.

Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems.

Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Monitoring Multi-threaded Component-Based Systems.

Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Local Planning of Multiparty Interactions with Bounded Horizons.

Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem

Proceedings of the FM 2016: Formal Methods, 2016

2015

Correctness of Service Components and Service Component Ensembles.

Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Tools for Ensemble Design and Runtime.

Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horký, Jaroslav Keznikl, Jan Kofron, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, Emil Vassev

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Compositional Verification for Timed Systems Based on Automatic Invariant Generation.

Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz

Log. Methods Comput. Sci., 2015

Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models.

Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Compositional Verification of Parameterised Timed Systems.

Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Optimized distributed implementation of timed component-based systems.

Ahlem Triki, Jacques Combaz, Saddek Bensalem

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

2014

Compositional Invariant Generation for Timed Systems.

Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Rigorous System Design Flow for Autonomous Systems.

Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013

Rigorous implementation of real-time systems - from theory to application.

Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis

Math. Struct. Comput. Sci., 2013

Model-Based Implementation of Parallel Real-Time Systems.

Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis

Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012

Rigorous design of robot software: A formal component-based approach.

Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Félix Ingrand

Robotics Auton. Syst., 2012

2011

Rigorous Component-Based System Design Using the BIP Framework.

Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis

IEEE Softw., 2011

Correct Implementation of Open Real-Time Systems.

Tesnim Abdellatif, Jacques Combaz, Marc Poulhiès

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2010

Model-based implementation of real-time applications.

Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis

Proceedings of the 10th International conference on Embedded software, 2010

2008

Symbolic quality control for multimedia applications.

Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus

Real Time Syst., 2008

Using neural networks for quality management.

Mohamad Jaber, Jacques Combaz, Loïc Strus, Jean-Claude Fernandez

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

A stochastic approach for fine grain QoS control.

Jacques Combaz, Loïc Strus

Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2008

2007

Using Speed Diagrams for Symbolic Quality Management.

Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2005

QoS control for optimality and safety.

Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis

Proceedings of the EMSOFT 2005, 2005

Fine Grain QoS Control for Multimedia Application Software.

Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis

Proceedings of the 2005 Design, 2005