Also available as pdf.

Monday, September 27, 2004
Reception in the Faculty Club, starting at 17:00
Followed by a buffet dinner, same place.
Tuesday, September 28, 2004
08:30-09:00 Opening
09:00-10:00 Invited speaker 1: Ger Koole (Chair: Murray Woodside)
Performance analysis and optimization in customer contact centers
10:00-10:30 Break
10:30-12:30 Session I: Case studies (Markus Siegle)
  • A performance evaluation tool for RAID disk arrays.
    Alexander Thomasian, Chunqi Han, Gang Fu and Chang Liu
  • Comparing passive and active worm defenses.
    Michael Liljenstam and David Nicol
  • Stochastic assessment of schedules in a lacquer production plant.
    Henrik Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader and Yaroslav Usenko
  • Performance Model Interchange Format (PMIF 2.0): XML definition and implementation.
    Connie Smith and Catalina Llado
12:30-14:00 Lunch in Faculty Club
14:00-15:30 Session II: Time and continuous Petri nets (Gianfranco Balbo)
  • 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
15:30-16:00 Break
16:00-18:00 Session III: Queueing theory (Peter Buchholz) (in parallel: Tool presentations)
  • 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
Wednesday, September 29, 2004
08:30-09:30 Invited speaker 2: Michele Colajanni (Chair: Giuliana Franceschinis)
Emerging Internet-based services: New frontiers for performance models and applications
09:30-10:00 Break
10:00-12:30 Session IV: Analysis, Simulation and Synthesis of MC (Gianfranco Ciardo) (in parallel: Tool demonstrations in the foyer)
  • 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
  • Evaluation of reward analysis methods with MRMSolve 2.0.
    Gabor Horvath, S. Racz, A. Tari and Miklos Telek
12:30-13:30 Lunch in CS cafeteria (in parallel: Tool demonstrations)
13:30-15:00 Session V: Scheduling and optimization (William H. Sanders) (in parallel: Tool demonstrations in the foyer)
  • Adaptive disk scheduling for overload management.
    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
15:00-18:00 Excursion to the Rijksmuseum Twenthe, city of Enschede
19:00 Diner in "De Jaargetijden", city of Enschede
Thursday, September 30, 2004
09:00-10:00 Invited speaker 3: Thomas A. Henzinger (Chair: Joost-Pieter Katoen)
Trading memory for randomness
(joint work with Krishnendu Chatterjee and Luca de Alfaro)
10:00-10:30 Break
10:30-12:30 Session VI: Model checking (Ed Brinksma) (in parallel: Tool demonstrations in the foyer)
  • 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
  • Dependability Checking with StoCharts: Is Train Radio Reliable Enough for Trains?
    David N. Jansen and Holger Hermanns
12:30-14:00 Lunch in Faculty Club
14:00-15:30 Session VII: Symbolic techniques (Peter Kemper) (in parallel: Tool demonstrations in the foyer)
  • 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
15:30-16:00 Break
16:00-17:00 Session VIII: Semantics (Christel Baier) (in parallel: Tool demonstrations in the foyer)
  • 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
17:00-17:30 Closing session
Web Maintenance Person.