Eric Jenn
Eric Jenn
IRT Saint-Exupery / Thales Avionics
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
5731995
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
1621999
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
332009
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
231993
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
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
212010
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
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
152006
Industrial grade model checking: use Cases, constraints, tools and applications
M Clabaut, N Ge, N Breton, E Jenn, R Delmas, Y Fonteneau
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
Real-time scheduling of dataflow graphs
A Bouakaz
Université Rennes 1, 2013
102013
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
92016
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
92016
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
92014
Integrated formal verification of safety-critical software
N Ge, E Jenn, N Breton, Y Fonteneau
International Journal on Software Tools for Technology Transfer 20 (4), 423-440, 2018
82018
Formal verification of a rover anti-collision system
N Ge, E Jenn, N Breton, Y Fonteneau
Critical Systems: Formal Methods and Automated Verification, 171-188, 2016
62016
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
52018
Formal development process of safety-critical embedded human machine interface systems
N Ge, A Dieumegard, E Jenn, B d'Ausbourg, Y Aït-Ameur
2017 International Symposium on Theoretical Aspects of Software Engineering …, 2017
52017
Event-B at work: some lessons learnt from an application to a robot anti-collision function
A Dieumegard, N Ge, E Jenn
NASA Formal Methods Symposium, 327-341, 2017
52017
Event-B at work: some lessons learnt from an application to a robot anti-collision function
A Dieumegard, N Ge, E Jenn
NASA Formal Methods Symposium, 327-341, 2017
52017
The system can't perform the operation now. Try again later.
Articles 1–20