Jacques Combaz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
10
Active years
2005–2020
Best venue rank
C
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | MEMOCODE | Runtime Verification of Timed Properties in Autonomous Robots. | Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Flix Ingrand |
| 2017 | APSEC | Knowledge Based Optimization for Distributed Real-Time Systems. | Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga |
| 2016 | FM | Local Planning of Multiparty Interactions with Bounded Horizons. | Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem |
| 2016 | IFM | Monitoring Multi-threaded Component-Based Systems. | Hosein Nazarpour, Ylis Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz |
| 2016 | TACAS | RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. | Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz |
| 2015 | MEMOCODE | Optimized distributed implementation of timed component-based systems. | Ahlem Triki, Jacques Combaz, Saddek Bensalem |
| 2014 | ISoLA | Rigorous System Design Flow for Autonomous Systems. | Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki |
| 2014 | TACAS | Compositional Invariant Generation for Timed Systems. | Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz |
| 2013 | FASE | Model-Based Implementation of Parallel Real-Time Systems. | Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis |
| 2010 | EMSOFT | Model-based implementation of real-time applications. | Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis |
| 2008 | ETFA | Using neural networks for quality management. | Mohamad Jaber, Jacques Combaz, Loc Strus, Jean-Claude Fernandez |
| 2005 | DATE | Fine Grain QoS Control for Multimedia Application Software. | Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis |
| 2005 | EMSOFT | QoS control for optimality and safety. | Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis |