Jean Quilbeuf
发表
Axel Legay,
Fabrizio Biondi,
Thomas Given-Wilson,
2018,
ISoLA.
Axel Legay,
Fabrizio Biondi,
Thomas Given-Wilson,
2020,
Comput. Secur..
Axel Legay,
Fabrizio Biondi,
Annelie Heuser,
2018,
VMCAI.
Flavio Oquendo,
Jérémy Buisson,
Elena Leroux,
2016
.
Jean Quilbeuf,
Jean Quilbeuf,
J. Quilbeuf,
2013
.
Axel Legay,
Louis-Marie Traonouez,
Pierre Schaus,
2016,
2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE).
Axel Legay,
Flávio Oquendo,
Everton Cavalcante,
2016,
ECSA.
Benoit Claise,
Jean Quilbeuf,
B. Claise,
2020
.
Axel Legay,
Jean Quilbeuf,
Van Chan Ngo,
2015,
ArXiv.
Axel Legay,
Flávio Oquendo,
Everton Cavalcante,
2016,
ISoLA.
Joseph Sifakis,
Marius Bozga,
Saddek Bensalem,
2015,
Sci. Comput. Program..
Georgeta Igna,
Harald Ruess,
Denis Bytschkow,
2013,
ArXiv.
Joseph Sifakis,
Marius Bozga,
Saddek Bensalem,
2012,
FMOODS/FORTE.
Axel Legay,
Fabrizio Biondi,
Thomas Given-Wilson,
2018,
2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE).
Joseph Sifakis,
Borzoo Bonakdarpour,
Marius Bozga,
2010,
EMSOFT '10.
Joseph Sifakis,
Marius Bozga,
Saddek Bensalem,
2012,
AGERE! 2012.
Borzoo Bonakdarpour,
Marius Bozga,
Jean Quilbeuf,
2013,
Des. Autom. Embed. Syst..
Axel Legay,
Jean Quilbeuf,
Van Chan Ngo,
2014,
ArXiv.
Doron A. Peled,
Borzoo Bonakdarpour,
Marius Bozga,
2013,
Haifa Verification Conference.
Georgeta Igna,
Harald Ruess,
Denis Bytschkow,
2014,
SmartGridSec.
Axel Legay,
Fabrizio Biondi,
Thomas Given-Wilson,
2017
.
Axel Legay,
Marco Marazza,
Valerio Senni,
2016,
EAI Endorsed Trans. Ind. Networks Intell. Syst..
Doron A. Peled,
Marius Bozga,
Saddek Bensalem,
2012,
Haifa Verification Conference.
Jean Quilbeuf,
Jean Quilbeuf,
J. Quilbeuf,
2013
.
Borzoo Bonakdarpour,
Marius Bozga,
Jean Quilbeuf,
2011,
2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Salah Sadou,
Axel Legay,
Régis Fleurquin,
2018,
2018 13th Annual Conference on System of Systems Engineering (SoSE).
Jean-Louis Lanet,
Axel Legay,
Fabrizio Biondi,
2016
.
Benoit Claise,
Jean Quilbeuf,
B. Claise,
2020
.
Axel Legay,
Flávio Oquendo,
Jean Quilbeuf,
2015,
ERCIM News.
The sosADL studio: an architecture development environment for software-intensive systems-of-systems
Flávio Oquendo,
Jérémy Buisson,
Elena Leroux,
2016,
SiSoS@ECSA '16.
Axel Legay,
Jean Quilbeuf,
Van Chan Ngo,
2016,
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).
Axel Legay,
Fabrizio Biondi,
Thomas Given-Wilson,
2018
.
Axel Legay,
Ioana Cristescu,
Jean Quilbeuf,
2018,
FMICS.
Joseph Sifakis,
Borzoo Bonakdarpour,
Marius Bozga,
2012,
Distributed Computing.
Lukas Rummelhard,
Axel Legay,
Olivier Simonin,
2018
.
Axel Legay,
Marco Marazza,
Valerio Senni,
2017,
EAI Endorsed Trans. Ind. Networks Intell. Syst..
Lukas Rummelhard,
Axel Legay,
Olivier Simonin,
2019,
2019 IEEE Intelligent Vehicles Symposium (IV).
Axel Legay,
Marco Marazza,
Valerio Senni,
2015
.
Joseph Sifakis,
Borzoo Bonakdarpour,
Marius Bozga,
2010,
International Symposium on Industrial Embedded System (SIES).
Axel Legay,
Fabrizio Biondi,
Jean Quilbeuf,
2014
.
Axel Legay,
Fabrizio Biondi,
Jean Quilbeuf,
2015,
SPIN.