Publications

Filters: Author is Tiziana Margaria [Clear All Filters]

2018

P. R. D'Argenio, Hartmanns, A., and Sedwards, S., “Lightweight Statistical Model Checking in Nondeterministic Continuous Time”, in Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, vol. 11245, T. Margaria and Steffen, B., Eds. Springer, 2018, pp. 336–353.

paper-786.pdf (1.29 MB)

2017

C. E. Budde, Dehnert, C., Hahn, E. Moritz, Hartmanns, A., Junges, S., and Turrini, A., “JANI: Quantitative Model and Tool Interaction”, in Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Berlin, Heidelberg: Springer Berlin Heidelberg, 2017, pp. 151–168.

paper-726.pdf (223.9 KB)

2016

G. Barthe, D'Argenio, P. R., Finkbeiner, B., and Hermanns, H., “Facets of Software Doping”, in Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, (ISoLA 2016), Part II, vol. 9953, T. Margaria and Steffen, B., Eds. Springer, 2016, pp. 601-607.

paper-668.pdf (416.75 KB)