www.comlab.ox.ac.uk/people/Marta.Kwiatkowska/talks.html
Marta Kwiatkowska  Talks & Tutorials
Invited lectures

"Probabilistic Model
Checking with PRISM: Past, Present & Future" [Slides in pdf]
Lecture given at the Haifa Verification Conference, IBM Haifa, 1417th November 2016, in connection with PRISM creators receiving the HVC 2016 Award.

"Model checking and strategy synthesis for mobile autonomy: from theory to practice" [Slides and video]
Invited lecture at the Uncertainty in Computation Workshop, Simons Institute, 47th October 2016.

"Safety and trust for mobile autonomy" [Youtube]
Invited lecture at Intellisys'16, London, 2122 September 2016.

"Model checking and strategy synthesis for mobile autonomy: from theory to practice" [Slides, PDF file]
Invited lecture at ICALP'16, Rome, Italy, 15th July 2016.

"Model checking and strategy synthesis for mobile autonomy: from theory to practice" [Slides, PDF file]
Semiplenary lecture at ECC'16, Aalborg, Denmark, 29th June 2016.

"Estimation and verification of hybrid heart models for personalised medical and wearable devices" [Slides, PDF file]
Keynote lecture at CMSB'15, Nantes, France, September 2015.

"On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets" [Slides, PDF file]
Keynote lecture at Petri Nets 2015//ACSD 2015, Brussels, June 2015.

"Parameter synthesis for probabilistic realtime systems" [Slides, PDF file]
Keynote lecture at SynCoP'15, ETAPS, London, April 2015.
 "Sensing everywhere: on quantitative verification for ubiquitous computing" [Youtube]
ACCESS Distinguished Lecture given at KTH in Stockholm, November 2014, based on my 2012 Milner lecture,
University of Edinburgh, September 2012.
 "Sensing everywhere: on quantitative verification for ubiquitous computing" [Slides, PDF file]
Lecture given at the 10th European Computer Science Summit (ECSS 2014) in Wroclaw, Poland, October 2014, based on my 2012 Milner lecture,
University of Edinburgh, September 2012.

"On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers" [Slides, PDF file]
Keynote lecture at the Medical CyberPhysical Systems Track of ISOLA 2014, Corfu, Greece, October 2014.

"Sensing everywhere: on quantitative verification for ubiquitous computing" [Slides, PDF file]
2012 Milner lecture,
University of Edinburgh, September 2012.

"Automated Verification and Strategy Synthesis for Probabilistic Systems" [Slides, PDF file]
Keynote lecture at ATVA'13, Hanoi, Vietnam, October 2013.

"Advances in Quantitative Verification for Ubiquitous Computing" [Slides, PDF file]
Keynote lecture at ICTAC'13, Shanghai, September 2013.

"Model Repair for Markov Decision Processes" [Slides, PDF file]
Keynote lecture at TASE'13, Birmingham, July 2013.

"Sensing Everywhere: Towards Safer and More Reliable Sensorenabled Devices" [Slides, PDF file]
Keynote lecture at SAFECOMP'12, Magdeburg, Germany, September 2012.

"Automated Learning of Probabilistic Assumptions for Compositional Reasoning" [Slides, PDF file]
Invited talk given at the International Conference on Fundamental Approaches to Software Enginering (FASE'11), part of
ETAPS, Saarbrucken, Germany, April 2011.

"A Framework for Verification of Software with Time and Probabilities" [Slides, PDF file]
Invited talk given at the 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10), IST, Austria, September 2010.

Linnaeus Center ACCESS Distinguished Lecture,
KTH, Stockholm, January 2010.

"On quantitative software verification" [Slides, PDF file]
Invited talk given at the 16th International SPIN Workshop,
SPIN 2009, Grenoble, France, June 2009.

"Quantitative Verification: Models, Techniques and Tools" [Slides, PDF file]
Invited talk given at the 6th joint meeting of
the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering,
ESEC/FSE 2007, Cavtat, Croatia, September 2007.

"Simulation and verification for computational modelling of signalling pathways" [Slides, PDF
file]
A talk given at Algorithmic Bioprocesses 2007,
Leiden, December 2007.

"Model Checking for Probability and Time: From Theory to Practice" [Slides, PDF file]
Invited talk at LICS'03, Ottawa, June 2003.

"The Hopes and Hurdles of Automatic Verification" [Slides, large PDF file)
My inaugural lecture, 17 October 2002.
Tutorials

Tutorial on Probabilistic model checking with PRISM at IMT, Lucca, 35th May 2016, see here.

Tutorial on Probabilistic verification and synthesis at KTH Royal Institute of Technology, Stockholm, 2428th August 2015, see here.

Tutorial on Probabilistic model checking with PRISM at Gran Sasso Science Institute, 24th June 2015, see here.

Tutorial on Probabilistic model checking at POPL 2015, Mumbai, 13th January 2015, see here [Slides, PDF file].

Invited tutorial, 4th Summer School on Formal Techniques in Atherton California, 2014, see here for resources.

Invited tutorial, ATVA 2013, Hanoi, Vietnam, October 2013, see here [Slides, PDF file].

Invited tutorial, Marktoberdorf 2013 Summer School.

PhD Open Probabilistic Model Checking, University of Warsaw, AprilMay 2013.

Invited tutorial, MOVEP 2012 School, Marseille, December 2012.

Invited tutorial, ROCKS Autumn School, October 2012.

Invited tutorial, Marktoberdorf 2011 Summer School, see "here".

Tutorial, SFM11CONNECT Summer School, Bertinoro.

Invited tutorial, Summer School Summer School on Model Checking, Beijing.

Invited tutorial, Advanced Course on Petri Nets, Rostock.

Invited tutorial, Summer School 2010: Verification Technology, Systems & Applications, Luxemburg

Invited tutorial, ESSLLI 2010 European Summer School of Logic, Language and Information, Copenhagen.

Invited tutorial, ARTIST2 Summer School 2008 in Europe, Grenoble.

Invited tutorial, BISS 2007:
Bertinoro International Spring School
for Graduate Studies in Computer Science, Bertinoro.

Invited tutorial, 7th Edition in the series of Schools on Formal Methods (SFM) SFM07:PE, Bertinoro.