If you made any changes in Pure these will be visible here soon.

Research Output 1996 2019

Filter
Paper
2016
26 Downloads (Pure)

Analysis of a state-independent change of measure for the $G|G|1$ tandem queue

Buijsrogge, A., de Boer, P-T. & Scheinhardt, W. R. W., 18 Jul 2016, p. 48-48. 1 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
23 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
2014
41 Downloads (Pure)

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 conferencePaperAcademic

File
2013
6 Citations (Scopus)

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 conferencePaperAcademicpeer-review

8 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 Sep 2013, p. -. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
Importance sampling
Model checking
Markov processes
Statistical Models
5 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 conferencePaperAcademicpeer-review

Open Access
File
Model checking
Testing
Statistical Models
2004
12 Downloads (Pure)
Open Access
File
entropy
simulation
mathematical analysis
method
sampling
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 conferencePaperAcademic