Welkom...

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

Universitair docent

Expertises

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

Publicaties

Recente Artikelen
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

Pure Link

Google Scholar Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 5102
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  5102
Postbus 217
7500 AE Enschede