Pieter-Tjerk de Boer

dr.ir.

19962019

Research output per year

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

Research Output

2019

Importance sampling for non-Markovian tandem queues using subsolutions

Buijsrogge, A., de Boer, P-T. & Scheinhardt, W. R. W., Oct 2019, In : Queueing systems. 93, 1-2, p. 31-65 25 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
15 Downloads (Pure)

Passive Observations of a Large DNS Service: 2.5 Years in the Life of Google

de Vries, W. B., van Rijswijk-Deij, R., de Boer, P. T. & Pras, A., 19 Aug 2019, In : IEEE transactions on network and service management.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
36 Downloads (Pure)

Rare event simulation for dynamic fault trees

Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P-T. & Stoelinga, M. I. A., 1 Jun 2019, In : Reliability engineering & system safety. 186, p. 220-231 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
6 Citations (Scopus)
66 Downloads (Pure)
2018

On state-independent importance sampling for the GI|GI|1 tandem queue

Buijsrogge, A., de Boer, P-T. & Scheinhardt, W. R. W., 5 Nov 2018, In : Probability in the engineering and informational sciences. 34, 1, p. 131-156 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
1 Citation (Scopus)
52 Downloads (Pure)

Passive Observations of a Large DNS Service: 2.5 Years in the Life of Google

De Vries, W. B., Van Rijswijk-Deij, R., De Boer, P. T. & Pras, A., 25 Oct 2018, 2018 Network Traffic Measurement and Analysis Conference (TMA). IEEE, 8506536

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
5 Citations (Scopus)
36 Downloads (Pure)

Path-ZVA: General, Efficient, and Automated Importance Sampling for Highly Reliable Markovian Systems

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Juneja, S., 1 Aug 2018, In : ACM transactions on modeling and computer simulation. 28, 3, 25 p., 22.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
2 Citations (Scopus)
15 Downloads (Pure)
2017

Broad and load-aware anycast mapping with Verfploeter

De Vries, W. B., de Oliveira Schmidt, R., Hardaker, W., Heidemann, J., de Boer, P-T. & Pras, A., 1 Nov 2017, IMC '17: Proceedings of the 2017 Internet Measurement Conference. Association for Computing Machinery (ACM), p. 477-488 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

Flow-based detection of IPv6-specific network layer attacks

Hendriks, L., Velan, P., de O. Schmidt, R., de Boer, P-T. & Pras, A., 2017, Security of Networks and Services in an All-Connected World: 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Proceedings. Tuncer, D., Koch, R., Badonne, R. & Stiller, B. (eds.). Cham: Springer, p. 137-142 6 p. (Lecture Notes in Computer Science; vol. 10356)(Lecture Notes in Computer Communication Networks and Telecommunications).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
2 Citations (Scopus)
39 Downloads (Pure)

IPv6-specific misconfigurations in the DNS

