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.PDF icon paper-337.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.PDF icon paper-299.pdf (463.65 KB)

Pedro R. D'Argenio (pedro.dargenio [at] unc.edu.ar)
Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054