Publications HAL du labo/EPI LAAS-VERTICS

2016

HDR

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.archives-ouvertes.fr/tel-01451027/file/hdr.pdf BibTex

2015

Thèse

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://tel.archives-ouvertes.fr/tel-01579065/file/2015bourdil.pdf BibTex

2014

Thèse

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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01104953/file/Cheramy.pdf BibTex

2012

Thèse

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