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)

Greg Franks , Carleton University, Ottawa
Tariq Al-Omari , IBM, Toronto
Murray Woodside , Carleton University , Ottawa
Olivia Das , Ryerson University, Toronto
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)

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

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

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

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

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

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

Susanna Donatelli , Università di Torino, Torino
Serge Haddad , LSV, CBRS and École Normale Supérieure de Cachan, Cachan
Jeremy Sproston , 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)

Eckard Böde , OFFIS Institute for Information Technology, Oldenburg
Marc Herbstritt , Albert-Ludwigs-University, Freiburg im Breisgau
Holger Hermanns , Saarland University, Saarbrücken
Sven Johr , Saarland University, Saarbrücken
Thomas Peikenkamp , OFFIS Institute for Information Technology, Oldenburg
Reza Pulungan , Saarland University, Saarbrücken
Jan Rakow , Carl von Ossietzky University, Oldenburg
Ralf Wimmer , Albert-Ludwigs-University, Freiburg im Breisgau
Bernd Becker , 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)

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