Concepedia

Éric Jenn

ÉJ

6

Publications

452

Citations

6

H-Index

1999

Active since

Affiliations

Thales (France)(Current)

Laboratoire d'Analyse et d'Architecture des Systèmes

University of York

Centre National de la Recherche Scientifique

Éric Jenn is an author at Thales (France) specializing in engineering, systems engineering, and system software.

Top concepts

EngineeringSystem SoftwareComputer ScienceSoftware TestingSystems EngineeringProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringSoftware Engineering

Publications per year

1999–2017

6

Publications

6

Fault injection into VHDL models: the MEFISTO tool

Éric Jenn, Jean Arlat, M. Rimen et al. · 2002 · 296 citations

Engineering, Mefisto Environment, Computer Architecture +19

GUARDS: a generic upgradable architecture for real-time dependable systems

David Powell, Jean Arlat, L. Beus-Dukic et al. · IEEE Transactions on Parallel and Distributed Systems · 1999 · 93 citations

Engineering, Computer Architecture, Software Engineering +20

Use of PERC Pico in the AIDA avionics platform

Tobias Schoofs, Éric Jenn, Stéphane Leriche et al. · 2009 · 21 citations

Engineering, Computer Architecture, Software Engineering +18

A case study of specification and verification using JML in an avionics application

Peter H. Schmitt, Isabel Tonin, Claus Wonnemann et al. · 2006 · 17 citations

Program Checking, Deductive Formal Verification, Engineering +24

Safety critical applications and hard real-time profile for Java

Erik Yu-Shing Hu, Éric Jenn, Nicolas Valot et al. · 2006 · 13 citations

Analysis Tools, Engineering, Software Engineering +19

Rows per page

1–5 of 6