EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Research Project: McSTORES: Model Checking Stochastic Systems using Rare Event Simulation
Home Policy Brochure Browse Search User Area Contact Help

2016

Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. (2016) Hypothesis testing for rare-event simulation: limitations and possibilities. In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016. Lecture Notes in Computer Science 9952 (Part I). Springer International Publishing AG, pp. 16-26. ISSN 0302-9743 ISBN 978-3-319-47165-5

2015

Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Haverkort, B.R.H.M. (2015) On hypothesis testing for statistical model checking. International journal on software tools for technology transfer, 17 (4). pp. 377-395. ISSN 1433-2779
Reijsbergen, D.P. and Scheinhardt, W.R.W. and de Boer, P.T. (2015) A sequential hypothesis test based on a generalized Azuma inequality. Statistics & Probability Letters, 97. pp. 192-196. ISSN 0167-7152 *** ISI Impact 0,506 ***

2014

Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. (2014) Automated Rare Event Simulation for Stochastic Petri Nets. In: 10th International Workshop on Rare Event Simulation, RESIM 2014, August 27-29, 2014, Amsterdam, The Netherlands. pp. 80-81. Vrije Universiteit. ISBN not assigned

2013

Reijsbergen, D.P. (2013) Efficient simulation techniques for stochastic model checking. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 13-281 ISBN 978-90-365-3586-1
Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Haverkort, B.R.H.M. (2013) Reliable sequential testing for statistical model checking. In: Proceedings of the First Workshop on Statistical Model Checking, SMC 2013, 23 Sep 2013, Rennes, France. -.
Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Haverkort, B.R.H.M. (2013) Recent advances in importance sampling for statistical model checking. In: Proceedings of the First Workshop on Statistical Model Checking, SMC 2013, 23 September 2013, Rennes, France. University of Twente, Centre for Telematics and Information Technology.
Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Haverkort, B.R.H.M. (2013) Automated rare event simulation for stochastic Petri nets. In: Proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, 27-30 August 2013, Buenos Aires, Argentina. pp. 372-388. Lecture Notes in Computer Science 8054. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40195-4

2012

Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Haverkort, B.R.H.M. (2012) Rare event simulation for highly dependable systems with fast repairs. Performance evaluation, 69 (7–8). pp. 336-355. ISSN 0166-5316 *** ISI Impact 0,944 ***
Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Haverkort, B.R.H.M. (2012) Fast simulation for slow paths in Markov models. In: Proceedings of the Ninth International Workshop on Rare Event Simulation, RESIM 2012, 25-27 Jun 2012, Trondheim, Norway. pp. 36-38. NTNU University Press. ISBN not assigned
Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Juneja, S. (2012) Some advances in importance sampling of reliability models based on zero variance approximation. In: Proceedings of the Ninth International Workshop on Rare Event Simulation, RESIM 2012, 25-27 Jun 2012, Trondheim, Norway. pp. 30-35. NTNU University Press. ISBN not assigned

2010

Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. (2010) Transient Behaviour in Highly Dependable Markovian Systems: New Regimes, Multiple Paths. In: Eighth International Workshop on Rare-Event Simulation, 21-23 June 2010, Cambridge, UK. pp. 26-27. Isaac Newton Institute for Mathematical Sciences. ISSN not assigned
Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Haverkort, B.R.H.M. (2010) Rare event simulation for highly dependable systems with fast repairs. In: Proceedings of the Seventh International Conference on Quantitative Evaluation of SysTems (QEST) 2010, 15-18 Sep 2010, Williamsburg, Virginia. pp. 251-260. IEEE Press. ISBN 978-1-4244-8082-1