Articles with public access mandates - Thierry JéronLearn more
Available somewhere: 9
Predictive runtime verification of timed properties
S Pinisetty, T Jéron, S Tripakis, Y Falcone, H Marchand, V Preoteasa
Journal of Systems and Software 132, 353-365, 2017
Mandates: US National Science Foundation, Academy of Finland
Runtime enforcement of regular timed properties by suppressing and delaying events
Y Falcone, T Jéron, H Marchand, S Pinisetty
Science of Computer Programming 123, 2-41, 2016
Mandates: European Commission
Predictive runtime enforcement
S Pinisetty, V Preoteasa, S Tripakis, T Jéron, Y Falcone, H Marchand
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1628-1633, 2016
Mandates: US National Science Foundation, Academy of Finland
Active learning of timed automata with unobservable resets
L Henry, T Jéron, N Markey
Formal Modeling and Analysis of Timed Systems: 18th International Conference …, 2020
Mandates: Agence Nationale de la Recherche
Tipex: A tool chain for timed property enforcement during execution
S Pinisetty, Y Falcone, T Jéron, H Marchand
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
Mandates: European Commission
Diagnosing timed automata using timed markings
P Bouyer, L Henry, S Jaziri, T Jéron, N Markey
International Journal on Software Tools for Technology Transfer 23, 229-253, 2021
Mandates: Agence Nationale de la Recherche
Computing maximally-permissive strategies in acyclic timed automata
E Clement, T Jéron, N Markey, D Mentré
International Conference on Formal Modeling and Analysis of Timed Systems …, 2020
Mandates: Agence Nationale de la Recherche
Incremental methods for checking real-time consistency
T Jéron, N Markey, D Mentré, R Noguchi, O Sankur
International Conference on Formal Modeling and Analysis of Timed Systems …, 2020
Mandates: Agence Nationale de la Recherche
Repairing Real-Time Requirements
R Noguchi, O Sankur, T Jéron, N Markey, D Mentré
International Symposium on Automated Technology for Verification and …, 2022
Mandates: Agence Nationale de la Recherche
Publication and funding information is determined automatically by a computer program