Publications HAL du labo/EPI LAAS-VERTICS

2021

Theses

titre
Synchronous Product of Time Petri Nets and its Applications to Fault-Diagnosis
auteur
Eric Lubat
article
Embedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0025⟩
Accès au texte intégral et bibtex
https://hal.laas.fr/tel-03528121/file/2021EricLUBAT.pdf BibTex

2016

Habilitation à diriger des recherches

titre
Contribution à la conception et à la vérification de systèmes temps réel — Focus sur l'ordonnancement temps réel
auteur
Pierre-Emmanuel Hladik
article
Systèmes embarqués. INP DE TOULOUSE, 2016
Accès au texte intégral et bibtex
https://hal.science/tel-01451027/file/hdr.pdf BibTex

2015

Theses

titre
Contribution à la modélisation et la vérification formelle par model checking - Symétries pour les Réseaux de Petri temporels
auteur
Pierre-Alain Bourdil
article
Systèmes embarqués. INSA de Toulouse, 2015. Français. ⟨NNT : 2015ISAT0041⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01579065/file/2015bourdil.pdf BibTex

2014

Theses

titre
Étude et évaluation des politiques d'ordonnancement temps réel multiprocesseur
auteur
Maxime Chéramy
article
Systèmes embarqués. Institut National des Sciences Appliquées de Toulouse (INSA Toulouse), 2014. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01104953/file/Cheramy.pdf BibTex

2012

Theses

titre
Verification of real time properties in fiacre language
auteur
Nouha Abid
article
Computation and Language [cs.CL]. INSA de Toulouse, 2012. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00782554/file/manuscrit_these_Nouha_ABID.pdf BibTex