Accepted Papers

  • Omar Bataineh, Mark Reynolds and David Rosenblum. A Comparative Study of Decision Diagrams for Real-time Model Checking
  • Jens Oliver Gutsfeld, Markus Müller-Olm and Benedikt Nordhoff. A Branching Time Variant of CaRet
  • Tamás Tóth and István Majzik. Lazy Reachability Checking for Timed Automata with Discrete Variables
  • Youngmin Kwon and Eunhee Kim. Quantitative Model Checking for a Controller Design
  • Daniel Gnad, Patrick Dubbert, Alberto Lluch Lafuente and Joerg Hoffmann. Star-Topology Decoupling in SPIN
  • Irina Mariuca Asavoae, Mihail Asavoae and Adrian Riesco. Context-Updates Analysis and Refinement in Chisel
  • Adrien Pommellet and Tayssir Touili. Model-Checking HyperLTL for Pushdown Systems
  • Bernard Berthomieu, Didier Le Botlan and Silvano Dal Zilio. Petri Net Reductions for Counting Markings
  • Martin Kölbl, Stefan Leue and Hargurbir Singh. From SysML to Model Checkers via Model Transformation
  • Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll and Joost-Pieter Katoen. Improving Generalization in Software IC3
  • Marek Chalupa, Jan Strejček and Martina Vitovská. Joint Forces For Memory Safety Checking
  • Antti Valmari and Vesa Lappalainen. Modelling Without a Modelling Language
  • Léo Henry, Thierry Jéron and Nicolas Markey. Control strategies for off-line testing of timed systems
  • Laura Panizo, Almudena Díaz and Bruno García. An extension of TRIANGLE testbed with model-based testing
  • Tatsuya Abe. Local Data Race Freedom with Non-Multi-Copy Atomicity
  • Lei Bu, Doron Peled, Dachuan Shen and Yuan Zhuang. Genetic Synthesis of Concurrent Code using Model Checking and Statistical Model Checking