Jacques Combaz

30 papers A 4B 3C 4Misc 2Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2024 — conf
Decision-Making Under Environmental Complexity: The Need for Moving from Avoided Impacts of ICT Solutions to Systems Thinking Approaches.
ICT4S
David Ekchajzer, Laetitia Bornes, Jacques Combaz, Catherine Letondal, Rob A. Vingerhoeds
2023 — conf
Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled.
ICT4S
Aina Rasoldier, Alain Girault, Sophie Quinton, Jacques Combaz, Kevin Marquet
2021 J jnl
Unraveling the hidden environmental impacts of AI solutions for environment.
CoRR
Anne-Laure Ligozat, Julien Lefèvre, Aurélie Bugeau, Jacques Combaz
2020 C conf
Runtime Verification of Timed Properties in Autonomous Robots.
MEMOCODE
Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand
2019 J jnl
Local Planning Semantics: A Semantics for Distributed Real-Time Systems.
Leibniz Trans. Embed. Syst.
Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
2018 J jnl
Performance evaluation of stochastic real-time systems with the SBIP framework.
Int. J. Crit. Comput. Based Syst.
Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay
2017 C conf
Knowledge Based Optimization for Distributed Real-Time Systems.
APSEC
Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
2016 B conf
Local Planning of Multiparty Interactions with Bounded Horizons.
FM
Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem
2016 B conf
Monitoring Multi-threaded Component-Based Systems.
IFM
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz
2016 A conf
RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems.
TACAS
Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz
2015 — conf
Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models.
NFM
Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem
2015 J jnl
Compositional Verification for Timed Systems Based on Automatic Invariant Generation.
Log. Methods Comput. Sci.
Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz
2015 — conf
Compositional Verification of Parameterised Timed Systems.
NFM
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz
2015 — ch.
Correctness of Service Components and Service Component Ensembles.
The ASCENS Approach
Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron
2015 C conf
Optimized distributed implementation of timed component-based systems.
MEMOCODE
Ahlem Triki, Jacques Combaz, Saddek Bensalem
2015 — ch.
Tools for Ensemble Design and Runtime.
The ASCENS Approach
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
2014 A conf
Compositional Invariant Generation for Timed Systems.
TACAS
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz
2014 — conf
Rigorous System Design Flow for Autonomous Systems.
ISoLA (1)
Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki
2013 B conf
Model-Based Implementation of Parallel Real-Time Systems.
FASE
Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis
2013 J jnl
Rigorous implementation of real-time systems - from theory to application.
Math. Struct. Comput. Sci.
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
2012 J jnl
Rigorous design of robot software: A formal component-based approach.
Robotics Auton. Syst.
Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Félix Ingrand
2011 — conf
Correct Implementation of Open Real-Time Systems.
EUROMICRO-SEAA
Tesnim Abdellatif, Jacques Combaz, Marc Poulhiès
2011 J jnl
Rigorous Component-Based System Design Using the BIP Framework.
IEEE Softw.
Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis
2010 Misc conf
Model-based implementation of real-time applications.
EMSOFT
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis
2008 — conf
A stochastic approach for fine grain QoS control.
ESTIMedia
Jacques Combaz, Loïc Strus
2008 J jnl
Symbolic quality control for multimedia applications.
Real Time Syst.
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus
2008 C conf
Using neural networks for quality management.
ETFA
Mohamad Jaber, Jacques Combaz, Loïc Strus, Jean-Claude Fernandez
2007 A conf
Using Speed Diagrams for Symbolic Quality Management.
IPDPS
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus
2005 A conf
Fine Grain QoS Control for Multimedia Application Software.
DATE
Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis
2005 Misc conf
QoS control for optimality and safety.
EMSOFT
Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis