Recherche

Intérêts de recherche

Méthodes formelles de spécification et de vérification des systèmes concurrents et de la sécurité des systèmes d'information.

• Méthode formelle
• Analyse des systèmes
• Analyse de la sécurité
• Modèle et calcul des systèmes concurrents
• Description et vérification des systèmes
• Systèmes concurrents orientés objet
• Système concurrents mobiles
• Modèle et vérification pour la sécurité dse systèmes

Unité(s) de recherche

• Laboratoire de Conception et de Réalisation des Applications Complexes (CRAC), Responsable
• SQUIRREL, membre

Sujets CRSNG

• 2700  TECHNOLOGIE DE L'INFORMATION
• 2714  Mathématiques de l'informatique
• 2710  Conception de systèmes d'information
• 2713 Algorithmes