by Renault, Etienne
Published in Innovations in systems and software engineering (01.06.2020)

by Kheireddine, Anissa, Renault, Etienne, Baarir, Souheib
Published in Constraints : an international journal (01.03.2023)

by Kirszenberg, Alexandre, Martin, Antoine, Moreau, Hugo, Renault, Etienne
Published in International journal on software tools for technology transfer (01.02.2023)

by Kheireddine, Anissa, Renault, Etienne, Baarir, Souheib
Published in 2022 29th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2022)

by Renault, Etienne
Published in Verification and Evaluation of Computer and Communication Systems (2018)

by Kirszenberg, Alexandre, Martin, Antoine, Moreau, Hugo, Renault, Etienne
Published in Model Checking Software (2021)

by Renault, Etienne, Duret-Lutz, Alexandre, Kordon, Fabrice, Poitrenaud, Denis
Published in Logic for Programming, Artificial Intelligence, and Reasoning (2013)

by Thierry-Mieg, Yann, Renault, Etienne, Paviot-Adet, Emmanuel, Poitrenaud, Denis
Published in Science of computer programming (01.07.2024)

by Poitrenaud, Denis, Renault, Etienne
Published in Formal Methods and Software Engineering (2019)

by Renault, E., Duret-Lutz, A., Kordon, F., Poitrenaud, D.
Published in International journal on software tools for technology transfer (01.11.2017)

by Renault, Etienne, Duret-Lutz, Alexandre, Kordon, Fabrice, Poitrenaud, Denis
Published in Tools and Algorithms for the Construction and Analysis of Systems (2013)

by Duret-Lutz, Alexandre, Kordon, Fabrice, Poitrenaud, Denis, Renault, Etienne
Published in Automated Technology for Verification and Analysis (2016)

by Paviot-Adet, Emmanuel, Poitrenaud, Denis, Renault, Etienne, Thierry-Mieg, Yann
Published in arXiv.org (06.01.2023)

by Paviot-Adet, Emmanuel, Poitrenaud, Denis, Renault, Etienne, Thierry-Mieg, Yann
Year of Publication 08.12.2022

by Paviot-Adet, Emmanuel, Poitrenaud, Denis, Renault, Etienne, Thierry-Mieg, Yann
Published in arXiv.org (26.02.2024)

by Baarir, Souheib, Hillah, Lom-Messan, Kordon, Fabrice, Renault, Etienne
Published in Foundations of Computer Software (2011)

by Duret-Lutz, Alexandre, Renault, Etienne, Colange, Maximilien, Renkin, Florian, Gbaguidi, Alexandre, Schlehuber-Caissier, Philipp, Medioni, Thomas, Martin, Antoine, Dubois, Jérôme, Gillard, Clément, Lauko, Henrich
Year of Publication 20.06.2022

by POULAIN, Gilles, CASSAGNE, Valérick, LE BORGNE, Emmanuel, RENAULT, Etienne, BENHAIEM, David
Year of Publication 29.08.2024

by POULAIN, Gilles, CASSAGNE, Valérick, LE BORGNE, Emmanuel, RENAULT, Etienne, BENHAIEM, David
Year of Publication 01.05.2024

by McMillan, Ken, Middeldorp, Aart, Voronkov, Andrei
Year of Publication 2013