Fault Injection into VHDL Models: The MEFISTO Tool. - Eric Jenn; Jean Arlat; Marcus Rimén; Joakim Ohlsson; Johan Karlsson (FTCS, 1994)

GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems. - David Powell; Jean Arlat; Ljerka Beus-Dukic; Andrea Bondavalli; P. Coppola; Alessandro Fantechi; Eric Jenn; Christophe Rabéjac; Andy J. Wellings (IEEE Trans. Parallel Distributed Syst., 1999)

Safety critical applications and hard real-time profile for Java: a case study in avionics. - Erik Yu-Shing Hu; Eric Jenn; Nicolas Valot; Alejandro Alonso (JTRES, 2006)

A case study of specification and verification using JML in an avionics application. - Peter H. Schmitt; Isabel Tonin; Claus Wonnemann; Eric Jenn; Stéphane Leriche; James J. Hunt (JTRES, 2006)

Use of PERC Pico in the AIDA avionics platform. - Tobias Schoofs; Eric Jenn; Stéphane Leriche; Kelvin Nilsen; Ludovic Gauthier; Marc Richard-Foy (JTRES, 2009)

Model-Checking Real-Time Properties of an Auto Flight Control System Function. - Pierre-Alain Bourdil; Bernard Berthomieu; Eric Jenn (ISSRE Workshops, 2014)

Formal Verification of a Rover Anti-collision System. - Ning Ge 002; Eric Jenn; Nicolas Breton; Yoann Fonteneau (FMICS-AVoCS, 2016)

Architectural exploration and implementation of an image processing chain with SpaceStudio™. - Fellipe Montero; Guy Bois; Eric Jenn; Kevin Duplantier (FPL, 2016)

Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. - Neeraj Kumar Singh 001; Yamine Aït Ameur; Marc Pantel; Arnaud Dieumegard; Eric Jenn (ICECCS, 2016)

From Event-B to Verified C via HLL. - Ning Ge 002; Arnaud Dieumegard; Eric Jenn; Laurent Voisin (CoRR, 2016)

Model Execution and Debugging - A Process to Leverage Existing Tools. - Faiez Zalila; Eric Jenn; Marc Pantel (MODELSWARD, 2017)

Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function. - Arnaud Dieumegard; Ning Ge 002; Eric Jenn (NFM, 2017)

Formal development process of safety-critical embedded human machine interface systems. - Ning Ge 002; Arnaud Dieumegard; Eric Jenn; Bruno d'Ausbourg; Yamine Aït Ameur (TASE, 2017)

Toward Contention Analysis for Parallel Executing Real-Time Tasks. - Fabrice Guet; Luca Santinelli; Jérôme Morio; Guillaume Phavorin; Eric Jenn (WCET, 2018)

Correct-by-construction specification to verified code. - Ning Ge 002; Arnaud Dieumegard; Eric Jenn; Laurent Voisin (J. Softw. Evol. Process., 2018)

Integrated formal verification of safety-critical software. - Ning Ge 002; Eric Jenn; Nicolas Breton; Yoann Fonteneau (Int. J. Softw. Tools Technol. Transf., 2018)

Hunting Superfluous Locks with Model Checking. - Viet-Anh Nguyen; Wendelin Serwe; Radu Mateescu 001; Eric Jenn (From Software Engineering to Formal Methods and Tools, and Back, 2019)

A Multi-Rate Precision Timed Programming Language for Multi-Cores. - Alain Girault; Nicolas Hili; Eric Jenn; Eugene Yip (FDL, 2019)

Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages. - Nicolas Hili; Alain Girault; Eric Jenn (RTCSA, 2019)

Validating Static WCET Analysis: A Method and Its Application. - Wei-Tsun Sun; Eric Jenn; Hugues Cassé (WCET, 2019)

Ensuring Dataset Quality for Machine Learning Certification. - Sylvaine Picard; Camille Chapdelaine; Cyril Cappi; Laurent Gardes; Eric Jenn; Baptiste Lefèvre; Thomas Soumarmon (ISSRE Workshops, 2020)

Dataset Definition Standard (DDS). - Cyril Cappi; Camille Chapdelaine; Laurent Gardes; Eric Jenn; Baptiste Lefèvre; Sylvaine Picard; Thomas Soumarmon (CoRR, 2021)

White Paper Machine Learning in Certified Systems. - Hervé Delseny; Christophe Gabreau; Adrien Gauffriau; Bernard Beaudouin; Ludovic Ponsolle; Lucian Alecu; Hugues Bonnin; Brice Beltran; Didier Duchel; Jean-Brice Ginestet; Alexandre Hervieu; Ghilaine Martinez; et al. (CoRR, 2021)

A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites Availability. - Guillaume Brau; Eric Jenn; Silvana Radu (IMBSA, 2022)

Engineering Dependable AI Systems. - Morayo Adedjouma; Christophe Alix; Loic Cantat; Eric Jenn; Juliette Mattioli; Boris Robert; Fabien Tschirhart; Jean-Luc Voirin (SoSE, 2022)

Towards a Development Process for Multi-CPU Distributed Synchronous Software Applications. - Éric Lubat; Eric Jenn; Dominique Blouin; Marc Kaufmann (MoDELS (Companion), 2023)

sLET for Distributed Aerospace Landing System. - Damien Chabrol; Guillaume Phavorin; Eric Jenn (DATE, 2024)

Ensuring the Reliability of AI Systems through Methodological Processes. - Afef Awadid; Xavier Le Roux; Boris Robert; Morayo Adedjouma; Eric Jenn (QRS, 2024)

Certified ML Object Detection for Surveillance Missions. - Mohammed Belcaid; Eric Bonnafous; Louis Crison; Christophe Faure; Eric Jenn; Claire Pagetti (CoRR, 2024)

Ontology-Driven LLM Assistance for Task-Oriented Systems Engineering. - Jean-Marie Gauthier; Eric Jenn; Ramon Conejo (MODELSWARD, 2025)

Real-Time Semantic Segmentation of Aerial Images Using an Embedded U-Net: A Comparison of CPU, GPU, and FPGA Workflows. - Julien Posso; Hugo Kieffer; Nicolas Menga; Omar Hlimi; Sébastien Tarris; Hubert Guerard; Guy Bois; Matthieu Couderc; Eric Jenn (CoRR, 2025)