Fine Grain QoS Control for Multimedia Application Software. - Jacques Combaz; Jean-Claude Fernandez; Thierry Lepley; Joseph Sifakis (DATE, 2005)

QoS control for optimality and safety. - Jacques Combaz; Jean-Claude Fernandez; Thierry Lepley; Joseph Sifakis (EMSOFT, 2005)

Using Speed Diagrams for Symbolic Quality Management. - Jacques Combaz; Jean-Claude Fernandez; Joseph Sifakis; Loïc Strus (IPDPS, 2007)

A stochastic approach for fine grain QoS control. - Jacques Combaz; Loïc Strus (ESTIMedia, 2008)

Using neural networks for quality management. - Mohamad Jaber 001; Jacques Combaz; Loïc Strus; Jean-Claude Fernandez (ETFA, 2008)

Symbolic quality control for multimedia applications. - Jacques Combaz; Jean-Claude Fernandez; Joseph Sifakis; Loïc Strus (Real Time Syst., 2008)

Model-based implementation of real-time applications. - Tesnim Abdellatif; Jacques Combaz; Joseph Sifakis (EMSOFT, 2010)

Correct Implementation of Open Real-Time Systems. - Tesnim Abdellatif; Jacques Combaz; Marc Poulhiès (EUROMICRO-SEAA, 2011)

Rigorous Component-Based System Design Using the BIP Framework. - Ananda Basu; Saddek Bensalem; Marius Bozga; Jacques Combaz; Mohamad Jaber 001; Thanh-Hung Nguyen; Joseph Sifakis (IEEE Softw., 2011)

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)

Model-Based Implementation of Parallel Real-Time Systems. - Ahlem Triki; Jacques Combaz; Saddek Bensalem; Joseph Sifakis (FASE, 2013)

Rigorous implementation of real-time systems - from theory to application. - Tesnim Abdellatif; Jacques Combaz; Joseph Sifakis (Math. Struct. Comput. Sci., 2013)

Rigorous System Design Flow for Autonomous Systems. - Saddek Bensalem; Marius Bozga; Jacques Combaz; Ahlem Triki (ISoLA (1), 2014)

Compositional Invariant Generation for Timed Systems. - Lacramioara Astefanoaei; Souha Ben Rayana; Saddek Bensalem; Marius Bozga; Jacques Combaz (TACAS, 2014)

Optimized distributed implementation of timed component-based systems. - Ahlem Triki; Jacques Combaz; Saddek Bensalem (MEMOCODE, 2015)

Compositional Verification of Parameterised Timed Systems. - Lacramioara Astefanoaei; Souha Ben Rayana; Saddek Bensalem; Marius Bozga; Jacques Combaz (NFM, 2015)

Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. - Ahlem Triki; Borzoo Bonakdarpour; Jacques Combaz; Saddek Bensalem (NFM, 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)

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; et al. (The ASCENS Approach, 2015)

Correctness of Service Components and Service Component Ensembles. - Jacques Combaz; Saddek Bensalem; Francesco Tiezzi 001; Andrea Margheri; Rosario Pugliese; Jan Kofron (The ASCENS Approach, 2015)

Local Planning of Multiparty Interactions with Bounded Horizons. - Mahieddine Dellabani; Jacques Combaz; Marius Bozga; Saddek Bensalem (FM, 2016)

Monitoring Multi-threaded Component-Based Systems. - Hosein Nazarpour; Yliès Falcone; Saddek Bensalem; Marius Bozga; Jacques Combaz (IFM, 2016)

RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. - Souha Ben Rayana; Marius Bozga; Saddek Bensalem; Jacques Combaz (TACAS, 2016)

Knowledge Based Optimization for Distributed Real-Time Systems. - Mahieddine Dellabani; Jacques Combaz; Saddek Bensalem; Marius Bozga (APSEC, 2017)

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)

Local Planning Semantics: A Semantics for Distributed Real-Time Systems. - Mahieddine Dellabani; Jacques Combaz; Saddek Bensalem; Marius Bozga (Leibniz Trans. Embed. Syst., 2019)

Runtime Verification of Timed Properties in Autonomous Robots. - Mohammed Foughali; Saddek Bensalem; Jacques Combaz; Félix Ingrand (MEMOCODE, 2020)

Unraveling the hidden environmental impacts of AI solutions for environment. - Anne-Laure Ligozat; Julien Lefèvre; Aurélie Bugeau; Jacques Combaz (CoRR, 2021)

Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled. - Aina Rasoldier; Alain Girault; Sophie Quinton; Jacques Combaz; Kevin Marquet (ICT4S, 2023)

Decision-Making Under Environmental Complexity: The Need for Moving from Avoided Impacts of ICT Solutions to Systems Thinking Approaches. - David Ekchajzer; Laetitia Bornes; Jacques Combaz; Catherine Letondal; Rob A. Vingerhoeds (ICT4S, 2024)