by Bouissou, Olivier, Goubault, Eric, Putot, Sylvie, Chakarov, Aleksandar, Sankaranarayanan, Sriram
Published in Tools and Algorithms for the Construction and Analysis of Systems

by Martin, Benjamin, Ghorbal, Khalil, Goubault, Eric, Putot, Sylvie
Published in Electronic proceedings in theoretical computer science (07.09.2017)

by Bouissou, Olivier, Goubault, Eric, Goubault-Larrecq, Jean, Putot, Sylvie
Published in Computing (01.03.2012)

by Goubault, Eric, Putot, Sylvie
Published in IEEE control systems letters (01.10.2020)

by Goubault, Eric, Putot, Sylvie
Published in Formal methods in system design (01.12.2015)

by Djeumou, Franck, Vinod, Abraham P., Goubault, Eric, Putot, Sylvie, Topcu, Ufuk
Published in IEEE transactions on automatic control (01.08.2023)

by Costa Vianna, Maria, Goubault, Eric, Jaulin, Luc, Putot, Sylvie
Published in International journal of approximate reasoning (01.06.2024)

by Goubault, Eric, Putot, Sylvie
Published in Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation (23.01.2011)

by Bernini, Nicola, Bessa, Mikhail, Delmas, Rémi, Gold, Arthur, Goubault, Eric, Pennec, Romain, Putot, Sylvie, Sillion, François
Published in Engineering applications of artificial intelligence (01.01.2024)

by Lohar, Debasmita, Darulova, Eva, Putot, Sylvie, Goubault, Eric
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2018)

by Bidet, Francois, Goubault, Eric, Putot, Sylvie
Published in IEEE control systems letters (2022)

by Goubault, Eric, Putot, Sylvie
Published in Lecture notes in computer science (2006)

by Vianna, Maria Luiza Costa, Goubault, Eric, Jaulin, Luc, Putot, Sylvie
Published in OCEANS 2022, Hampton Roads (17.10.2022)

by Goubault, Eric, Putot, Sylvie
Published in Verification, Model Checking, and Abstract Interpretation

by Fribourg, L., Goubault, E., Mohamed, S., Mrozek, M., Putot, S.
Published in Information and computation (01.04.2021)

by Goubault, Eric, Putot, Sylvie
Published in IFAC-PapersOnLine (01.01.2021)

by Goubault, Eric, Putot, Sylvie, Sahlmann, Lorenz
Published in Computer Aided Verification. 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (2018)

by Goubault, Eric, Palumby, Sébastien, Putot, Sylvie, Rustenholz, Louis, Sankaranarayanan, Sriram
Published in Static Analysis (2021)

by Goubault, Eric, Putot, Sylvie
Published in Programming Languages and Systems

by Ghorbal, Khalil, Goubault, Eric, Putot, Sylvie
Published in Computer Aided Verification