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)
