Scholar
Thierry Jéron
Google Scholar ID: wP_h1JAAAAAJ
Univ Rennes, Inria, CNRS, IRISA
Formal methods
Testing
Verification
Monitoring
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,432
H-index
35
i10-index
64
Publications
20
Co-authors
50
list available
Publications
1 items
Runtime Enforcement of Hybrid System Properties
2026
Cited
0
Co-authors
5 total
Vlad Rusu
Inria
Yves Le Traon
Professor of Computer Science, University of Luxembourg
Stavros Tripakis
Associate Professor, Northeastern University
Nathalie Bertrand
Univ Rennes, Inria, CNRS, IRISA
Martin Quinson
ENS Rennes, Univ Rennes, IRISA
