Conferences in DBLP

SPIN (spin)
2001 (conf/spin/2001)

1. Doron Peled, Lenore D. Zuck
   From Model Checking to a Temporal Proof. [Citation Graph (0, 0)][DBLP]
   SPIN, 2001, pp:1-14 [Conf]
   
2. Rob Gerth
   Model Checking if Your Life Depends on It a View from Intel's Trenches. [Citation Graph (0, 0)][DBLP]
   SPIN, 2001, pp:15- [Conf]
   
3. Marsha Chechik, Benet Devereux, Arie Gurfinkel
   Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. [Citation Graph (0, 0)][DBLP]
   SPIN, 2001, pp:16-36 [Conf]
   
4. Javier Esparza, Keijo Heljanko
   Implementing LTL Model Checking with Net Unfoldings. [Citation Graph (0, 0)][DBLP]
   SPIN, 2001, pp:37-56 [Conf]
   
5. Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue
   Directed Explicit Model Checking with HSF-SPIN. [Citation Graph (0, 0)][DBLP]
   SPIN, 2001, pp:57-79 [Conf]
   
6. Flavio Lerda, Willem Visser
   Addressing Dynamic Issues of Program Model Checking. [Citation Graph (0, 0)][DBLP]
   SPIN, 2001, pp:80-102 [Conf]
   
7. Thomas Ball, Sriram K. Rajamani
   Automatically Validating Temporal Safety Properties of Interfaces. [Citation Graph (0, 0)][DBLP]
   SPIN, 2001, pp:103-122 [Conf]
   
8. Guoping Jia, Susanne Graf
   Verification Experiments on the MASCARA Protocol. [Citation Graph (0, 0)][DBLP]
   SPIN, 2001, pp:123-142 [Conf]
   
9. Muffy Calder, Alice Miller
   Using SPIN for Feature Interaction Analysis - A Case Study. [Citation Graph (0, 0)][DBLP]
   SPIN, 2001, pp:143-162 [Conf]
   
10. Shin Nakajima, Tetsuo Tamai
    Behavioural Analysis of the Enterprise JavaBeans^TM Component Architecture. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:163-182 [Conf]
    
11. Michael Baldamus, Jochen Schröder-Babo
    p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper). [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:183-191 [Conf]
    
12. Scott D. Stoller, Yanhong A. Liu
    Transformations for Model Checking Distributed Java Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:192-199 [Conf]
    
13. Jiri Barnat, Lubos Brim, Jitka Stríbrná
    Distributed LTL Model-Checking in SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:200-216 [Conf]
    
14. Hubert Garavel, Radu Mateescu, Irina M. Smarandache
    Parallel State Space Construction for Model-Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:217-234 [Conf]
    
15. Fabrice Derepas, Paul Gastin
    Model Checking Systems of Replicated Processes with Spin. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:235-251 [Conf]
    
16. Vivek K. Shanbhag, K. Gopinath
    A SPIN-Based Model Checker for Telecommunication Protocols. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:252-271 [Conf]
    
17. Clement Yuen, Wei Tjioe
    Modeling and Verifying a Price Model for Congestion Control in Computer Networks Using Promela/Spin. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:272-287 [Conf]
    
18. Leszek Holenderski
    A Model Checking Project at Philips Research. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:288-295 [Conf]
    
19. Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal
    Applications of Model Checking at Honeywell Laboratories. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:296-303 [Conf]
    
20. Bernhard Steffen, Tiziana Margaria, Volker Braun
    Coarse-Granular Model Checking in Practice. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:304-312 [Conf]