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
5711995
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
1611999
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
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
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
72016
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
Model Driven Engineering with Capella and AADL
B Ouni, P Gaufillet, E Jenn, J Hugues
ERTSS 2016, 0, 2016
52016
Identification Model of the Object Oriented Technology risks, for Avionics Certification
S Gaudan, G Motet, E Jenn, S Leriche
Conference ERTS'06, 2006
52006
MEFISTO: a series of prototype tools for fault injection into VHDL models
J Arlat, J Boué, Y Crouzet, E Jenn, J Aidemark, P Folkesson, J Karlsson, ...
Fault injection techniques and tools for embedded systems reliability …, 2003
52003
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20