Suivre
Eric Jenn
Eric Jenn
IRT Saint-Exupery / Thales Avionics
Adresse e-mail validée de irt-saintexupery.com
Titre
Citée par
Citée par
Année
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
6001995
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
1631999
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
322009
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
251993
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
222010
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
211994
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
172020
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
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
142016
Industrial grade model checking: use Cases, constraints, tools and applications
M Clabaut, N Ge, N Breton, E Jenn, R Delmas, Y Fonteneau
142016
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
132020
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
132018
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
112021
An experiment on exploiting virtual platforms for the development of embedded equipments
P Cuenot, E Jenn, E Faure, N Broueilh, E Rouland
112016
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
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
102014
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
92018
Model driven engineering with Capella and aadl
B Ouni, P Gaufillet, E Jenn, J Hugues
ERTSS 2016, 0, 2016
92016
Formal verification of a rover anti-collision system
N Ge, E Jenn, N Breton, Y Fonteneau
Critical Systems: Formal Methods and Automated Verification: Joint 21st …, 2016
82016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20