Eric Jenn

According to our database, Eric Jenn authored at least 26 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards a Development Process for Multi-CPU Distributed Synchronous Software Applications.

Éric Lubat, Eric Jenn, Dominique Blouin, Marc Kaufmann

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

Engineering Dependable AI Systems.

Morayo Adedjouma, Christophe Alix, Loic Cantat, Eric Jenn, Juliette Mattioli, Boris Robert, Fabien Tschirhart, Jean-Luc Voirin

Proceedings of the 17th Annual System of Systems Engineering Conference, 2022

A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites Availability.

Guillaume Brau, Eric Jenn, Silvana Radu

Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022

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, 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

CoRR, 2021

Dataset Definition Standard (DDS).

Cyril Cappi, Camille Chapdelaine, Laurent Gardes, Eric Jenn, Baptiste Lefèvre, Sylvaine Picard, Thomas Soumarmon

CoRR, 2021

2020

Ensuring Dataset Quality for Machine Learning Certification.

Sylvaine Picard, Camille Chapdelaine, Cyril Cappi, Laurent Gardes, Eric Jenn, Baptiste Lefèvre, Thomas Soumarmon

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2019

Validating Static WCET Analysis: A Method and Its Application.

Wei-Tsun Sun, Eric Jenn, Hugues Cassé

Proceedings of the 19th International Workshop on Worst-Case Execution Time Analysis, 2019

Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages.

Nicolas Hili, Alain Girault, Eric Jenn

Proceedings of the 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2019

A Multi-Rate Precision Timed Programming Language for Multi-Cores.

Alain Girault, Nicolas Hili, Eric Jenn, Eugene Yip

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

Hunting Superfluous Locks with Model Checking.

Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu, Eric Jenn

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Integrated formal verification of safety-critical software.

Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau

Int. J. Softw. Tools Technol. Transf., 2018

Correct-by-construction specification to verified code.

Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin

J. Softw. Evol. Process., 2018

Toward Contention Analysis for Parallel Executing Real-Time Tasks.

Fabrice Guet, Luca Santinelli, Jérôme Morio, Guillaume Phavorin, Eric Jenn

Proceedings of the 18th International Workshop on Worst-Case Execution Time Analysis, 2018

2017

Formal development process of safety-critical embedded human machine interface systems.

Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine Aït Ameur

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function.

Arnaud Dieumegard, Ning Ge, Eric Jenn

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Model Execution and Debugging - A Process to Leverage Existing Tools.

Faiez Zalila, Eric Jenn, Marc Pantel

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

2016

From Event-B to Verified C via HLL.

Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin

CoRR, 2016

Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study.

Neeraj Kumar Singh, Yamine Aït Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

Architectural exploration and implementation of an image processing chain with SpaceStudio^™.

Fellipe Montero, Guy Bois, Eric Jenn, Kevin Duplantier

Proceedings of the 26th International Conference on Field Programmable Logic and Applications, 2016

Formal Verification of a Rover Anti-collision System.

Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

2014

Model-Checking Real-Time Properties of an Auto Flight Control System Function.

Pierre-Alain Bourdil, Bernard Berthomieu, Eric Jenn

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

2009

Use of PERC Pico in the AIDA avionics platform.

Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

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

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

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

Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems, 2006

1999

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

1994

Fault Injection into VHDL Models: The MEFISTO Tool.

Eric Jenn, Jean Arlat, Marcus Rimén, Joakim Ohlsson, Johan Karlsson

Proceedings of the Digest of Papers: FTCS/24, 1994