Marco Bernardo. Towards State Space Reduction Based on T-Lumpability-Consistent Relations
Jeremy Bradley. A ticking clock: Performance analysis of a Circadian rhythm with stochastic process algebra
Ana Busic and Jean-Michel Fourneau. Stochastic Bounds for Partially Generated Markov Chains: an Algebraic Approach
Allan Clark and Stephen Gilmore. State-Aware Performance Measurement with eXtended Stochastic Probes
Lamia Djoudi and Leila Kloul. Assembly Code Analysis using Process Algebra
Bart Feyaerts and Sabine Wittevrongel. Performance analysis of a priority queue with place reservation and general transmission times
Jean-Michel Fourneau. Product form steady-state distribution for Stochastic Automata Networks with Domino Synchronizations
Mariusz Glabowski. Recurrent Method for Blocking Probability Calculation in Multi-service Switching Networks with BPP Traffic
Pablo Guerrero, Kai Sachs, Stephan Butterweck and Alejandro P. Buchmann. Performance Evaluation of Embedded ECA Rule Engines: a Case Study
Slawomir Hanczewski and Maciej Stasiak. Approximation for multi-service systems with reservation by systems with limited-availability
Anne Martens, Steffen Becker, Heiko Koziolek and Ralf Reussner. An Empirical Investigation of the Applicability of a Component-Based Performance Prediction Method
Damian Parniewicz, Maciej Stasiak, Janusz Wiewiora and Piotr Zwierzykowski. An Approximate Model of the WCDMA Interface Servicing a Mixture of Multi-Rate Traffic Streams with Priorities
Philipp Reinecke, Katinka Wolter and Johannes Zapotoczky. Performance Analysis of Dynamic Priority Shifting
Zsolt Saffer and Miklos Telek. Analysis of BMAP/G/1 vacation model of non-M/G/1-type
Lei Wang, Nicholas Dingle and William Knottenbelt. Natural Language Specification of Performance Trees
Xiuping Wu and Murray Woodside. A Calibration Framework for Capturing and Calibrating Software Performance Models
Huqiu Zhang and Aad van Moorsel. Evaluation of P2P algorithms for Probabilistic Trust Inference in a Web of Trust
