www.cs.ox.ac.uk/people/david.parker/talks.html

You are here:

• Home
• People
• David Parker
• Talks & Tutorials

David Parker - Talks & Tutorials

Slides from some recent talks and tutorials:

• "Automatic Verification of Competitive Stochastic Systems" [abstract]
  (LFCS seminar at University of Edinburgh, March 2012)
  
• "PRISM 4.0: Verification of Probabilistic Real-time Systems"
  (paper at CAV'11, Utah, July, 2011)
  
• "Automated Verification Techniques for Probabilistic Systems"
  (tutorial at the SFM-11:CONNECT summer-school, Bertinoro, June 2011)
  Slides: part 1/2 (intro + DTMCs); part 3 (MDPs); part 4 (compositional probabilistic verification).
  
• "Quantitative Multi-Objective Verification for Probabilistic Systems"
  (paper at TACAS'11, Saarbrücken, March, 2011)
  
• "Automated Compositional Verification for Probabilistic Systems" [abstract]
  (seminar at Technical University of Denmark (DTU), Copenhagen, August 2010)
  
• "Probabilistic Model Checking"
  (tutorial at the ESSLLI'10 summer school, Copenhagen, August 2010)
  
• "Quantitative Abstraction Refinement" [abstract]
  (talk at Dagstuhl seminar "Verification over discrete-continuous boundaries ", July 2010)
  
• "Probabilistic Model Checking in Practice" [abstract]
  (tutorial at the QMC'10: Quantitative Model Checking PhD school, Copenhagen, Denmark, March 2010)
  
• "Assume-Guarantee Verification for Probabilistic Systems" [abstract]
  (talk at Dagstuhl seminar "Quantitative and Qualitative Analysis of Network Protocols", February 2010)
  
• "Quantitative Abstraction Refinement" [abstract]
  (seminar at University of Edinburgh, November 2009)
  
• "Verification of Probabilistic Software" [abstract]
  (seminar at Queen Mary University, April 2009)
  
• "Verification of Probabilistic Systems" [abstract, references]
  (tutorial at the MOVEP'08: MOdelling and VErifying Parallel Processes summer school, Orléans, France, June 2008)
  
• "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)