Abstraction des prédicats  Adaptation  Aggrégation de données  Algèbres de processus  Allocation du Contrôle  Analyse de traces  Approche formelle  Architecture de logiciel  Architecture robotique  Automates  Automates temporisés probabilistes  Automobiles -- Châssis  Automobiles -- Commande automatique  Cadre d'architecture  Chaînes de Markov  Commande H-infini  Composition de services  Construction d'arbre  Contrôle Robuste  Contrôle du Mouvement des Voitures  Debug  Dynamique du véhicule  Exécution Symbolique  Exécution symbolique  Fusion d'états  Hypergraphes  Ingénierie logicielle pilotée par les modèles  Interaction  Internet mobile  Itération  Logiciels -- Développement  Logiciels  Model checking  Modèles de mobilité  Méthode formelles  Méthodes Formelles  Méthodes formelles  Méthodes formelles  Métrique  Ordinateurs -- Programmation  Performabilité  Petri, Réseaux de  Pire temps d'exécution  Prism  Protocoles de routage  Robotique  Routage  Réseau de Petri à Agent  Réseaux d'ordinateurs  Réseaux de Petri  Réseaux de Pétri stochastiques  Réseaux sans fil  SOA  Services Web  SystemC  Systèmes Châssis  Systèmes Multi Agents  Systèmes communicants mobiles  Sémantique  Sémantiques des langages  Thèses et écrits académiques -- Catalogage  Tolérance aux pannes  Traitement du signal  Traitement réparti  Validation de systèmes temps réels  Vérification des systèmes matériels et logiciels  Évolution de protocole métier  

Bruno Monsuez a rédigé la thèse suivante :


Bruno Monsuez a dirigé les 5 thèses suivantes :


Bruno Monsuez a été président de jury de la thèse suivante :


Bruno Monsuez a été rapporteur de la thèse suivante :


Bruno Monsuez a été membre de jury des 2 thèses suivantes :

Informatique
Soutenue le 18-10-2012
Thèse soutenue