Conferences in DBLP

SPIN (spin)
2004 (conf/spin/2004)

1. Reinhard Wilhelm
   Formal Analysis of Processor Timing Models. [Citation Graph (0, 0)][DBLP]
   SPIN, 2004, pp:1-4 [Conf]
   
2. Radek Pelánek
   Typical Structural Properties of State Spaces. [Citation Graph (0, 0)][DBLP]
   SPIN, 2004, pp:5-22 [Conf]
   
3. Jaco Geldenhuys
   State Caching Reconsidered. [Citation Graph (0, 0)][DBLP]
   SPIN, 2004, pp:23-38 [Conf]
   
4. Peter Leven, Tilman Mehler, Stefan Edelkamp
   Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. [Citation Graph (0, 0)][DBLP]
   SPIN, 2004, pp:39-56 [Conf]
   
5. Peter C. Dillinger, Panagiotis Manolios
   Fast and Accurate Bitstate Verification for SPIN. [Citation Graph (0, 0)][DBLP]
   SPIN, 2004, pp:57-75 [Conf]
   
6. Gerard J. Holzmann, Rajeev Joshi
   Model-Driven Software Verification. [Citation Graph (0, 0)][DBLP]
   SPIN, 2004, pp:76-91 [Conf]
   
7. Paul Gastin, Pierre Moro, Marc Zeitoun
   Minimization of Counterexamples in SPIN. [Citation Graph (0, 0)][DBLP]
   SPIN, 2004, pp:92-108 [Conf]
   
8. Moez Krichen, Stavros Tripakis
   Black-Box Conformance Testing for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   SPIN, 2004, pp:109-126 [Conf]
   
9. Iulian Ober, Susanne Graf, Ileana Ober
   Validation of UML Models via a Mapping to Communicating Extended Timed Automata. [Citation Graph (0, 0)][DBLP]
   SPIN, 2004, pp:127-145 [Conf]
   
10. Michael Jones, Eric Mercer
    Explicit State Model Checking with Hopper. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:146-150 [Conf]
    
11. Hubert Garavel, Radu Mateescu
    SEQ.OPEN: A Tool for Efficient Trace-Based Verification. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:151-157 [Conf]
    
12. Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu
    Model Checking Genetic Regulatory Networks Using GNA and CADP. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:158-163 [Conf]
    
13. Corina S. Pasareanu, Willem Visser
    Verification of Java Programs Using Symbolic Execution and Invariant Generation. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:164-181 [Conf]
    
14. Alain Finkel, Jérôme Leroux
    Polynomial Time Image Computation with Interval-Definable Counters Systems. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:182-197 [Conf]
    
15. Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova
    Using Fairness to Make Abstractions Work. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:198-215 [Conf]
    
16. Stefan Leue, Richard Mayr, Wei Wei
    A Scalable Incomplete Test for Message Buffer Overflow in Promela Models. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:216-233 [Conf]
    
17. Jessica Chen, Hanmei Cui
    Translation from Adapted UML to Promela for CORBA-Based Applications. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:234-251 [Conf]
    
18. Cormac Flanagan
    Verifying Commit-Atomicity Using Model-Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:252-266 [Conf]
    
19. Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer
    Analysis of Distributed Spin Applied to Industrial-Scale Models. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:267-285 [Conf]
    
20. Stephen F. Siegel, George S. Avrunin
    Verification of MPI-Based Software for Scientific Computation. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:286-303 [Conf]
    
21. Theo C. Ruys, Gerard J. Holzmann
    Advanced SPIN Tutorial. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:304-305 [Conf]
    
22. Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
    IF Validation Environment Tutorial. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:306-307 [Conf]