CSDL - IEEE Transactions on Software Engineering

Publication
2009
Issue No. 2 - March/April

	This Publication

	Subscribe to this Publication Login to access your subscribed content RSS feed for this Publication
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/EndNote

IEEE Transactions on Software Engineering

March/April 2009 (vol. 35 no. 2)

ISSN: 0098-5589

Table of Contents

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

PDF

HTML

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

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

PDF

HTML

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

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

PDF

HTML

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

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

PDF

HTML

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

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

PDF

HTML

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

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

PDF

HTML

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

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

PDF

HTML

PURCHASE ARTICLE: $19

IEEE Xplore Subscribers

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.

Print and Online Advertising Opportunities