9. SPIN 2002: Grenoble, France

@proceedings{DBLP:conf/spin/2002,
  editor    = {Dragan Bosnacki and
               Stefan Leue},
  title     = {Model Checking of Software, 9th International SPIN Workshop,
               Grenoble, France, April 11-13, 2002, Proceedings},
  booktitle = {SPIN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2318},
  year      = {2002},
  isbn      = {3-540-43477-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

• Edmund M. Clarke:
  SAT-Based Counterexample Guided Abstraction Refinement. 1
  Electronic Edition (Springer LINK) BibTeX
• Patrick Cousot:
  Abstract Interpretation: Theory and Practice. 2-5
  Electronic Edition (Springer LINK) BibTeX

Invited Tutorial

• Theo C. Ruys:
  SPIN Tutorial: How to Become a SPIN Doctor. 6-13
  Electronic Edition (Springer LINK) BibTeX

Tutorial

• Dennis Dams:
  Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography). 14-21
  Electronic Edition (Springer LINK) BibTeX

Software Model Checking

• Radu Iosif:
  Symmetry Reduction Criteria for Software Model Checking. 22-41
  Electronic Edition (Springer LINK) BibTeX
• David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga:
  Bytecode Model Checking: An Experimental Analysis. 42-59
  Electronic Edition (Springer LINK) BibTeX
• Harry C. Li, Kathi Fisler, Shriram Krishnamurthi:
  The Influence of Software Module Systems on Modular Verification. 60-78
  Electronic Edition (Springer LINK) BibTeX
• Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux:
  Extending the Translation from SDL to Promela. 79-94
  Electronic Edition (Springer LINK) BibTeX

Algorithms and Theoretical Foundations

• Wiebe van der Hoek, Michael Wooldridge:
  Model Checking Knowledge and Time. 95-111
  Electronic Edition (Springer LINK) BibTeX
• Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue:
  Partial Order Reduction in Directed Model Checking. 112-127
  Electronic Edition (Springer LINK) BibTeX
• Benedikt Bollig, Martin Leucker, Michael Weber:
  Local Parallel Model Checking for the Alternation-Free µ-Calculus. 128-147
  Electronic Edition (Springer LINK) BibTeX

Applications

• James S. Pascoe, Roger J. Loader, Vaidy S. Sunderam:
  The Agreement Problem Protocol Verification Environment. 148-169
  Electronic Edition (Springer LINK) BibTeX
• Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha:
  Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach. 170-186
  Electronic Edition (Springer LINK) BibTeX
• Paolo Maggi, Riccardo Sisto:
  Using SPIN to Verify Security Properties of Cryptographic Protocols. 187-204
  Electronic Edition (Springer LINK) BibTeX

Work in Progress

• Ramazan Savas Aygün, Aidong Zhang:
  Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN. 205-212
  Electronic Edition (Springer LINK) BibTeX
• Olga Shumsky Matlin, Ewing L. Lusk, William McCune:
  SPINning Parallel Systems Software. 213-220
  Electronic Edition (Springer LINK) BibTeX
• Denis Lugiez, Peter Niebert, Sarah Zennou:
  Dynamic Bounds and Transition Merging for Local First Search. 221-229
  Electronic Edition (Springer LINK) BibTeX

Invited Industrial Presentations

• Cindy Eisner, Doron Peled:
  Comparing Symbolic and Explicit Model Checking of a Software System. 230-239
  Electronic Edition (Springer LINK) BibTeX
• Per Bjesse:
  Industrial Model Checking Based on Satisfiability Solvers. 240
  Electronic Edition (Springer LINK) BibTeX
• Yves-Marie Quemener:
  A Typical Testing Problem: Validating WML Cellphones. 241
  Electronic Edition (Springer LINK) BibTeX

Model Checking Tools

• Alex Groce, Willem Visser:
  Heuristic Model Checking for Java Programs. 242-245
  Electronic Edition (Springer LINK) BibTeX
• Christian Stehno:
  System Specification and Verification Using High Level Concepts - A Tool Demonstration. 246-249
  Electronic Edition (Springer LINK) BibTeX
• Tiziana Margaria, Oliver Niese, Bernhard Steffen:
  Demonstration of an Automated Integrated Test Environment for Web-Based Applications. 250-253
  Electronic Edition (Springer LINK) BibTeX
• María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
  alpha SPIN: Extending SPIN with Abstraction. 254-258
  Electronic Edition (Springer LINK) BibTeX