Publications

Filters: Author is Holger Hermanns [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-814.pdf (1.02 MB)

2020

C. Baier, D'Argenio, P. R., and Hermanns, H., “On the probabilistic bisimulation spectrum with silent moves”, Acta Informatica, vol. 57, pp. 465–512, 2020.

paper-797.pdf (867.02 KB)

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-791.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-789.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-785.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-714.pdf (429.13 KB)

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-607.

paper-668.pdf (416.75 KB)

2015

C. E. Budde, D'Argenio, P. R., and Hermanns, H., “Rare Event Simulation with Fully Automated Importance Splitting”, in Computer Performance Engineering - 12th European Workshop, {EPEW} 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, vol. 9272, M. Beltrán, Knottenbelt, W. J., and Bradley, J. T., Eds. Springer, 2015, pp. 275–290.

paper-552.pdf (309.05 KB)

2011

M. Fränzle, Hahn, E. M., Hermanns, H., Wolovick, N., and Zhang, L., “Measurability and safety verification for stochastic hybrid systems”, in Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, 2011, pp. 43-52.

2006

H. C. Bohnenkamp, D'Argenio, P. R., Hermanns, H., and Katoen, J. - P., “MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems”, IEEE Trans. Software Eng., vol. 32, no. 10, pp. 812-830, 2006.

paper-22.pdf (1.78 MB)

2005

M. Lohrey, D'Argenio, P. R., and Hermanns, H., “Axiomatising divergence”, Inf. Comput., vol. 203, no. 2, pp. 115-144, 2005.

paper-5.pdf (373.54 KB)