Artikkelit, joihin on yleisen käytön mandaatti - Thierry JéronLisätietoja
Saatavilla jossain: 10
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
Mandaatit: US National Science Foundation, Suomen Akatemiaa
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
Mandaatit: 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
Mandaatit: US National Science Foundation, Suomen Akatemiaa
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
Mandaatit: 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
Mandaatit: 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
Mandaatit: 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
Mandaatit: 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
Mandaatit: 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
Mandaatit: Agence Nationale de la Recherche
Distributed Monitoring of Timed Properties
L Henry, T Jéron, N Markey, V Roussanaly
International Conference on Runtime Verification, 243-261, 2024
Mandaatit: UK Engineering and Physical Sciences Research Council
Tietokoneohjelma arvioi ja määrittää julkaisu- ja rahoitustiedot automaattisesti