QEST 2008:
Saint-Malo,
France
Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France.
IEEE Computer Society 2008, ISBN 978-0-7695-3360-5 BibTeX
Invited Talks
Networking
- Yimeng Yang, Boudewijn R. Haverkort, Geert J. Heijenk:
A Control-Theoretic Modeling Approach for Service Differentiation in Multi-hop Ad-hoc Networks.
7-16
Electronic Edition (link) BibTeX
- Issam Mabrouki, Gwillerm Froc, Xavier Lagrange:
On the Data Delivery Delay taken by Random Walks in Wireless Sensor Networks.
17-26
Electronic Edition (link) BibTeX
- Sara Alouf, Eitan Altman, Amar Prakash Azad:
Analysis of an M/G/1 Queue with Repeated Inhomogeneous Vacations with Application to IEEE 802.16e Power Saving Mechanism.
27-36
Electronic Edition (link) BibTeX
- Athanassios Boulis, Ansgar Fehnker, Matthias Fruth, Annabelle McIver:
CaVi -- Simulation and Model Checking for Wireless Sensor Networks.
37-38
Electronic Edition (link) BibTeX
- Bart D. Theelen:
Performance Model Generation for MPSoC Design-Space Exploration.
39-40
Electronic Edition (link) BibTeX
- Ruth Lamprecht, Peter Kemper:
Möbius Trace Analysis with Traviando.
41-42
Electronic Edition (link) BibTeX
Quantitative Verification
- Frank Ciesinski, Christel Baier, Marcus Größer, Joachim Klein:
Reduction Techniques for Model Checking Markov Decision Processes.
45-54
Electronic Edition (link) BibTeX
- Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Nicolas Markey:
Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics.
55-64
Electronic Edition (link) BibTeX
- Ralf Wimmer, Salem Derisavi, Holger Hermanns:
Symbolic Partition Refinement with Dynamic Balancing of Time and Space.
65-74
Electronic Edition (link) BibTeX
- Alexandre Borghi, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet:
Cell Assisted APMC.
75-76
Electronic Edition (link) BibTeX
- Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova:
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems.
77-78
Electronic Edition (link) BibTeX
- Christopher Power, Alice Miller:
Prism2Promela.
79-80
Electronic Edition (link) BibTeX
Tools
- Giuliano Casale, Eddy Z. Zhang, Evgenia Smirni:
KPC-Toolbox: Simple Yet Effective Trace Fitting Using Markovian Arrival Processes.
83-92
Electronic Edition (link) BibTeX
- Sebastian Gaisbauer, Johannes Kirschnick, Nigel Edwards, Jerry Rolia:
VATS: Virtualized-Aware Automated Test Service.
93-102
Electronic Edition (link) BibTeX
- Pritam Roy, David Parker, Gethin Norman, Luca de Alfaro:
Symbolic Magnifying Lens Abstraction in Markov Decision Processes.
103-112
Electronic Edition (link) BibTeX
- Martin Riedl, Johann Schuster, Markus Siegle:
Recent Extensions to the Stochastic Process Algebra Tool CASPA.
113-114
Electronic Edition (link) BibTeX
- Giacomo Bucci, Laura Carnevali, Enrico Vicario:
A Tool Supporting Evaluation of Non-markovian Fault Trees.
115-116
Electronic Edition (link) BibTeX
- Lucia Cloth, Boudewijn R. Haverkort:
The Performability Tool P'ility.
117-118
Electronic Edition (link) BibTeX
Invited Talks
Performance Analysis I
Performance Analysis II
Counter-Examples
Invited Talks
High-Level Models
- Mirco Tribastone, Stephen Gilmore:
Automatic Translation of UML Sequence Diagrams into PEPA Models.
205-214
Electronic Edition (link) BibTeX
- Andrea Bobbio, Marco Gribaudo, Miklós Telek:
Analysis of Large Scale Interacting Systems by Mean Field Method.
215-224
Electronic Edition (link) BibTeX
- Jorge Júlvez:
Polynomial Throughput Bounds for Equal Conflict Petri Nets with Multi-guarded Transitions.
225-234
Electronic Edition (link) BibTeX
- Souheib Baarir, Marco Beccuti, Giuliana Franceschinis:
New Solvers for Asymmetric Systems in GreatSPN.
235-236
Electronic Edition (link) BibTeX
- Darren K. Brien, Nicholas J. Dingle, William J. Knottenbelt, Harini Kulatunga, Tamas Suto:
A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation.
237-238
Electronic Edition (link) BibTeX
- Marc Melià, Catalina M. Lladó, Ramón Puigjaner, Connie U. Smith:
An Experimental Framework for PIPE2.
239-240
Electronic Edition (link) BibTeX
Probabilistic and Timed Systems
- Kousha Etessami, Dominik Wojtczak, Mihalis Yannakakis:
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems.
243-253
Electronic Edition (link) BibTeX
- Najla Chamseddine, Marie Duflot, Laurent Fribourg, Claudine Picaronny, Jeremy Sproston:
Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata.
254-263
Electronic Edition (link) BibTeX
- Josée Desharnais, François Laviolette, Mathieu Tracol:
Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games.
264-273
Electronic Edition (link) BibTeX
- Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath:
Conflict-Tolerant Real-Time Features.
274-283
Electronic Edition (link) BibTeX
Applications
Tutorial
Copyright © Sat May 16 23:35:32 2009
by Michael Ley (ley@uni-trier.de)
