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
3 Citations (Scopus)5 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
4 Downloads (Pure)