The SCEAS System
Navigation Menu

Journals in DBLP

STTT
2006, volume: 8, number: 3

  1. Kurt Jensen, Andreas Podelski
    Tools and algorithms for the construction and analysis of systems. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:177-179 [Journal]
  2. Antti Valmari
    What the small Rubik's cube taught me about data structures, information theory, and randomisation. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:180-194 [Journal]
  3. Karsten Schmidt
    Automated generation of a progress measure for the sweep-line method. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:195-203 [Journal]
  4. Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek
    Lower and upper bounds in zone-based abstractions of timed automata. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:204-215 [Journal]
  5. Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Numerical vs. statistical probabilistic model checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:216-228 [Journal]
  6. Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman
    Error explanation with distance metrics. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:229-247 [Journal]
  7. Koushik Sen, Grigore Rosu, Gul Agha
    Online efficient predictive safety analysis of multithreaded programs. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:248-260 [Journal]
  8. Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
    Liveness with invisible ranking. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:261-279 [Journal]
  9. Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff
    Checking JML specifications using an extensible software model checking framework. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:280-299 [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