Sign in
SPIN
1999
2007
2015
2023
1999
2023
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
Thanh Son Nguyen
,
Ben Jones
,
Zvonimir Rakamaric
Synthesis of Rigorous Floating-Point Predicates.
SPIN
(2022)
Fabian Bauer-Marquart
,
David Boetius
,
Stefan Leue
,
Christian Schilling
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks.
SPIN
(2022)
Fereidoun Moradi
,
Maryam Bagheri
,
Hanieh Rahmati
,
Hamed Yazdi
,
Sara Abbaspour Asadollah
,
Marjan Sirjani
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks.
SPIN
(2022)
Shiraj Arora
,
René Rydhof Hansen
,
Kim Guldstrand Larsen
,
Axel Legay
,
Danny Bøgsted Poulsen
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals.
SPIN
(2022)
Parker Hanson
,
Benjamin Winters
,
Eric Mercer
,
Brett Decker
Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench.
SPIN
(2022)
Saumya Shankar
,
Antoine Rollet
,
Srinivas Pinisetty
,
Yliès Falcone
Bounded-Memory Runtime Enforcement.
SPIN
(2022)
Alan Khoja
,
Martin Kölbl
,
Stefan Leue
,
Rüdiger Wilhelmi
Automated Consistency Analysis for Legal Contracts.
SPIN
(2022)
Mitja Kulczynski
,
Kevin Lotz
,
Dirk Nowotka
,
Danny Bøgsted Poulsen
Solving String Theories Involving Regular Membership Predicates Using SAT.
SPIN
(2022)
volume 13255, 2022
Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
SPIN
13255 (2022)
2021
Antoine Chenoy
,
Fabien Duchene
,
Thomas Given-Wilson
,
Axel Legay
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs.
SPIN
(2021)
Madoda Nxumalo
,
Nils Timm
,
Stefan Gruner
Spotlight Abstraction in Model Checking Real-Time Task Schedulability.
SPIN
(2021)
Vincenzo Ciancia
,
Gina Belmonte
,
Diego Latella
,
Mieke Massink
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution.
SPIN
(2021)
Alexandre Kirszenberg
,
Antoine Martin
,
Hugo Moreau
,
Etienne Renault
Go2Pins: A Framework for the LTL Verification of Go Programs.
SPIN
(2021)
Nicolas Amat
,
Silvano Dal-Zilio
,
Didier Le Botlan
Accelerating the Computation of Dead and Concurrent Places Using Reductions.
SPIN
(2021)
Mariëlle Stoelinga
,
Christina Kolb
,
Stefano M. Nicoletti
,
Carlos E. Budde
,
Ernst Moritz Hahn
The Marriage Between Safety and Cybersecurity: Still Practicing.
SPIN
(2021)
Maik Wiesner
,
Marie-Christine Jakobs
Verifying Pipeline Implementations in OpenMP.
SPIN
(2021)
Syyeda Zainab Fatmi
,
Xiang Chen
,
Yash Dhamija
,
Maeve Wildes
,
Qiyi Tang
,
Franck van Breugel
Probabilistic Model Checking of Randomized Java Code.
SPIN
(2021)
Lukas Humbel
,
Daniel David Schwyn
,
Nora Hossle
,
Roni Haecki
,
Melissa Licciardello
,
Jan Schaer
,
David Cock
,
Michael Giardino
,
Timothy Roscoe
C Specification.
SPIN
(2021)
Marie-Christine Jakobs
PatEC: Pattern-Based Equivalence Checking.
SPIN
(2021)
volume 12864, 2021
Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
SPIN
12864 (2021)
2019
Massimo Benerecetti
,
Ugo Gentile
,
Stefano Marrone
,
Roberto Nardone
,
Adriano Peron
,
Luigi L. L. Starace
,
Valeria Vittorini
From Dynamic State Machines to Promela.
SPIN
(2019)
Patrick Metzler
,
Neeraj Suri
,
Georg Weissenbacher
Extracting Safe Thread Schedules from Incomplete Model Checking Results.
SPIN
(2019)
Shiraj Arora
,
M. V. Panduranga Rao
Model Checking Branching Time Properties for Incomplete Markov Chains.
SPIN
(2019)
Muhammad Usman
,
Wenxi Wang
,
Kaiyuan Wang
,
Cagdas Yelen
,
Nima Dini
,
Sarfraz Khurshid
A Study of Learning Data Structure Invariants Using Off-the-shelf Tools.
SPIN
(2019)
Søren Enevoldsen
,
Kim Guldstrand Larsen
,
Jirí Srba
Model Verification Through Dependency Graphs.
SPIN
(2019)
Nhat-Hoa Tran
,
Toshiaki Aoki
Conformance Testing of Schedulers for DSL-based Model Checking.
SPIN
(2019)
Yuan Liu
,
Xi Wang
,
Lintao Xian
,
Zhongwen Guo
STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph.
SPIN
(2019)
Omar I. Al-Bataineh
,
David S. Rosenblum
,
Mark Reynolds
A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table.
SPIN
(2019)
Sergey M. Staroletov
,
Nikolay V. Shilov
Applying Model Checking Approach with Floating Point Arithmetic for Verification of Air Collision Avoidance Maneuver Hybrid Model.
SPIN
(2019)
Agostino Cortesi
,
Henrich Lauko
,
Martina Olliaro
,
Petr Rockai
String Abstraction for Model Checking of C Programs.
SPIN
(2019)
Shikhar Singh
,
Mengshi Zhang
,
Sarfraz Khurshid
Learning Guided Enumerative Synthesis for Superoptimization.
SPIN
(2019)
Farnaz Yousefi
,
Ehsan Khamespanah
,
Mohammed Gharib
,
Marjan Sirjani
,
Ali Movaghar
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.
SPIN
(2019)
Richard DeFrancisco
,
Shenghsun Cho
,
Michael Ferdman
,
Scott A. Smolka
Swarm Model Checking on the GPU.
SPIN
(2019)
Mohammed Foughali
,
Félix Ingrand
,
Cristina Seceleanu
Statistical Model Checking of Complex Robotic Systems.
SPIN
(2019)
volume 11636, 2019
Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
SPIN
11636 (2019)
2018
Martin Kölbl
,
Stefan Leue
,
Hargurbir Singh
From SysML to Model Checkers via Model Transformation.
SPIN
(2018)
Tim Lange
,
Frederick Prinz
,
Martin R. Neuhäußer
,
Thomas Noll
,
Joost-Pieter Katoen
Improving Generalization in Software IC3.
SPIN
(2018)
volume 10869, 2018
Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
SPIN
10869 (2018)