Julien Brunel
发表
Jan M. Broersen,
Julien Brunel,
J. Broersen,
2008,
CLIMA.
Julia L. Lawall,
Nicolas Palix,
Henrik Stuart,
2009,
DSN.
David Chemouil,
Frédérique Vallée,
Julien Brunel,
2014,
MoDeVVa@MoDELS.
Julien Brunel,
2004
.
Claire Pagetti,
Julien Brunel,
Nathanaël Sensfelder,
2019,
Dagstuhl Artifacts Ser..
David Chemouil,
Julien Brunel,
Christophe Chareton,
2011,
SBMF.
Pierre Bieber,
Frédéric Boniol,
Claire Pagetti,
2018
.
David Chemouil,
Denis Kuperberg,
Alcino Cunha,
2016,
SIGSOFT FSE.
Nora Cuppens-Boulahia,
Frédéric Cuppens,
Jean-Paul Bodeveix,
2007,
FMSE '07.
Claire Pagetti,
Julien Brunel,
Nathanaël Sensfelder,
2020,
ECRTS.
David Chemouil,
Julien Brunel,
Quentin Peyras,
2019,
TIME.
Fabien Dagnat,
David Chemouil,
Sylvain Bouveret,
2011,
2011 IEEE 27th International Conference on Data Engineering Workshops.
David Chemouil,
Julien Brunel,
Quentin Peyras,
2020,
Inf. Comput..
Jérôme Hugues,
Peter H. Feiler,
Christel Seguin,
2017,
IMBSA.
David Chemouil,
Julien Brunel,
Christophe Chareton,
2013,
SR.
Stéphane Paul,
Frédérique Vallée,
Anthony Faucogney,
2014,
ESSS.
Pierre Bieber,
Julien Brunel,
2014,
SAFECOMP Workshops.
Julien Brunel,
2004
.
David Doose,
Julien Brunel,
David Come,
2018,
SBMF.
David Chemouil,
Denis Kuperberg,
Julien Brunel,
2016,
ATVA.
Philippe Balbiani,
Julien Brunel,
Jan Broersen,
2009,
M4M.
Julia L. Lawall,
Nicolas Palix,
Gilles Muller,
2013,
Softw. Pract. Exp..
David Doose,
Julien Brunel,
David Come,
2018,
2018 Second IEEE International Conference on Robotic Computing (IRC).
David Chemouil,
Julien Brunel,
Christophe Chareton,
2015,
Inf. Comput..
David Chemouil,
Julien Brunel,
2015,
SAFECOMP Workshops.
David Chemouil,
Alcino Cunha,
Julien Brunel,
2019,
F-IDE@FM.
David Doose,
Julien Brunel,
David Come,
2018,
Encycl. Semantic Comput. Robotic Intell..
Jasdeep Singh,
Guillaume Infantes,
David Doose,
2018
.
David Chemouil,
Alcino Cunha,
Julien Brunel,
2018,
ABZ.
David Chemouil,
Julien Brunel,
Christophe Chareton,
2015,
SBMF.
Damien Doligez,
Julia L. Lawall,
Gilles Muller,
2009,
POPL '09.
David Chemouil,
Julien Brunel,
Jeanne Tawa,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Claire Pagetti,
Julien Brunel,
Nathanaël Sensfelder,
2019,
ECRTS.
Frédéric Boniol,
Kevin Delmas,
Claire Pagetti,
2018,
2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC).
Mamoun Filali,
Jean-Paul Bodeveix,
Julien Brunel,
2006,
DEON.
David Chemouil,
Alcino Cunha,
Julien Brunel,
2018,
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Claire Pagetti,
Julien Brunel,
Nathanaël Sensfelder,
2019
.
Julien Brunel,
Jacques Cazin,
2012,
SAFECOMP Workshops.
Jan M. Broersen,
Julien Brunel,
J. Broersen,
2007,
AAMAS '07.
Frédéric Boniol,
Kevin Delmas,
Claire Pagetti,
2019,
SAE Technical Paper Series.
Mamoun Filali,
David Chemouil,
Julien Brunel,
2019,
FM.
Jean-Paul Bodeveix,
David Chemouil,
Julien Brunel,
2021,
CAV.
David Chemouil,
Julien Brunel,
Christophe Chareton,
2013
.
Reconfigurable IMA platform : from safety assessment to test scenarios on the S CARLETT demonstrator
Claire Pagetti,
Eric Noulard,
Pierre Bieber,
2011
.