default search action

combined dblp search
author search
venue search
publication search

ask others

27th SPIN 2021: Virtual Event

> 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/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/2021
Alfons Laarman, Ana Sokolova:
Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings. Lecture Notes in Computer Science 12864, Springer 2021, ISBN 978-3-030-84628-2

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/spin/StoelingaKNBH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/StoelingaKNBH21
Mariëlle Stoelinga, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn:
The Marriage Between Safety and Cybersecurity: Still Practicing. 3-21
- view
  authority control:
- export record
  dblp key:
  - conf/spin/CianciaBLM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/CianciaBLM21
Vincenzo Ciancia, Gina Belmonte, Diego Latella, Mieke Massink:
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution. 22-41

Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/spin/AmatDB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/AmatDB21
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan:
Accelerating the Computation of Dead and Concurrent Places Using Reductions. 45-62
- view
  authority control:
- export record
  dblp key:
  - conf/spin/NxumaloTG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/NxumaloTG21
Madoda Nxumalo, Nils Timm, Stefan Gruner:
Spotlight Abstraction in Model Checking Real-Time Task Schedulability. 63-80
- view
  authority control:
- export record
  dblp key:
  - conf/spin/WiesnerJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/WiesnerJ21
Maik Wiesner, Marie-Christine Jakobs:
Verifying Pipeline Implementations in OpenMP. 81-98

Tool Papers

- view
  authority control:
- export record
  dblp key:
  - conf/spin/ChenoyDGL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ChenoyDGL21
Antoine Chenoy, Fabien Duchene, Thomas Given-Wilson, Axel Legay:
C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs. 101-119
- view
  authority control:
- export record
  dblp key:
  - conf/spin/Jakobs21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Jakobs21
Marie-Christine Jakobs:
PatEC: Pattern-Based Equivalence Checking. 120-139
- view
  authority control:
- export record
  dblp key:
  - conf/spin/KirszenbergMMR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/KirszenbergMMR21
Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault:
Go2Pins: A Framework for the LTL Verification of Go Programs. 140-156
- view
  authority control:
- export record
  dblp key:
  - conf/spin/FatmiCDWTB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/FatmiCDWTB21
Syyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang, Franck van Breugel:
Probabilistic Model Checking of Randomized Java Code. 157-174

Case Studies

- view
  authority control:
- export record
  dblp key:
  - conf/spin/HumbelSHHLSCGR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/HumbelSHHLSCGR21
Lukas Humbel, Daniel David Schwyn, Nora Hossle, Roni Haecki, Melissa Licciardello, Jan Schaer, David A. Cock, Michael Giardino, Timothy Roscoe:
A Model-Checked I²C Specification. 177-193

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.