Filters: Author is Bernhard Steffen [Clear All Filters]
“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, Springer, 2018, pp. 336–353. paper-339.pdf (1.29 MB)
, “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, Springer, 2016, pp. 601–608. paper-305.pdf (416.75 KB)
,