...  Algorithmes  Algorithmes parallèles  Analyse de l'accessibilité  Application aérospatiale  Application de sécurité routière  Automates de Büchi  Automates temporisés  Bases de données -- Conception  Bases de données Orientées Graphes  CTL  Code auto-modifiant  Code binaire  Commande robuste  Compilation  Comportements Zeno  Concurrence  Coopération entre entreprises  Diagrammes états-transitions UML  Drones  Drones terrestres  Délais  Dépliage  Détection de malware  Entreprises -- Systèmes d'information  Environnements normés  Exigences règlementaires  Exploration de données  Gestion d'entreprise  Graphe d'Observation Symbolique  Graphes orientés  Informatique  Ingénierie des exigences  Inspection  Interconnexion de réseaux  Internet  Jeux pondérés  LTL  La Réunion  Logiciels -- Vérification  Logique temporelle  Logique temporelle des actions  Markov, Processus de  Mesure  Mesures de sûreté  Model-checking  Modélisation Orientée Aspects  Modélisation des données  Méthodes formelles  Métrologie active  Métrologie passive  Normes  Parallélisme  Performance  Petri, Réseaux de  Pi-calcul  Pi-graphes  Poste à poste  Processus Métier Inter-Entreprises  Processus stochastiques  Programmation parallèle  Programmes C  Programmes distribués asynchrones  Protocole de dissémination d'information  Protocoles  Protocoles cryptographiques  Protocoles de réseaux d'ordinateurs  Prototypes  Pushdown system  Qualité de Service  Robustesse  Routage  Routage  Routage géocast  Réduction  Réduction de commande partielle  Réseaux de Petri colorés  Réseaux ad hoc de véhicules  Réseaux de communication  Réunion  Salles blanches  Salles d'opération  Symétrie  Synthèse  Synthèse de paramètres  Systèmes adaptatifs  Systèmes de transport intelligent  Systèmes informatiques  Systèmes temporisés  Sémantique formelle  TCP/IP  Tcp  Technologie -- Évaluation  Temps réel  Traitement d'événements  Télécommunications -- Trafic  UML  Virus informatiques  Vérification de modèles  Vérification de modèles  Vérification distribuée  Vérification formelle  Vérification paramétrée  Zone Océan Indien  

Laure Petrucci a rédigé la thèse suivante :

Sciences appliquées
Soutenue en 1991
Thèse soutenue


Laure Petrucci a dirigé les 6 thèses suivantes :


Laure Petrucci a été président de jury des 6 thèses suivantes :

Informatique
Soutenue le 30-09-2019
Thèse soutenue

Laure Petrucci a été rapporteur des 6 thèses suivantes :

Réseaux informatiques
Soutenue le 30-08-2018
Thèse soutenue

Laure Petrucci a été membre de jury des 3 thèses suivantes :