default search action

combined dblp search
author search
venue search
publication search

ask others

Jacques Combaz

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ict4s/RasoldierGQCM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ict4s/RasoldierGQCM23
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2110-11822
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-11822
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]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/FoughaliBCI20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/FoughaliBCI20
Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand:
Runtime Verification of Timed Properties in Autonomous Robots. MEMOCODE 2020: 1-12

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lites/DellabaniCBB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lites/DellabaniCBB19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijccbs/NouriMBCBL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijccbs/NouriMBCBL18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/DellabaniCBB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/DellabaniCBB17
Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga:
Knowledge Based Optimization for Distributed Real-Time Systems. APSEC 2017: 751-756
2016
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DellabaniCBB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DellabaniCBB16
Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem:
Local Planning of Multiparty Interactions with Bounded Horizons. FM 2016: 199-216
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/NazarpourFBBC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/NazarpourFBBC16
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Monitoring Multi-threaded Component-Based Systems. IFM 2016: 141-159
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/RayanaBBC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/RayanaBBC16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/RayanaABBC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RayanaABBC15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/TrikiCB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/TrikiCB15
Ahlem Triki, Jacques Combaz, Saddek Bensalem:
Optimized distributed implementation of timed component-based systems. MEMOCODE 2015: 30-35
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/AstefanoaeiRBBC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/AstefanoaeiRBBC15
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Compositional Verification of Parameterised Timed Systems. NFM 2015: 66-81
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/TrikiBCB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/TrikiBCB15
Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem:
Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. NFM 2015: 359-374
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/CombazBTMPK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/CombazBTMPK15
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]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/AbeywickramaCHKKLLMMMMPTVV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/AbeywickramaCHKKLLMMMMPTVV15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BensalemBCT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BensalemBCT14
Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki:
Rigorous System Design Flow for Autonomous Systems. ISoLA (1) 2014: 184-198
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/AstefanoaeiRBBC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AstefanoaeiRBBC14
Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz:
Compositional Invariant Generation for Timed Systems. TACAS 2014: 263-278
2013
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/AbdellatifCS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/AbdellatifCS13
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/TrikiCBS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/TrikiCBS13
Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis:
Model-Based Implementation of Parallel Real-Time Systems. FASE 2013: 235-249
2012
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ras/AbdellatifBCSI12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ras/AbdellatifBCSI12
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]
- view
  authority control:
- export record
  dblp key:
  - journals/software/BasuBBCJNS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/BasuBBCJNS11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/euromicro/AbdellatifCP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euromicro/AbdellatifCP11
Tesnim Abdellatif, Jacques Combaz, Marc Poulhiès:
Correct Implementation of Open Real-Time Systems. EUROMICRO-SEAA 2011: 57-64
2010
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/AbdellatifCS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/AbdellatifCS10
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis:
Model-based implementation of real-time applications. EMSOFT 2010: 229-238

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/CombazFSS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/CombazFSS08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/estimedia/CombazS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/estimedia/CombazS08
Jacques Combaz, Loïc Strus:
A stochastic approach for fine grain QoS control. ESTIMedia 2008: 115-120
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/JaberCS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/JaberCS08
Mohamad Jaber, Jacques Combaz, Loïc Strus, Jean-Claude Fernandez:
Using neural networks for quality management. ETFA 2008: 1441-1448
2007
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/CombazFSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/CombazFSS07
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus:
Using Speed Diagrams for Symbolic Quality Management. IPDPS 2007: 1-8
2005
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/date/CombazFLS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/CombazFLS05
Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis:
Fine Grain QoS Control for Multimedia Application Software. DATE 2005: 1038-1043
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/CombazFLS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/CombazFLS05
Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis:
QoS control for optimality and safety. EMSOFT 2005: 90-99

Coauthor Index

see FAQ

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.