default search action

combined dblp search
author search
venue search
publication search

ask others

29th SPIN 2023: Paris, France

> 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/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/2023
Georgiana Caltais, Christian Schilling:
Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings. Lecture Notes in Computer Science 13872, Springer 2023, ISBN 978-3-031-32156-6

Binary Decision Diagrams

- view
  authority control:
- export record
  dblp key:
  - conf/spin/VinkhuijzenGHBWL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/VinkhuijzenGHBWL23
Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman:
Efficient Implementation of LIMDDs for Quantum Circuit Simulation. 3-21
- view
  authority control:
- export record
  dblp key:
  - conf/spin/DalLL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/DalLL23
Giso H. Dal, Alfons Laarman, Peter J. F. Lucas:
ParaGnosis: A Tool for Parallel Knowledge Compilation. 22-37

Concurrency

- view
  authority control:
- export record
  dblp key:
  - conf/spin/EvrardD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/EvrardD23
Hugues Evrard, Alastair F. Donaldson:
Model Checking Futexes. 41-58
- view
  authority control:
- export record
  dblp key:
  - conf/spin/SoueidiF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/SoueidiF23
Chukri Soueidi, Yliès Falcone:
Sound Concurrent Traces for Online Monitoring. 59-80

Testing

- view
  authority control:
- export record
  dblp key:
  - conf/spin/IsraelsenTZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/IsraelsenTZ23
Bryant Israelsen, Landon Taylor, Zhen Zhang:
Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks. 83-102
- view
  authority control:
- export record
  dblp key:
  - conf/spin/FoglerCP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/FoglerCP23
Roi Fogler, Itay Cohen, Doron Peled:
Accelerating Black Box Testing with Light-Weight Learning. 103-120

Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/spin/MatriconFM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/MatriconFM23
Théo Matricon, Nathanaël Fijalkow, Gaëtan Margueritte:
WikiCoder: Learning to Write Knowledge-Powered Code. 123-140
- view
  authority control:
- export record
  dblp key:
  - conf/spin/MaderbacherSBBNK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/MaderbacherSBBNK23
Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer:
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. 141-160

Explicit-State Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/spin/JensenLSU23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/JensenLSU23
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Nikolaj Jensen Ulrik:
Elimination of Detached Regions in Dependency Graph Verification. 163-179
- view
  authority control:
- export record
  dblp key:
  - conf/spin/HenriksenKNRSSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/HenriksenKNRSSS23
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. 180-187
- view
  authority control:
- export record
  dblp key:
  - conf/spin/WijsO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/WijsO23
Anton Wijs, Muhammad Osama:
GPUexplore 3.0: GPU Accelerated State Space Exploration for Concurrent Systems with Data. 188-197

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.