8. SPIN 2001: Toronto, Canada

Invited Keynotes

• Doron Peled, Lenore D. Zuck:
  From Model Checking to a Temporal Proof. 1-14
  
• Rob Gerth:
  Model Checking if Your Life Depends on It a View from Intel's Trenches. 15
  

Technical Papers and Tool Reports

• Marsha Chechik, Benet Devereux, Arie Gurfinkel:
  Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. 16-36
  
• Javier Esparza, Keijo Heljanko:
  Implementing LTL Model Checking with Net Unfoldings. 37-56
  
• Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue:
  Directed Explicit Model Checking with HSF-SPIN. 57-79
  
• Flavio Lerda, Willem Visser:
  Addressing Dynamic Issues of Program Model Checking. 80-102
  
• Thomas Ball, Sriram K. Rajamani:
  Automatically Validating Temporal Safety Properties of Interfaces. 103-122
  
• Guoping Jia, Susanne Graf:
  Verification Experiments on the MASCARA Protocol. 123-142
  
• Muffy Calder, Alice Miller:
  Using SPIN for Feature Interaction Analysis - A Case Study. 143-162
  
• Shin Nakajima, Tetsuo Tamai:
  Behavioural Analysis of the Enterprise JavaBeans^TM Component Architecture. 163-182
  
• Michael Baldamus, Jochen Schröder-Babo:
  p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper). 183-191
  
• Scott D. Stoller, Yanhong A. Liu:
  Transformations for Model Checking Distributed Java Programs. 192-199
  
• Jiri Barnat, Lubos Brim, Jitka Stríbrná:
  Distributed LTL Model-Checking in SPIN. 200-216
  
• Hubert Garavel, Radu Mateescu, Irina M. Smarandache:
  Parallel State Space Construction for Model-Checking. 217-234
  
• Fabrice Derepas, Paul Gastin:
  Model Checking Systems of Replicated Processes with Spin. 235-251
  
• Vivek K. Shanbhag, K. Gopinath:
  A SPIN-Based Model Checker for Telecommunication Protocols. 252-271
  
• Clement Yuen, Wei Tjioe:
  Modeling and Verifying a Price Model for Congestion Control in Computer Networks Using Promela/Spin. 272-287
  

Invited Project Summaries

• Leszek Holenderski:
  A Model Checking Project at Philips Research. 288-295
  
• Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal:
  Applications of Model Checking at Honeywell Laboratories. 296-303
  
• Bernhard Steffen, Tiziana Margaria, Volker Braun:
  Coarse-Granular Model Checking in Practice. 304-312
  

Last update Sun May 26 03:27:50 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page