Axel Legay

No bio available. Add one in Open Library.

Books by Axel Legay (50 max)

+ shelf+ list

Risks and Security of Internet and Systems 15th International Conference, CRiSIS 2020, Paris, France, November 4-6, 2020, Proceedings

2017

Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay

+ shelf+ list

Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

2003

Axel Legay, Tiziana Margaria

+ shelf+ list

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

2009

Axel Legay, Saddek Bensalem

+ shelf+ list

From Programs to Systems - the Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

2014

Saddek Bensalem, Yassine Lakhnech, Axel Legay

+ shelf+ list

Hardware and Software : Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

2013

Valeria Bertacco, Axel Legay

+ shelf+ list

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings

2014

Axel Legay, Marius Bozga

+ shelf+ list

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

2016

Cyrille Artho, Axel Legay, Doron Peled

+ shelf+ list

Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

2017

Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare

+ shelf+ list

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

2019

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay