Publications

Filters: Author is Erika Ábrahám  [Clear All Filters]
2022
P. R. D'Argenio, Fraire, J. A., Hartmanns, A., and Raverta, F. D., Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks, in Quantitative Evaluation of Systems - 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings, vol. 13479, E. Ábrahám and Paolieri, M., Eds. Springer, 2022, pp. 337–355.PDF icon paper-819.pdf (1.5 MB)
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-632.pdf (463.65 KB)