SAFA: Sophia-Antipolis Formal Analysis Group
Detailed programs and presentation slides

Second SAFA day, INRIA Sophia-Antipolis, 6 march 2008

• Régis Gascon (Oasis) : "Spécification et vérification de propriétés quantitatives sur les automates à contraintes"
• Ludovic Apvrille (LabSoc): "A Framework for the Formal Verification of Infinite Systems"
• Sophie Coudert (LabSoc): "From Basic LOTOS To Description Logics"
• Fredéric Mallet (Aoste) : "MARTE Time Model"

First SAFA day, INRIA Sophia-Antipolis, 5 december 2007

• OASIS
  • Eric Madelaine "Specifying and Generating Safe GCM Components"
  • Emil Salageanu
  • Ludovic Henrio "Le modèle de composants GCM"
• LabSoc
  • Ludovic Apvrille: "DIPLODOCUS : a UML-based environment for the modeling and formal verification of System-on-chip"
  • Sophie Coudert: "IP Abstraction"
• AOSTE
  • Frederic Mallet: "Of AADL and MARTE"
  • Robert de Simone: "Latency-Insensitive Design with statically scheduled routing and abstract NoCs"
• EVEREST
  • Marieke Huismann "A Formal Connection between Security Properties and JML Annotations"