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)