FSFMA

Keyphrases

Publications

2014

volume 156, 2014

Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, FSFMA 2014, Singapore, 13th May 2014. FSFMA 156 (2014)

2013

Martin Elshuber, Susanne Kandl, Peter P. Puschner
Improving System-Level Verification of SystemC Models with SPIN. FSFMA (2013)
Étienne André
Dynamic Clock Elimination in Parametric Timed Automata. FSFMA (2013)
Somsak Vanit-Anunchai
Analysis of Two-Layer Protocols: DCCP Simultaneous-Open and Hole Punching Procedures. FSFMA (2013)
Yan Liu
Formal Modelling and Verification of Pervasive Computing Systems. FSFMA (2013)
Laurent Fribourg, Ulrich Kühne, Romain Soulat
Constructing Attractors of Nonlinear Dynamical Systems. FSFMA (2013)
Jonathan Protzenko
Illustrating the Mezzo programming language. FSFMA (2013)
Laurent Fribourg
Control of Switching Systems by Invariance Analysis (Invited Talk). FSFMA (2013)
Frontmatter, Table of Contents, Preface, Workshop Organization. FSFMA (2013)
Wei-Ngan Chin
Specification, Verification and Inference (Invited Talk). FSFMA (2013)
Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton
On the Determinism of Multi-core Processors. FSFMA (2013)
César Rodríguez, Stefan Schwoon
An Improved Construction of Petri Net Unfoldings. FSFMA (2013)
Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel
Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns. FSFMA (2013)
Yanti Rusmawati, David E. Rydeheard
Modelling and Reasoning about Dynamic Networks as Concurrent Systems. FSFMA (2013)

volume 31, 2013

1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore FSFMA 31 (2013)