Contributions to parametric timed model checking: Theory and algorithms

Étienne André

Hdr Année : 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é

Fonction : Auteur
PersonId : 8289
IdHAL : etienne-andre

Logic, Computation and Reasoning [Villetaneuse]

CV

Mots clés

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

Domaines

Logique en informatique [cs.LO] Théorie et langage formel [cs.FL] Systèmes embarqués

Fichier principal

HDR-20180816.pdf (1.54 Mo)

Origine : Fichiers produits par l'(les) auteur(s)

Étienne André : Connectez-vous pour contacter le contributeur

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

Soumis le : jeudi 16 août 2018-10:23:30

Dernière modification le : vendredi 24 mars 2023-14:53:08

Archivage à long terme le : samedi 17 novembre 2018-12:27:59

Dates et versions

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

Licence

Paternité - Partage selon les Conditions Initiales

Identifiants

HAL Id : tel-01857440 , version 1

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 CNRS GRID5000 LIPN USPC GALILE SORBONNE-PARIS-NORD SILECS ANR

413 Consultations

381 Téléchargements

Contributions to parametric timed model checking: Theory and algorithms

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

Mots clés

Domaines

Dates et versions

Licence

Identifiants

Citer

Exporter

Collections

Partager