Hoof, S. (2020). Essays on Cooperation in Differential Games.https://doi.org/	10.17619/UNIPB/1-1047 

Böhne, C., Meschut, G., Biegler, M., &; Rethmeier, M. (2020). Avoidance of liquid metal embrittlement during resistance spot welding by heat input dependent hold time adaption. Science and Technology of Welding and Joining, 25(7), 617–624.https://doi.org/10.1080/13621718.2019.1693731 

Biegler, M., Rethmeier, M., Böhne, C., &; Meschut, G. (2020). Resistance spot welding simulation can determine the critical stress- and strain-conditions leading to liquid metal embrittlement formation. In Joining in Car Body Engineering. Bad Nauheim.

Bila, E., Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., &; Wehrheim, H. (2020). Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. In A. Gotsman &; A. Sokolova (Eds.), Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings (Vol. 12136, pp. 39–58). Springer.https://doi.org/10.1007/978-3-030-50086-3‑3 

Beringer, S., &; Wehrheim, H. (2020). Consistency Analysis of AUTOSAR Timing Requirements. In M. van Sinderen, H.-Georg Fill, &; L. A. Maciaszek (Eds.), Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020 (pp. 15–26). ScitePress.https://doi.org/10.5220/0009766600150026 

Beyer, D., &; Wehrheim, H. (2020). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. In T. Margaria &; B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I (Vol. 12476, pp. 143–167). Springer.https://doi.org/10.1007/978-3-030-61362-4‑8 

Wehrheim, H., &; Cabot, J. (Eds.). (2020). Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings (Vol. 12076). Springer.https://doi.org/10.1007/978-3-030-45234-6 

Ahrendt, W., &; Wehrheim, H. (Eds.). (2020). Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] (Vol. 12165). Springer.https://doi.org/10.1007/978-3-030-50995-8 

Sharma, A., &; Wehrheim, H. (2020). Testing Monotonicity of Machine Learning Models. CoRR, abs/2002.12278.

Brand-Miller, J., &; Buyken, A. (2020). Mapping postprandial responses sets the scene for targeted dietary advice. Nature Medicine, 828–830.https://doi.org/10.1038/s41591-020-0909-1