Below is the list of papers accepted for presentation and publication at FSFMA 2013 (in no particular order).
- On the Determinism of Multi-core Processors
- Dynamic Clock Elimination in Parametric Timed Automata
- Analysis of Two-Layer Protocols: DCCP Simultaneous-Open and Hole-Punching Procedures
- Safety of unmanned aircraft systems facing multiple breakdowns
- Improving System-Level Verification of SystemC Models with SPIN
- An Improved Construction of Petri Net Unfoldings
- Constructing Attractors of Nonlinear Dynamical Systems by State Space Decomposition
- Illustrating the Mezzo programming language
- Formal Modelling and Verification of Pervasive Computing Systems
- Modelling and Reasoning about Dynamic Networks as Concurrent Systems
See the full program.