Hendriks, L., de Boer, P-T. & Pras, A., 2017, 2017 13th International Conference on Network and Service Management (CNSM). IEEE, 5 p. (International Conference on Network and Service Management Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Large deviations for the total queue size in non-Markovian tandem queues

Buijsrogge, A., de Boer, P-T., Rosen Esquivel, K. A. & Scheinhardt, W. R. W., 1 Apr 2017, In : Queueing systems. 85, 3-4, p. 305-312 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
7 Citations (Scopus)
10 Downloads (Pure)

Rare event simulation for dynamic fault trees

Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P-T. & Stoelinga, M. I. A., 10 Mar 2017, Enschede: Centre for Telematics and Information Technology (CTIT). 14 p. (CTIT technical report series; no. TR-CTIT-17-02)

Research output: Book/ReportReportOther research output

File
4 Citations (Scopus)
52 Downloads (Pure)

Rare Event Simulation for Dynamic Fault Trees

Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P-T. & Stoelinga, M. I. A., 17 Aug 2017, Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. Tonetta, S., Schoitsch, E. & Bitsch, F. (eds.). Springer, p. 20-35 15 p. (Lecture Notes in Computer Science; vol. 10488).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
92 Downloads (Pure)

Threats and surprises behind IPv6 extension headers

Hendriks, L., Velan, P., de Oliveira Schmidt, R., De Boer, P. T. & Pras, A., 4 Aug 2017, Network Traffic Measurement and Analysis Conference (TMA), 2017. IEEE

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
2016

Analysis of a state-independent change of measure for the $G|G|1$ tandem queue

Buijsrogge, A., de Boer, P-T. & Scheinhardt, W. R. W., 18 Jul 2016, p. 48-48. 1 p.

Research output: Contribution to conferencePaper

File
33 Downloads (Pure)

Analysis of a state-independent change of measure for the $G|G|1$ tandem queue

Buijsrogge, A., de Boer, P-T. & Scheinhardt, W. R. W., Mar 2016, 11th International Workshop on Rare Event Simulation, RESIM 2016. Eindhoven: EURANDOM, p. 1-3 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
35 Downloads (Pure)

Closed-form expressions for time-frequency operations involving Hermite functions

Korevaar, C. W., Oude Alink, M. S., de Boer, P-T., Kokkeler, A. B. J. & Smit, G. J. M., 16 Mar 2016, In : IEEE transactions on signal processing. 64, 6, p. 1383 -1390 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
2 Downloads (Pure)

Fitting a code-red virus spread model: An account of putting theory into practice

Kolesnichenko, A. V., Haverkort, B. R. H. M., Remke, A. K. I. & de Boer, P-T., Mar 2016, p. 39-46. 8 p.

Research output: Contribution to conferencePaper

File
2 Citations (Scopus)
28 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 proceedingChapterAcademicpeer-review

2 Citations (Scopus)
2 Downloads (Pure)

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 proceedingChapterAcademic

Spectrum efficient, localized, orthogonal waveforms: closing the gap with the Balian-low theorem

Korevaar, C. W., Kokkeler, A. B. J., de Boer, P-T. & Smit, G. J. M., May 2016, In : IEEE Transactions on Communications. 64, 5, p. 2155-2165 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)
2 Downloads (Pure)
2015

A note on a state-independent change of measure for the $G|G|1$ tandem queue

Buijsrogge, A., de Boer, P-T. & Scheinhardt, W. R. W., 23 Oct 2015, Enschede: University of Twente, Department of Applied Mathematics. 9 p. (Memorandum of the Department of Applied Mathematics; no. 2051)

Research output: Book/ReportReportOther research output

7 Downloads (Pure)

A sequential hypothesis test based on a generalized Azuma inequality

Reijsbergen, D. P., Scheinhardt, W. R. W. & de Boer, P-T., Feb 2015, In : Statistics & probability letters. 97, p. 192-196 5 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)

Characterizing topological bottlenecks for data delivery in CTP using simulation-based stress testing with natural selection

Bucur, D., Iacca, G. & de Boer, P-T., Jul 2015, In : Ad hoc networks. 30, p. 22-45 24 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
3 Citations (Scopus)
24 Downloads (Pure)

Interactive comparison of hypothesis tests for statistical model checking

de Boer, P-T., Reijsbergen, D. P. & Scheinhardt, W. R. W., Dec 2015, 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015. New York: Association for Computing Machinery (ACM), p. - 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Citations (Scopus)
55 Downloads (Pure)

On hypothesis testing for statistical model checking

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., Aug 2015, In : International journal on software tools for technology transfer. 17, 4, p. 377-395 19 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
11 Citations (Scopus)
7 Downloads (Pure)
2014

Automated Rare Event Simulation for Stochastic Petri Nets

Reijsbergen, D. P., de Boer, P-T. & Scheinhardt, W. R. W., Aug 2014, p. 80-81. 2 p.

Research output: Contribution to conferencePaper

File
56 Downloads (Pure)

Looking back on 10 RESIM workshops

