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. V., Haverkort, B. R. H. M., Remke, A. K. I. & de Boer, P-T., Mar 2016, p. 39-46. 8 p.Research output: Contribution to conference › Paper › Academic › peer-review
File2 Citations (Scopus)41 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 › Academic
Open AccessFile62 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 › Academic › peer-review
8 Citations (Scopus) -
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 Sep 2013, p. -. 4 p.Research output: Contribution to conference › Paper › Academic › peer-review
File21 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 Sep 2013, p. -. 4 p.Research output: Contribution to conference › Paper › Academic › peer-review
Open AccessFile15 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 Sep 2004, p. 1-6. 6 p.Research output: Contribution to conference › Paper › Academic
Open AccessFile76 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 › Academic
1 Downloads (Pure)