Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2013 | 2012 | 2010
Number of items: 9.

2013

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2013) Automated rare event simulation for stochastic Petri nets. In: 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, 27-30 August 2013, Buenos Aires, Argentina (pp. pp. 372-388).

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2013) Reliable sequential testing for statistical model checking. In: First Workshop on Statistical Model Checking, SMC 2013, 23 September 2013, Rennes, France.

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2013) Recent advances in importance sampling for statistical model checking. In: First Workshop on Statistical Model Checking, SMC 2013, 23 September 2013, Rennes, France.

Reijsbergen, Daniël Petrus (2013) Efficient simulation techniques for stochastic model checking. thesis.

2012

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2012) Fast simulation for slow paths in Markov models. In: Ninth International Workshop on Rare Event Simulation, RESIM 2012, 25-27 June 2012, Trondheim, Norway (pp. pp. 36-38).

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2012) Rare event simulation for highly dependable systems with fast repairs. Performance evaluation, 69 (7–8). pp. 336-355. ISSN 0166-5316

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Juneja, Sandeep (2012) Some advances in importance sampling of reliability models based on zero variance approximation. In: Ninth International Workshop on Rare Event Simulation, RESIM 2012, 25-27 June 2012, Trondheim, Norway (pp. pp. 30-35).

2010

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner (2010) Transient Behaviour in Highly Dependable Markovian Systems: New Regimes, Multiple Paths. In: Eighth International Workshop on Rare-Event Simulation, RESIM, 21-23 June 2010, Cambridge, UK (pp. pp. 26-27).

Reijsbergen, Daniël and Boer, Pieter-Tjerk de and Scheinhardt, Werner and Haverkort, Boudewijn (2010) Rare event simulation for highly dependable systems with fast repairs. In: Seventh International Conference on Quantitative Evaluation of SysTems, QEST 2010, 15-18 Sep 2010, Williamsburg, Virginia. (In Press)

This list was generated on Mon Sep 22 05:33:34 2014 CEST.