| 2025 | ISORC | Poster: TSN Evaluation Toolchain Enabling Efficient and Reliable Network Design. | Christophe Fradet, Quentin Bailleul, Eric Jenn |
| 2025 | MODELSWARD | Ontology-Driven LLM Assistance for Task-Oriented Systems Engineering. | Jean-Marie Gauthier, Eric Jenn, Ramon Conejo |
| 2024 | DATE | sLET for Distributed Aerospace Landing System. | Damien Chabrol, Guillaume Phavorin, Eric Jenn |
| 2024 | QRS | Ensuring the Reliability of AI Systems through Methodological Processes. | Afef Awadid, Xavier Le Roux, Boris Robert, Morayo Adedjouma, Eric Jenn |
| 2023 | MODELS | Towards a Development Process for Multi-CPU Distributed Synchronous Software Applications. | ric Lubat, Eric Jenn, Dominique Blouin, Marc Kaufmann |
| 2020 | ISSRE | Ensuring Dataset Quality for Machine Learning Certification. | Sylvaine Picard, Camille Chapdelaine, Cyril Cappi, Laurent Gardes, Eric Jenn, Baptiste Lefvre, Thomas Soumarmon |
| 2019 | FDL | A Multi-Rate Precision Timed Programming Language for Multi-Cores. | Alain Girault, Nicolas Hili, Eric Jenn, Eugene Yip |
| 2019 | RTCSA | Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages. | Nicolas Hili, Alain Girault, Eric Jenn |
| 2017 | MODELSWARD | Model Execution and Debugging - A Process to Leverage Existing Tools. | Faiez Zalila, Eric Jenn, Marc Pantel |
| 2017 | TASE | Formal development process of safety-critical embedded human machine interface systems. | Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine At Ameur |
| 2016 | FMICS | Formal Verification of a Rover Anti-collision System. | Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau |
| 2016 | FPL | Architectural exploration and implementation of an image processing chain with SpaceStudio | Fellipe Montero, Guy Bois, Eric Jenn, Kevin Duplantier |
| 2016 | ICECCS | Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. | Neeraj Kumar Singh, Yamine At Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn |
| 2014 | ISSRE | Model-Checking Real-Time Properties of an Auto Flight Control System Function. | Pierre-Alain Bourdil, Bernard Berthomieu, Eric Jenn |