default search action

combined dblp search
author search
venue search
publication search

ask others

21st SPIN 2014: San Jose, CA, USA

> 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
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/spin/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/2014
Neha Rungta, Oksana Tkachuk:
2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014. ACM 2014, ISBN 978-1-4503-2452-6

Research Papers

- view
  authority control:
- export record
  dblp key:
  - conf/spin/ParizekJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ParizekJ14
Pavel Parízek, Pavel Jancík:
Approximating happens-before order: interplay between static analysis and state space traversal. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/spin/Zheng14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Zheng14
Hao Zheng:
Local state space construction for compositional verification of concurrent systems. 11-19
- view
  authority control:
- export record
  dblp key:
  - conf/spin/EmmiOT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/EmmiOT14
Michael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran:
Exploiting synchronization in the analysis of shared-memory asynchronous programs. 20-29
- view
  authority control:
- export record
  dblp key:
  - conf/spin/JakobsW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/JakobsW14
Marie-Christine Jakobs, Heike Wehrheim:
Certification for configurable program analysis. 30-39
- view
  authority control:
- export record
  dblp key:
  - conf/spin/GuntherW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/GuntherW14
Henning Günther, Georg Weissenbacher:
Incremental bounded software model checking. 40-47
- view
  authority control:
- export record
  dblp key:
  - conf/spin/FilippidisH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/FilippidisH14
Ioannis Filippidis, Gerard J. Holzmann:
An improvement of the piggyback algorithm for parallel model checking. 48-57
- view
  authority control:
- export record
  dblp key:
  - conf/spin/ThakurBR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ThakurBR14
Aditya V. Thakur, Jason Breck, Thomas W. Reps:
Satisfiability modulo abstraction for separation logic with linked lists. 58-67
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BlahoudekDKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BlahoudekDKS14
Frantisek Blahoudek, Alexandre Duret-Lutz, Mojmír Kretínský, Jan Strejcek:
Is there a best büchi automaton for explicit model checking? 68-76
- view
  authority control:
- export record
  dblp key:
  - conf/spin/Henda14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Henda14
Noomene Ben Henda:
Generic and efficient attacker models in SPIN. 77-86
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BartocciDS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BartocciDS14
Ezio Bartocci, Richard DeFrancisco, Scott A. Smolka:
Towards a GPGPU-parallel SPIN model checker. 87-96

Short Papers

- view
  authority control:
- export record
  dblp key:
  - conf/spin/ShafieiB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ShafieiB14
Nastaran Shafiei, Franck van Breugel:
Automatic handling of native methods in Java PathFinder. 97-100
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BeyeneBR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BeyeneBR14
Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko:
CTL+FO verification as constraint solving. 101-104
- view
  authority control:
- export record
  dblp key:
  - conf/spin/PhanMPd14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/PhanMPd14
Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim:
Quantifying information leaks using reliability analysis. 105-108
- view
  authority control:
- export record
  dblp key:
  - conf/spin/ChakiE14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ChakiE14
Sagar Chaki, James R. Edmondson:
Toward parameterized verification of synchronous distributed applications. 109-112
- view
  authority control:
- export record
  dblp key:
  - conf/spin/SullivanZKM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/SullivanZKM14
Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov:
Towards a test automation framework for alloy. 113-116
- view
  authority control:
- export record
  dblp key:
  - conf/spin/Leitner-FischerL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Leitner-FischerL14
Florian Leitner-Fischer, Stefan Leue:
SpinCause: a tool for causality checking. 117-120
- view
  authority control:
- export record
  dblp key:
  - conf/spin/LatorreAS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/LatorreAS14
Nicolas Latorre, Francesco Alberti, Natasha Sharygina:
Verige: verification with invariant generation engine. 121-124
- view
  authority control:
- export record
  dblp key:
  - conf/spin/BrezocnikVV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BrezocnikVV14
Zmago Brezocnik, Bostjan Vlaovic, Aleksander Vreze:
SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker. 125-128
- view
  authority control:
- export record
  dblp key:
  - conf/spin/NeatherwayO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/NeatherwayO14
Robin P. Neatherway, C.-H. Luke Ong:
TravMC2: higher-order model checking for alternating parity tree automata. 129-132
- view
  authority control:
- export record
  dblp key:
  - conf/spin/Ruys14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Ruys14
Theo C. Ruys:
Unit testing for SPIN: runspin and parsepan. 133-136

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.