Scientific publications by Pieter-Tjerk de Boer

Stochastic performance analysis, in particular rare-event simulation:

2019:

Anne Buijsrogge, Pieter-Tjerk de Boer, Werner R.W. Scheinhardt:
Importance sampling for non-Markovian tandem queues using subsolutions
Accepted for Queueing Systems.

Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga:
Rare Event Simulation for Dynamic Fault Trees
Accepted for Reliability Engineering and System Safety
Note: Extended version of the earlier conference paper with the same title.

2018:

Anne Buijsrogge, Pieter-Tjerk de Boer, Werner R.W. Scheinhardt:
On state-independent importance sampling for the GI|GI|1 tandem queue
Accepted for Probability in the Engineering and Informational Sciences.

Anne Buijsrogge, Pieter-Tjerk de Boer, Werner R.W. Scheinhardt:
Importance Sampling based on subsolutions for a GI|GI|1 tandem queue
12th International Workshop on Rare Event Simulation, RESIM 2018, Stockholm, Sweden.

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R.W. Scheinhardt, Sandeep Juneja:
Path-ZVA: general, efficient and automated importance sampling for highly reliable Markovian systems
ACM Transactions on Modeling and Computer Simulation, Vol. 28, nr. 3, August 2018.

2017:

Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer and Mariëlle Stoelinga:
Rare Event Simulation for Dynamic Fault Trees
SAFECOMP 2017.

Anne Buijsrogge, Pieter-Tjerk de Boer, Karol Rosen, Werner R.W. Scheinhardt:
Large deviations for the total queue size in non-Markovian tandem queues
Queueing Systems, April 2017, Vol. 85, No. 3, pp. 305-312.

2016:

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R.W. Scheinhardt:
Hypothesis testing for rare-event simulation: limitations and possibilities
ISoLA 2016, Corfu, Greece.

Anna Kolesnichenko, Anne Remke, Pieter-Tjerk de Boer, Boudewijn Haverkort:
Model checking two layers of mean-field models
In Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday.

Anne Buijsrogge, Pieter-Tjerk de Boer, Werner R.W. Scheinhardt:
Analysis of a state-independent change of measure for the G|G|1 tandem queue
Proceedings of the European Conference on Queueing Theory 2016, Toulouse, France. Also at 11th International Workshop on Rare Event Simulation, RESIM 2016, Eindhoven, The Netherlands.

Anna Kolesnichenko, Boudewijn Haverkort, Anne Remke, Pieter-Tjerk de Boer:
Fitting a Code-Red virus spread model: an account of putting theory into practice
12th International converence on Design of Reliable Communication Networks (DRCN), Paris, France.

2015:

Pieter-Tjerk de Boer, Daniël Reijsbergen, Werner R.W. Scheinhardt:
Interactive comparison of hypothesis tests for statistical model checking
Valuetools 2015, Berlin, Germany. Companion website here.

Anne Buijsrogge, Pieter-Tjerk de Boer, Werner R.W. Scheinhardt:
A note on a state-independent change of measure for the G|G|1 tandem queue
Memorandum 2051, Department of Applied Mathematics, University of Twente.

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R.W. Scheinhardt, Boudewijn R. Haverkort:
On Hypothesis Testing for Statistical Model Checking
International Journal on Software Tools for Technology Transfer (STTT), Volume 17, Issue 4, pp. 377-395. Companion website here.

Daniël Reijsbergen, Werner R.W. Scheinhardt, Pieter-Tjerk de Boer:
A sequential hypothesis test based on a generalized Azuma inequality
Statistics and Probability Letters (SPL), Vol. 97, p. 192-196.

2014:

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R.W. Scheinhardt:
Automated Rare Event Simulation for Stochastic Petri Nets
10th International Workshop on Rare Event Simulation, RESIM 2014, Amsterdam, The Netherlands.

Pieter-Tjerk de Boer:
Looking back on 10 RESIM workshops
10th International Workshop on Rare Event Simulation, RESIM 2014, Amsterdam, The Netherlands.

2013:

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R.W. Scheinhardt, Boudewijn R. Haverkort:
Reliable Sequential Testing For Statistical Model Checking
SMC 2013, Rennes, France.

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R.W. Scheinhardt, Boudewijn R. Haverkort:
Recent Advances in Importance Sampling for Statistical Model Checking
SMC 2013, Rennes, France.

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R.W. Scheinhardt, Boudewijn R. Haverkort:
Automated Rare Event Simulation for Stochastic Petri Nets
QEST 2013, Buenos Aires, Argentina.

