The SCEAS System
Navigation Menu

Journals in DBLP

SIGMETRICS Performance Evaluation Review
2005, volume: 32, number: 4

  1. Boudewijn R. Haverkort, Joost-Pieter Katoen
    Performance and verification. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:3- [Journal]
  2. Gianfranco Ciardo, Andrew S. Miner
    Implicit data structures for logic and stochastic systems analysis. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:4-9 [Journal]
  3. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
    Model checking meets performance evaluation. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:10-15 [Journal]
  4. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Probabilistic model checking in practice: case studies with PRISM. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:16-21 [Journal]
  5. Christel Baier, Frank Ciesinski, Marcus Größer
    ProbMela and verification of Markov decision processes. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:22-27 [Journal]
  6. David N. Jansen, Holger Hermanns
    QoS modelling and analysis with UML-statecharts: the StoCharts approach. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:28-33 [Journal]
  7. Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen
    Optimal scheduling using priced timed automata. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:34-40 [Journal]
  8. Annabelle McIver, Carroll Morgan
    Abstraction and refinement in probabilistic systems. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:41-47 [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