|
|
Slides from some recent talks and tutorials:
- "Verification of Probabilistic Systems"
[references]
(tutorial at the MOVEP'08: MOdelling and VErifying Parallel Processes summer school, Orléans, France, June 2008)
- "Model Checking of Probabilistic Systems"
(talk at the Foundations of Component-based Design workshop, Salzburg, Austria, September 2007)
- "Model Checking the Probabilistic Pi-Calculus"
(paper at QEST'07, Edinburgh, Scotland, September 2007)
- "Probabilistic Model Checking"
(tutorial at AVOCS'07, Oxford, England, September 2007)
- "PRISM - A Tutorial"
(tutorial at the IPA Herfstdagen on Stochastic Systems, Bergen, The Netherlands, November 2006)
- Part 2 of "Probabilistic Model Checking of Randomised Distributed Protocols using PRISM"
(tutorial at the VPSM PhD school, Copenhagen, Denmark, October 2006)
(also available: part 1 and part 3)
- "Game-based Abstraction of Markov Decision Processes"
(paper at QEST'06, Riverside, USA, September 2006)
- "PRISM: A Tool for Automatic Verification of Probabilistic Systems"
(paper at TACAS'06, Vienna, Austria, March 2006)
- "PRISM: A Tool For Stochastic Model Checking"
(tutorial at the ARTIST2 Summer School, Nässlingen, Sweden, October 2005)
|
|
|
|