More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

25th SPIN 2018: Malaga, Spain

> 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/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/2018
María-del-Mar Gallardo, Pedro Merino:
Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings. Lecture Notes in Computer Science 10869, Springer 2018, ISBN 978-3-319-94110-3

Tutorial and Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/spin/AsavoaeNR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/AsavoaeNR18
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach:
Software Model Checking for Mobile Security - Collusion Detection in \mathbb K K. 3-25
- view
  authority control:
- export record
  dblp key:
  - conf/spin/HavelundP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/HavelundP18
Klaus Havelund, Doron Peled:
Efficient Runtime Verification of First-Order Temporal Properties. 26-47
- view
  authority control:
- export record
  dblp key:
  - conf/spin/Iosif18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Iosif18
Radu Iosif:
Program Verification with Separation Logic. 48-62

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/spin/BerthomieuBD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BerthomieuBD18
Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio:
Petri Net Reductions for Counting Markings. 65-84
- view
  authority control:
- export record
  dblp key:
  - conf/spin/0001PNNK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/0001PNNK18
Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen:
Improving Generalization in Software IC3. 85-102
- view
  authority control:
- export record
  dblp key:
  - conf/spin/GnadDL018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/GnadDL018
Daniel Gnad, Patrick Dubbert, Alberto Lluch-Lafuente, Jörg Hoffmann:
Star-Topology Decoupling in SPIN. 103-114
- view
  authority control:
- export record
  dblp key:
  - conf/spin/ChalupaSV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ChalupaSV18
Marek Chalupa, Jan Strejcek, Martina Vitovská:
Joint Forces for Memory Safety Checking. 115-132
- view
  authority control:
- export record
  dblp key:
  - conf/spin/PommelletT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/PommelletT18
Adrien Pommellet, Tayssir Touili:
Model-Checking HyperLTL for Pushdown Systems. 133-152
- view
  authority control:
- export record
  dblp key:
  - conf/spin/GutsfeldMN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/GutsfeldMN18
Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff:
A Branching Time Variant of CaRet. 153-170
- view
  authority control:
- export record
  dblp key:
  - conf/spin/HenryJM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/HenryJM18
Léo Henry, Thierry Jéron, Nicolas Markey:
Control Strategies for Off-Line Testing of Timed Systems. 171-189
- view
  authority control:
- export record
  dblp key:
  - conf/spin/PanizoDG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/PanizoDG18
Laura Panizo, Almudena Díaz, Bruno García:
An Extension of TRIANGLE Testbed with Model-Based Testing. 190-195
- view
  authority control:
- export record
  dblp key:
  - conf/spin/Abe18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Abe18
Tatsuya Abe:
Local Data Race Freedom with Non-multi-copy Atomicity. 196-215
- view
  authority control:
- export record
  dblp key:
  - conf/spin/Al-BatainehRR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Al-BatainehRR18
Omar I. Al-Bataineh, Mark Reynolds, David S. Rosenblum:
A Comparative Study of Decision Diagrams for Real-Time Model Checking. 216-234
- view
  authority control:
- export record
  dblp key:
  - conf/spin/TothM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/TothM18
Tamás Tóth, István Majzik:
Lazy Reachability Checking for Timed Automata with Discrete Variables. 235-254
- view
  authority control:
- export record
  dblp key:
  - conf/spin/KolblLS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/KolblLS18
Martin Kölbl, Stefan Leue, Hargurbir Singh:
From SysML to Model Checkers via Model Transformation. 255-274
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BuPSZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BuPSZ18
Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang:
Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking. 275-291
- view
  authority control:
- export record
  dblp key:
  - conf/spin/KwonK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/KwonK18
YoungMin Kwon, Eunhee Kim:
Quantitative Model Checking for a Controller Design. 292-307
- view
  authority control:
- export record
  dblp key:
  - conf/spin/ValmariL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ValmariL18
Antti Valmari, Vesa Lappalainen:
Modelling Without a Modelling Language. 308-327
- view
  authority control:
- export record
  dblp key:
  - conf/spin/AsavoaeAR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/AsavoaeAR18
Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco:
Context-Updates Analysis and Refinement in Chisel. 328-346

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.