Research output per year
Research output per year
Search results
-
2016
Fitting a code-red virus spread model: An account of putting theory into practice
Kolesnichenko, A., Haverkort, B. R. H., Remke, A. & de Boer, P.-T., Mar 2016, p. 39-46. 8 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile2 Citations (Scopus)185 Downloads (Pure) -
2014
Automated Rare Event Simulation for Stochastic Petri Nets
Reijsbergen, D. P., de Boer, P.-T. & Scheinhardt, W. R. W., Aug 2014, p. 80-81. 2 p.Research output: Contribution to conference › Paper
Open AccessFile96 Downloads (Pure) -
2013
Peak-to-average power reduction by rotation of the time-frequency representation
Korevaar, C. W., de Boer, P.-T., Kokkeler, A. B. J. & Smit, G. J. M., Dec 2013, p. 3722-3727. 6 p.Research output: Contribution to conference › Paper › peer-review
8 Citations (Scopus)10 Downloads (Pure) -
Recent advances in importance sampling for statistical model checking
Reijsbergen, D. P., de Boer, P.-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., 23 Sept 2013, p. -. 4 p.Research output: Contribution to conference › Paper › peer-review
File60 Downloads (Pure) -
Reliable sequential testing for statistical model checking
Reijsbergen, D. P., de Boer, P.-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., 23 Sept 2013, p. -. 4 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile61 Downloads (Pure) -
2004
Rare-event simulation of non-Markovian queueing networks using a state-dependent change of measure determined using cross-entropy
de Boer, P.-T., 7 Sept 2004, p. 1-6. 6 p.Research output: Contribution to conference › Paper
Open AccessFile144 Downloads (Pure) -
1999
On the Estimation of Rare Event Probabilities Involving IID Sums
de Boer, P.-T., Nicola, V. F. & Srinivasan, R., Mar 1999, p. 133-138. 6 p.Research output: Contribution to conference › Paper
2 Downloads (Pure)