The SCEAS System
Navigation Menu

Journals in DBLP

STTT
2004, volume: 6, number: 2

  1. Joost-Pieter Katoen, Perdita Stevens
    Guest editors' introduction: Advancements and extensions of verification techniques. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:99-101 [Journal]
  2. HoonSang Jin, Kavita Ravi, Fabio Somenzi
    Fate and free will in error traces. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:102-116 [Journal]
  3. Patrice Godefroid, Sarfraz Khurshid
    Exploring very large state spaces using genetic algorithms. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:117-127 [Journal]
  4. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Probabilistic symbolic model checking with PRISM: a hybrid approach. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:128-142 [Journal]
  5. Fabrice Bouquet, Bruno Legeard, Fabien Peureux
    CLPS-B - A constraint solver to animate a B specification. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:143-157 [Journal]
  6. Klaus Havelund, Grigore Rosu
    Efficient monitoring of safety properties. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:158-173 [Journal]
  7. Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Copty Fady
    Test sequence generation and model checking using dynamic transition relations. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:174-182 [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