default search action

combined dblp search
author search
venue search
publication search

ask others

28th SPIN 2022: Virtual Event

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> 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/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/2022
Owolabi Legunsen, Grigore Rosu:
Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings. Lecture Notes in Computer Science 13255, Springer 2022, ISBN 978-3-031-15076-0
- view
  authority control:
- export record
  dblp key:
  - conf/spin/KhojaKLW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/KhojaKLW22
Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi:
Automated Consistency Analysis for Legal Contracts. 1-23
- view
  authority control:
- export record
  dblp key:
  - conf/spin/MoradiBRYAS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/MoradiBRYAS22
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. 24-43
- view
  authority control:
- export record
  dblp key:
  - conf/spin/NguyenJR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/NguyenJR22
Thanh Son Nguyen, Ben Jones, Zvonimir Rakamaric:
Synthesis of Rigorous Floating-Point Predicates. 44-60
- view
  authority control:
- export record
  dblp key:
  - conf/spin/AroraHLLP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/AroraHLLP22
Shiraj Arora, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals. 61-78
- view
  authority control:
- export record
  dblp key:
  - conf/spin/Bauer-MarquartB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Bauer-MarquartB22
Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling:
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks. 79-96
- view
  authority control:
- export record
  dblp key:
  - conf/spin/HansonWMD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/HansonWMD22
Parker Hanson, Benjamin Winters, Eric Mercer, Brett Decker:
Verifying the SHA-3 Implementation from OpenSSL with the Software Analysis Workbench. 97-113
- view
  authority control:
- export record
  dblp key:
  - conf/spin/ShankarRPF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ShankarRPF22
Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone:
Bounded-Memory Runtime Enforcement. 114-133
- view
  authority control:
- export record
  dblp key:
  - conf/spin/KulczynskiLNP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/KulczynskiLNP22
Mitja Kulczynski, Kevin Lotz, Dirk Nowotka, Danny Bøgsted Poulsen:
Solving String Theories Involving Regular Membership Predicates Using SAT. 134-151

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.