Welcome...

dr.ir. P.T. de Boer (Pieter-Tjerk)

Assistant Professor

Expertise

Importance Sampling
Model Checking
Queueing Networks
Change Of Measure
Entropy
Model Checking
Markov Chain
Testing

Publications

Recent Articles
Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P-T., & Stoelinga, M. I. A. (2017). Rare Event Simulation for Dynamic Fault Trees. In S. Tonetta, E. Schoitsch, & F. Bitsch (Eds.), Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings (pp. 20-35). (Lecture Notes in Computer Science; Vol. 10488). Springer International. DOI: 10.1007/978-3-319-66266-4_2
Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P-T., & Stoelinga, M. I. A. (2017). Rare event simulation for dynamic fault trees. (CTIT technical report series; No. TR-CTIT-17-02). Enschede: Centre for Telematics and Information Technology (CTIT).
Buijsrogge, A., de Boer, P-T., & Scheinhardt, W. R. W. (2016). Analysis of a state-independent change of measure for the $G|G|1$ tandem queue. In 11th International Workshop on Rare Event Simulation, RESIM 2016 (pp. 1-3). Eindhoven: EURANDOM.
Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T., & Haverkort, B. R. H. M. (2016). Model checking two layers of mean-field models. In L. Fiondella, & A. Puliafito (Eds.), Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday (pp. 341-369). (Springer series in reliability engineering). London: Springer Verlag. DOI: 10.1007/978-3-319-30599-8_13
Reijsbergen, D. P., de Boer, P-T., & Scheinhardt, W. R. W. (2016). Hypothesis testing for rare-event simulation: limitations and possibilities. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016 (pp. 16-26). (Lecture Notes in Computer Science; Vol. 9952, No. Part I). Springer International Publishing AG. DOI: 10.1007/978-3-319-47166-2_2

UT Research Information System

Google Scholar Link

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 5102
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  5102
P.O. Box 217
7500 AE Enschede
The Netherlands