|
-
Rupak Majumdar (MPI Kaiserslautern, Germany),
Robots at the Edge of the Cloud
-
Shaz Qadeer (Microsoft Research, USA),
Programming devices and services in P
-
Pierre Wolper (University of Liège, Belgium),
Model Checking: What Have We Learned, What Will Machines Learn?
-
Tim Willemse (Eindhoven University of Technology, The Netherlands),
On Verification Challenges at the Large Hadron Collider
|
|
|
- [PDF]
Maria Del Mar Gallardo, Pedro Merino, Laura Panizo and Alberto Salmerón.
River basin management with SPIN
- [PDF]
Stefan Edelkamp and Christoph Greulich.
Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing
- [PDF]
Peter Gjøl Jensen, Kim Guldstrand Larsen and Jiri Srba.
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
- [PDF]
Nishanthan Kamaleson, David Parker and Jonathan Rowe.
Finite-Horizon Bisimulation Minimisation for Probabilistic Systems
- [PDF]
Radu Mateescu and Jose Ignacio Requeno.
On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators
- [PDF]
Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman and Sandor Veres.
Autonomous Agent Behaviour Modelled in PRISM -- A Case Study
- [PDF]
Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani and Gul Agha.
Schedulability Analysis of Distributed Real-Time Sensor Network Applications using Actor-based Model Checking
- [PDF]
Kareem Khazem and Michael Tautschnig.
smid: A Black-Box Program Driver
- [PDF]
Jan Mrázek, Petr Bauch, Henrich Lauko and Jiří Barnat.
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration
- [PDF]
Subash Shankar and Gilbert Pajela.
A Tool Integrating Model Checking Into a C Verification Toolset
- [PDF]
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
- [PDF]
Lakhdar Akroun, Gwen Salaün and Lina Ye.
Automated Analysis of Asynchronously Communicating Systems
- [PDF]
Iulia Dragomir, Viorel Preoteasa and Stavros Tripakis.
Compositional Semantics and Analysis of Hierarchical Block Diagrams
- [PDF]
Antti Valmari and Walter Vogler.
Fair Testing and Stubborn Sets
- [PDF]
Aleksandar S. Dimovski.
Symbolic Game Semantics for Model Checking Program Families
- [PDF]
Martin Hofmann, Christian Neukirchen and Harald Ruess.
Certification for µ-Calculus with Winning Strategies
Spin Homepage
Spin Symposia
| |