Presentations

Below you will find an overview of presentations given by me and slides if available.

— — —

D. Reijsbergen, “Recomputability of scientific experiments”, LFCS Lab Lunch, 27 January 2015. Slides here.

D. Reijsbergen, S. Gilmore, and J. Hillston, “Formal analysis of Edinburgh buses using GPS data”, SICSA Transportation Workshop, Stirling, 16 January 2015. Slides here. Slides of the version given at the FATA Seminar in Glasgow on 24 February 2015 here.

D. Reijsbergen, P.T. de Boer, and W. Scheinhardt, “Using graph analysis to efficiently simulate rare events in general Markov chains”, Queueing Colloquium, CWI Amsterdam, 11 April 2014. Slides here.

D. Reijsbergen, P.T. de Boer, W. Scheinhardt, and B.R. Haverkort, “Automated Rare Event Simulation for Stochastic Petri Nets”, RESIM 2014. Slides here or here. Extended abstract here.

D. Reijsbergen, P.T. de Boer, W. Scheinhardt, and B.R. Haverkort, “On Hypothesis Testing for Statistical Model Checking”, SMC Workshop 2013. Slides here.

D. Reijsbergen, P.T. de Boer, W. Scheinhardt, and S. Juneja, “Some advances in importance sampling of reliability models based on zero variance approximation”, RESIM 2012. Slides here or here.

D. Reijsbergen, P.T. de Boer, W. Scheinhardt, and B.R. Haverkort, “Model Checking using Rare Event Simulation”, ROCKS Meeting, Brochterbeck, April 2012. Slides here or here.

D. Reijsbergen, P.T. de Boer, W. Scheinhardt, and B.R. Haverkort, “Model Checking using Rare Event Simulation”, ROCKS Meeting, Dresden, October 2010. Slides here or here.

D. Reijsbergen, P.T. de Boer, W. Scheinhardt, and B.R. Haverkort, “Model Checking using Rare Event Simulation”, ROCKS Meeting, Molenhoek, March 2010.

D. Reijsbergen, P.T. de Boer, and W. Scheinhardt, “Transient behaviour in highly dependable Markovian systems: New regimes, multiple paths”, RESIM 2010.

Advertisements