Pieter-Tjerk de Boer

Research output

Research output per year 1996 1998 2006 2007 2010 2012 2013 2014 2015 2016 2017 2021 2021

• 42 Conference contribution
• 33 Article
• 8 Report
• 7 Paper
• 6 More
  • 3 Abstract
  • 2 Chapter
  • 1 PhD Thesis - Research UT, graduation UT

Research output per year

Research output per year

Search results

• 2016

  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 proceeding › Chapter › Academic › peer-review

  • Importance sampling 100%
  • Model checking 81%
  • Statistical Models 70%
  • Testing 39%
  3 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 proceeding › Chapter › Academic