Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDEric Jenn
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 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
- [c15]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
- [c14]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 - [c13]Alain Girault, Nicolas Hili, Eric Jenn, Eugene Yip:
A Multi-Rate Precision Timed Programming Language for Multi-Cores. FDL 2019: 1-8 - [c12]Nicolas Hili, Alain Girault, Eric Jenn:
Worst-Case Reaction Time Optimization on Deterministic Multi-Core Architectures with Synchronous Languages. RTCSA 2019: 1-11 - [c11]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) - [c10]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
- [c9]Faiez Zalila, Eric Jenn, Marc Pantel:
Model Execution and Debugging - A Process to Leverage Existing Tools. MODELSWARD 2017: 401-408 - [c8]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 - [c7]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
- [c6]Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau:
Formal Verification of a Rover Anti-collision System. FMICS-AVoCS 2016: 171-188 - [c5]Fellipe Montero, Guy Bois, Eric Jenn, Kevin Duplantier:
Architectural exploration and implementation of an image processing chain with SpaceStudio™. FPL 2016: 1 - [c4]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
- [c3]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
- [c2]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
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
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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-04-08 11:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
