Welcome...

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

Assistant Professor

Expertise

Importance Sampling
Model Checking
Queueing Networks
Entropy
Change Of Measure
Communication
Model Checking
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.), Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017) (pp. 20-35). (Lecture Notes in Computer Science; Vol. 10488). Springer. 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: University of Twente, Centre for Telematica and Information Technology (CTIT).
Kolesnichenko, A. V., Haverkort, B. R. H. M., Remke, A. K. I., & de Boer, P-T. (2016). Fitting a code-red virus spread model: An account of putting theory into practice. 39-46. Paper presented at 12th International Conference on the Design of Reliable Communication Networks (DRCN 2016), .DOI: 10.1109/DRCN.2016.7470833
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