David Parker Lecturer School of Computer Science University of Birmingham Edgbaston, Birmingham, B15 2TT Email: d.a.parker@cs.bham.ac.uk Tel: +44 (0) 121 41 47264 Office: 107 Office hours: Wed 12.30-1.30, Thu 3-4

<< NEWS >> Postdoc position at Birmingham on "Automated Game-Theoretic Verification of Security Systems". Applications close 4 Sep 2013.

Talks & Tutorials

Slides from some recent talks and tutorials:

• "Verification of Probabilistic Real-time Systems" [abstract]
  (tutorial at the French Summer School on Real-Time Systems (ETR 2013), Toulouse, August 2013)
  
• "SMT-Based Bisimulation Minimisation of Markov Models"
  (talk at HIERATIC meeting, Jena, Germany, May 2013)
  
• "Automated Game-theoretic Verification for Probabilistic Systems" [abstract]
  (seminar at Imperial College London, December 2012)
  
• "Quantitative Verification: Correctness, Reliability and Beyond" [abstract]
  (talk in lunchtime series at University of Birmingham, December 2012)
  
• "Automated Game-theoretic Verification for Probabilistic Systems" [abstract]
  (talk at Dagstuhl seminar "Games and Decisions for Rigorous Systems Engineering", November 2012)
  
• "Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking" [abstract]
  (seminar at Birmingham's Centre for Systems Biology (CSB), June 2012)
  
• "Automatic Verification of Competitive Stochastic Systems" [abstract]
  (departmental seminar at University of Liverpool, May 2012)
  
• "Automatic Verification of Competitive Stochastic Systems" [abstract]
  (LFCS seminar at University of Edinburgh, March 2012)
  
• "PRISM: Overview, Recent Updates and Future Directions"
  (talk at ERC Workshop on Software Quality, Venice, September 2011)
  
• "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)