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 
LibreCat: /record/20274
DOI: 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 
LibreCat: /record/20275
DOI: 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 
LibreCat: /record/20276
DOI: 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 
LibreCat: /record/20277
DOI: 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 
LibreCat: /record/20278
DOI: 10.1007/978-3-030-50995-8

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

Dalvandi, S., Doherty, S., Dongol, B., &; Wehrheim, H. (2020). Owicki-Gries Reasoning forhttps://doi.org/10.4230/DARTS.6.2.15__RAR (Artifact). Dagstuhl Artifacts Ser., 6(2), 15:1-15:2.https://doi.org/10.4230/DARTS.6.2.15 
LibreCat: /record/21016
DOI: 10.4230/DARTS.6.2.15

Dalvandi, S., Doherty, S., Dongol, B., &; Wehrheim, H. (2020). Owicki-Gries Reasoning forhttps://doi.org/10.4230/LIPIcs.ECOOP.2020.11__RAR. In R. Hirschfeld &; T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference) (Vol. 166, pp. 11:1-11:26). Schloss Dagstuhl - Leibniz-Zentrum f\'22ur Informatik.https://doi.org/10.4230/LIPIcs.ECOOP.2020.11 
LibreCat: /record/21017
DOI: 10.4230/LIPIcs.ECOOP.2020.11

Richter, C., &; Wehrheim, H. (2020). Attend and Represent: A Novel View on Algorithm Selection for Software Verification. In 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020 (pp. 1016–1028). IEEE.
LibreCat: /record/21018

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 
LibreCat: /record/21019
DOI: 10.1007/978-3-030-50995-8

Haltermann, J. F., &; Wehrheim, H. (2020). Cooperative Verification via Collective Invariant Generation. ArXiv:2008.04551.
LibreCat: /record/17825

Sharma, A., &; Wehrheim, H. (n.d.). Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). ACM.
LibreCat: /record/16724

Richter, C., Hüllermeier, E., Jakobs, M.-C., &; Wehrheim, H. (n.d.). Algorithm Selection for Software Validation Based on Graph Kernels. Journal of Automated Software Engineering.
LibreCat: /record/16725

Karl, H., Kundisch, D., Meyer auf der Heide, F., &; Wehrheim, H. (2020). A Case for a New IT Ecosystem: On-The-Fly Computing. Business &; Information Systems Engineering, 62(6), 467–481.https://doi.org/10.1007/s12599-019-00627-x 
LibreCat: /record/13770
DOI: 10.1007/s12599-019-00627-x

Pauck, F., Bodden, E., &; Wehrheim, H. (2020). Reproducing Taint-Analysis Results with ReproDroid. In M. Felderer, W. Hasselbring, R. Rabiser, &; R. Jung (Eds.), Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria (pp. 123–124). Gesellschaft f\'22ur Informatik e.V.https://doi.org/10.18420/SE2020_36 
LibreCat: /record/16214
DOI: 10.18420/SE2020_36

Schneider, S. B., Sharma, A., Karl, H., &; Wehrheim, H. (2019). Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. In 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM) (pp. 116--124). Washington, DC, USA: IFIP.
LibreCat: /record/3287

Sharma, A., &; Wehrheim, H. (2019). Testing Balancedness of ML Algorithms. In Proceedings of the Software Engineering Conference (SE) (Vol. P-292, pp. 157–158). Stuttgart: Gesellschaft für Informatik e.V. (GI).
LibreCat: /record/7752

Sharma, A., &; Wehrheim, H. (2019). Testing Machine Learning Algorithms for Balanced Data Usage. In IEEE International Conference on Software Testing, Verification and Validation (ICST) (pp. 125--135). Xi’an, China: IEEE.
LibreCat: /record/7635

Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., &; Wehrheim, H. (2019). Verifying Correctness of Persistent Concurrent Data Structures. In M. H. ter Beek, A. McIver, &; J. N. Oliveira (Eds.), Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings (Vol. 11800, pp. 179–195). Springer.https://doi.org/10.1007/978-3-030-30942-8‑12 
LibreCat: /record/16215
DOI: 10.1007/978-3-030-30942-8‑12

Russo, A., Schürr, A., &; Wehrheim, H. (2019). Editorial. Formal Asp. Comput., 31(5), 457–458.https://doi.org/10.1007/s00165-019-00495-y 
LibreCat: /record/16216
DOI: 10.1007/s00165-019-00495-y