Conferences in DBLP

SPIN (spin)
2003 (conf/spin/2003)

1. Theo C. Ruys
   Optimal Scheduling Using Branch and Bound with SPIN 4.0. [Citation Graph (0, 0)][DBLP]
   SPIN, 2003, pp:1-17 [Conf]
   
2. Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng
   A Requirements Patterns-Driven Approach to Specify Systems and Check Properties. [Citation Graph (0, 0)][DBLP]
   SPIN, 2003, pp:18-33 [Conf]
   
3. Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt
   Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. [Citation Graph (0, 0)][DBLP]
   SPIN, 2003, pp:34-48 [Conf]
   
4. Ivana Cerná, Radek Pelánek
   Distributed Explicit Fair Cycle Detection (Set Based Approach). [Citation Graph (0, 0)][DBLP]
   SPIN, 2003, pp:49-73 [Conf]
   
5. Timo Latvala
   Efficient Model Checking of Safety Properties. [Citation Graph (0, 0)][DBLP]
   SPIN, 2003, pp:74-88 [Conf]
   
6. Dragan Bosnacki
   A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness. [Citation Graph (0, 0)][DBLP]
   SPIN, 2003, pp:89-103 [Conf]
   
7. K. Rustan M. Leino
   A SAT Characterization of Boolean-Program Correctness. [Citation Graph (0, 0)][DBLP]
   SPIN, 2003, pp:104-120 [Conf]
   
8. Alex Groce, Willem Visser
   What Went Wrong: Explaining Counterexamples. [Citation Graph (0, 0)][DBLP]
   SPIN, 2003, pp:121-135 [Conf]
   
9. Jaco Geldenhuys, Antti Valmari
   A Nearly Memory-Optimal Data Structure for Sets and Mappings. [Citation Graph (0, 0)][DBLP]
   SPIN, 2003, pp:136-150 [Conf]
   
10. Deepak D'Souza, Madhavan Mukund
    Checking Consistency of SDL+MSC Specifications. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:151-165 [Conf]
    
11. David Garlan, Serge Khersonsky, Jung Soo Kim
    Model Checking Publish-Subscribe Systems. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:166-180 [Conf]
    
12. Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner
    A Methodology for Model-Checking Ad-hoc Networks. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:181-196 [Conf]
    
13. Stefan Edelkamp
    Promela Planning. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:197-212 [Conf]
    
14. Cormac Flanagan, Shaz Qadeer
    Thread-Modular Model Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:213-224 [Conf]
    
15. Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
    Unification & Sharing in Timed Automata Verification. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:225-229 [Conf]
    
16. Steven Eker, José Meseguer, Ambarish Sridharanarayanan
    The Maude LTL Model Checker and Its Implementation. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:230-234 [Conf]
    
17. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre
    Software Verification with BLAST. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:235-239 [Conf]