Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., &; Wehrheim, H. (2019). Verifying Correctness of Persistent Concurrent Data Structures. In Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (pp. 179–195).https://doi.org/10.1007/978-3-030-30942-8‑12 

Fränzle, M., Kapur, D., Wehrheim, H., &; Zhan, N. (2019). Editorial. Formal Asp. Comput., 31(1), 1.https://doi.org/10.1007/s00165-018-00477-6 

König, J., &; Wehrheim, H. (2019). Data Independence for Software Transactional Memory. In J. M. Badger &; K. Yvonne Rozier (Eds.), NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Vol. 11460, pp. 263–279). Springer.https://doi.org/10.1007/978-3-030-20652-9‑18 

Doherty, S., Dongol, B., Wehrheim, H., &; Derrick, J. (2019). Verifyinghttps://doi.org/10.1145/3293883.3295702__programs operationally. In J. K. Hollingsworth &; I. Keidar (Eds.), Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019 (pp. 355–365). ACM.https://doi.org/10.1145/3293883.3295702 

Beyer, D., Jakobs, M.-C., Lemberger, T., &; Wehrheim, H. (2019). Combining Verifiers in Conditional Model Checking via Reducers. In S. Becker, I. Bogicevic, G. Herzwurm, &; S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019 (Vol. P-292, pp. 151--152). GI.https://doi.org/10.18420/se2019-46 

Sharma, A., &; Wehrheim, H. (2019). Testing Balancedness of ML Algorithms. In S. Becker, I. Bogicevic, G. Herzwurm, &; S. Wagner (Eds.), Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019 (Vol. P-292, pp. 157–158). GI.https://doi.org/10.18420/se2019-48 

Richter, C., &; Wehrheim, H. (2019). PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). In D. Beyer, M. Huisman, F. Kordon, &; B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III (Vol. 11429, pp. 229–233). Springer.https://doi.org/10.1007/978-3-030-17502-3_19 

Haltermann, J. (2019). Analyzing Data Usage in Array Programs. Universität Paderborn.

Pauck, F., &; Wehrheim, H. (2019). Together Strong: Cooperative Android App Analysis. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 374–384.https://doi.org/10.1145/3338906.3338915 

Isenberg, T., Jakobs, M.-C., Pauck, F., &; Wehrheim, H. (2019). When Are Software Verification Results Valid for Approximate Hardware? Tests and Proofs - 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 3–20.https://doi.org/10.1007/978-3-030-31157-5_1