default search action

combined dblp search
author search
venue search
publication search

ask others

30th SPIN 2024: Luxembourg City, Luxembourg

> Home > Conferences and Workshops > SPIN

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/spin/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/2024
Thomas Neele, Anton Wijs:
Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings. Lecture Notes in Computer Science 14624, Springer 2025, ISBN 978-3-031-66148-8

Invited Contributions

- view
  authority control:
- export record
  dblp key:
  - conf/spin/BaumBHHLLS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BaumBHHLLS24
Kevin Baum, Sebastian Biewer, Holger Hermanns, Sven Hetmank, Markus Langer, Anne Lauber-Rönsberg, Sarah Sterz:
Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight. 3-25
- view
  authority control:
- export record
  dblp key:
  - conf/spin/RozierDIJNSTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/RozierDIJNSTV24
Kristin Yvonne Rozier, Rohit Dureja, Ahmed Irfan, Chris Johannsen, Karthik Nukala, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi:
MoXI: An Intermediate Language for Symbolic Model Checking. 26-46

Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/spin/ValkovDM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ValkovDM24
Ivaylo Valkov, Alastair F. Donaldson, Alice Miller:
Synchronisation in Language-Level Symmetry Reduction for Probabilistic Model Checking. 49-66
- view
  authority control:
- export record
  dblp key:
  - conf/spin/Ishii24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Ishii24
Daisuke Ishii:
A Hypergraph-Based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method. 67-84

Anniversary

- view
  authority control:
- export record
  dblp key:
  - conf/spin/CleavelandHSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/CleavelandHSS24
Rance Cleaveland, David Hansel, Steve Sims, Scott A. Smolka:
Two Decades of Industrializing Formal Verification: The Reactis Story. 87-105
- view
  authority control:
- export record
  dblp key:
  - conf/spin/ThanosVBQMCL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ThanosVBQMCL24
Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman:
Automated Reasoning in Quantum Circuit Compilation. 106-134

Automated Reasoning

- view
  authority control:
- export record
  dblp key:
  - conf/spin/SolvstenRP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/SolvstenRP24
Steffan Christ Sølvsten, Casper Moldrup Rysgaard, Jaco van de Pol:
Random Access on Narrow Decision Diagrams in External Memory. 137-145
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BajcziM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BajcziM24
Levente Bajczi, Vince Molnár:
Solving Constrained Horn Clauses as C Programs with CHC2C. 146-163

Verification Tools

- view
  authority control:
- export record
  dblp key:
  - conf/spin/Ganty24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Ganty24
Pierre Ganty:
Learning the State Machine Behind a Modal Text Editor: The (Neo)Vim Case Study. 167-175
- view
  authority control:
- export record
  dblp key:
  - conf/spin/PutrueleDCD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/PutrueleDCD24
Luciano Putruele, Ramiro Demasi, Pablo F. Castro, Pedro R. D'Argenio:
Tolerange: Quantifying Fault Masking in Stochastic Systems. 176-183
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/spin/AyaziovaBRSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/AyaziovaBRSS24
Paulína Ayaziová, Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl, Jan Strejcek:
Software Verification Witnesses 2.0. 184-203
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/spin/BeyerKL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BeyerKL24
Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Fault Localization on Verification Witnesses. 205-224

Software Verification

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/spin/BeyerCL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BeyerCL24
Dirk Beyer, Po-Chun Chien, Nian-Ze Lee:
Augmenting Interpolation-Based Model Checking with Auxiliary Invariants. 227-247
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BarthJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BarthJ24
Max Barth, Marie-Christine Jakobs:
Test-Case Generation with Automata-Based Software Model Checking. 248-267

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.