Thierry Jéron

Statistics

Publications

Citations

1.4K

H-Index

Active since

1993

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre Inria de l'Université de Rennes

Institut de Recherche en Informatique et Systèmes Aléatoires

Laboratoire d'Informatique de Grenoble

Université Grenoble Alpes

Thierry Jéron is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, engineering, and formal methods.

ORCID

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSoftware AnalysisVerificationProgram AnalysisSystems EngineeringSoftware TestingSoftware Engineering

Publications per year

1993–2017

Publications

TGV: theory, principles and algorithms

Claude Jard, Thierry Jéron · International Journal on Software Tools for Technology Transfer · 2004 · 350 citations

Engineering, Algorithmic Library, Algorithm Design +4

An experiment in automatic generation of test suites for protocols with verification technology

Jean-Claude Fernandez, Claude Jard, Thierry Jéron et al. · Science of Computer Programming · 1997 · 146 citations

Engineering, Verification, Test Data Generation +16

Supervision Patterns in Discrete Event Systems Diagnosis

Thierry Jéron, Hervé Marchand, Sophie Pinchinat et al. · 2006 · 130 citations · Full text

Engineering, Discrete Event Systems, Verification +19

Efficient object-oriented integration and regression testing

Yves Le Traon, Thierry Jéron, Jean‐Marc Jezéquél et al. · IEEE Transactions on Reliability · 2000 · 129 citations

Software Maintenance, Engineering, Efficient Object-oriented Integration +20

Predictability of Sequence Patterns in Discrete Event Systems

Thierry Jéron, Hervé Marchand, Şahika Genç et al. · IFAC Proceedings Volumes · 2008 · 74 citations

Engineering, Discrete Event System, Data Science +7

1–5 of 28