News from SAME

SAME 2012 University Booth

Click here to see the content

Opportunities for
Start-Up

Click here to see the Start-Up program

Template Paper

same-location-2012-titlesame-location-2012-sophia-ccsame-location-2012-cica

same-registration-confernece-2012

Print

SAFA Workshop

SAFA Annual Workshop on Formal Techniques

Joint with SAME’2011

 

Accepted papers

  • Mechanical Support for Efficient Dissemination on the CAN Overlay Network
  • Multi-active Objects
  • A refinement approach to design and verification of on-chip communication protocols
  • Semantic Multi-view model for Low-Power

 

Detailed program

Wednesday, October 12, 2011
  • 13:30 Opening of the workshop

  • 13:40 Invited talk

  • 14:30 Session 1

    Multi-active Objects
    Ludovic Henrio, Fabrice Huet, Zsolt Istvána, Gheorghe Sebestyén INRIA – CNRS – I3S – Univ Nice Sophia Antipolis, Technical University of Cluj-Napoca

  • 15:00 Coffee break

  • 15:30 Session 2

    Semantic Multi-view model for Low-Power
    Carlos Gómez, Julien DeAntoni, Frédéric Mallet Université de Nice-Sophia Antipolis

    A refinement approach to design and verification of on-chip communication protocols
    Hocine Mokrani, Rabéa Ameur-Boulifa Institut Telecom, Telecom ParisTech

    Mechanical Support for Efficient Dissemination on the CAN Overlay Network
    Francesco Bongiovanni, Ludovic Henrio INRIA Méditérranée – CNRS – I3S – Univ. de Nice Sophia-Antipolis

  • 17:00 Discussion

  • 18:00 Closing
  • Download program : Right click here to download
  • (The program is available in PDF file. For more informations, please visit www.adobe.com)
casa cg06 ue paca prides