Pedro R. D'Argenio

Filters: Author is Sebastian Biewer [Clear All Filters]

2021

S. Biewer, D'Argenio, P. R., and Hermanns, H., “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)

2019

S. Biewer, D'Argenio, P. R., and Hermanns, H., “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, D. Parker and Wolf, V., Eds. Springer, 2019, pp. 313–331.

paper-344.pdf (724.55 KB)

2018

S. Biewer, D'Argenio, P. R., and Hermanns, H., “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)

H. Hermanns, Biewer, S., D'Argenio, P. R., and Köhl, M. A., “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, G. Barthe, Sutcliffe, G., and Veanes, M., Eds. EasyChair, 2018, pp. 1–17.

paper-338.pdf (3.06 MB)

2017

P. R. D'Argenio, Barthe, G., Biewer, S., Finkbeiner, B., and Hermanns, H., “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, H. Yang, Ed. Springer, 2017, pp. 83–110.

paper-312.pdf (429.13 KB)