Anna Kolesnichenko, Anne Remke, Pieter-Tjerk de Boer, Boudewijn Haverkort:
A logic for model-checking mean-field models
DSN 2013, Budapest, Hungary.

2012:

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R.W. Scheinhardt, Sandeep Juneja:
Some Advances in Importance Sampling of Reliability Models Based on Zero Variance Approximation
9th International Workshop on Rare Event Simulation (RESIM 2012), Trondheim, Norway, June 2012.

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R.W. Scheinhardt, Boudewijn R. Haverkort:
Fast Simulation for Slow Paths in Markov Models
9th International Workshop on Rare Event Simulation (RESIM 2012), Trondheim, Norway, June 2012.

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R.W. Scheinhardt, Boudewijn R. Haverkort:
Rare Event Simulation for Model Checking of Highly Dependable Systems
Performance Evaluation, Vol 69, No. 7-8, July/August 2012, pp. 336-355.

Anna Kolesnichenko, Anne Remke, Pieter-Tjerk de Boer and Boudewijn Haverkort:
A logic for model-checking of mean-field models.
Presentation report at Tenth Workshop on Quantitative Aspects of Programming Languages (QAPL), Tallinn, Estonia, 2012.

2011:

Anna Kolesnichenko, Anne Remke, Pieter-Tjerk de Boer, and Boudewijn R. Haverkort:
Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study
8th European Performance Engineering Workshop (EPEW) 2011 (LNCS 6977), Borrowdale, UK, October 2011.

Anna Kolesnichenko, Pieter-Tjerk de Boer, Anne Remke, Emmanuele Zambon, and Boudewijn R. Haverkort:
Is Quantitative Analysis of Stuxnet Possible?
Fast Abstract at the 8th International Conference on Quantitative Evaluation of SysTems (QEST) 2011, Aachen, Germany, September 2011.

2010:

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R.W. Scheinhardt, Boudewijn R. Haverkort:
Rare Event Simulation for Model Checking of Highly Dependable Systems".
7th International Conference on Quantitative Evaluation of SysTems (QEST) 2010, Williamsburg, USA, September 2010.

Pieter-Tjerk de Boer, Werner R.W. Scheinhardt:
A new, analysis-based, change of measure for tandem queues".
8th International Workshop on Rare Event Simulation (RESIM 2010), Cambridge, UK, June 2010

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R.W. Scheinhardt:
Transient Behaviour in Highly Dependable Markovian Systems: New Regimes, Many Paths".
8th International Workshop on Rare Event Simulation (RESIM 2010), Cambridge, UK, June 2010

2009:

José Camacho, Pieter-Tjerk de Boer, Anne K.I. Remke:
Survivability of SCADA Control Loop
CTIT technical report 09-46.

2008:

Tatiana S. Zaburnenko, Pieter-Tjerk de Boer, Boudewijn R.H.M. Haverkort:
Extension of heuristics for simulating population overflow in Jackson tandem queuing networks to non-Markovian tandem queuing networks
7th International Workshop on Rare Event Simulation (RESIM 2008), Rennes, France, September 2008.

Edwin Woudt, Pieter-Tjerk de Boer and Jan-Kees van Ommeren:
Improving adaptive importance sampling simulation of Markovian queueing models using non-parametric smoothing
Simulation, December 2007 (which finally appeared around April 2008), Vol. 83, No. 12, pp. 811-820.

2007:

