SPIN

Keyphrases

Publications

2023

Emil G. Henriksen, Alan M. Khorsid, Esben Nielsen, Theodor Risager, Jirí Srba, Adam M. Stück, Andreas S. Sørensen
Potency-Based Heuristic Search with Randomness for Explicit Model Checking. SPIN (2023)
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Nikolaj Jensen Ulrik
Elimination of Detached Regions in Dependency Graph Verification. SPIN (2023)
Chukri Soueidi, Yliès Falcone
Sound Concurrent Traces for Online Monitoring. SPIN (2023)
Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman
Efficient Implementation of LIMDDs for Quantum Circuit Simulation. SPIN (2023)
Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. SPIN (2023)
Giso H. Dal, Alfons Laarman, Peter J. F. Lucas
ParaGnosis: A Tool for Parallel Knowledge Compilation. SPIN (2023)
Anton Wijs, Muhammad Osama
GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data. SPIN (2023)
Bryant Israelsen, Landon Taylor, Zhen Zhang
Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks. SPIN (2023)
Théo Matricon, Nathanaël Fijalkow, Gaëtan Margueritte
WikiCoder: Learning to Write Knowledge-Powered Code. SPIN (2023)
Roi Fogler, Itay Cohen, Doron Peled
Accelerating Black Box Testing with Light-Weight Learning. SPIN (2023)
Hugues Evrard, Alastair F. Donaldson
Model Checking Futexes. SPIN (2023)

volume 13872, 2023

Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings SPIN 13872 (2023)

2022

volume 13255, 2022

Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings SPIN 13255 (2022)

2021

volume 12864, 2021

Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings SPIN 12864 (2021)

2019

volume 11636, 2019

Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings SPIN 11636 (2019)

2018

volume 10869, 2018

Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings SPIN 10869 (2018)