Automates programmables  Chemins infaisables  Event-Recording Logic  Event-Recording automata  Exécution symbolique  Génération aléatoire  Informatique  Logiciels -- Essais  Logiciels -- Validation  Logiciels -- Vérification  Logique informatique  Logique temporelle  Logique temps-réel  Méthodes formelles  Méthodes formelles  Reactive system  Satisfaisabilité  Sciences appliquées  Specification  Spécification  Synthèse de contrôleurs  Système réactif  Systèmes temps-réel  Temporal logic  Temps réel  Test  Verification  Vérification  Vérification formelle  

François Laroussinie a rédigé la thèse suivante :

Logique temporelle avec passé pour la spécification et la vérification des systèmes réactifs

par François Laroussinie sous la direction de Philippe Schnoebelen - Grenoble INPG

Informatique

Soutenue en 1994

François Laroussinie a dirigé les 2 thèses suivantes :

Propriétés de jeux multi-agents

par Arnaud Da Costa Lopes (Da Costa Lopes) sous la direction de Wieslaw Zielonka et de François Laroussinie . - Cachan, Ecole normale supérieure

Informatique

Soutenue le 20-09-2011

Vérification des propriétés temporisées des automates programmables industriels

par Houda Bel Mokadem sous la direction de Béatrice Bérard et de François Laroussinie . - Cachan, Ecole normale supérieure

Informatique

Soutenue en 2006

François Laroussinie a été rapporteur de la thèse suivante :

Synthesis for a weak real-time logic

par Omer Nguena-Timo sous la direction de Igor Walukiewicz - Bordeaux 1

Informatique

Soutenue le 07-12-2009

François Laroussinie a été membre de jury de la thèse suivante :

Infeasible Path Detection : a Formal Model and an Algorithm

par Romain Aïssat sous la direction de Burkhart Wolff - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 30-01-2017