Accepted papers
Below is the list of papers accepted for presentation and publication at FSFMA 2013 (in no particular order).
Regular papers
- 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
PhD papers
- 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
Program
See the full program.