The SCEAS System
Navigation Menu

Journals in DBLP

IEEE Trans. Software Eng.
2006, volume: 32, number: 8

  1. Giuliana Franceschinis, Joost-Pieter Katoen, C. Murray Woodside
    Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST). [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:8, pp:529-530 [Journal]
  2. Jeremy Sproston, Susanna Donatelli
    Backward Bisimulation in Markov Chain Model Checking. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:8, pp:531-546 [Journal]
  3. Aad P. A. van Moorsel, Katinka Wolter
    Analysis of Restart Mechanisms in Software Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:8, pp:547-558 [Journal]
  4. Andrew S. Miner
    Saturation for a General Class of Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:8, pp:559-570 [Journal]
  5. Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel
    Design by Contract to Improve Software Vigilance. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:8, pp:571-586 [Journal]
  6. Bikram Sengupta, Rance Cleaveland
    Triggered Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:8, pp:587-607 [Journal]
  7. James H. Andrews, Lionel C. Briand, Yvan Labiche, Akbar Siami Namin
    Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:8, pp:608-624 [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