The SCEAS System
Navigation Menu

Journals in DBLP

STTT
2007, volume: 9, number: 1

  1. Deepak D'Souza, Pavithra Prabhakar
    On the expressiveness of MTL in the pointwise and continuous semantics. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:1, pp:1-4 [Journal]
  2. Marco Bozzano, Adolfo Villafiorita
    The FSAP/NuSMV-SA Safety Analysis Platform. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:1, pp:5-24 [Journal]
  3. Michael Huth
    Some current topics in model checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:1, pp:25-36 [Journal]
  4. Aleksandar Dimovski, Ranko Lazic
    Compositional software verification based on game semantics and process algebra. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:1, pp:37-51 [Journal]
  5. Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
    Model-checking the preservation of temporal properties upon feature integration. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:1, pp:53-62 [Journal]
  6. Radu Siminiceanu, Gianfranco Ciardo
    Formal verification of the NASA runway safety monitor. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:1, pp:63-76 [Journal]
  7. Cécile Braunstein, Emmanuelle Encrenaz
    CTL-property Transformations along an Incremental Design Process. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:1, pp:77-88 [Journal]
  8. Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham
    Improved verification of hardware designs through antecedent conditioned slicing. [Citation Graph (0, 0)][DBLP]
    STTT, 2007, v:9, n:1, pp:89-101 [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