Publications HAL du labo/EPI LAAS-VERTICS

2023

Thèse

titre
Un cadre polyédrique pour les problèmes d'accessibilité dans les réseaux de Petri
auteur
Nicolas Amat
article
Networking and Internet Architecture [cs.NI]. INSA de Toulouse, 2023. English. ⟨NNT : 2023ISAT0033⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04458457/file/2023NicolasAMAT.pdf BibTex

2021

Thèse

titre
Produit Synchrone de Réseaux de Petri temporel et ses Applications au Diagnostic de Fautes
auteur
Eric Lubat
article
Embedded Systems. INSA de Toulouse, 2021. English. ⟨NNT : 2021ISAT0025⟩
Accès au texte intégral et bibtex
https://laas.hal.science/tel-03528121/file/2021EricLUBAT.pdf BibTex

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.science/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://theses.hal.science/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. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/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. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00782554/file/manuscrit_these_Nouha_ABID.pdf BibTex