www.comlab.ox.ac.uk/people/Marta.Kwiatkowska/talks.html
Marta Kwiatkowska - Talks & Tutorials
Invited lectures
-
"Sensing everywhere: on quantitative verification for ubiquitous computing" [Slides, PDF file]
2012 Milner lecture,
University of Edinburgh, September 2012.
-
"Sensing Everywhere: Towards Safer and More Reliable Sensor-enabled 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
-
Invited tutorial, Marktoberdorf 2013 Summer School.
-
Invited tutorial, MOVEP 2012 School, Marseille, December 2012.
-
Invited tutorial, ROCKS Autumn School, October 2012.
-
Invited tutorial, Marktoberdorf 2011 Summer School, see "here".
-
Tutorial, SFM11-CONNECT 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) SFM-07:PE, Bertinoro.