Contributions to parametric timed model checking: Theory and algorithms

Étienne André

Habilitation À Diriger Des Recherches Year : 2018

Contributions to parametric timed model checking: Theory and algorithms

Contributions au model-checking temporisé paramétré : théorie et algorithmes

(1)

1

Étienne André

Function : Author
PersonId : 8289
IdHAL : etienne-andre

Logic, Computation and Reasoning [Villetaneuse]

CV

Keywords

Model checking Timed automata parametric timed automata Real-time systems Efficient verification

Vérification Formelle Automates temporisés Automates temporisés paramétrés Systèmes temps-réel vérification efficace

Domains

Logic in Computer Science [cs.LO] Formal Languages and Automata Theory [cs.FL] Embedded Systems

Fichier principal

HDR-20180816.pdf (1.54 Mo)

Origin	Files produced by the author(s)

Étienne André : Connect in order to contact the contributor

https://theses.hal.science/tel-01857440

Submitted on : Thursday, August 16, 2018-10:23:30 AM

Last modification on : Friday, March 24, 2023-2:53:08 PM

Long-term archiving on : Saturday, November 17, 2018-12:27:59 PM

Dates and versions

tel-01857440 , version 1 (16-08-2018)

Licence

Attribution - ShareAlike

Identifiers

HAL Id : tel-01857440 , version 1

Cite

Étienne André. Contributions to parametric timed model checking: Theory and algorithms. Logic in Computer Science [cs.LO]. Université Paris 13, 2018. ⟨tel-01857440⟩

Contributions to parametric timed model checking: Theory and algorithms

Contributions au model-checking temporisé paramétré : théorie et algorithmes

Keywords

Domains

Dates and versions

Licence

Identifiers

Cite

Export

Collections

Share