Axel Legay
发表
Nathalie Bertrand,
Axel Legay,
Sophie Pinchinat,
2009,
ICFEM.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2011,
Sci. Comput. Program..
Axel Legay,
Benoît Delahaye,
José Luiz Fiadeiro,
2014,
ICTAC.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2011,
LATA.
P. Wolper,
Axel Legay,
A. Bouajjani,
2004
.
Axel Legay,
Maurice H. ter Beek,
Alberto Lluch-Lafuente,
2015,
FMSPLE.
Axel Legay,
Andrea Vandin,
Alberto Lluch Lafuente,
2017,
IEEE Transactions on Software Engineering.
K. Larsen,
Axel Legay,
2013
.
Axel Legay,
Ulrik Nyman,
K. Larsen,
2013
.
K. Larsen,
Axel Legay,
A. David,
2010
.
Axel Legay,
R. Sadre,
Nuno Santos,
2020,
MobiQuitous.
Axel Legay,
T. Genet,
Yohan Boichut,
2010
.
K. Chatterjee,
L. D. Alfaro,
M. Faella,
2007
.
Axel Legay,
Nuno Santos,
Igor Zavalyshyn,
2020,
2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom).
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2013,
IEEE Transactions on Software Engineering.
Axel Legay,
U. Fahrenberg,
2017
.
Axel Legay,
Marius Bozga,
Saddek Bensalem,
2018,
ATVA.
Axel Legay,
Samarjit Chakraborty,
Deepak Gangadharan,
2012
.
Mahesh Viswanathan,
Axel Legay,
2009
.
Charles-Henry Bertrand Van Ouytsel,
Axel Legay,
Khanh-Huu-The Dam,
2022,
ARES.
Axel Legay,
Sean Sedwards,
Louis-Marie Traonouez,
2015
.
P. Wolper,
Axel Legay,
A. Bouajjani,
2008
.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2015,
International Journal on Software Tools for Technology Transfer.
K. Larsen,
Axel Legay,
A. David,
2011
.
Marius Mikucionis,
Axel Legay,
Sean Sedwards,
2016
.
Axel Legay,
Sean Sedwards,
Louis-Marie Traonouez,
2015,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
P. Wolper,
Axel Legay,
Pierre Wolper,
2008
.
Jiangchuan Liu,
Axel Legay,
M. Bozga,
2014
.
B. Caillaud,
Axel Legay,
Benoît Delahaye,
2010,
FMOODS/FORTE.
Moshe Y. Vardi,
J. Ouaknine,
Axel Legay,
2018,
LICS.
Axel Legay,
Olivier Bonaventure,
Quentin De Coninck,
2021,
SIGCOMM Posters and Demos.
K. Larsen,
Axel Legay,
Benoît Delahaye,
2014
.
Axel Legay,
Alexandre David,
Didier Lime,
2016,
Lecture Notes in Computer Science.
Axel Legay,
Andrzej Wasowski,
Sebastian Bauer,
2012,
FASE.
K. Larsen,
D. Lime,
Axel Legay,
2011
.
Axel Legay,
Khanh-Huu-The Dam,
Rosana Veroneze,
2022,
Appl. Soft Comput..
Kuldeep S. Meel,
Vinodchandran N. Variyam,
Axel Legay,
2022,
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE).
Flavio Oquendo,
Axel Legay,
Muhammad Ali Babar,
2016
.
Flavio Oquendo,
Axel Legay,
Muhammad Ali Babar,
2016,
SiSoS@ECSA.
Axel Legay,
Thomas Given-Wilson,
2015
.
Mikkel L. Pedersen,
K. Larsen,
Axel Legay,
2011
.
Kim G. Larsen,
Axel Legay,
K. Larsen,
2020,
ISoLA.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2017,
Dependable Software Systems Engineering.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2013,
ICTAC Training School on Software Engineering.
Kim G. Larsen,
Axel Legay,
K. Larsen,
2014,
ISoLA.
Pierre-Yves Schobbens,
Axel Legay,
Eun-Young Kang,
2012
.
Axel Legay,
Igor Zavalyshyn,
E. Rivière,
2022,
Proc. Priv. Enhancing Technol..
Axel Legay,
Kim Guldstrand,
Larsen,
2016
.
P. Wolper,
Axel Legay,
A. Bouajjani,
2004
.
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.
B. Caillaud,
Axel Legay,
Benoît Delahaye,
2012
.
K. Mens,
Axel Legay,
P. Martou,
2022,
COP@ECOOP.
Sebastian S. Bauer,
K. Larsen,
Axel Legay,
2012,
Formal Methods in System Design.
Axel Legay,
2008
.
Kim G. Larsen,
Axel Legay,
Sean Sedwards,
2019,
ATVA.
Axel Legay,
Thomas Given-Wilson,
Khanh-Huu-The Dam,
2021,
SAC.
Cyrille Jégourel,
Axel Legay,
Ezio Bartocci,
2016,
ISoLA.
Axel Legay,
Fabrizio Biondi,
Thomas Given-Wilson,
2020,
Comput. Secur..
E. Tronci,
Axel Legay,
Maxime Cordy,
2022,
CPS Summer School, PhD Workshop.
Cyrille Jégourel,
Axel Legay,
Sean Sedwards,
2016,
Theor. Comput. Sci..
Axel Legay,
Axel Legay,
2015
.
Cyrille Jégourel,
Axel Legay,
Sean Sedwards,
2015,
ArXiv.
Axel Legay,
Sean Sedwards,
Pedro R. D'Argenio,
2016,
IFM.
Axel Legay,
Sumit Kumar Jha,
Edmund M. Clarke,
2009,
CMSB.
Axel Legay,
Sumit Kumar Jha,
Edmund M. Clarke,
2009
.
Antonis A. Argyros,
Axel Legay,
Sean Sedwards,
2015,
Intell. Serv. Robotics.
Axel Legay,
Ulrich Fahrenberg,
Karin Quaas,
2020,
Theor. Comput. Sci..
Axel Legay,
Uli Fahrenberg,
Axel Legay,
2020,
ISoLA.
Axel Legay,
Ulrich Fahrenberg,
Axel Legay,
2020,
J. Log. Algebraic Methods Program..
Axel Legay,
Karin Quaas,
Uli Fahrenberg,
2019,
ICTAC.
Kim G. Larsen,
Axel Legay,
K. Larsen,
2018,
ISoLA.
Axel Legay,
Ulrich Fahrenberg,
Axel Legay,
2016,
SOFSEM.
Kim G. Larsen,
Axel Legay,
K. Larsen,
2016,
ISoLA.
Kim G. Larsen,
Axel Legay,
K. Larsen,
2016,
ISoLA.
Kim G. Larsen,
Axel Legay,
Benoît Delahaye,
2013,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Axel Legay,
K. Larsen,
2013,
FACS.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2013,
NASA Formal Methods.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
HSB.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2012,
Perform. Evaluation.
Kim G. Larsen,
Axel Legay,
K. Larsen,
2012,
WADT.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2011,
FORMATS.
Kim G. Larsen,
Joost-Pieter Katoen,
Axel Legay,
2011,
VMCAI.
Axel Legay,
Benoît Delahaye,
Saddek Bensalem,
2010,
RV.
Axel Legay,
Mariëlle Stoelinga,
Marco Faella,
2008,
QAPL.
Cyrille Jégourel,
Axel Legay,
Sean Sedwards,
2012,
CAV.
Axel Legay,
Louis-Marie Traonouez,
Jan Křetínský,
2020,
Inf. Comput..
Axel Legay,
Ulrich Fahrenberg,
Axel Legay,
2014,
XM@MoDELS.
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2014,
Software & Systems Modeling.
Axel Legay,
Ulrich Fahrenberg,
Louis-Marie Traonouez,
2014,
FPS@ETAPS.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2014,
FPS@ETAPS.
Axel Legay,
Ulrich Fahrenberg,
Axel Legay,
2014,
Acta Informatica.
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,
Benoît Delahaye,
Ulrich Fahrenberg,
2013,
CONCUR.
Kim G. Larsen,
Axel Legay,
Benoît Delahaye,
2012,
QEST.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2012,
Formal Methods Syst. Des..
Nathalie Bertrand,
Axel Legay,
Sophie Pinchinat,
2012,
Sci. Comput. Program..
Axel Legay,
Rolf Hennicker,
Sebastian S. Bauer,
2012,
FACS.
Kim G. Larsen,
Axel Legay,
Jirí Srba,
2012,
2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.
Axel Legay,
Ulrich Fahrenberg,
Sebastian S. Bauer,
2012,
CSR.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2012,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Axel Legay,
Jirí Srba,
2012,
Mathematical Structures in Computer Science.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2012,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2012,
FASE.
Axel Legay,
Andrzej Wasowski,
Ulrich Fahrenberg,
2011,
MODELS'11.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2011,
2011 Eighth International Conference on Quantitative Evaluation of SysTems.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2011,
MFCS.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2011,
Theor. Comput. Sci..
Kim G. Larsen,
Joost-Pieter Katoen,
Axel Legay,
2011,
2011 Eleventh International Conference on Application of Concurrency to System Design.
Pierre-Yves Schobbens,
Axel Legay,
Andreas Classen,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Axel Legay,
Benoît Caillaud,
Benoît Delahaye,
2011,
Formal Methods Syst. Des..
Axel Legay,
Roberto Passerone,
Benoît Caillaud,
2011,
Fundam. Informaticae.
Axel Legay,
Andrzej Wasowski,
Axel Legay,
2011,
FIT.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Kim G. Larsen,
Timothy Bourke,
Axel Legay,
2010,
WADT.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2010,
HSCC '10.
Axel Legay,
Andrzej Wasowski,
Kim Guldstrand Larsen,
2010
.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2010
.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2009,
FMCO.
Axel Legay,
Roberto Passerone,
Benoît Caillaud,
2009,
EMSOFT '09.
Axel Legay,
Thomas Given-Wilson,
Eduard Baranov,
2020,
ISoLA.
Axel Legay,
Sean Sedwards,
Kevin Corre,
2013,
QEST.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2011,
CAV.
Axel Legay,
Benoît Delahaye,
Marius Bozga,
2010,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Ulrich Fahrenberg,
Zoltán Ésik,
2017,
Acta Cybern..
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
ISoLA.
Kim G. Larsen,
Axel Legay,
Guangyuan Li,
2012,
LPAR.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
IWIGP.
Axel Legay,
Maurice H. ter Beek,
Davide Basile,
2019,
FMICS.
Lukas Rummelhard,
Axel Legay,
Olivier Simonin,
2019,
2019 IEEE Intelligent Vehicles Symposium (IV).
Lukas Rummelhard,
Axel Legay,
Olivier Simonin,
2018
.
Axel Legay,
Benoît Boyer,
Alexandre Arnold,
2013,
AiSoS.
Kim G. Larsen,
Axel Legay,
Ulrich Fahrenberg,
2013,
ICTAC Training School on Software Engineering.
Axel Legay,
Annelie Heuser,
Shivam Bhasin,
2018,
SPACE.
Axel Legay,
Sumit Kumar Jha,
Edmund M. Clarke,
2008,
CMSB.
Lionel Metongnon,
Ramin Sadre,
Axel Legay,
2021,
IEEE Access.
Axel Legay,
Benoît Boyer,
Yohan Boichut,
2012,
ICFEM.
Axel Legay,
Sean Sedwards,
Luigi Palopoli,
2015,
J. Ambient Intell. Smart Environ..
François Goasdoué,
Chen Qian,
Vincent Claveau,
2015
.
Pierre-Yves Schobbens,
Axel Legay,
Mathieu Acher,
2016,
2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE).
Kim G. Larsen,
Axel Legay,
Alexandre David,
2014,
ATVA.
Axel Legay,
Axel Legay,
2011,
International Journal on Software Tools for Technology Transfer.
Pierre Wolper,
Axel Legay,
Axel Legay,
2008,
TOCL.
Kim G. Larsen,
Axel Legay,
Alexandre David,
2015,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
ISoLA.
Axel Legay,
Ulrich Fahrenberg,
Jan Kretínský,
2014,
FACS.
Tiziana Margaria,
Wang Yi,
T. Margaria,
2001,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Axel Legay,
Anders P. Ravn,
2012,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2010,
ATVA.
Kim G. Larsen,
Axel Legay,
Guangyuan Li,
2012,
RV.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
QAPL.
Cyrille Jégourel,
Axel Legay,
Sean Sedwards,
2012,
TACAS.
Axel Legay,
Suzanne Kieffer,
Daniela Azevedo,
2022,
VISIGRAPP.
Axel Legay,
Etienne Riviere,
Igor Zavalyshyn,
2021,
UbiComp/ISWC Adjunct.
Axel Legay,
Sean Sedwards,
Louis-Marie Traonouez,
2013,
SEFM Workshops.
Axel Legay,
Benoît Caillaud,
Benoît Delahaye,
2010,
2010 10th International Conference on Application of Concurrency to System Design.
Pierre Wolper,
Axel Legay,
Ahmed Bouajjani,
2009,
ArXiv.
Axel Legay,
Benoît Caillaud,
Benoît Delahaye,
2009
.
Pierre Wolper,
Axel Legay,
Axel Legay,
2006,
MTCoord@COORDINATION.
Pierre Wolper,
Axel Legay,
Bernard Boigelot,
2003,
CAV.
Axel Legay,
Sean Sedwards,
Louis-Marie Traonouez,
2016,
ISoLA.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2014,
Sci. Comput. Program..
Axel Legay,
Benoît Boyer,
Marius Bozga,
2013,
2013 13th International Conference on Application of Concurrency to System Design.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2011,
PDMC.
Axel Legay,
Doron A. Peled,
Thanh-Hung Nguyen,
2011,
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
Axel Legay,
Ulrich Fahrenberg,
Axel Legay,
2015,
CALCO.
Etienne Riviere,
Igor Zavalyshyn,
Axel Legay,
2021,
2021 10th Latin-American Symposium on Dependable Computing (LADC).
Joël Ouaknine,
James Worrell,
Axel Legay,
2008,
TACAS.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2014,
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2014,
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Jean-Louis Lanet,
Axel Legay,
Ronan Lashermes,
2018,
ARES.
Axel Legay,
Van Chan Ngo,
Axel Legay,
2017,
J. Softw. Evol. Process..
Axel Legay,
Jean Quilbeuf,
Van Chan Ngo,
2016,
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).
Axel Legay,
Jean Quilbeuf,
Van Chan Ngo,
2014,
ArXiv.
Axel Legay,
Maxime Cordy,
Mike Papadakis,
2021,
Formal Aspects of Computing.
Axel Legay,
Maxime Cordy,
Mike Papadakis,
2020,
FASE.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2017,
SOFSEM.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2012,
SPLC '12.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2012,
VaMoS.
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2010,
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.
Pierre-Yves Schobbens,
Axel Legay,
Andreas Classen,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
Parosh Aziz Abdulla,
Axel Legay,
Julien d'Orso,
2006,
J. Log. Algebraic Methods Program..
Parosh Aziz Abdulla,
Axel Legay,
Julien d'Orso,
2005,
TACAS.
Axel Legay,
Maurice H. ter Beek,
Davide Basile,
2018,
VECoS.
J. Sifakis,
Axel Legay,
M. Bozga,
2016,
Software & Systems Modeling.
Axel Legay,
Sean Sedwards,
Olivier Zendra,
2018,
Journal of Reliable Intelligent Environments.
Dejan Nickovic,
Thomas A. Henzinger,
Axel Legay,
2010,
2010 10th International Conference on Application of Concurrency to System Design.
Axel Legay,
Fabrizio Biondi,
Axel Legay,
2016,
ISoLA.
Axel Legay,
Christian Laugier,
Alessandro Renzaglia,
2020,
2020 IEEE Intelligent Vehicles Symposium (IV).
L. Vanbever,
R. Bush,
O. Bonaventure,
2023,
NSDI.
Axel Legay,
Ulrich Fahrenberg,
Xavier Allamigeon,
2013,
Int. J. Algebra Comput..
A. Pitsillides,
V. Janjic,
M. Vinov,
2019,
2019 IEEE International Conference on Big Data (Big Data).
Axel Legay,
Thomas Given-Wilson,
Nisrine Jafri,
2020,
Innovations in Systems and Software Engineering.
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2011,
NASA Formal Methods.
Mahesh Viswanathan,
Axel Legay,
2015,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Sean Sedwards,
Axel Legay,
2013,
ArXiv.
Maurice H. ter Beek,
Axel Legay,
D. Basile,
2019,
Innovations in Systems and Software Engineering.
Axel Legay,
Flávio Oquendo,
Everton Cavalcante,
2016,
ISoLA.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2014,
Software Engineering.
Axel Legay,
P. D’Argenio,
Sean Sedwards,
2014,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Andrzej Wasowski,
Fabrizio Biondi,
2013,
Theor. Comput. Sci..
Axel Legay,
Leandro Dias da Silva,
Luca de Alfaro,
2005,
FroCoS.
Axel Legay,
M. Beek,
Maxime Cordy,
2022,
Empirical Software Engineering.
Axel Legay,
Felicita Di Giandomenico,
Gian Luigi Ferrari,
2020,
Sci. Comput. Program..
Axel Legay,
Louis-Marie Traonouez,
Axel Legay,
2013,
ATVA.
Axel Legay,
Maurice H. ter Beek,
Andrea Vandin,
2021,
Comput. Secur..
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..
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2013,
Assurances for Self-Adaptive Systems.
Dejan Nickovic,
Thomas A. Henzinger,
Axel Legay,
2012,
FMOODS/FORTE.
Pierre-Yves Schobbens,
Axel Legay,
James Jerson Ortiz,
2011,
CIAA.
Axel Legay,
Felicita Di Giandomenico,
Gian Luigi Ferrari,
2021,
FORTE.
Axel Legay,
Flávio Oquendo,
Axel Legay,
2015,
ERCIM News.
Axel Legay,
Annelie Heuser,
Stjepan Picek,
2017,
IACR Cryptol. ePrint Arch..
Cyrille Jégourel,
Axel Legay,
Sean Sedwards,
2013,
CAV.
Axel Legay,
Roberto Passerone,
Ulrich Fahrenberg,
2016,
ACM Trans. Embed. Comput. Syst..
Ramin Sadre,
Axel Legay,
Thomas Given-Wilson,
2021,
2021 40th International Symposium on Reliable Distributed Systems (SRDS).
Axel Legay,
Annelie Heuser,
Stjepan Picek,
2017
.
Axel Legay,
Lejla Batina,
Annelie Heuser,
2017,
IACR Cryptol. ePrint Arch..
Giacomo Iadarola,
Axel Legay,
C. Ponsard,
2022,
CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS.
Axel Legay,
Lavindra de Silva,
Saddek Bensalem,
2011,
SC@TOOLS.
Michael A. Enescu,
Axel Legay,
Thomas Given-Wilson,
2023
.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2019,
From Software Engineering to Formal Methods and Tools, and Back.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Axel Legay,
Maurice H. ter Beek,
Davide Basile,
2020,
FORTE.
Axel Legay,
Annelie Heuser,
Shivam Bhasin,
2018,
IACR Cryptol. ePrint Arch..
Axel Legay,
Annelie Heuser,
Stjepan Picek,
2017,
AFRICACRYPT.
Axel Legay,
Uli Fahrenberg,
Axel Legay,
2020,
2021 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Jean-Louis Lanet,
Axel Legay,
Thomas Given-Wilson,
2017,
2017 IEEE Trustcom/BigDataSE/ICESS.
Maurice H. ter Beek,
Axel Legay,
Alessio Ferrari,
2022,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Louis-Marie Traonouez,
Pierre Schaus,
2016,
2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE).
Axel Legay,
Khanh-Huu-The Dam,
2023,
ARES.
Axel Legay,
Sophie Pinchinat,
Laura Bozzelli,
2010,
Theor. Comput. Sci..
Axel Legay,
Thomas Given-Wilson,
Axel Legay,
2020,
ARES.
Salah Sadou,
Axel Legay,
Régis Fleurquin,
2018,
2018 13th Annual Conference on System of Systems Engineering (SoSE).
Axel Legay,
Olivier Zendra,
Louis-Marie Traonouez,
2019,
2019 17th International Conference on Privacy, Security and Trust (PST).
Kim G. Larsen,
Axel Legay,
Guangyuan Li,
2014,
2014 14th International Conference on Application of Concurrency to System Design.
Axel Legay,
Doron A. Peled,
Saddek Bensalem,
2013,
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).
Axel Legay,
Olivier Serre,
Aniello Murano,
2008,
IFIP TCS.
Axel Legay,
Darko Marinov,
Gul A. Agha,
2012,
FMOODS/FORTE.
Axel Legay,
Dominic Bucerzan,
Tania Richmond,
2018,
2018 7th International Conference on Computers Communications and Control (ICCCC).
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2016,
VaMoS.
Axel Legay,
Tristan Le Gall,
Thomas Genet,
2013,
CIAA.
Axel Legay,
Tristan Le Gall,
Thomas Genet,
2012,
ArXiv.
Jean-Louis Lanet,
Axel Legay,
Mohammed Benattou,
2018,
International Journal of Information Security.
Axel Legay,
ModelsAntonio Brogi,
Jean-Marie Ja quet,
2015
.
Axel Legay,
Ulrich Fahrenberg,
Claus R. Thrane,
2011,
Theor. Comput. Sci..
Charles-Henry Bertrand Van Ouytsel,
Axel Legay,
Alexandre D'Hondt,
2023,
ArXiv.
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen,
2015,
Haifa Verification Conference.
Axel Legay,
Andrzej Wasowski,
Fabrizio Biondi,
2013,
J. Log. Algebraic Methods Program..
Kim G. Larsen,
Axel Legay,
Guangyuan Li,
2017,
SPIN.
Axel Legay,
Andrzej Wasowski,
Fabrizio Biondi,
2013,
CAV.
Axel Legay,
Marius Bozga,
Takoua Abdellatif,
2017
.
Axel Legay,
Fabrizio Biondi,
Jean Quilbeuf,
2015,
SPIN.
Axel Legay,
Fabrizio Biondi,
Jean Quilbeuf,
2014
.
Axel Legay,
Maurice H. ter Beek,
Bruce W. Watson,
2020,
Leveraging Applications of Formal Methods.
Axel Legay,
Marco Marazza,
Valerio Senni,
2016,
EAI Endorsed Trans. Ind. Networks Intell. Syst..
Axel Legay,
Sean Sedwards,
Louis-Marie Traonouez,
2014
.
Axel Legay,
Sean Sedwards,
Louis-Marie Traonouez,
2014,
ArXiv.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2015,
VaMoS.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2014,
ISoLA.
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2013,
SPLC '13 Workshops.
Pierre-Yves Schobbens,
Axel Legay,
Eun-Young Kang,
2012,
ISoLA.
L. D. Alfaro,
M. Faella,
Axel Legay,
2005,
FroCoS.
Axel Legay,
Anca Mariana Molnos,
Marius Bozga,
2016,
ACM Trans. Embed. Comput. Syst..
Axel Legay,
Thomas Given-Wilson,
Axel Legay,
2018,
ISoLA.
Sven Apel,
Axel Legay,
Aleksandar S. Dimovski,
2022,
Sci. Comput. Program..
Aleksandar S. Dimovski,
Axel Legay,
Maxime Cordy,
2023,
SPLC.
Axel Legay,
Andrzej Wasowski,
Aleksandar Dimovski,
2020,
Theor. Comput. Sci..
Axel Legay,
Maurice H. ter Beek,
Axel Legay,
2019,
International Journal on Software Tools for Technology Transfer.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2015,
Software & Systems Modeling.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2013,
VaMoS.
Axel Legay,
Maxime Cordy,
Patrick Heymans,
2013,
2013 35th International Conference on Software Engineering (ICSE).
Cyrille Jégourel,
Axel Legay,
Sean Sedwards,
2014,
ISoLA.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2018,
J. Syst. Softw..
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Axel Legay,
Benoît Delahaye,
J. Fiadeiro,
2014,
ICTAC.
Axel Legay,
Benoît Delahaye,
José Luiz Fiadeiro,
2013,
FMOODS/FORTE.
Axel Legay,
Sean Sedwards,
Axel Legay,
2014,
ISoLA.
Axel Legay,
Fabrizio Biondi,
François Déchelle,
2017,
2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
René Rydhof Hansen,
K. Larsen,
Axel Legay,
2021,
International Journal on Software Tools for Technology Transfer (STTT).
Kim G. Larsen,
Axel Legay,
Peter Gjøl Jensen,
2017,
GraMSec@CSF.
Kim G. Larsen,
Axel Legay,
Olga Gadyatskaya,
2016,
FORMATS.
Kim G. Larsen,
Axel Legay,
Holger Hermanns,
2012,
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Kim G. Larsen,
Axel Legay,
Alexandre David,
2014,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2011,
FORMATS.
K. Larsen,
Axel Legay,
Zheng Wang,
2011,
ArXiv.
Axel Legay,
M. Bozga,
S. Bensalem,
2013,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Thomas Given-Wilson,
Eduard Baranov,
2020,
2020 IEEE International Conference on Industrial Technology (ICIT).
Axel Legay,
Marius Bozga,
Saddek Bensalem,
2018,
Int. J. Crit. Comput. Based Syst..
Kim G. Larsen,
Axel Legay,
Bernhard Steffen,
2017,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Sean Sedwards,
Olivier Zendra,
2018,
Journal of Reliable Intelligent Environments.
Axel Legay,
Sean Sedwards,
Thomas Given-Wilson,
2017,
HCI.
Axel Legay,
Marius Bozga,
Saddek Bensalem,
2016,
VECoS.
Axel Legay,
Louis-Marie Traonouez,
2016,
LNCS Trans. Found. Mastering Chang..
Axel Legay,
Sean Sedwards,
Louis-Marie Traonouez,
2016,
RP.
Mahesh Viswanathan,
Axel Legay,
Mahesh Viswanathan,
2015,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Anca Mariana Molnos,
Marius Bozga,
2014,
2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).
Axel Legay,
Sean Sedwards,
Axel Legay,
2014,
2014 Theoretical Aspects of Software Engineering Conference.
Axel Legay,
Samarjit Chakraborty,
Deepak Gangadharan,
2013,
2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS).
Cyrille Jégourel,
Axel Legay,
Benoît Delahaye,
2012,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Benoît Delahaye,
Marius Bozga,
2010,
RV.
Axel Legay,
Edmund M. Clarke,
Alexandre Donzé,
2010,
Formal Methods Syst. Des..
Axel Legay,
Edmund M. Clarke,
Alexandre Donzé,
2009,
Haifa Verification Conference.
Axel Legay,
Kevin Corre,
Louis-Marie Traonouez,
2014
.
Peter E. Bulychev,
K. Larsen,
Axel Legay,
2011
.
Axel Legay,
Maurice H. ter Beek,
Axel Legay,
2019,
VaMoS.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2013,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Marius Bozga,
Saddek Bensalem,
2014,
RV.
K. Mens,
Axel Legay,
Benoît Duhoux,
2022,
Journal of Systems and Software.
K. Mens,
Axel Legay,
Benoît Duhoux,
2023,
2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Axel Legay,
Kuldeep S. Meel,
Eduard Baranov,
2020,
ESEC/SIGSOFT FSE.
Axel Legay,
Maxime Cordy,
Pierre-Yves Schobbens,
2013,
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Pierre-Yves Schobbens,
Axel Legay,
Maxime Cordy,
2012,
SPLC '12.
Pierre-Yves Schobbens,
Andreas Classen,
Patrick Heymans,
2008
.
Charles-Henry Bertrand Van Ouytsel,
Axel Legay,
2022,
NordSec.
Axel Legay,
Davide Basile,
Maurice H. ter Beek,
2019,
Innovations in Systems and Software Engineering.
E. Tronci,
Axel Legay,
Maxime Cordy,
2022,
CPS Summer School, PhD Workshop.
Axel Legay,
P. Heymans,
Maxime Cordy,
2022
.
Axel Legay,
Dirk Nowotka,
Danny Bogsted Poulsen,
2020,
ArXiv.
Pierre-Yves Schobbens,
Axel Legay,
Gilles Perrouin,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Axel Legay,
Luca Aceto,
Anna Ingólfsdóttir,
2017,
Lecture Notes in Computer Science.
Axel Legay,
Raphaël M. Jungers,
Antoine Aspeel,
2021,
EURASIP Journal on Advances in Signal Processing.
K. Larsen,
Axel Legay,
2016,
ISoLA.
Axel Legay,
Sean Sedwards,
Louis-Marie Traonouez,
2014,
International Journal on Software Tools for Technology Transfer.
Jean-Louis Lanet,
Axel Legay,
Hélène Le Bouder,
2016,
CRiSIS.
Axel Legay,
Fabrizio Biondi,
Thomas Given-Wilson,
2017,
FMICS-AVoCS.
Axel Legay,
Ulrich Fahrenberg,
Axel Legay,
2013,
APLAS.
Axel Legay,
Aleksandar Dimovski,
Aleksandar S. Dimovski,
2020,
FASE.
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2010,
Formal Methods in Computer Aided Design.