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 | 623 | 1995 |
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 | 173 | 1999 |
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 | 38 | 2020 |
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 | 35 | 2009 |
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 | 25 | 2021 |
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 | 24 | 2020 |
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 | 24 | 2010 |
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 | 24 | 1993 |
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 | 22 | 2006 |
Sur la validation des systèmes tolérant les fautes: injection de fautes dans des modèles de simulation VHDL É Jenn Toulouse, INPT, 1994 | 20 | 1994 |
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 | 16 | 2016 |
Industrial grade model checking: use Cases, constraints, tools and applications M Clabaut, N Ge, N Breton, E Jenn, R Delmas, Y Fonteneau | 16 | 2016 |
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 | 16 | 2006 |
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 | 15 | 2021 |
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 | 15 | 2018 |
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 | 12 | 2016 |
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 | 11 | 2014 |
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 | 11 | 2010 |
Dataset definition standard (dds) C Cappi, C Chapdelaine, L Gardes, E Jenn, B Lefevre, S Picard, ... arXiv preprint arXiv:2101.03020, 2021 | 10 | 2021 |
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 | 10 | 2018 |