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.PDF icon paper-339.pdf (1.29 MB)
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–608.PDF icon paper-305.pdf (416.75 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