Jacques Combaz
发表
Tesnim Abdellatif,
Jacques Combaz,
Marc Poulhiès,
2011,
2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications.
Jacques Combaz,
Jean-Claude Fernandez,
Mohamad Jaber,
2008,
2008 IEEE International Conference on Emerging Technologies and Factory Automation.
Marius Bozga,
Saddek Bensalem,
Jacques Combaz,
2016,
FM.
Marius Bozga,
Saddek Bensalem,
Jacques Combaz,
2017,
2017 24th Asia-Pacific Software Engineering Conference (APSEC).
Jacques Combaz,
Loïc Strus,
2008,
2008 IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia.
Simon Bliudze,
Saddek Bensalem,
Jacques Combaz,
2015,
ICSEA 2015.
Joseph Sifakis,
Tesnim Abdellatif,
Jacques Combaz,
2010,
EMSOFT '10.
Joseph Sifakis,
Jacques Combaz,
Jean-Claude Fernandez,
2005,
EMSOFT.
Marius Bozga,
Saddek Bensalem,
Jacques Combaz,
2014,
ISoLA.
Joseph Sifakis,
Jacques Combaz,
Jean-Claude Fernandez,
2005,
Design, Automation and Test in Europe.
Marius Bozga,
Saddek Bensalem,
Jacques Combaz,
2016,
TACAS.
Jan Kofron,
Francesco Tiezzi,
Rosario Pugliese,
2015,
The ASCENS Approach.
Jacques Combaz,
2010
.
Ugo Montanari,
Petr Tuma,
Jan Kofron,
2015,
The ASCENS Approach.
Yliès Falcone,
Marius Bozga,
Saddek Bensalem,
2016,
IFM.
Tesnim Abdellatif,
Jacques Combaz,
2011
.
Marius Bozga,
Saddek Bensalem,
Jacques Combaz,
2019,
Leibniz Trans. Embed. Syst..
Axel Legay,
Marius Bozga,
Saddek Bensalem,
2018
.
Ugo Montanari,
Andrea Vandin,
Carlo Pinciroli,
2015
.
Axel Legay,
Marius Bozga,
Saddek Bensalem,
2018,
Int. J. Crit. Comput. Based Syst..
Lacramioara Astefanoaei,
Marius Bozga,
Saddek Bensalem,
2014,
TACAS.
Lavindra de Silva,
Saddek Bensalem,
Félix Ingrand,
2012,
Robotics Auton. Syst..
Joseph Sifakis,
Saddek Bensalem,
Jacques Combaz,
2013,
FASE.
Saddek Bensalem,
Jacques Combaz,
Ahlem Triki,
2015,
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Joseph Sifakis,
Tesnim Abdellatif,
Jacques Combaz,
2013,
Mathematical Structures in Computer Science.
Lacramioara Astefanoaei,
Marius Bozga,
Saddek Bensalem,
2015,
NFM.
Joseph Sifakis,
Jacques Combaz,
Jean-Claude Fernandez,
2008,
Real-Time Systems.
Joseph Sifakis,
Jacques Combaz,
Jean-Claude Fernandez,
2007,
2007 IEEE International Parallel and Distributed Processing Symposium.
Joseph Sifakis,
Thanh-Hung Nguyen,
Marius Bozga,
2011,
IEEE Software.
Lacramioara Astefanoaei,
Marius Bozga,
Saddek Bensalem,
2015,
Log. Methods Comput. Sci..
Borzoo Bonakdarpour,
Saddek Bensalem,
Jacques Combaz,
2015,
NFM.
Jacques Combaz,
Petro Poplavko,
2014
.
Anne-Laure Ligozat,
Jacques Combaz,
Aur'elie Bugeau,
2021,
ArXiv.