de Boer, P-T., Aug 2014, Proceedings of the 10th International Workshop on Rare Event Simulation, RESIM 2014. Amsterdam: Vrije Universiteit, p. 8-8 1 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
20 Downloads (Pure)

Playout delay of TV signals: measurement system design, validation and results

Kooij, W. J., Stokking, H. M., van Brandenburg, R. & de Boer, P-T., Jun 2014, Proceedings of the 2014 ACM International Conference on Interactive Experiences for TV and Online Video (TVX 2014). New York: Association for Computing Machinery (ACM), p. 23-30 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
15 Citations (Scopus)
128 Downloads (Pure)

Towards validation of the Internet Census 2012

Maan, D., Cardoso de Santanna, J. J., Sperotto, A. & de Boer, P-T., 1 Dec 2014, Proceedings of the 20th EUNICE/IFIP Workshop on Advances in Communication Networking, Revised Selected Papers. Kermarrec, Y. (ed.). London: Springer, p. 85-96 12 p. (Lecture Notes in Computer Science; vol. 8846).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
4 Citations (Scopus)
71 Downloads (Pure)
2013

A logic for model-checking mean-field models

Kolesnichenko, A., de Boer, P-T., Remke, A. & Haverkort, B. R., Jun 2013, 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013). Piscataway, NJ: IEEE, p. 1-12 12 p. (International Conference on Dependable Systems and Networks; vol. 43).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)
22 Downloads (Pure)

Automated rare event simulation for stochastic Petri nets

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., 2013, Proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013. Joshi, K., Siegle, M., Stoelinga, M. & d' Argenio, P. R. (eds.). Berlin, Heidelberg: Springer, p. 372-388 17 p. (Lecture Notes in Computer Science; vol. 8054).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
13 Citations (Scopus)
7 Downloads (Pure)

Fourier-Hermite communications; where Fourier meets Hermite

Korevaar, C. W., Kokkeler, A. B. J., de Boer, P-T. & Smit, G. J. M., May 2013, Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2013. Canada: IEEE Signal Processing Society, p. 4723-4727 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Peak-to-average power reduction by rotation of the time-frequency representation

Korevaar, C. W., de Boer, P-T., Kokkeler, A. B. J. & Smit, G. J. M., Dec 2013, p. 3722-3727. 6 p.

Research output: Contribution to conferencePaper

7 Citations (Scopus)

Recent advances in importance sampling for statistical model checking

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., 23 Sep 2013, p. -. 4 p.

Research output: Contribution to conferencePaper

File
11 Downloads (Pure)

Reliable sequential testing for statistical model checking

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., 23 Sep 2013, p. -. 4 p.

Research output: Contribution to conferencePaper

Open Access
File
8 Downloads (Pure)

Self-management of hybrid networks – hidden costs due to TCP performance problems

Moreira Moura, G., Pras, A., Fioreze, T. & de Boer, P-T., Aug 2013, Proceedings of the 19th EUNICE/IFIP WG 6.6 International Workshop on Advances in Communication Networking. Bauschert, T. (ed.). Heidelberg: Springer, p. 54-65 12 p. (Lecture Notes in Computer Science; vol. 8115).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
78 Downloads (Pure)
2012

A logic for model-checking of mean-field models

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M., 30 Mar 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 4 p. (CTIT Technical Report Series; no. TR-CTIT-12-11)

Research output: Book/ReportReportProfessional

File
73 Downloads (Pure)

Autonomic Parameter Tuning of Anomaly-Based IDSs: an SSH Case Study

Sperotto, A., Mandjes, M. R. H., Sadre, R., de Boer, P-T. & Pras, A., Jun 2012, In : IEEE transactions on network and service management. 9, 2, p. 128-141 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
15 Citations (Scopus)
64 Downloads (Pure)

Fast simulation for slow paths in Markov models

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., Jun 2012, Proceedings of the Ninth International Workshop on Rare Event Simulation, RESIM 2012. Trondheim, Norway: NTNU University Press, p. 36-38 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
25 Downloads (Pure)

