Publications

Filters: Author is Marieke Huisman [Clear All Filters]

2018

C. E. Budde, D'Argenio, P. R., Hartmanns, A., and Sedwards, S., “A Statistical Model Checker for Nondeterminism and Rare Events”, in Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II, vol. 10806, D. Beyer and Huisman, M., Eds. Springer, 2018, pp. 340–358.

paper-784.pdf (795.55 KB)

2016

P. R. D'Argenio, Hartmanns, A., Legay, A., and Sedwards, S., “Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata”, in Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, vol. 9681, E. Ábrahám and Huisman, M., Eds. Springer, 2016, pp. 99-114.

paper-632.pdf (463.65 KB)