The SCEAS System
Navigation Menu

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]
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