The SCEAS System
Navigation Menu

Conferences in DBLP

SPIN (spin)
2000 (conf/spin/2000)

  1. Dragan Bosnacki, Dennis Dams, Leszek Holenderski
    Symmetric Spin. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:1-19 [Conf]
  2. Radu Iosif, Riccardo Sisto
    Using Garbage Collection in Model Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:20-33 [Conf]
  3. Bengi Karaçali, Kuo-Chung Tai
    Model Checking Based on Simultaneous Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:34-53 [Conf]
  4. Heikki Tauriainen, Keijo Heljanko
    Testing SPIN's LTL Formula Conversion into Büchi Automata with Randomly Generated Input. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:54-72 [Conf]
  5. Ed Brinksma, Angelika Mader
    Verification and Optimization of a PLC Control Schedule. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:73-92 [Conf]
  6. Nicholas Weininger, Darren D. Cofer
    Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:93-112 [Conf]
  7. Thomas Ball, Sriram K. Rajamani
    Bebop: A Symbolic Model Checker for Boolean Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:113-130 [Conf]
  8. Gerard J. Holzmann
    Logic Verification of ANSI-C Code with SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:131-147 [Conf]
  9. Wayne Liu
    Interaction Abstraction for Compositional Finite State Systems. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:148-162 [Conf]
  10. Mila E. Majster-Cederbaum, Frank Salger
    Correctness by Construction: Towards Verification in Hierarchical System Development. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:163-180 [Conf]
  11. Anca Browne, Henny Sipma, Ting Zhang
    Linking STeP with SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:181-186 [Conf]
  12. Elena Fersman, Bengt Jonsson
    Abstraction of Communication Channels in Promela: A Case Study. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:187-204 [Conf]
  13. James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
    A Language Framework for Expressing Checkable Properties of Dynamic Software. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:205-223 [Conf]
  14. Scott D. Stoller
    Model-Checking Multi-threaded Distributed Java Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:224-244 [Conf]
  15. Klaus Havelund
    Using Runtime Analysis to Guide Model Checking of Java Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:245-264 [Conf]
  16. Matthieu Martel, Marc Gengler
    Communication Topology Analysis for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:265-286 [Conf]
  17. Theo C. Ruys
    Low-Fat Recipes for SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:287-321 [Conf]
  18. Philippa J. Broadfoot, A. W. Roscoe
    Tutorial on FDR and Its Applications. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:322- [Conf]
  19. Doron Drusinsky
    The Temporal Rover and the ATG Rover. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:323-330 [Conf]
  20. Jerry J. Harrow
    Runtime Checking of Multithreaded Applications with Visual Threads. [Citation Graph (0, 0)][DBLP]
    SPIN, 2000, pp:331-342 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002