The SCEAS System
Navigation Menu

Journals in DBLP

STTT
2005, volume: 7, number: 2

  1. Armin Biere, Ofer Strichman
    Introductory paper. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:2, pp:87-88 [Journal]
  2. Toni Jussila, Keijo Heljanko, Ilkka Niemelä
    BMC via on-the-fly determinization. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:2, pp:89-101 [Journal]
  3. Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe
    A BMC-based formulation for the scheduling problem of hardware systems. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:2, pp:102-117 [Journal]
  4. Rajeev Alur, P. Madhusudan, Wonhong Nam
    Symbolic computational techniques for solving games. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:2, pp:118-128 [Journal]
  5. Gianpiero Cabodi, Sergio Nocco, Stefano Quer
    Are BDDs still alive within sequential verification? [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:2, pp:129-142 [Journal]
  6. Bing Li, Chao Wang, Fabio Somenzi
    Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:2, pp:143-155 [Journal]
  7. Mukul R. Prasad, Armin Biere, Aarti Gupta
    A survey of recent advances in SAT-based formal verification. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:2, pp:156-173 [Journal]
  8. Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman
    Computational challenges in bounded model checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:2, pp:174-183 [Journal]
  9. Martin Leucker, Thomas Noll, Perdita Stevens, Michael Weber 0002
    Functional programming languages for verification tools: a comparison of Standard ML and Haskell. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:2, pp:184-194 [Journal]
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