default search action

combined dblp search
author search
venue search
publication search

ask others

31st SPIN 2025: Hamilton, ON, Canada

> 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/2025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/2025
Gidon Ernst, Kristin Yvonne Rozier:
Model Checking Software - 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings. Lecture Notes in Computer Science 15945, Springer 2026, ISBN 978-3-032-06846-0
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BeyerJRXZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BeyerJRXZ25
Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Tian Xia, Xiyue Zheng:
TransVer: A Modular Program-Transformation Framework for Reduction to Reachability. 1-24
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BombardelliBST25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BombardelliBST25
Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta:
(Asynchronous) Temporal Logics for Hyperproperties on Finite Traces. 25-43
- view
  authority control:
- export record
  dblp key:
  - conf/spin/PintoRS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/PintoRS25
Theo De Castro Pinto, Antoine Rollet, Grégoire Sutre:
An Efficient and Versatile Approach to Shortest Path Problems in Interprocedural Programs. 44-65
- view
  authority control:
- export record
  dblp key:
  - conf/spin/DongLS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/DongLS25
Yanni Dong, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
0-1 Laws for LTL and CTL over Random Transition Systems. 66-87
- view
  authority control:
- export record
  dblp key:
  - conf/spin/DongWLPS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/DongWLPS25
Yibo Dong, Xiwei Wu, Jianwen Li, Geguang Pu, Ofer Strichman:
Accelerating CAR-Based Model-Checking with Multiple Unsatisfiable Cores. 88-105
- view
  authority control:
- export record
  dblp key:
  - conf/spin/HausmannHPS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/HausmannHPS25
Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder:
Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames. 106-124
- view
  authority control:
- export record
  dblp key:
  - conf/spin/KliberP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/KliberP25
Filip Kliber, Pavel Parízek:
Locating Concurrency Errors in Windows .NET Applications by Fuzzing over Thread Schedules. 125-141
- view
  authority control:
- export record
  dblp key:
  - conf/spin/StollerJL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/StollerJL25
Scott D. Stoller, Balaji Jayasankar, Yanhong A. Liu:
Resilience Through Automated Adaptive Configuration for Distribution and Replication. 142-160
- view
  authority control:
- export record
  dblp key:
  - conf/spin/TelbiszBSV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/TelbiszBSV25
Csanád Telbisz, Levente Bajczi, Dániel Szekeres, András Vörös:
On-the-Fly Cone-of-Influence Reduction for Model Checking Concurrent Software. 161-181

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.