David Parker - Talks and Tutorials

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)