![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Eric Jenn
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c21]Damien Chabrol, Guillaume Phavorin, Eric Jenn:
sLET for Distributed Aerospace Landing System. DATE 2024: 1-2 - [i5]Mohammed Belcaid, Eric Bonnafous, Louis Crison, Christophe Faure, Eric Jenn, Claire Pagetti:
Certified ML Object Detection for Surveillance Missions. CoRR abs/2406.12362 (2024) - 2023
- [c20]Éric Lubat, Eric Jenn, Dominique Blouin, Marc Kaufmann:
Towards a Development Process for Multi-CPU Distributed Synchronous Software Applications. MoDELS (Companion) 2023: 549-558 - 2022
- [c19]Guillaume Brau, Eric Jenn, Silvana Radu:
A Capella-Based Tool for the Early Assessment of Nano/Micro Satellites Availability. IMBSA 2022: 155-169 - [c18]Morayo Adedjouma, Christophe Alix, Loic Cantat, Eric Jenn, Juliette Mattioli, Boris Robert, Fabien Tschirhart, Jean-Luc Voirin:
Engineering Dependable AI Systems. SoSE 2022: 458-463 - 2021
- [i4]Cyril Cappi, Camille Chapdelaine, Laurent Gardes, Eric Jenn, Baptiste Lefèvre, Sylvaine Picard, Thomas Soumarmon:
Dataset Definition Standard (DDS). CoRR abs/2101.03020 (2021) - [i3]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 abs/2103.10529 (2021) - 2020
- [c17]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: 275-282 - [i2]Sylvaine Picard, Camille Chapdelaine, Cyril Cappi, Laurent Gardes, Eric Jenn, Baptiste Lefèvre, Thomas Soumarmon:
Ensuring Dataset Quality for Machine Learning Certification. CoRR abs/2011.01799 (2020)
2010 – 2019
- 2019
- [c16]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: 416-432 - [c15]Alain Girault, Nicolas Hili, Eric Jenn, Eugene Yip
:
A Multi-Rate Precision Timed Programming Language for Multi-Cores. FDL 2019: 1-8 - [c14]Nicolas Hili, Alain Girault, Eric Jenn:
Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages. RTCSA 2019: 1-11 - [c13]Wei-Tsun Sun, Eric Jenn, Hugues Cassé:
Validating Static WCET Analysis: A Method and Its Application. WCET 2019: 6:1-6:10 - 2018
- [j3]Ning Ge
, Arnaud Dieumegard, Eric Jenn, Laurent Voisin
:
Correct-by-construction specification to verified code. J. Softw. Evol. Process. 30(10) (2018) - [j2]Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau:
Integrated formal verification of safety-critical software. Int. J. Softw. Tools Technol. Transf. 20(4): 423-440 (2018) - [c12]Fabrice Guet, Luca Santinelli, Jérôme Morio
, Guillaume Phavorin, Eric Jenn:
Toward Contention Analysis for Parallel Executing Real-Time Tasks. WCET 2018: 4:1-4:13 - 2017
- [c11]Faiez Zalila, Eric Jenn, Marc Pantel:
Model Execution and Debugging - A Process to Leverage Existing Tools. MODELSWARD 2017: 401-408 - [c10]Arnaud Dieumegard, Ning Ge, Eric Jenn:
Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function. NFM 2017: 327-341 - [c9]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: 1-8 - 2016
- [c8]Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau:
Formal Verification of a Rover Anti-collision System. FMICS-AVoCS 2016: 171-188 - [c7]Fellipe Montero, Guy Bois, Eric Jenn, Kevin Duplantier:
Architectural exploration and implementation of an image processing chain with SpaceStudio™. FPL 2016: 1 - [c6]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: 43-52 - [i1]Ning Ge, Arnaud Dieumegard, Eric Jenn, Laurent Voisin:
From Event-B to Verified C via HLL. CoRR abs/1610.07410 (2016) - 2014
- [c5]Pierre-Alain Bourdil, Bernard Berthomieu, Eric Jenn:
Model-Checking Real-Time Properties of an Auto Flight Control System Function. ISSRE Workshops 2014: 120-123
2000 – 2009
- 2009
- [c4]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: 169-178 - 2006
- [c3]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: 107-116 - [c2]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: 125-134
1990 – 1999
- 1999
- [j1]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): 580-599 (1999) - 1994
- [c1]Eric Jenn, Jean Arlat, Marcus Rimén, Joakim Ohlsson, Johan Karlsson:
Fault Injection into VHDL Models: The MEFISTO Tool. FTCS 1994: 66-75
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-15 01:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint