SAFA: Sophia-Antipolis Formal Analysis Group
Detailed programs and accepted papers abstracts

  • Invited Speaker: Andrey Rybalchenko (Max Planck Institute for Software Systems): (Title to be announced)
  • Invited Speaker: Frederic Mallet (INRIA/I3S - Aoste): "MARTE: The OMG UML2 Profile for Modeling and Analysis of Real-Time and Embedded systems" slides
  • Santiago Zanella Béguelin, Benjamin Grégoire, Sylvain Heraud (INRIA): "Automating Language-Based Cryptographic Proofs" extended abstract,
  • Zhengqin Luo (INRIA): "Secure Information Flow in Reactive Programming as a Safety Property" extended abstract, slides
  • Jos de Bruijn and Martin Rezk (Free University of Bozen): "A Logic Based Approach to the Static Analysis of Production Systems" extended abstract, slides
  • Christèle Faure (Safe River): "Computer Aided Extrinsic Robustness Verification" extended abstract, slides
  • Régis Gascon, Éric Madelaine (INRIA - Oasis): "Verifying distributed systems with unbounded channels" extended abstract, slides
  • Ludovic Apvrille, Pierre de Saqui-Sannes, Ahlem Mifdaoui (Telecom ParisTech - LAAS): "A UML Framework for the Dimensioning and Formal Verification of Embedded Systems" extended abstract, slides
  • C. André, J. Boucaron, A. Coadou, J. DeAntoni, B. Ferrero, F. Mallet, R. de Simone (INRIA - Aoste): "MARTE/CCSL+TimeSquare+K-Passa: A design platform using formal MoCCs for embedded Model-based engineering" extended abstract, slides
  • Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet (Telecom ParisTech, LTCI) "An Interactive System Level Simulation Environment for Systems on Chip" extended abstract, slides

  • Page maintained by: