Pieter-Tjerk de Boer

dr.ir.

Design and Analysis of Communication Systems

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

Research Output 1996 2019

42 Conference contribution
24 Article
8 Report
8 Paper
9 More
- 7 PhD Thesis - Research UT, graduation UT
- 2 Chapter

2 results
Publication Year, Title (descending)

Filter

2016

2 Citations (Scopus)

2 Downloads (Pure)

Hypothesis testing for rare-event simulation: limitations and possibilities

Reijsbergen, D. P., de Boer, P-T. & Scheinhardt, W. R. W., 10 Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, p. 16-26 11 p. (Lecture Notes in Computer Science; vol. 9952).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Rare Event Simulation

Importance Sampling

Hypothesis Testing

Model Checking

Statistical Model

Model checking two layers of mean-field models

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M., Apr 2016, Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday. Fiondella, L. & Puliafito, A. (eds.). London: Springer, p. 341-369 29 p. (Springer series in reliability engineering).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic