ask others

14. SPIN 2007: Berlin, Germany

> Home > Conferences and Workshops > SPIN

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/2007
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/2007
Dragan Bosnacki, Stefan Edelkamp:
Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings. Lecture Notes in Computer Science 4595, Springer 2007, ISBN 978-3-540-73369-0

Invited Contributions

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/Dams07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/Dams07
Dennis Dams:
StackSnuffer: Curing Orion's Unsoundness. 1
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/BrimB07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/BrimB07
Lubos Brim, Jiri Barnat:
Tutorial: Parallel Model Checking. 2-3

Directed Model Checking

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/FecherS07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/FecherS07
Harald Fecher, Sharon Shoham:
Local Abstraction-Refinement for the mu-Calculus. 4-23
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/GastinM07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/GastinM07
Paul Gastin, Pierre Moro:
Minimal Counterexample Generation for SPIN. 24-38
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/RungtaM07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/RungtaM07
Neha Rungta, Eric G. Mercer:
Generating Counter-Examples Through Randomized Guided Search. 39-57

Partial Order Reduction

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/YangCGK07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/YangCGK07
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. 58-75
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/EvangelistaP07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/EvangelistaP07
Sami Evangelista, Christophe Pajault:
Some Solutions to the Ignoring Problem. 76-94
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/GuetaFYS07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/GuetaFYS07
Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv:
Cartesian Partial-Order Reduction. 95-112

Program Analysis

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/SelfM07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/SelfM07
Joel P. Self, Eric G. Mercer:
On-the-Fly Dynamic Dead Variable Analysis. 113-130
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/BaslerKW07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/BaslerKW07
Gérard Basler, Daniel Kroening, Georg Weissenbacher:
SAT-Based Summarization for Boolean Programs. 131-148

Exploration Advances

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/RozierV07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/RozierV07
Kristin Y. Rozier, Moshe Y. Vardi:
LTL Satisfiability Checking. 149-167
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/Weber07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/Weber07
Michael Weber:
An Embeddable Virtual Machine for State Space Generation. 168-186
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/BarnatBR07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/BarnatBR07
Jiri Barnat, Lubos Brim, Petr Rockai:
Scalable Multi-core LTL Model-Checking. 187-203

Modeling and Cases

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/TraulsenCMM07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/TraulsenCMM07
Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi:
A SystemC/TLM Semantics in Promelaand Its Possible Applications. 204-222
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/spin/Lluch-Lafuente07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/Lluch-Lafuente07
Alberto Lluch-Lafuente:
Towards Model Checking Spatial Properties with SPIN. 223-242
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/CamaraGM07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/CamaraGM07
Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino:
Model Extraction for ARINC 653 Based Avionics Software. 243-262

Tools

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/Pelanek07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/Pelanek07
Radek Pelánek:
BEEM: Benchmarks for Explicit Model Checkers. 263-267
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/GallardoJMS07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/GallardoJMS07
María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán:
C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. 268-273
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/SeghirP07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/SeghirP07
Mohamed Nassim Seghir, Andreas Podelski:
ACSAR: Software Model Checking with Transfinite Refinement. 274-278
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/ChaudhuriA07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/ChaudhuriA07
Swarat Chaudhuri, Rajeev Alur:
Instrumenting C Programs with Nested Word Monitors. 279-283

maintained by

, founded at