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

Research Output 1996 2019

2019
83 Downloads (Pure)

Measuring IPv6 Resilience and Security

Hendriks, L., 18 Jan 2019, Enschede: University of Twente. 159 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Internet protocols
Internet
Planets
Scanning
Network protocols
2 Citations (Scopus)
22 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
Importance sampling
Model checking
Stochastic models
Repair
Availability
30 Downloads (Pure)

Rare event simulation for non-Markovian tandem queues

Buijsrogge, A., 21 Jun 2019, Enschede: University of Twente. 182 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Rare Event Simulation
Tandem Queues
Change of Measure
Importance Sampling
Efficient Estimator
2018
1 Citation (Scopus)
33 Downloads (Pure)
Open Access
File
Tandem Queues
Change of Measure
Importance sampling
Importance Sampling
Efficient Estimator
1 Citation (Scopus)
9 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
Servers
Switches
Google
Query
Side effects
2 Citations (Scopus)
1 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
Importance sampling
Importance Sampling
Markov processes
Markov chain
Path
2017
2 Citations (Scopus)

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

Catchments
Testbeds
Internet
2 Citations (Scopus)
24 Downloads (Pure)

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
Network layers
Attack
Monitoring
Signature
Vulnerability

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

Multiple zones
Pattern matching
Servers
Internet
4 Citations (Scopus)
4 Downloads (Pure)

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
Tandem Queues
Large Deviations
Queue
Customers
Decay Rate
3 Citations (Scopus)
41 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
72 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
Importance sampling
Repair
Availability
Monte Carlo simulation
1 Citation (Scopus)

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

Internet
Monitoring
2016
31 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
26 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., 18 Jul 2016, p. 48-48. 1 p.

Research output: Contribution to conferencePaperAcademicpeer-review

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

23 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 conferencePaperAcademicpeer-review

File
71 Downloads (Pure)

Hermite-based communications; a time-frequency perspective

Korevaar, C. W., 3 Jun 2016, 149 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Communication
Synchronization
Bandwidth
Communication systems
Convolution
2 Citations (Scopus)
2 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

Rare Event Simulation
Importance Sampling
Hypothesis Testing
Model Checking
Statistical Model

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

2 Citations (Scopus)
1 Downloads (Pure)

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

Orthogonal frequency division multiplexing
2015
7 Downloads (Pure)

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

1 Citation (Scopus)

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

3 Citations (Scopus)
12 Downloads (Pure)

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
Topology
Network protocols
Testing
Ad hoc networks
Testbeds
2 Citations (Scopus)
39 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
10 Citations (Scopus)
4 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
2014
41 Downloads (Pure)

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 conferencePaperAcademic

File
15 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
57 Downloads (Pure)

Model-Checking Mean-Field Models: Algorithms & Applications

Kolesnichenko, A. V., 17 Dec 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 194 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File
13 Citations (Scopus)
91 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
4 Citations (Scopus)
54 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
2013
9 Citations (Scopus)
19 Downloads (Pure)

A logic for model-checking mean-field models

Kolesnichenko, A. V., de Boer, P-T., Remke, A. K. I. & Haverkort, B. R. H. M., Jun 2013, 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013). USA: IEEE, p. 1-12 12 p. (International Conference on Dependable Systems and Networks).

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

File
13 Citations (Scopus)
5 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
125 Downloads (Pure)

Efficient simulation techniques for stochastic model checking

Reijsbergen, D. P., 6 Dec 2013, Enschede: Universiteit Twente. 175 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

File

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

6 Citations (Scopus)

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 conferencePaperAcademicpeer-review

8 Downloads (Pure)

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 conferencePaperAcademicpeer-review

File
Importance sampling
Model checking
Markov processes
Statistical Models
5 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 conferencePaperAcademicpeer-review

Open Access
File
Model checking
Testing
Statistical Models
61 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
2012
59 Downloads (Pure)

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
14 Citations (Scopus)
45 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
19 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
7 Citations (Scopus)
56 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
14 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
2 Citations (Scopus)

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

1 Citation (Scopus)
95 Downloads (Pure)

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
2011
15 Citations (Scopus)
20 Downloads (Pure)

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
85 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
103 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
2010
12 Downloads (Pure)

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