![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Jacques Combaz
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c19]Aina Rasoldier, Alain Girault, Sophie Quinton, Jacques Combaz, Kevin Marquet:
Assessing the Potential of Carpooling for Reducing Vehicle Kilometers Traveled. ICT4S 2023: 120-131 - 2021
- [i1]Anne-Laure Ligozat, Julien Lefèvre, Aurélie Bugeau, Jacques Combaz:
Unraveling the hidden environmental impacts of AI solutions for environment. CoRR abs/2110.11822 (2021) - 2020
- [c18]Mohammed Foughali
, Saddek Bensalem, Jacques Combaz, Félix Ingrand
:
Runtime Verification of Timed Properties in Autonomous Robots. MEMOCODE 2020: 1-12
2010 – 2019
- 2019
- [j7]Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga:
Local Planning Semantics: A Semantics for Distributed Real-Time Systems. Leibniz Trans. Embed. Syst. 6(1): 01:1-01:27 (2019) - 2018
- [j6]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): 340-370 (2018) - 2017
- [c17]Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga:
Knowledge Based Optimization for Distributed Real-Time Systems. APSEC 2017: 751-756 - 2016
- [c16]Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem:
Local Planning of Multiparty Interactions with Bounded Horizons. FM 2016: 199-216 - [c15]Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Monitoring Multi-threaded Component-Based Systems. IFM 2016: 141-159 - [c14]Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz:
RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. TACAS 2016: 394-406 - 2015
- [j5]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) - [c13]Ahlem Triki, Jacques Combaz, Saddek Bensalem:
Optimized distributed implementation of timed component-based systems. MEMOCODE 2015: 30-35 - [c12]Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Compositional Verification of Parameterised Timed Systems. NFM 2015: 66-81 - [c11]Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem:
Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. NFM 2015: 359-374 - [p2]Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron:
Correctness of Service Components and Service Component Ensembles. The ASCENS Approach 2015: 107-159 - [p1]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:
Tools for Ensemble Design and Runtime. The ASCENS Approach 2015: 429-448 - 2014
- [c10]Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki:
Rigorous System Design Flow for Autonomous Systems. ISoLA (1) 2014: 184-198 - [c9]Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Compositional Invariant Generation for Timed Systems. TACAS 2014: 263-278 - 2013
- [j4]Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis:
Rigorous implementation of real-time systems - from theory to application. Math. Struct. Comput. Sci. 23(4): 882-914 (2013) - [c8]Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis:
Model-Based Implementation of Parallel Real-Time Systems. FASE 2013: 235-249 - 2012
- [j3]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): 1563-1578 (2012) - 2011
- [j2]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): 41-48 (2011) - [c7]Tesnim Abdellatif, Jacques Combaz, Marc Poulhiès:
Correct Implementation of Open Real-Time Systems. EUROMICRO-SEAA 2011: 57-64 - 2010
- [c6]Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis:
Model-based implementation of real-time applications. EMSOFT 2010: 229-238
2000 – 2009
- 2008
- [j1]Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus:
Symbolic quality control for multimedia applications. Real Time Syst. 40(1): 1-43 (2008) - [c5]Jacques Combaz, Loïc Strus:
A stochastic approach for fine grain QoS control. ESTIMedia 2008: 115-120 - [c4]Mohamad Jaber
, Jacques Combaz, Loïc Strus, Jean-Claude Fernandez:
Using neural networks for quality management. ETFA 2008: 1441-1448 - 2007
- [c3]Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus:
Using Speed Diagrams for Symbolic Quality Management. IPDPS 2007: 1-8 - 2005
- [c2]Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis:
Fine Grain QoS Control for Multimedia Application Software. DATE 2005: 1038-1043 - [c1]Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis:
QoS control for optimality and safety. EMSOFT 2005: 90-99
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint