Eric Jenn

33 papers A 1B 3C 5Misc 1Journal 9Unranked 14
YearRankTypeTitle / Venue / Authors
2025 C conf
Ontology-Driven LLM Assistance for Task-Oriented Systems Engineering.
MODELSWARD
Jean-Marie Gauthier, Eric Jenn, Ramon Conejo
2025 C conf
Poster: TSN Evaluation Toolchain Enabling Efficient and Reliable Network Design.
ISORC
Christophe Fradet, Quentin Bailleul, Eric Jenn
2025 J jnl
Real-Time Semantic Segmentation of Aerial Images Using an Embedded U-Net: A Comparison of CPU, GPU, and FPGA Workflows.
CoRR
Julien Posso, Hugo Kieffer, Nicolas Menga, Omar Hlimi, Sébastien Tarris, Hubert Guerard, Guy Bois, Matthieu Couderc, Eric Jenn
2024 J jnl
Certified ML Object Detection for Surveillance Missions.
CoRR
Mohammed Belcaid, Eric Bonnafous, Louis Crison, Christophe Faure, Eric Jenn, Claire Pagetti
2024 C conf
Ensuring the Reliability of AI Systems through Methodological Processes.
QRS
Afef Awadid, Xavier Le Roux, Boris Robert, Morayo Adedjouma, Eric Jenn
2024 A conf
sLET for Distributed Aerospace Landing System.
DATE
Damien Chabrol, Guillaume Phavorin, Eric Jenn
2023 — conf
Towards a Development Process for Multi-CPU Distributed Synchronous Software Applications.
MoDELS (Companion)
Éric Lubat, Eric Jenn, Dominique Blouin, Marc Kaufmann
2022 — conf
A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites Availability.
IMBSA
Guillaume Brau, Eric Jenn, Silvana Radu
2022 — conf
Engineering Dependable AI Systems.
SoSE
Morayo Adedjouma, Christophe Alix, Loic Cantat, Eric Jenn, Juliette Mattioli, Boris Robert, Fabien Tschirhart, Jean-Luc Voirin
2021 J jnl
Dataset Definition Standard (DDS).
CoRR
Cyril Cappi, Camille Chapdelaine, Laurent Gardes, Eric Jenn, Baptiste Lefèvre, Sylvaine Picard, Thomas Soumarmon
2021 J jnl
White Paper Machine Learning in Certified Systems.
CoRR
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
2020 — conf
Ensuring Dataset Quality for Machine Learning Certification.
ISSRE Workshops
Sylvaine Picard, Camille Chapdelaine, Cyril Cappi, Laurent Gardes, Eric Jenn, Baptiste Lefèvre, Thomas Soumarmon
2020 J jnl
Ensuring Dataset Quality for Machine Learning Certification.
CoRR
Sylvaine Picard, Camille Chapdelaine, Cyril Cappi, Laurent Gardes, Eric Jenn, Baptiste Lefèvre, Thomas Soumarmon
2019 C conf
A Multi-Rate Precision Timed Programming Language for Multi-Cores.
FDL
Alain Girault, Nicolas Hili, Eric Jenn, Eugene Yip
2019 — conf
Hunting Superfluous Locks with Model Checking.
From Software Engineering to Formal Methods and Tools, and Back
Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu, Eric Jenn
2019 — conf
Validating Static WCET Analysis: A Method and Its Application.
WCET
Wei-Tsun Sun, Eric Jenn, Hugues Cassé
2019 B conf
Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages.
RTCSA
Nicolas Hili, Alain Girault, Eric Jenn
2018 J jnl
Correct-by-construction specification to verified code.
J. Softw. Evol. Process.
Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin
2018 J jnl
Integrated formal verification of safety-critical software.
Int. J. Softw. Tools Technol. Transf.
Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau
2018 — conf
Toward Contention Analysis for Parallel Executing Real-Time Tasks.
WCET
Fabrice Guet, Luca Santinelli, Jérôme Morio, Guillaume Phavorin, Eric Jenn
2017 — conf
Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function.
NFM
Arnaud Dieumegard, Ning Ge, Eric Jenn
2017 Misc conf
Formal development process of safety-critical embedded human machine interface systems.
TASE
Ning Ge, Arnaud Dieumegard, Eric Jenn, Bruno d'Ausbourg, Yamine Aït Ameur
2017 C conf
Model Execution and Debugging - A Process to Leverage Existing Tools.
MODELSWARD
Faiez Zalila, Eric Jenn, Marc Pantel
2016 B conf
Architectural exploration and implementation of an image processing chain with SpaceStudio
FPL
Fellipe Montero, Guy Bois, Eric Jenn, Kevin Duplantier
2016 — conf
Formal Verification of a Rover Anti-collision System.
FMICS-AVoCS
Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau
2016 J jnl
From Event-B to Verified C via HLL.
CoRR
Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin
2016 B conf
Stepwise Formal Modeling and Verification of Self-Adaptive Systems with Event-B. The Automatic Rover Protection Case Study.
ICECCS
Neeraj Kumar Singh, Yamine Aït Ameur, Marc Pantel, Arnaud Dieumegard, Eric Jenn
2014 — conf
Model-Checking Real-Time Properties of an Auto Flight Control System Function.
ISSRE Workshops
Pierre-Alain Bourdil, Bernard Berthomieu, Eric Jenn
2009 — conf
Use of PERC Pico in the AIDA avionics platform.
JTRES
Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy
2006 — conf
A case study of specification and verification using JML in an avionics application.
JTRES
Peter H. Schmitt, Isabel Tonin, Claus Wonnemann, Eric Jenn, Stéphane Leriche, James J. Hunt
2006 — conf
Safety critical applications and hard real-time profile for Java: a case study in avionics.
JTRES
Erik Yu-Shing Hu, Eric Jenn, Nicolas Valot, Alejandro Alonso
1999 J jnl
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems.
IEEE Trans. Parallel Distributed Syst.
David Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings
1994 — conf
Fault Injection into VHDL Models: The MEFISTO Tool.
FTCS
Eric Jenn, Jean Arlat, Marcus Rimén, Joakim Ohlsson, Johan Karlsson