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)