by Biondi, Fabrizio, Enescu, Michael A., Heuser, Annelie, Legay, Axel, Meel, Kuldeep S., Quilbeuf, Jean
Published in Verification, Model Checking, and Abstract Interpretation (01.01.2018)

by Basile, Davide, ter Beek, Maurice H., Ferrari, Alessio, Legay, Axel
Published in International journal on software tools for technology transfer (01.06.2022)

by Cordy, Maxime, Lazreg, Sami, Papadakis, Mike, Legay, Axel
Published in Formal aspects of computing (01.12.2021)

by Aspeel, Antoine, Legay, Axel, Jungers, Raphaël M., Macq, Benoit
Published in EURASIP journal on advances in signal processing (16.07.2021)

by Jegourel, Cyrille, Legay, Axel, Sedwards, Sean
Published in Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

by Kammüller, Florian, Legay, Axel, Schivo, Stefano
Published in International journal on software tools for technology transfer (01.02.2021)

by Given-Wilson, Thomas, Jafri, Nisrine, Legay, Axel
Published in Innovations in systems and software engineering (01.06.2020)

by Jegourel, Cyrille, Legay, Axel, Sedwards, Sean
Published in Computer Aided Verification

by Basile, Davide, ter Beek, Maurice H., Legay, Axel
Published in Innovations in systems and software engineering (01.06.2020)

by Biondi, Fabrizio, Legay, Axel, Quilbeuf, Jean
Published in Model Checking Software

by Fried, Dror, Legay, Axel, Ouaknine, Joël, Vardi, Moshe Y.
Published in Logical methods in computer science (01.01.2022)

by Biondi, Fabrizio, Kawamoto, Yusuke, Legay, Axel, Traonouez, Louis-Marie
Published in Formal aspects of computing (01.04.2019)

by Biondi, Fabrizio, Given-Wilson, Thomas, Legay, Axel
Year of Publication 2019

by Metongnon, Lionel, Strebelle, Sebastien, Duchene, Fabien, Legay, Axel, Sadre, Ramin
Published in IEEE access (2021)

by David Cachera, Uli Fahrenberg, Axel Legay
Published in Logical methods in computer science (01.01.2019)

by Biondi, Fabrizio, Legay, Axel, Malacaria, Pasquale, Wąsowski, Andrzej
Published in Theoretical computer science (13.09.2015)

by Lugan, Sebastien, Desbordes, Paul, Brion, Eliott, Ramos Tormo, Luis Xavier, Legay, Axel, Macq, Benoit
Published in IEEE access (2019)

by Biondi, Fabrizio, Given-Wilson, Thomas, Legay, Axel, Puodzius, Cassius, Quilbeuf, Jean
Published in Leveraging Applications of Formal Methods, Verification and Validation. Modeling

by Hansen, René Rydhof, Larsen, Kim Guldstrand, Legay, Axel, Jensen, Peter Gjøl, Poulsen, Danny Bøgsted
Published in International journal on software tools for technology transfer (01.02.2021)

by Kawamoto, Yusuke, Biondi, Fabrizio, Legay, Axel
Published in FM 2016: Formal Methods