The SCEAS System
Navigation Menu

Journals in DBLP

STTT
2006, volume: 8, number: 4-5

  1. John S. Fitzgerald, Stefania Gnesi, Dino Mandrioli
    The industrialization of formal methods. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:301-302 [Journal]
  2. Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats P. E. Heimdahl
    Proving the shalls. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:303-319 [Journal]
  3. Colin J. Fidge
    Formal change impact analyses for emulated control software. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:321-335 [Journal]
  4. Alan Wassyng, Mark Lawford
    Software tools for safety-critical software development. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:337-354 [Journal]
  5. Enrico Tronci
    Introductory Paper. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:355-358 [Journal]
  6. J. Strother Moore
    Inductive assertions and operational semantics. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:359-371 [Journal]
  7. Hana Chockler, Orna Kupferman, Moshe Y. Vardi
    Coverage metrics for formal verification. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:373-386 [Journal]
  8. Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar
    Efficient distributed SAT and SAT-based distributed Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:387-396 [Journal]
  9. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
    Finite horizon analysis of Markov Chains with the Murphi verifier. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:397-409 [Journal]
  10. Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul
    Putting it all together - Formal verification of the VAMP. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:411-430 [Journal]
  11. Kathi Fisler
    Toward diagrammability and efficiency in event-sequence languages. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:431-447 [Journal]
  12. Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
    Widening operators for powerset domains. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:4-5, pp:449-466 [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