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
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
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
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
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