Filters: Author is Bernd Finkbeiner [Clear All Filters]
“Is Your Software on Dope? - Formal Analysis of Surreptitiously "enhanced" Programs”, in Programming Languages and Systems - 26th European Symposium on Programming, {ESOP} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, vol. 10201, Springer, 2017, pp. 83–110. paper-312.pdf (429.13 KB)
, “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)
,