SAFA: Sophia-Antipolis Formal Analysis Group
October 12, 2011

Detailed program, papers abstracts, and presentations slides

Sponsored by:

CICA -- Sophia-Antipolis
joint with SAME'11 Documents:

  • Invited Speaker: Radu Mateescu (Vasy team, INRIA Rhones-Alpes): "Model Checking and Performance Evaluation with CADP Illustrated on Shared-Memory Mutual Exclusion Protocols" slides
  • Ludovic Henrio, Fabrice Huet, Zsolt Istvána, Gheorghe Sebestyén (INRIA, Un. Cluj): "Multi-active Objects" extended abstract, slides PDF,
  • Carlos Gómez, Julien DeAntoni, Frédéric Mallet (INRIA-I3S-UNS): "Semantic Multi-view model for Low-Power" extended abstract, slides
  • Hocine Mokrani, Rabéa Ameur-Boulifa (Telecom ParisTech) "A refinement approach to design and verification of on-chip communication protocols" extended abstract, slides
  • Francesco Bongiovanni, Ludovic Henrio (INRIA Sophia-Antipolis): "Mechanical Support for Efficient Dissemination on the CAN Overlay Network" extended abstract, slides
    •
    Page maintained by: eric.madelaine@sophia.inria.fr