Accepted papers

  • Antti Valmari and Walter Vogler. Fair Testing and Stubborn Sets
  • Peter Gjøl Jensen, Kim Guldstrand Larsen and Jiri Srba. Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
  • Nishanthan Kamaleson, David Parker and Jonathan Rowe. Finite-Horizon Bisimulation Minimisation for Probabilistic Systems
  • Stefan Edelkamp and Christoph Greulich. Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing
  • Maria Del Mar Gallardo, Pedro Merino, Laura Panizo and Alberto Salmerón. River basin management with SPIN
  • Aleksandar S. Dimovski. Symbolic Game Semantics for Model Checking Program Families
  • Kareem Khazem and Michael Tautschnig. smid: A Black-Box Program Driver
  • Iulia Dragomir, Viorel Preoteasa and Stavros Tripakis. Compositional Semantics and Analysis of Hierarchical Block Diagrams
  • Lakhdar Akroun, Gwen Salaün and Lina Ye. Automated Analysis of Asynchronously Communicating Systems
  • Martin Hofmann, Christian Neukirchen and Harald Ruess. Certification for µ-calculus with winning strategies
  • Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman and Sandor Veres. Autonomous Agent Behaviour Modelled in PRISM -- A Case Study
  • Radu Mateescu and Jose Ignacio Requeno. On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators
  • Subash Shankar and Gilbert Pajela. A Tool Integrating Model Checking Into a C Verification Toolset
  • Mário Angel Garcia, Felipe Rodrigues Monteiro Sousa, Lucas Carvalho Cordeiro and Eddie de Lima Filho. ESBMCQtOM: A Bounded Model Checking Tool to Verify Qt Applications
  • Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani and Gul Agha. Schedulability Analysis of Distributed Real-Time Sensor Network Applications using Actor-based Model Checking
  • Jan Mrázek, Petr Bauch, Henrich Lauko and Jiri Barnat. SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration