Abstract is missing.
- OASIcs, Volume 31, FSFMA'13, Complete Volume [doi]
- Frontmatter, Table of Contents, Preface, Workshop Organization [doi]
- Control of Switching Systems by Invariance Analysis (Invited Talk)Laurent Fribourg. 1 [doi]
- Specification, Verification and Inference (Invited Talk)Wei-Ngan Chin. 2 [doi]
- Analysis of Two-Layer Protocols: DCCP Simultaneous-Open and Hole Punching ProceduresSomsak Vanit-Anunchai. 3-17 [doi]
- Dynamic Clock Elimination in Parametric Timed AutomataÉtienne André. 18-31 [doi]
- On the Determinism of Multi-core ProcessorsVladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton. 32-46 [doi]
- An Improved Construction of Petri Net UnfoldingsCésar Rodríguez, Stefan Schwoon. 47-52 [doi]
- Constructing Attractors of Nonlinear Dynamical SystemsLaurent Fribourg, Ulrich Kühne, Romain Soulat. 53-60 [doi]
- Formal Modelling and Verification of Pervasive Computing SystemsYan Liu. 61-67 [doi]
- Illustrating the Mezzo programming languageJonathan Protzenko. 68-73 [doi]
- Improving System-Level Verification of SystemC Models with SPINMartin Elshuber, Susanne Kandl, Peter P. Puschner. 74-79 [doi]
- Modelling and Reasoning about Dynamic Networks as Concurrent SystemsYanti Rusmawati, David E. Rydeheard. 80-85 [doi]
- Safety of Unmanned Aircraft Systems Facing Multiple BreakdownsPatrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel. 86-91 [doi]