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

Joint Declaration: The freedom of science is at the heart of liberal, democratic societies. Without this freedom, it is impossible for scientific efforts to be geared toward gaining knowledge and facts. It is therefore extremely worrying that the scientific freedom is coming under increasing pressure in various regions of the world. (read more)

We've just launched a new service: our brand new dblp SPARQL query service. Read more about it in our latest blog post or try out some of the SPARQL queries linked on the dblp web pages below.

default search action

combined dblp search
author search
venue search
publication search

ask others

17th SPIN 2010: Enschede, The Netherlands

> 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/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/2010
Jaco van de Pol, Michael Weber:
Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. Lecture Notes in Computer Science 6349, Springer 2010, ISBN 978-3-642-16163-6

Satisfiability Modulo Theories for Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/spin/Cimatti10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Cimatti10
Alessandro Cimatti:
SMT-Based Software Model Checking. 1-3
- view
  authority control:
- export record
  dblp key:
  - conf/spin/MuhlbergL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/MuhlbergL10
Jan Tobias Mühlberg, Gerald Lüttgen:
Symbolic Object Code Analysis. 4-21

Model Checking in Context

- view
  authority control:
- export record
  dblp key:
  - conf/spin/KahkonenKHN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/KahkonenKHN10
Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä:
Experimental Comparison of Concolic and Random Testing for Java Card Applets. 22-39
- view
  authority control:
- export record
  dblp key:
  - conf/spin/MerinoS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/MerinoS10
Pedro Merino, Alberto Salmerón:
Combining SPIN with ns-2 for Protocol Optimization. 40-57
- view
  authority control:
- export record
  dblp key:
  - conf/spin/YatakeA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/YatakeA10
Kenro Yatake, Toshiaki Aoki:
Automatic Generation of Model Checking Scripts Based on Environment Modeling. 58-75

Implementation and Performance of Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/spin/Cofer10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Cofer10
Darren D. Cofer:
Model Checking: Cleared for Take Off. 76-87
- view
  authority control:
- export record
  dblp key:
  - conf/spin/WehrleK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/WehrleK10
Martin Wehrle, Sebastian Kupferschmid:
Context-Enhanced Directed Model Checking. 88-105
- view
  authority control:
- export record
  dblp key:
  - conf/spin/EdelkampS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/EdelkampS10
Stefan Edelkamp, Damian Sulewski:
Efficient Explicit-State Model Checking on General Purpose Graphics Processors. 106-123
- view
  authority control:
- export record
  dblp key:
  - conf/spin/JongeR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/JongeR10
Marc de Jonge, Theo C. Ruys:
The SpinJa Model Checker. 124-128

LTL and Büchi Automata

- view
  authority control:
- export record
  dblp key:
  - conf/spin/EhlersF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/EhlersF10
Rüdiger Ehlers, Bernd Finkbeiner:
On the Virtue of Patience: Minimizing Büchi Automata. 129-145
- view
  authority control:
- export record
  dblp key:
  - conf/spin/PesicBA10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/PesicBA10
Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aalst:
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance. 146-161
- view
  authority control:
- export record
  dblp key:
  - conf/spin/ChenM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ChenM10
Zhe Chen, Gilles Motet:
Nevertrace Claims for Model Checking. 162-179

Infinite State Models

- view
  authority control:
- export record
  dblp key:
  - conf/spin/Esparza10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/Esparza10
Javier Esparza:
A False History of True Concurrency: From Petri to Tools. 180-186
- view
  authority control:
- export record
  dblp key:
  - conf/spin/HagueO10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/HagueO10
Matthew Hague, C.-H. Luke Ong:
Analysing Mu-Calculus Properties of Pushdown Systems. 187-192
- view
  authority control:
- export record
  dblp key:
  - conf/spin/CalinCDHZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/CalinCDHZ10
Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang:
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. 193-211
- view
  authority control:
- export record
  dblp key:
  - conf/spin/LindenW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/LindenW10
Alexander Linden, Pierre Wolper:
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models. 212-226

Concurrent Software

- view
  authority control:
- export record
  dblp key:
  - conf/spin/GhafariHR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/GhafariHR10
Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric:
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. 227-244
- view
  authority control:
- export record
  dblp key:
  - conf/spin/KiddJV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/KiddJV10
Nicholas Kidd, Suresh Jagannathan, Jan Vitek:
One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling. 245-261

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.