OASIcs, Volume 31, FSFMA 2013

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