2018 Int. Spin Symposium on Model Checking Software

Invited Talks

  • Irina Mariuca Asavoae and Markus Roggenbach, Software Model Checking for Mobile Security
  • Klaus Havelund and Doron Peled, Efficient Runtime Verification of First-Order Temporal Properties
  • Radu Iosif, Program Verification with Separation Logic
  • Rémi Delmas, Applying Formal Methods to Advanced Embedded Controllers
Research Papers

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

Spin Homepage
Spin Symposia