Louis-Marie Traonouez
发表
Axel Legay,
Sean Sedwards,
Louis-Marie Traonouez,
2015
.
Axel Legay,
Sean Sedwards,
Louis-Marie Traonouez,
2015,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
K. Larsen,
B. Steffen,
Axel Legay,
2017,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Jan Křetínský,
U. Fahrenberg,
2017,
Soft Computing.
D. Lime,
C. Jard,
O. Roux,
2013,
Formal Methods in System Design.
Cyrille Jégourel,
Axel Legay,
Sean Sedwards,
2015,
ArXiv.
Axel Legay,
Louis-Marie Traonouez,
Jan Křetínský,
2020,
Inf. Comput..
Axel Legay,
Ulrich Fahrenberg,
Louis-Marie Traonouez,
2014,
FPS@ETAPS.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2014,
FPS@ETAPS.
Axel Legay,
Ulrich Fahrenberg,
Louis-Marie Traonouez,
2014,
ICTAC.
K. Larsen,
Axel Legay,
Ulrik Nyman,
2015,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Ulrich Fahrenberg,
Jan Kretínský,
2014,
FACS.
Axel Legay,
Sean Sedwards,
Louis-Marie Traonouez,
2013,
SEFM Workshops.
Axel Legay,
Sean Sedwards,
Louis-Marie Traonouez,
2016,
ISoLA.
Axel Legay,
Maurice H. ter Beek,
Davide Basile,
2018,
VECoS.
Axel Legay,
Flávio Oquendo,
Everton Cavalcante,
2016,
ISoLA.
Axel Legay,
P. D’Argenio,
Sean Sedwards,
2014,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Louis-Marie Traonouez,
Axel Legay,
2013,
ATVA.
Axel Legay,
Louis-Marie Traonouez,
Tania Richmond,
2018,
ISoLA.
Axel Legay,
Louis-Marie Traonouez,
Axel Legay,
2017
.
Axel Legay,
Louis-Marie Traonouez,
Axel Legay,
2016,
LNCS Trans. Found. Mastering Chang..
Axel Legay,
Sean Sedwards,
Louis-Marie Traonouez,
2015,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Axel Legay,
Louis-Marie Traonouez,
Pierre Schaus,
2016,
2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE).
Axel Legay,
Olivier Zendra,
Louis-Marie Traonouez,
2019,
2019 17th International Conference on Privacy, Security and Trust (PST).
Kim G. Larsen,
Jirí Srba,
Paul Pettersson,
2013,
Communicating Embedded Systems.
Axel Legay,
Andrzej Wasowski,
Fabrizio Biondi,
2013,
CAV.
Axel Legay,
Sean Sedwards,
Louis-Marie Traonouez,
2014
.
Axel Legay,
Sean Sedwards,
Louis-Marie Traonouez,
2014,
ArXiv.
Didier Lime,
Olivier H. Roux,
Louis-Marie Traonouez,
2010,
Formal Methods in System Design.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2011,
FORMATS.
Kim G. Larsen,
Axel Legay,
Bernhard Steffen,
2017,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Louis-Marie Traonouez,
2016,
LNCS Trans. Found. Mastering Chang..
Axel Legay,
Sean Sedwards,
Louis-Marie Traonouez,
2016,
RP.
Axel Legay,
Kevin Corre,
Louis-Marie Traonouez,
2014
.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2013,
International Journal on Software Tools for Technology Transfer.
Didier Lime,
Olivier H. Roux,
Louis-Marie Traonouez,
2008,
FORMATS.
Didier Lime,
Olivier H. Roux,
Louis-Marie Traonouez,
2009,
J. Univers. Comput. Sci..
Axel Legay,
Maxime Cordy,
Pierre-Yves Schobbens,
2013,
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Axel Legay,
Sean Sedwards,
Louis-Marie Traonouez,
2014,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Radu Grosu,
Scott A. Smolka,
2019,
Computing and Software Science.