The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 02 - March/April (vol. 35)
ISSN: 0098-5589
SPECIAL ISSUE ON QUANTITATIVE EVALUATION OF COMPUTER SYSTEMS

Enhanced Modeling and Solution of Layered Queueing Networks (Abstract)

Tariq Al-Omari , IBM, Toronto
Greg Franks , Carleton University, Ottawa
Olivia Das , Ryerson University, Toronto
Murray Woodside , Carleton University , Ottawa
Salem Derisavi , IBM, Toronto
pp. 148-161

CoMoM: Efficient Class-Oriented Evaluation of Multiclass Performance Models (Abstract)

Giuliano Casale , College of William and Mary, Williamsburg
pp. 162-177

State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models (Abstract)

Leonardo Grassi , Università di Firenze, Firenze
Enrico Vicario , Università di Firenze, Firenze
Laura Carnevali , Università di Firenze, Firenze
pp. 178-194

Automated Trace Analysis of Discrete-Event System Models (Abstract)

Carsten Tepper , ITGAIN Consulting, Hanover
Peter Kemper , College of William and Mary, Williamsburg
pp. 195-208

Model Checking Probabilistic and Stochastic Extensions of the π-Calculus (Abstract)

Catuscia Palamidessi , INRIA Saclay and École Polytechnique, Paris
Peng Wu , University College London, Ipswich
David Parker , Oxford University, Oxford
Gethin Norman , Oxford University, Oxford
pp. 209-223

Model Checking Timed and Stochastic Properties with CSL^{TA} (Abstract)

Jeremy Sproston , Università di Torino, Torino
Serge Haddad , LSV, CBRS and École Normale Supérieure de Cachan, Cachan
Susanna Donatelli , Università di Torino, Torino
pp. 224-240

Counterexample Generation in Probabilistic Model Checking (Abstract)

Tingting Han , RWTH Aachen University, Aachen and University of Twente, Enschede
Joost-Pieter Katoen , RWTH Aachen University, Aachen and University of Twente, Enschede
Damman Berteun , RWTH Aachen University, Aachen and University of Twente, Enschede
pp. 241-257

Compositional Dependability Evaluation for STATEMATE (Abstract)

Marc Herbstritt , Albert-Ludwigs-University, Freiburg im Breisgau
Sven Johr , Saarland University, Saarbrücken
Holger Hermanns , Saarland University, Saarbrücken
Bernd Becker , Albert-Ludwigs-University, Freiburg im Breisgau
Thomas Peikenkamp , OFFIS Institute for Information Technology, Oldenburg
Jan Rakow , Carl von Ossietzky University, Oldenburg
Reza Pulungan , Saarland University, Saarbrücken
Eckard Böde , OFFIS Institute for Information Technology, Oldenburg
Ralf Wimmer , Albert-Ludwigs-University, Freiburg im Breisgau
pp. 274-292
REGULAR PAPERS

An Investigation into the Functional Form of the Size-Defect Relationship for Software Modules (Abstract)

Khaled El Emam , University of Ottawa, Ottawa
Dongsong Zhang , University of Maryland Baltimore County, Baltimore
A. Güneş Koru , University of Maryland Baltimore County, Baltimore
Hongfang Liu , Georgetown University, Washington
pp. 293-304
95 ms
(Ver )