The SCEAS System
Navigation Menu

Conferences in DBLP

SPIN (spin)
2007 (conf/spin/2007)

  1. Dennis Dams
    StackSnuffer: Curing Orion's Unsoundness. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:1- [Conf]
  2. Lubos Brim, Jiri Barnat
    Tutorial: Parallel Model Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:2-3 [Conf]
  3. Harald Fecher, Sharon Shoham
    Local Abstraction-Refinement for the mu-Calculus. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:4-23 [Conf]
  4. Paul Gastin, Pierre Moro
    Minimal Counterexample Generation for SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:24-38 [Conf]
  5. Neha Rungta, Eric G. Mercer
    Generating Counter-Examples Through Randomized Guided Search. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:39-57 [Conf]
  6. Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby
    Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:58-75 [Conf]
  7. Sami Evangelista, Christophe Pajault
    Some Solutions to the Ignoring Problem. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:76-94 [Conf]
  8. Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv
    Cartesian Partial-Order Reduction. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:95-112 [Conf]
  9. Joel P. Self, Eric G. Mercer
    On-the-Fly Dynamic Dead Variable Analysis. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:113-130 [Conf]
  10. Gérard Basler, Daniel Kroening, Georg Weissenbacher
    SAT-Based Summarization for Boolean Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:131-148 [Conf]
  11. Kristin Y. Rozier, Moshe Y. Vardi
    LTL Satisfiability Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:149-167 [Conf]
  12. Michael Weber
    An Embeddable Virtual Machine for State Space Generation. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:168-186 [Conf]
  13. Jiri Barnat, Lubos Brim, Petr Rockai
    Scalable Multi-core LTL Model-Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:187-203 [Conf]
  14. Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi
    A SystemC/TLM Semantics in Promelaand Its Possible Applications. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:204-222 [Conf]
  15. Alberto Lluch-Lafuente
    Towards Model Checking Spatial Properties with SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:223-242 [Conf]
  16. Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino
    Model Extraction for ARINC 653 Based Avionics Software. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:243-262 [Conf]
  17. Radek Pelánek
    BEEM: Benchmarks for Explicit Model Checkers. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:263-267 [Conf]
  18. María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán
    C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:268-273 [Conf]
  19. Mohamed Nassim Seghir, Andreas Podelski
    ACSAR: Software Model Checking with Transfinite Refinement. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:274-278 [Conf]
  20. Swarat Chaudhuri, Rajeev Alur
    Instrumenting C Programs with Nested Word Monitors. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:279-283 [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