The SCEAS System
Navigation Menu

Journals in DBLP

STTT
2003, volume: 4, number: 2

  1. Susanne Graf
    Preface by the section editor. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:139-141 [Journal]
  2. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
    Using static analysis to improve automatic test generation. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:142-152 [Journal]
  3. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
    A tool for model-checking Markov chains. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:153-172 [Journal]
  4. Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero
    Efficient verification of security protocols using partial-order reductions. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:173-188 [Journal]
  5. Louise A. Dennis, Graham Collins, Michael Norrish, Richard J. Boulton, Konrad Slind, Thomas F. Melham
    The PROSPER toolkit. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:189-210 [Journal]
  6. Steven D. Johnson, Yanhong A. Liu, Yuchen Zhang
    A systematic incrementalization technique and its application to hardware design. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:211-223 [Journal]
  7. Orna Kupferman, Moshe Y. Vardi
    Vacuity detection in temporal model checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:224-233 [Journal]
  8. Hong Peng, Sofiène Tahar, Ferhat Khendek
    Comparison of SPIN and VIS for protocol verification. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:234-245 [Journal]
  9. Theo C. Ruys, Ed Brinksma
    Managing the verification trajectory. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:246-259 [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