Pieter-Tjerk de Boer



Research activity per year

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

Search results

  • Chapter

    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

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