Schott, Stefan. Android App Analysis Benchmark Case Generation. Paderborn, 2021.

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 .

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  .

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.

Mayer, Stefan. Optimierung von JMCTest Beim Testen von Inter Method Contracts. Universität Paderborn, 2020.

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 .

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 .

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 .

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 .

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 .

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

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 .

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 .

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.

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 .

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

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.

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.

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 .

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 .

Schneider, Stefan Balthasar, Arnab Sharma, Holger Karl, and Heike Wehrheim. “Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets.” In 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), 116--124. Washington, DC, USA: IFIP, 2019.

Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.” In Proceedings of the Software Engineering Conference (SE), P-292:157–58. Lecture Notes in Informatics (LNI). Stuttgart: Gesellschaft für Informatik e.V. (GI), 2019.

Zhang, Shikun. Combining Android Apps for Analysis Purposes. Universität Paderborn, 2019.

Sharma, Arnab, and Heike Wehrheim. “Testing Machine Learning Algorithms for Balanced Data Usage.” In IEEE International Conference on Software Testing, Verification and Validation (ICST), 125--135. Xi’an, China: IEEE, 2019.

Haltermann, Jan Frederik. Analyzing Data Usage in Array Programs, 2019.

Pauck, Felix, and Shikun Zhang. “Android App Merging for Benchmark Speed-Up and Analysis Lift-Up.”https://doi.org/10.1109/asew.2019.00019__In 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019.https://doi.org/10.1109/asew.2019.00019 .

Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Correctness of Persistent Concurrent Data Structures.”https://doi.org/10.1007/978-3-030-30942-8‑12__In Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, edited by Maurice H. ter Beek, Annabelle McIver, and Jos\rquote e N. Oliveira, 11800:179–95. Lecture Notes in Computer Science. Springer, 2019.https://doi.org/10.1007/978-3-030-30942-8‑12 .

Russo, Alessandra, Andy Schürr, and Heike Wehrheim. “Editorial.”https://doi.org/10.1007/s00165-019-00495-y__Formal Asp. Comput. 31, no. 5 (2019): 457–58.https://doi.org/10.1007/s00165-019-00495-y .

Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.”https://doi.org/10.1007/s00165-018-00477-6__Formal Asp. Comput. 31, no. 1 (2019): 1.https://doi.org/10.1007/s00165-018-00477-6 .

Beyer, Dirk, and Marie-Christine Jakobs. “CoVeriTest: Cooperative Verifier-Based Testing.”https://doi.org/10.1007/978-3-030-16722-6_23__In Fundamental Approaches to Software Engineering. Cham, 2019.https://doi.org/10.1007/978-3-030-16722-6_23 .

Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Correctness of Persistent Concurrent Data Structures.”https://doi.org/10.1007/978-3-030-30942-8‑12__In Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 179–95, 2019.https://doi.org/10.1007/978-3-030-30942-8‑12 .

Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.”https://doi.org/10.1007/s00165-018-00477-6__Formal Asp. Comput. 31, no. 1 (2019): 1.https://doi.org/10.1007/s00165-018-00477-6 .

König, Jürgen, and Heike Wehrheim. “Data Independence for Software Transactional Memory.”https://doi.org/10.1007/978-3-030-20652-9‑18__In NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, edited by Julia M. Badger and Kristin Yvonne Rozier, 11460:263–79. Lecture Notes in Computer Science. Springer, 2019.https://doi.org/10.1007/978-3-030-20652-9‑18 .

Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Verifyinghttps://doi.org/10.1145/3293883.3295702__Programs Operationally.”https://doi.org/10.1145/3293883.3295702__In Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, edited by Jeffrey K. Hollingsworth and Idit Keidar, 355–65. ACM, 2019.https://doi.org/10.1145/3293883.3295702 .

Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. “Combining Verifiers in Conditional Model Checking via Reducers.”https://doi.org/10.18420/se2019-46__In Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker, Ivan Bogicevic, Georg Herzwurm, and Stefan Wagner, P-292:151--152. LNI. GI, 2019.https://doi.org/10.18420/se2019-46 .

Sharma, Arnab, and Heike Wehrheim. “Testing Balancedness of ML Algorithms.”https://doi.org/10.18420/se2019-48__In Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker, Ivan Bogicevic, Georg Herzwurm, and Stefan Wagner, P-292:157–58. LNI. GI, 2019.https://doi.org/10.18420/se2019-48 .

Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).”https://doi.org/10.1007/978-3-030-17502-3_19__In 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, edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, and Bernhard Steffen, 11429:229–33. Lecture Notes in Computer Science. Springer, 2019.https://doi.org/10.1007/978-3-030-17502-3_19 .

Haltermann, Jan. Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.

Pauck, Felix, and Heike Wehrheim. “Together Strong: Cooperative Android App Analysis.”https://doi.org/10.1145/3338906.3338915__In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 374–84, 2019.https://doi.org/10.1145/3338906.3338915 .

Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim. “When Are Software Verification Results Valid for Approximate Hardware?”https://doi.org/10.1007/978-3-030-31157-5_1__In 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, 2019.https://doi.org/10.1007/978-3-030-31157-5_1 .

Rautenberg, Kai. Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn, 2018.

Börding, Paul, Jan Frederik Haltermann, Marie-Christine Jakobs, and Heike Wehrheim. “JMCTest: Automatically Testing Inter-Method Contracts in Java.” In Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), 11146:39--55. Lecture Notes in Computer Science. Springer, 2018.

Schellhorn, Gerhard, Monika Wedel, Oleg Travkin, Jürgen König, and Heike Wehrheim. “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity.”https://doi.org/10.1007/978-3-319-92970-5_7__In Software Engineering and Formal Methods, 105–20. Cham: Springer International Publishing, 2018.https://doi.org/10.1007/978-3-319-92970-5_7 .

Doherty, Simon, John Derrick, Brijesh Dongol, and Heike Wehrheim. “Causal Linearizability: Compositionality for Partially Ordered Executions.” CoRR, 2018.

Pauck, Felix, Eric Bodden, and Heike Wehrheim. “Do Android Taint Analysis Tools Keep Their Promises?” ArXiv:1804.02903, 2018.

Töws, Manuel, and Heike Wehrheim. “Information Flow Certificates.”https://doi.org/10.1007/978-3-030-02508-3_23__In Theoretical Aspects of Computing – ICTAC 2018, 435–54. Cham: Springer International Publishing, 2018.https://doi.org/10.1007/978-3-030-02508-3_23 .

Pauck, Felix, Eric Bodden, and Heike Wehrheim. “Do Android Taint Analysis Tools Keep Their Promises?”https://doi.org/10.1145/3236024.3236029__In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018. ACM Press, 2018.https://doi.org/10.1145/3236024.3236029 .

Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, and Heike Wehrheim. “Mechanized Proofs of Opacity: A Comparison of Two Techniques.”https://doi.org/10.1007/s00165-017-0433-3__Formal Asp. Comput. 30, no. 5 (2018): 597–625.https://doi.org/10.1007/s00165-017-0433-3 .

Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Making Linearizability Compositional for Partially Ordered Executions.”https://doi.org/10.1007/978-3-319-98938-9‑7__In Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 110–29, 2018.https://doi.org/10.1007/978-3-319-98938-9‑7 .

Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Making Linearizability Compositional for Partially Ordered Executions.”https://doi.org/10.1007/978-3-319-98938-9‑7__In Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 110–29, 2018.https://doi.org/10.1007/978-3-319-98938-9‑7 .