by Ge, Ning, Dieumegard, Arnaud, Jenn, Eric, Voisin, Laurent
Published in Journal of software : evolution and process (01.10.2018)

by Girault, Alain, Hili, Nicolas, Jenn, Eric, Yip, Eugene
Published in 2019 Forum for Specification and Design Languages (FDL) (01.09.2019)

by Damien, Chabrol, Guillaume, Phavorin, Eric, Jenn
Published in 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) (25.03.2024)

by Brau, Guillaume, Jenn, Eric, Radu, Silvana
Published in Model-Based Safety and Assessment (2022)

by Ge, Ning, Jenn, Eric, Breton, Nicolas, Fonteneau, Yoann
Published in International journal on software tools for technology transfer (01.08.2018)

by Bourdil, Pierre-Alain, Berthomieu, Bernard, Jenn, Eric
Published in 2014 IEEE International Symposium on Software Reliability Engineering Workshops (01.11.2014)

by Nguyen, Viet-Anh, Serwe, Wendelin, Mateescu, Radu, Jenn, Eric
Published in From Software Engineering to Formal Methods and Tools, and Back (2019)

by Dieumegard, Arnaud, Ge, Ning, Jenn, Eric
Published in NASA Formal Methods (2017)

by Lubat, Eric, Jenn, Eric, Blouin, Dominique, Kaufmann, Marc
Published in 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (01.01.2023)

by Ge, Ning, Jenn, Eric, Breton, Nicolas, Fonteneau, Yoann
Published in Critical Systems: Formal Methods and Automated Verification (2016)

by Awadid, Afef, Roux, Xavier Le, Robert, Boris, Adedjouma, Morayo, Jenn, Eric
Published in 2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS) (01.07.2024)

by Belcaid, Mohammed, Bonnafous, Eric, Crison, Louis, Faure, Christophe, Jenn, Eric, Pagetti, Claire
Year of Publication 18.06.2024

by Hili, Nicolas, Girault, Alain, Jenn, Eric
Published in 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) (01.08.2019)

by Cappi, Cyril, Chapdelaine, Camille, Gardes, Laurent, Jenn, Eric, Lefevre, Baptiste, Picard, Sylvaine, Soumarmon, Thomas
Year of Publication 07.01.2021

by Picard, Sylvaine, Chapdelaine, Camille, Cappi, Cyril, Gardes, Laurent, Jenn, Eric, Lefèvre, Baptiste, Soumarmon, Thomas
Year of Publication 03.11.2020

by Belcaid, Mohammed, Bonnafous, Eric, Crison, Louis, Faure, Christophe, Jenn, Eric, Pagetti, Claire
Published in arXiv.org (18.06.2024)

by Ge, Ning, Dieumegard, Arnaud, Jenn, Eric, daAusbourg, Bruno, Ait-Ameur, Yamine
Published in 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) (01.09.2017)

by Singh, Neeraj Kumar, Ait-Ameur, Yamine, Pantel, Marc, Dieumegard, Arnaud, Jenn, Eric
Published in 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS) (01.11.2016)

by Ge, Ning, Dieumegard, Arnaud, Jenn, Eric, Voisin, Laurent
Year of Publication 24.10.2016

by Montero, Fellipe, Bois, Guy, Jenn, Eric, Duplantier, Kevin
Published in 2016 26th International Conference on Field Programmable Logic and Applications (FPL) (01.08.2016)