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:
eric.madelaine@sophia.inria.fr