Filters: Author is Sebastian Biewer [Clear All Filters]
“Doping Tests for Cyber-Physical Systems”, ACM Trans. Model. Comput. Simul., vol. 31, no. 3, p. Article 16, 2021. paper-364.pdf (1.02 MB)
, “Doping Tests for Cyber-Physical Systems”, in Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings, vol. 11785, Springer, 2019, pp. 313–331. paper-344.pdf (724.55 KB)
, “Cyber-Physical Doping Tests”, in 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018, IEEE, 2018, pp. 18–19. paper-342.pdf (104.92 KB)
, “Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions”, in LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, vol. 57, EasyChair, 2018, pp. 1–17. paper-338.pdf (3.06 MB)
, “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)
,