Multi-Workshop on Formal Methods in Performance Evaluation and Applications

Index page
General presentation
Complete Program
Tool Demonstrations
Conference Committee


On 6th and 7th September there will be two days of tutorials organised jointly to represent the interests of all the workshops.

Tutorial 1
Monday 6
Tutorial Session: M.1
Validation and Evaluation: Properties and Bounds
09h00: Marta Kwiatkowska (University of Birmingham, U.K.)
Model checking of probabilistic systems against temporal logic specifications
10h30: Coffee break
11h00: Pierpaolo Degano, Corrado Priami (Univ. di Verona e Pisa, Italy)
Performance evaluation of mobile computations
12h30: --
13h00: Lunch
14h30: Mauro Pezzé (Politecnico di Milano, Italy)
Timed Petri nets
16h00: Coffee break
16h30: Javier Campos (Universidad de Zaragoza, Spain)
Properties and bounds on P/T nets
18h00: --
Tutorial Session:M.2
Solution and Analysis of Large Markov Chains
09h00: Tugrul Dayar (Bilkent University, Turkey)
Introduction to the numerical solution of Markov chains
10h30: Coffee break
11h00: Boudewjin Haverkort (University of Aachen, Germany)
Solution of infinite Markov chains
12h30: --
13h00: Lunch
14h30: Brigitte Plateau (Université de Grenoble, France)
Stochastic automata networks and Kronecker algebra
16h00: Coffee break
16h30: Gianfranco Ciardo (College of William and Mary, USA)
Efficient data structures and algorithms for the Kronecker approach
18h00: --
Tutorial 2
Tuesday 7
Tutorial Session: T.1
Composition and Decomposition Methods
09h00: Ed Brinksma, Holger Hermanns (Univ. of Twente, The Netherlands)
Advances in Markovian and non Markovian process algebras
10h30: Coffee break
11h00: Claude Dutheillet (Université Paris 6, France)
Automatic exploitation of symmetries with SWNs
12h30: --
13h00: Lunch
14h30: Manuel Silva (Universidad de Zaragoza, Spain)
Net-driven decomposition techniques
16h00: --
Tutorial Session: T.2
Analysis of Non Markovian Petri Nets
09h00: Christoph Lindemann (University of Dortmund, Germany)
Deterministic stochastic Petri nets
10h30: Coffee break
11h00: Reinhard German (Technical University of Berlin, Germany)
Numerical analysis of non-Markovian stochastic Petri nets
12h30: --
13h00: Lunch
14h30: Susanna Donatelli (Univ. di Torino, Italy), Patrice Moreaux (Univ. de Reims, France)
Structured solution methods for GSPN with phase type distributions
16h00: --
Last modified: June 14, 1999