Pieter-Tjerk de Boer, Pierre L'Ecuyer, Gerardo Rubino and Bruno Tuffin:
Estimating the Probability of a Rare Event Over a Finite Time Horizon
Proc. of the 2007 Winter Simulation Conference (WSC'07), Washington, USA, December 2007, pp. 403-411

Pieter-Tjerk de Boer and Werner R.W. Scheinhardt:
Alternative proof and interpretations for a recent state-dependent importance sampling scheme.
Queueing Systems, November 2007, Vol. 57, No. 2-3, pp. 61-69.
Note: Also presented at 14th Informs Applied Probability Conference, Eindhoven, The Netherlands, July 9-11, 2007. An earlier version appeared as Memorandum 1828, Department of Applied Mathematics, University of Twente, March 2007.

2006:

P.T. de Boer:
Some Observations on Importance Sampling and RESTART
Proc. of the 6th International Workshop on Rare Event Simulation (RESIM 2006), Bamberg, Germany, October 2006

P.T. de Boer:
Analysis of State-Independent Importance-Sampling Measures for the Two-Node Tandem Queue
ACM Transactions on Modeling and Computer Simulation, July 2006, Vol. 16, No. 3, pp. 225-250.
Note: The printed (i.e., "hardcopy") version of this paper contains some minor copyediting errors; please use the online version instead.

2005:

P.T. de Boer, D.P. Kroese, S. Mannor, R.Y. Rubinstein:
A Tutorial on the Cross-Entropy Method
Annals of Operations Research, January 2005, Vol. 134, No. 1, pp. 19-67.
Note: Also at the cross-entropy method homepage.

P.T. de Boer:
Rare-event simulation of non-Markovian queueing networks using
Annals of Operations Research, January 2005, Vol. 134, No. 1, pp. 69-100.
Note: Extended abstract in Proc. of the 5th International Workshop on Rare Event Simulation and Combinatorial Optimization (RESIM COP 2004), Budapest, Hungary, September 2004

2004:

P.T. de Boer, D.P. Kroese, R.Y. Rubinstein:
A Fast Cross-Entropy Method for Estimating Buffer Overflows in Queueing Networks
Management Science, July 2004, Vol. 50, No. 7, pp. 883-895.
Note: Earlier version in Proc. of the 4th International Workshop on Rare Event Simulation and Related Combinatorial Optimization Problems (RESIM/COP'02), Madrid, Spain, 2002

2002:

P.T. de Boer, D.P. Kroese, R.Y. Rubinstein:
Estimating Buffer Overflows in Three Stages Using Cross-Entropy
Proc. of the 2002 Winter Simulation Conference (WSC'02), San Diego, California, 2002, 301-309

P.T. de Boer, V.F. Nicola:
Adaptive state-dependent importance sampling simulation of Markovian Queuing networks,
European Transactions on Telecommunications, 2002, vol. 13, no. 4, p. 303-315.

2001:

P.T. de Boer, V.F. Nicola, J.C.W. van Ommeren:
The Remaining Service Time Upon Reaching a High Level in M/G/1 Queues,
Queueing Systems, 2001, vol. 39, p. 55-78.

2000:

P.T. de Boer, V.F. Nicola, R.Y. Rubinstein:
Adaptive Importance Sampling Simulation of Queueing Networks,
Proc. of the 2000 Winter Simulation Conference (WSC'00), Orlando, Florida, 2000, 646-655

P.T. de Boer:
Analysis and efficient simulation of queueing models of telecommunication systems,
Ph.D. thesis, University of Twente, 2000.

P.T. de Boer, V.F. Nicola, R.Y. Rubinstein:
Dynamic Importance Sampling Simulation of Queueing Networks: An Adaptive Approach Based on Cross-Entropy,
Proc. of the 3rd International Workshop on Rare Event Simulation (RESIM'2000), Pisa, Italy, 2000

1999 and earlier:

P.T. de Boer, V.F. Nicola, R. Srinivasan:
On the Estimation of Rare Event Probabilities Involving IID Sums,
Proc. of the Second International Workshop on Rare Event Simulation (RESIM'99), Enschede, The Netherlands, 1999, 133-138.

P.T. de Boer, V.F. Nicola:
A Hybrid Importance Sampling Estimation of Consecutive Cell Loss Probability,
AEU Int. J. Electron. Commun., 1998, 52, 3, 133-140

P.T. de Boer, V.F. Nicola:
Analysis of Per-Stream Consecutive Cell Loss in a Multiple Source Queueing Model,
Proc. of the Fourth Workshop on Performance Modelling and Evaluation of ATM Networks, Ilkley, UK, 1996

Computer networking:

2019:

Wouter de Vries, Roland van Rijswijk-Deij, Pieter-Tjerk de Boer and Aiko Pras:
Passive Observations of a Large DNS Service: 2.5 Years in the Life of Google
Accepted for IEEE Transactions on Network and Service Management
Note: Extended version of the 2018 conference paper with the same title.

2018:

Wouter de Vries, Roland van Rijswijk-Deij, Pieter-Tjerk de Boer and Aiko Pras:
Passive Observations of a Large DNS Service: 2.5 Years in the Life of Google
Network Traffic Measurement and Analysis Conference, TMA 2018, Vienna, Austria.

2017:

Luuk Hendriks, Pieter-Tjerk de Boer, Aiko Pras:
IPv6-specific misconfigurations in the DNS
CNSM 2017.

Wouter de Vries, Ricardo de O. Schmidt, Wes Hardaker, John Heidemann, Pieter-Tjerk de Boer and Aiko Pras:
Broad and Load-Aware Anycast Mapping with Verfploeter
IMC 2017 (and earlier version at OARC 2017).

Luuk Hendriks, Petr Velan, Ricardo de O. Schmidt, Pieter-Tjerk de Boer, Aiko Pras:
Flow-based Detection of IPv6-specific Network Layer Attacks
AIMS 2017.

Luuk Hendriks, Petr Velan, Ricardo de O. Schmidt, Pieter-Tjerk de Boer, Aiko Pras:
Threats and Surprises behind IPv6 Extension Headers
TMA 2017.

2015:

Doina Bucur, Giovanni Iacca, Pieter-Tjerk de Boer:
Characterizing Topological Bottlenecks for Data Delivery in CTP using Simulation-Based Stress Testing with Natural Selection
Ad Hoc Networks, Volume 30, July 2015, pp. 22-45.

2014:

Dirk Maan, Jose Jair Santanna, Anna Sperotto and Pieter-Tjerk de Boer:
Towards validation of the Internet Census 2012
EUNICE 2014, Rennes, France.

Wouter J. Kooij, Hans M. Stokking, Ray van Brandenburg, Pieter-Tjerk de Boer:
Playout Delay of TV Signals: Measurement System Design, Validation and Results
TVX2014, Newcastle Upon Tyne, UK.

2013:

Giovane C. M. Moura, Aiko Pras, Tiago Fioreze, and Pieter-Tjerk de Boer:
Self-management of Hybrid Networks - Hidden Costs due to TCP Performance Problems
EUNICE 2013, Dresden, Germany.

2012:

Christiaan Ottow, Frank van Vliet, Pieter-Tjerk de Boer, Aiko Pras:
Impact of IPv6 on Network and Web Application Penetration Testing
EUNICE 2012 (LNCS 7479), Budapest, Hungary, August 2012.

Anna Sperotto, Michel Mandjes, Ramin Sadre, Pieter-Tjerk de Boer, and Aiko Pras:
Autonomic Parameter Tuning of Anomaly-Based IDSs: an SSH Case Study
IEEE Transactions on Network and Service Management, Vol. 9, No. 2, March 2012.

2011:

Floris van Nee and Pieter-Tjerk de Boer:
On the Benefit of Forward Error Correction at IEEE 802.11 Link Layer Level
EUNICE 2011 (LNCS 6955), Dresden, Germany, September 2011.

2009:

Anna Sperotto, Ramin Sadre, Pieter-Tjerk de Boer, Aiko Pras:
Hidden Markov Model modeling of SSH brute-force attacks".
Proceedings of the 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009 (LNCS 5841) Venice, Italy, October 2009, pp. 164-176.

Giovane C. Moreira Moura, Tiago Fioreze, Pieter-Tjerk de Boer, Aiko Pras:
Optical Switching Impact on TCP Throughput Limited by TCP Buffers
Proceedings of the 9th IEEE International Workshop on IP Operations and Management, IPOM 2009 (LNCS 5843) Venice, Italy, October 2009, pp. 161-166.

2008:

Desislava Dimitrova, Georgios Karagiannis, Pieter-Tjerk de Boer:
Severe congestion handling approaches in NSIS RMD domains with bi-directional reservations
Computer Communications, Vol. 31, No. 14, 5 September 2008, pp. 3153-3162.

2007:

R.O. Taniman, A.C. van Bochove, P.T. de Boer:
Bitloading with reduced computational complexity order for a multicarrier multimode PON.
Proceedings of the Twelfth Annual Symposium IEEE/LEOS Benelux Chapter, 17-18 Dec 2007, Brussels, Belgium, pp. 171-174.

R.O. Taniman, A.C. van Bochove, P.T. de Boer, B. Sikkes:
Dynamic capacity allocation for low-cost multicarrier multimode PON.
Proceedings of the Thirty-third European Conference on Optical Communication, 16-20 Sep 2007, Berlin, Germany, pp. 55-56.

R.O. Taniman, A.C. van Bochove, P.T. de Boer, B. Sikkes:
Application of feasible vertex labeling for dynamic capacity allocation of a multicarrier multimode PON.
Proceedings of the Twelfth European Conference on Networks and Optical Communications, 18-21 June 2007, Stockholm, Sweden, pp. 407-414.

2006:

R.O. Taniman, B. Sikkes, A.C. van Bochove, P.T. de Boer:
Stable-matching-based subcarrier assignment method for multimode PON using a multicarrier variant of subcarrier multiplexing
11th European Conference on Networks & Optical Communications, Berlin, Germany, July 2006.

Mark Timmer, Pieter-Tjerk de Boer, Aiko Pras:
How to Identify the Speed Limiting Factor of a TCP Flow
Fourth IEEE/IFIP Workshop on End-to-End Monitoring Techniques and Services (E2EMON'06), Vancouver, Canada, April 2006.