Rare event simulation for highly dependable systems with fast repairs

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., Jul 2012, In : Performance evaluation. 69, 7-8, p. 336-355 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
7 Citations (Scopus)
70 Downloads (Pure)

Some advances in importance sampling of reliability models based on zero variance approximation

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Juneja, S., Jun 2012, Proceedings of the Ninth International Workshop on Rare Event Simulation, RESIM 2012. Trondheim, Norway: NTNU University Press, p. 30-35 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
18 Downloads (Pure)

Synchronization and matched filtering in time-frequency using the sunflower spiral

Korevaar, C. W., Kokkeler, A. B. J., de Boer, P-T. & Smit, G. J. M., 3 Dec 2012, Proceedings of the IEEE Global Communications Conference, GLOBECOM 2012. USA: IEEE Communications Society, p. 3959 -3964 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

The Impact of IPv6 on Penetration Testing

Ottow, C., van Vliet, F., de Boer, P-T. & Pras, A., Aug 2012, 18th EUNICE / IFIP International Conference on Information and Communication Technologies. London: Springer, p. 88-99 10 p. (Lecture Notes in Computer Science; vol. 7479).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Citations (Scopus)
119 Downloads (Pure)
2011

Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M., Oct 2011, Proceedings of the 8th European Performance Engineering Workshop, EPEW 2011. Thomas, N. (ed.). London: Springer, p. 133-147 15 p. (Lecture Notes in Computer Science; vol. 6977).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
15 Citations (Scopus)
30 Downloads (Pure)

Is Quantitative Analysis of Stuxnet Possible?

Kolesnichenko, A. V., de Boer, P-T., Remke, A. K. I., Zambon, E. & Haverkort, B. R. H. M., 7 Sep 2011, QEST 2011: Fast Abstracts. Katoen, J. P. & Van Houdt, B. (eds.). Enschede, The Netherlands: Centre for Telematics and Information Technology (CTIT), p. 9-10 2 p. (CTIT Workshop Proceedings; vol. WP11-03).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
105 Downloads (Pure)

On the Benefit of Forward Error Correction at IEEE 802.11 Link Layer Level

van Nee, F. & de Boer, P-T., Sep 2011, Proceedings of the 17th International Workshop on Energy-Aware Communications (EUNICE 2011). Berlin: Springer, p. 9-20 12 p. (Lecture Notes in Computer Science; vol. 6955).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
158 Downloads (Pure)
2010

A new, analysis-based, change of measure for tandem queues

de Boer, P-T. & Scheinhardt, W. R. W., Jun 2010, Eighth International Workshop on Rare-Event Simulation, RESIM 2010. Cambridge, UK: Isaac Newton Institute for Mathematical Sciences, p. 12-13 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
15 Downloads (Pure)

Rare event simulation for highly dependable systems with fast repairs

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., 2010, Proceedings of the Seventh International Conference on Quantitative Evaluation of SysTems (QEST) 2010. Los Alamitos: IEEE, p. 251-260 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
7 Citations (Scopus)
56 Downloads (Pure)

Transient Behaviour in Highly Dependable Markovian Systems: New Regimes, Multiple Paths

Reijsbergen, D. P., de Boer, P-T. & Scheinhardt, W. R. W., 21 Jun 2010, Eighth International Workshop on Rare-Event Simulation. Cambridge, UK: Isaac Newton Institute for Mathematical Sciences, p. 26-27 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
18 Downloads (Pure)

Unified Frequency-Domain Analysis of Switched-Series-RC Passive Mixers and Samplers

Soer, M. C. M., Klumperink, E. A. M., de Boer, P-T., van Vliet, F. E. & Nauta, B., 1 Oct 2010, In : IEEE transactions on circuits and systems I: regular papers. 57, 10, p. 2618-2631 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
78 Citations (Scopus)
196 Downloads (Pure)