Conferences in DBLP

SPIN (spin)
2002 (conf/spin/2002)

1. Edmund M. Clarke
   SAT-Based Counterexample Guided Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
   SPIN, 2002, pp:1- [Conf]
   
2. Patrick Cousot
   Abstract Interpretation: Theory and Practice. [Citation Graph (0, 0)][DBLP]
   SPIN, 2002, pp:2-5 [Conf]
   
3. Theo C. Ruys
   SPIN Tutorial: How to Become a SPIN Doctor. [Citation Graph (0, 0)][DBLP]
   SPIN, 2002, pp:6-13 [Conf]
   
4. Dennis Dams
   Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography). [Citation Graph (0, 0)][DBLP]
   SPIN, 2002, pp:14-21 [Conf]
   
5. Radu Iosif
   Symmetry Reduction Criteria for Software Model Checking. [Citation Graph (0, 0)][DBLP]
   SPIN, 2002, pp:22-41 [Conf]
   
6. David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga
   Bytecode Model Checking: An Experimental Analysis. [Citation Graph (0, 0)][DBLP]
   SPIN, 2002, pp:42-59 [Conf]
   
7. Harry C. Li, Kathi Fisler, Shriram Krishnamurthi
   The Influence of Software Module Systems on Modular Verification. [Citation Graph (0, 0)][DBLP]
   SPIN, 2002, pp:60-78 [Conf]
   
8. Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier Roux
   Extending the Translation from SDL to Promela. [Citation Graph (0, 0)][DBLP]
   SPIN, 2002, pp:79-94 [Conf]
   
9. Wiebe van der Hoek, Michael Wooldridge
   Model Checking Knowledge and Time. [Citation Graph (0, 0)][DBLP]
   SPIN, 2002, pp:95-111 [Conf]
   
10. Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue
    Partial Order Reduction in Directed Model Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:112-127 [Conf]
    
11. Benedikt Bollig, Martin Leucker, Michael Weber 0002
    Local Parallel Model Checking for the Alternation-Free µ-Calculus. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:128-147 [Conf]
    
12. James S. Pascoe, Roger J. Loader, Vaidy S. Sunderam
    The Agreement Problem Protocol Verification Environment. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:148-169 [Conf]
    
13. Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha
    Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:170-186 [Conf]
    
14. Paolo Maggi, Riccardo Sisto
    Using SPIN to Verify Security Properties of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:187-204 [Conf]
    
15. Ramazan Savas Aygün, Aidong Zhang
    Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:205-212 [Conf]
    
16. Olga Shumsky Matlin, Ewing L. Lusk, William McCune
    SPINning Parallel Systems Software. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:213-220 [Conf]
    
17. Denis Lugiez, Peter Niebert, Sarah Zennou
    Dynamic Bounds and Transition Merging for Local First Search. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:221-229 [Conf]
    
18. Cindy Eisner, Doron Peled
    Comparing Symbolic and Explicit Model Checking of a Software System. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:230-239 [Conf]
    
19. Per Bjesse
    Industrial Model Checking Based on Satisfiability Solvers. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:240- [Conf]
    
20. Yves-Marie Quemener
    A Typical Testing Problem: Validating WML Cellphones. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:241- [Conf]
    
21. Alex Groce, Willem Visser
    Heuristic Model Checking for Java Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:242-245 [Conf]
    
22. Christian Stehno
    System Specification and Verification Using High Level Concepts - A Tool Demonstration. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:246-249 [Conf]
    
23. Tiziana Margaria, Oliver Niese, Bernhard Steffen
    Demonstration of an Automated Integrated Test Environment for Web-Based Applications. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:250-253 [Conf]
    
24. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
    alpha SPIN: Extending SPIN with Abstraction. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:254-258 [Conf]