Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. “On Strong Observational Refinement and Forward Simulation.” In Proceedings of the 35th International Symposium on Distributed Computing (DISC). Leibniz International Proceedings in Informatics. Schloß Dagstuhl, n.d.
LibreCat: /record/22927

Pauck, Felix, and Heike Wehrheim. “Jicer: Simplifying Cooperative Android App Analysis Tasks.”https://doi.org/10.1109/scam52516.2021.00031__In 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.https://doi.org/10.1109/scam52516.2021.00031 .
LibreCat: /record/28199
DOI: 10.1109/scam52516.2021.00031

Jakobs, Marie-Christine, Felix Pauck, Marco Platzner, Heike Wehrheim, and Tobias Wiersema. “Software/Hardware Co-Verification for Custom Instruction Set Processors.”https://doi.org/10.1109/ACCESS.2021.3131213__IEEE Access, 2021.https://doi.org/10.1109/ACCESS.2021.3131213 .
LibreCat: /record/27841
DOI: 10.1109/ACCESS.2021.3131213

Pauck, Felix, and Heike Wehrheim. “Cooperative Android App Analysis with CoDiDroid.”https://doi.org/10.18420/SE2021_30 __In Software Engineering 2021, edited by Anne Koziolek, Ina Schaefer, and Christoph Seidl, 83–84. Bonn: Gesellschaft für Informatik e.V., 2021.https://doi.org/10.18420/SE2021_30  .
LibreCat: /record/21238
DOI: 10.18420/SE2021_30 

Sharma, Arnab, and Heike Wehrheim. “Automatic Fairness Testing of Machine Learning Models.” In Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS). LNCS. Springer, n.d.
LibreCat: /record/19656

Bila, Eleni, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, and Heike Wehrheim. “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.”https://doi.org/10.1007/978-3-030-50086-3‑3__In 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, edited by Alexey Gotsman and Ana Sokolova, 12136:39–58. Lecture Notes in Computer Science. Springer, 2020.https://doi.org/10.1007/978-3-030-50086-3‑3 .
LibreCat: /record/20274
DOI: 10.1007/978-3-030-50086-3‑3

Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR Timing Requirements.”https://doi.org/10.5220/0009766600150026__In Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020, edited by Marten van Sinderen, Hans-Georg Fill, and Leszek A. Maciaszek, 15–26. ScitePress, 2020.https://doi.org/10.5220/0009766600150026 .
LibreCat: /record/20275
DOI: 10.5220/0009766600150026

Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.”https://doi.org/10.1007/978-3-030-61362-4‑8__In 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, edited by Tiziana Margaria and Bernhard Steffen, 12476:143–67. Lecture Notes in Computer Science. Springer, 2020.https://doi.org/10.1007/978-3-030-61362-4‑8 .
LibreCat: /record/20276
DOI: 10.1007/978-3-030-61362-4‑8

Wehrheim, Heike, and Jordi Cabot, eds. 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. Lecture Notes in Computer Science. Springer, 2020.https://doi.org/10.1007/978-3-030-45234-6 .
LibreCat: /record/20277
DOI: 10.1007/978-3-030-45234-6

Ahrendt, Wolfgang, and Heike Wehrheim, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020.https://doi.org/10.1007/978-3-030-50995-8 .
LibreCat: /record/20278
DOI: 10.1007/978-3-030-50995-8

Sharma, Arnab, and Heike Wehrheim. “Testing Monotonicity of Machine Learning Models.” CoRR abs/2002.12278 (2020).
LibreCat: /record/20279

Dalvandi, Sadegh, Simon Doherty, Brijesh Dongol, and Heike Wehrheim. “Owicki-Gries Reasoning forhttps://doi.org/10.4230/DARTS.6.2.15__RAR (Artifact).”https://doi.org/10.4230/DARTS.6.2.15__Dagstuhl Artifacts Ser. 6, no. 2 (2020): 15:1-15:2.https://doi.org/10.4230/DARTS.6.2.15 .
LibreCat: /record/21016
DOI: 10.4230/DARTS.6.2.15

Dalvandi, Sadegh, Simon Doherty, Brijesh Dongol, and Heike Wehrheim. “Owicki-Gries Reasoning forhttps://doi.org/10.4230/LIPIcs.ECOOP.2020.11__RAR.”https://doi.org/10.4230/LIPIcs.ECOOP.2020.11__In 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), edited by Robert Hirschfeld and Tobias Pape, 166:11:1-11:26. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f\'22ur Informatik, 2020.https://doi.org/10.4230/LIPIcs.ECOOP.2020.11 .
LibreCat: /record/21017
DOI: 10.4230/LIPIcs.ECOOP.2020.11

Richter, Cedric, and Heike Wehrheim. “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, 1016–28. IEEE, 2020.
LibreCat: /record/21018

Ahrendt, Wolfgang, and Heike Wehrheim, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020.https://doi.org/10.1007/978-3-030-50995-8 .
LibreCat: /record/21019
DOI: 10.1007/978-3-030-50995-8

Haltermann, Jan Frederik, and Heike Wehrheim. “Cooperative Verification via Collective Invariant Generation.” ArXiv:2008.04551, 2020.
LibreCat: /record/17825

Sharma, Arnab, and Heike Wehrheim. “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, n.d.
LibreCat: /record/16724

Richter, Cedric, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. “Algorithm Selection for Software Validation Based on Graph Kernels.” Journal of Automated Software Engineering, n.d.
LibreCat: /record/16725

Karl, Holger, Dennis Kundisch, Friedhelm Meyer auf der Heide, and Heike Wehrheim. “A Case for a New IT Ecosystem: On-The-Fly Computing.”https://doi.org/10.1007/s12599-019-00627-x__Business &; Information Systems Engineering 62, no. 6 (2020): 467–81.https://doi.org/10.1007/s12599-019-00627-x .
LibreCat: /record/13770
DOI: 10.1007/s12599-019-00627-x

Pauck, Felix, Eric Bodden, and Heike Wehrheim. “Reproducing Taint-Analysis Results with ReproDroid.”https://doi.org/10.18420/SE2020_36__In Software Engineering 2020, Fachtagung Des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, edited by Michael Felderer, Wilhelm Hasselbring, Rick Rabiser, and Reiner Jung, 123–24. LNI. Gesellschaft f\'22ur Informatik e.V., 2020.https://doi.org/10.18420/SE2020_36 .
LibreCat: /record/16214
DOI: 10.18420/SE2020_36