Welcome...

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

Assistant Professor

Expertise

Importance Sampling
Model Checking
Queueing Networks
Change Of Measure
Entropy
Model Checking
Communication
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.), 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: Centre for Telematics 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