MFDL 2010

La journée MFDL en 2010 a été très riche. Les divers échanges et débats ont été constructifs et ont porté sur un large spectre de travaux issus du monde des méthodes formelles. Vous trouverez, ci-dessous, la liste des exposés et résumés de ces travaux.


Présentation invitée - Véronique Delebarre - SafeRiver
  • Méthodes formelles pour la spécification et la vérification d'équipements cryptographiques (Résumé)

Présentations de doctorants
  • Mise en œuvre d'approches d'intégration de UML et de notations formelles pour la validation et la vérification de propriétés de sécurité (Résumé, Présentation)
    - Mohamed-Amine Labiadh - Doctorant LIG
  • A Formal Framework for Specifying and Analyzing Logs as Electronic (Résumé, Présentation)
    - Eduardo Mazza - Doctorant Vérimag
  • Refinement Based Development of Medical Systems (Résumé, Présentation)
    - SINGH Neeraj Kumar - Doctorant Loria

Présentations de projets ANR
  • LISE : spécification de responsabilités en matière de logiciels (Résumé, Presentation, Poster)
    - Le Métayer Daniel, INRIA Grenoble Rhône-Alpes
  • SELKIS : Une méthode de développement de systèmes d’information médicaux sécurisés: de l'analyse des besoins à l'implémentation (Résumé, Présentation, Poster)
    - Laleau Régine, LACL - Université Paris-Est Créteil

Présentation invitée : Jean-Marc Mota - Thales group
  • Démonstration de la sécurité d'une application ferroviaire de signalisation en mode nominal et en modes dégradés par la preuve formelle (Résumé)

Présentations de doctorants
  • Vérification des programmes par analyse statique et test structurel avec différentes utilisations de slicing (Résumé, Présentation)
    - CHEBARO Omar - Doctorant CEA List / LIFC
  • Vérification des propriétés d’atteignabilité en B (Résumé)
    - Diagne Fama, Institut Telecom SudParis, CNRS/SAMOVAR, Paris, France
  • Utilisation de la logique temporelle pour la reconfiguration dynamique des composants (Résumé, Présentation)
    - Dormoy Julien, LIFC

Présentations de projets ANR
  • SSURF : Safety and Security under Focalize (Résumé, Présentation)
    - Mathieu Jaume - LIP6
  • TASCCC : Test Automatique basé sur des SCénarios et évaluation Critères Communs (Résumé, Présentation)
    - Frédéric Dadeau - LIFC

Présentations de doctorants
  • Traduction des ASTD en B et Event B (Résumé, Présentation)
    - Milhau Jérémy, LACL
  • Syntactic Abstraction of B Models to Generate Tests (Résumé, Présentation)
    - BUE Pierre-Christophe, LIFC - Université de Franche-Comté


Résumés