Eric Jenn

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 23

Top Topics

Annealing Algorithm

Formal Verification

Human Machine Interfaces

Top Venues

ISSRE Workshops

Publications

Mohammed Belcaid, Eric Bonnafous, Louis Crison, Christophe Faure, Eric Jenn, Claire Pagetti
Certified ML Object Detection for Surveillance Missions. CoRR (2024)
Damien Chabrol, Guillaume Phavorin, Eric Jenn
sLET for Distributed Aerospace Landing System. DATE (2024)
Éric Lubat, Eric Jenn, Dominique Blouin, Marc Kaufmann
Towards a Development Process for Multi-CPU Distributed Synchronous Software Applications. MoDELS (Companion) (2023)
Guillaume Brau, Eric Jenn, Silvana Radu
A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites Availability. IMBSA (2022)
Morayo Adedjouma, Christophe Alix, Loic Cantat, Eric Jenn, Juliette Mattioli, Boris Robert, Fabien Tschirhart, Jean-Luc Voirin
Engineering Dependable AI Systems. SoSE (2022)
Cyril Cappi, Camille Chapdelaine, Laurent Gardes, Eric Jenn, Baptiste Lefèvre, Sylvaine Picard, Thomas Soumarmon
Dataset Definition Standard (DDS). CoRR (2021)
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, Sylvain Pasquet, Kevin Delmas, Claire Pagetti, Jean-Marc Gabriel, Camille Chapdelaine, Sylvaine Picard, Mathieu Damour, Cyril Cappi, Laurent Gardès, Florence De Grancey, Eric Jenn, Baptiste Lefèvre, Grégory Flandin, Sébastien Gerchinovitz, Franck Mamalet, Alexandre Albore
White Paper Machine Learning in Certified Systems. CoRR (2021)
Sylvaine Picard, Camille Chapdelaine, Cyril Cappi, Laurent Gardes, Eric Jenn, Baptiste Lefèvre, Thomas Soumarmon
Ensuring Dataset Quality for Machine Learning Certification. ISSRE Workshops (2020)
Sylvaine Picard, Camille Chapdelaine, Cyril Cappi, Laurent Gardes, Eric Jenn, Baptiste Lefèvre, Thomas Soumarmon
Ensuring Dataset Quality for Machine Learning Certification. CoRR (2020)
Nicolas Hili, Alain Girault, Eric Jenn
Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages. RTCSA (2019)
Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu, Eric Jenn
Hunting Superfluous Locks with Model Checking. From Software Engineering to Formal Methods and Tools, and Back (2019)
Alain Girault, Nicolas Hili, Eric Jenn, Eugene Yip
A Multi-Rate Precision Timed Programming Language for Multi-Cores. FDL (2019)
Wei-Tsun Sun, Eric Jenn, Hugues Cassé
Validating Static WCET Analysis: A Method and Its Application. WCET (2019)
Fabrice Guet, Luca Santinelli, Jérôme Morio, Guillaume Phavorin, Eric Jenn
Toward Contention Analysis for Parallel Executing Real-Time Tasks. WCET (2018)
Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau
Integrated formal verification of safety-critical software. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin
Correct-by-construction specification to verified code. J. Softw. Evol. Process. 30 (10) (2018)
Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine Aït Ameur
Formal development process of safety-critical embedded human machine interface systems. TASE (2017)
Faiez Zalila, Eric Jenn, Marc Pantel
Model Execution and Debugging - A Process to Leverage Existing Tools. MODELSWARD (2017)
Arnaud Dieumegard, Ning Ge, Eric Jenn
Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function. NFM (2017)
Fellipe Montero, Guy Bois, Eric Jenn, Kevin Duplantier
. FPL (2016)
Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin
From Event-B to Verified C via HLL. CoRR (2016)
Neeraj Kumar Singh, Yamine Aït Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn
Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study. ICECCS (2016)
Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau
Formal Verification of a Rover Anti-collision System. FMICS-AVoCS (2016)
Pierre-Alain Bourdil, Bernard Berthomieu, Eric Jenn
Model-Checking Real-Time Properties of an Auto Flight Control System Function. ISSRE Workshops (2014)
Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy
Use of PERC Pico in the AIDA avionics platform. JTRES (2009)
Erik Yu-Shing Hu, Eric Jenn, Nicolas Valot, Alejandro Alonso
Safety critical applications and hard real-time profile for Java: a case study in avionics. JTRES (2006)
Peter H. Schmitt, Isabel Tonin, Claus Wonnemann, Eric Jenn, Stéphane Leriche, James J. Hunt
A case study of specification and verification using JML in an avionics application. JTRES (2006)
David Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems. IEEE Trans. Parallel Distributed Syst. 10 (6) (1999)
Eric Jenn, Jean Arlat, Marcus Rimén, Joakim Ohlsson, Johan Karlsson
Fault Injection into VHDL Models: The MEFISTO Tool. FTCS (1994)