Conferences in DBLP

SPIN (spin)
1999 (conf/spin/1999)

1. John M. Rushby
   Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving. [Citation Graph (0, 0)][DBLP]
   SPIN, 1999, pp:1-11 [Conf]
   
2. Jaco Geldenhuys, P. J. A. de Villiers
   Runtime Efficient State Compaction in SPIN. [Citation Graph (0, 0)][DBLP]
   SPIN, 1999, pp:12-21 [Conf]
   
3. Flavio Lerda, Riccardo Sisto
   Distributed-Memory Model Checking with SPIN. [Citation Graph (0, 0)][DBLP]
   SPIN, 1999, pp:22-39 [Conf]
   
4. Dragan Bosnacki
   Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness. [Citation Graph (0, 0)][DBLP]
   SPIN, 1999, pp:40-56 [Conf]
   
5. Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen
   Divide, Abstract, and Model-Check. [Citation Graph (0, 0)][DBLP]
   SPIN, 1999, pp:57-76 [Conf]
   
6. Dan Craigen
   Formal Methods Adoption: What's Working, What's Not! [Citation Graph (0, 0)][DBLP]
   SPIN, 1999, pp:77-91 [Conf]
   
7. Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen
   Model Checking for Managers. [Citation Graph (0, 0)][DBLP]
   SPIN, 1999, pp:92-107 [Conf]
   
8. Theo C. Ruys
   Xspin/Project - Integrated Validation Management for Xspin. [Citation Graph (0, 0)][DBLP]
   SPIN, 1999, pp:108-119 [Conf]
   
9. Gerald Lüttgen, Victor Carreño
   Analyzing Mode Confusion via Model Checking. [Citation Graph (0, 0)][DBLP]
   SPIN, 1999, pp:120-135 [Conf]
   
10. Carl B. Adekunle, Steve Schneider
    Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:136-151 [Conf]
    
11. Klaus Havelund
    Java PathFinder, A Translator from Java to Promela. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:152- [Conf]
    
12. Moataz Kamel, Stefan Leue
    VIP: A Visual Interface for Promela. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:153- [Conf]
    
13. Marsha Chechik, Dimitrie O. Paun
    Events in Property Patterns. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:154-167 [Conf]
    
14. Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth
    Assume-Guarantee Model Checking of Software: A Comparative Case Study. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:168-183 [Conf]
    
15. María-del-Mar Gallardo, Pedro Merino
    A Framework for Automatic Construction of Abstract Promela Models. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:184-199 [Conf]
    
16. Wenhui Zhang
    Model Checking Operator Procedures. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:200-215 [Conf]
    
17. Klaus Havelund, Jens U. Skakkebæk
    Applying Model Checking in Java Verification. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:216-231 [Conf]
    
18. Gerard J. Holzmann
    The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:232-244 [Conf]
    
19. Heikki Tuominen
    Embedding a Dialect of SDL in PROMELA. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:245-260 [Conf]
    
20. Claudio Demartini, Radu Iosif, Riccardo Sisto
    dSPIN: A Dynamic Extension of SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:261-276 [Conf]