Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

4 résultats
Page :
triés par

Active learning of timed automata with unobservable resets

 Léo Henry , Thierry Jéron , Nicolas Markey
FORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.1-26
Communication dans un congrès hal-02896517v1
Image document

Diagnosing timed automata using timed markings

 Patricia Bouyer , Léo Henry , Samy Jaziri , Thierry Jéron , Nicolas Markey
International Journal on Software Tools for Technology Transfer, 2021, 23 (2), pp.229-253. ⟨10.1007/s10009-021-00606-2⟩
Article dans une revue hal-03321763v1
Image document

Control strategies for off‑line testing of timed systems

 Léo Henry , Thierry Jéron , Nicolas Markey
Formal Methods in System Design, 2022, pp.48. ⟨10.1007/s10703-022-00403-w⟩
Article dans une revue hal-03932770v1
Image document

Control strategies for off-line testing of timed systems

 Léo Henry , Thierry Jéron , Nicolas Markey
SPIN 2018 - International Symposium on Model Checking Software, Jun 2018, Malaga, Spain. pp.171-189, ⟨10.1007/978-3-319-94111-0_10⟩
Communication dans un congrès hal-01889225v1
Page :