Follow
Eric Jenn
Eric Jenn
IRT Saint-Exupery - Toulouse - France
Verified email at irt-saintexupery.com
Title
Cited by
Cited by
Year
Fault injection into VHDL models: the MEFISTO tool
E Jenn, J Arlat, M Rimen, J Ohlsson, J Karlsson
Predictably Dependable Computing Systems, 329-346, 1995
6231995
GUARDS: A generic upgradable architecture for real-time dependable systems
D Powell, J Arlat, L Beus-Dukic, A Bondavalli, P Coppola, A Fantechi, ...
IEEE Transactions on Parallel and Distributed Systems 10 (6), 580-599, 1999
1731999
Ensuring dataset quality for machine learning certification
S Picard, C Chapdelaine, C Cappi, L Gardes, E Jenn, B Lefèvre, ...
2020 IEEE international symposium on software reliability engineering …, 2020
382020
Use of PERC Pico in the AIDA avionics platform
T Schoofs, E Jenn, S Leriche, K Nilsen, L Gauthier, M Richard-Foy
Proceedings of the 7th International Workshop on Java Technologies for Real …, 2009
352009
White paper machine learning in certified systems
H Delseny, C Gabreau, A Gauffriau, B Beaudouin, L Ponsolle, L Alecu, ...
arXiv preprint arXiv:2103.10529, 2021
252021
Identifying challenges to the certification of machine learning for safety critical systems
E Jenn, A Albore, F Mamalet, G Flandin, C Gabreau, H Delseny, ...
European congress on embedded real time systems (ERTS 2020), 2020
242020
Enhanced dispatchability of aircrafts using multi-static configurations
C Engel, E Jenn, PH Schmitt, R Coutinho, T Schoofs
ERTS2 2010, Embedded Real Time Software & Systems, 2010
242010
Design guidelines of a VHDL-based simulation tool for the validation of fault tolerance
M Rimén, J Ohlsson, J Karlsson, E Jenn, J Arlat
Proc. 1st ESPRIT Basic Research Project PDCS-2 Open Workshop, 461-483, 1993
241993
A case study of specification and verification using JML in an avionics application
P Schmitt, I Tonin, C Wonnemann, E Jenn, S Leriche, JJ Hunt
Proceedings of the 4th international workshop on Java technologies for real …, 2006
222006
Sur la validation des systèmes tolérant les fautes: injection de fautes dans des modèles de simulation VHDL
É Jenn
Toulouse, INPT, 1994
201994
Stepwise formal modeling and verification of self-adaptive systems with event-b. the automatic rover protection case study
NK Singh, Y Aït-Ameur, M Pantel, A Dieumegard, E Jenn
2016 21st international conference on engineering of complex computer …, 2016
162016
Industrial grade model checking: use Cases, constraints, tools and applications
M Clabaut, N Ge, N Breton, E Jenn, R Delmas, Y Fonteneau
162016
Safety critical applications and hard real-time profile for Java: a case study in avionics
EYS Hu, E Jenn, N Valot, A Alonso
Proceedings of the 4th international workshop on Java technologies for real …, 2006
162006
White paper machine learning in certified systems
F Mamalet, E Jenn, G Flandin, H Delseny, C Gabreau, A Gauffriau, ...
IRT Saint Exupéry; ANITI, 2021
152021
Integrated formal verification of safety-critical software
N Ge, E Jenn, N Breton, Y Fonteneau
International Journal on Software Tools for Technology Transfer 20, 423-440, 2018
152018
An experiment on exploiting virtual platforms for the development of embedded equipments
P Cuenot, E Jenn, E Faure, N Broueilh, E Rouland
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016
122016
Model-checking real-time properties of an auto flight control system function
PA Bourdil, B Berthomieu, E Jenn
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
112014
Use of PERC Pico for safety critical Java
M Richard-Foy, T Schoofs, E Jenn, L Gauthier, K Nilsen
Conference Proceedings: Embedded Real-Time Software and Systems, Toulouse …, 2010
112010
Dataset definition standard (dds)
C Cappi, C Chapdelaine, L Gardes, E Jenn, B Lefevre, S Picard, ...
arXiv preprint arXiv:2101.03020, 2021
102021
Correct‐by‐construction specification to verified code
N Ge, A Dieumegard, E Jenn, L Voisin
Journal of Software: Evolution and Process 30 (10), e1959, 2018
102018
The system can't perform the operation now. Try again later.
Articles 1–20