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 computing, computer science, and formal methods.

ORCID

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

Computing, Computer Science, Algorithms +1

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 · Full text

Computing, Computer Engineering, Computer Science +16

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 · 130 citations

Computing, Computer Science, Systems Engineering +17

Supervision Patterns in Discrete Event Systems Diagnosis

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

Engineering, Computer Systems, Systems Engineering +17

Predictability of Sequence Patterns in Discrete Event Systems

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

Engineering, Systems Engineering, Probability Theory +13

1–5 of 28