Herbreteau, Frédéric, 1975-....
VIAF ID: 213027926 ( Personal )
Permalink: http://viaf.org/viaf/213027926
Preferred Forms
Works
Title | Sources |
---|---|
Automata on timed structures. | |
Automates à file réactifs embarqués : application à la vérification de systèmes temps-réel | |
Encodage Efficace des Systèmes Critiques pour la Vérificaton Formelle par Model Checking à base de Solveurs SAT | |
On the theory and practice of updatable parametric timed automata | |
Partial order reduction for timed systems | |
Réduction d'ordre partiel pour les systèmes temporisés. | |
Sur la théorie et l'application des automates paramétrés temporisés avec mises à jour. | |
Unfolding based verification of concurrent infinite-state systems | |
Vérification d'automates temporisés : sûreté, vivacité et modélisation. | |
Verification of timed automata : reachability, liveness and modelling |