[MMB] List of accepted papers for QEST 2004

Joost-Pieter Katoen katoen at cs.utwente.nl
Fri Jun 4 15:54:26 MEST 2004


[Apologies for multiple copies.]

The following papers have been accepted for QEST 2004 (www.qest.org):

Managing transient overload via adaptive scheduling
Alma Riska, Erik Reidel and Sami Iren

Improving the performance of online auction sites through closing time 
rescheduling
Daniel Menasce and Vasudeva Akula

Analysis and algorithms for restart
Aad van Moorsel and Katinka Wolter

On performance bounds for interval time Petri nets
Simona Bernardi and Javier Campos

On observability in timed continuous Petri net systems
Jorge Julvez, Emilio Jimenez, Luara Recalde and Manuel Silva

ORIS: a tool for state space analysis of real-time preemptive systems
G. Bucci, Luigi Sassoli and E. Vicario

Bit-level and packet-level, or Pollaczec-Khintine formulae revisited
Jose Incera and Gerardo Rubino

Sojourn time distributions in modulated G-queues with batch processing
Peter Harrison and H. Zatschler

ETAQA truncation models for the MAP/MAP/1 departure process
Armin Heindl, Qi Zhang and Evgenia Smirni

A new approach for the prediction of end-to-end performance of multimedia 
streams
Gerardo Rubino and Martin Varela 

Performance Model Interchange Format (PMIF 2.0): XML definition and 
implementation
Connie Smith and Catalina Llado

A performance evaluation tool for RAID disk arrays
Alexander Thomasian, Chunqi Han, Gang Fu and Chang Liu

Evaluation of reward analysis methods with MRMSolve 2.0
Gabor Horvath, S. Racz, A. Tari and Miklos Telek

Approximate computation of transient results for large Markov chains
Peter Buchholz and William Sanders

A structured path-based approach for computing transient rewards of
large CTMCs
Vinh Lam, Peter Buchholz and William Sanders

Learning continuous time Markov chains from sample executions
Koushik Sen, Mahesh Viswanathan and Gul Agha

On numerical problems in simulations of highly reliable Markovian systems
Bruno Tuffin

Backward stochastic bisimulation in CSL model checking
Jeremy Sproston and Susanna Donatelli 

Partial order reduction for probabilistic systems
Christel Baier, Marcus Groesser and Frank Ciesinski

Partial order reduction on concurrent probabilistic programs
Pedro Ruben D'Argenio and Peter Niebert

Checking dependability of train radio signalling with UML statecharts
David N. Jansen and Holger Hermanns

Improving efficiency of implicit Markov chain state classification
Andrew Miner and Shuxing Cheng

Saturation NOW
Ming-Ying Chung and Gianfranco Ciardo

Saturation for a general class of models
Andrew Miner

Axiomatization of trace semantics for stochastic nondeterministic processes
Augusto Parma and Roberto Segala

Approximate reasoning for real-time probabilistic processes
Vineet Gupta, Radha Jagadeesan and Prakash Panangaden

Stochastic assessment of schedules in a lacquer production plant
Henrik Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader and Yaroslav 
Usenko

Comparing passive and active worm defenses
Michael Liljenstam and David Nicol





More information about the MMB mailing list