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 .

Doherty, Simon, Brijesh Dongol, Heike Wehrheim, and John Derrick. “Brief Announcement: Generalising Concurrent Correctness to Weak Memory.”https://doi.org/10.4230/LIPIcs.DISC.2018.45__In 32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018, 45:1-45:3, 2018.https://doi.org/10.4230/LIPIcs.DISC.2018.45 .

Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim. “Validity of Software Verification Results on Approximate Hardware.”https://doi.org/10.1109/LES.2017.2758200__IEEE Embedded Systems Letters, 2018, 22–25.https://doi.org/10.1109/LES.2017.2758200 .

Beyer, Dirk, Marie-Christine Jakobs, Thomas Lemberger, and Heike Wehrheim. “Reducer-Based Construction of Conditional Verifiers.” In Proceedings of the 40th International Conference on Software Engineering (ICSE), 1182--1193. ACM, 2018.

Börding, Paul. Testing Java Method Contracts. Universität Paderborn, 2017.

Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information Flow Analyses.”https://doi.org/10.1007/978-3-319-68690-5_22__In Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings, edited by Zhenhua Duan and Luke Ong, 362--378. Lecture Notes in Computer Science, 2017.https://doi.org/10.1007/978-3-319-68690-5_22 .

König, Jürgen, and Heike Wehrheim. “Value-Based or Conflict-Based? Opacity Definitions for STMs.”https://doi.org/10.1007/978-3-319-67729-3_8__In Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, edited by Dang Van Hung and Deepak Kapur, 118--135. Lecture Notes in Computer Science, 2017.https://doi.org/10.1007/978-3-319-67729-3_8 .

Jakobs, Marie-Christine, and Heike Wehrheim. “Compact Proof Witnesses.”https://doi.org/10.1007/978-3-319-57288-8_28__In NASA Formal Methods: 9th International Symposium, edited by Clark Barrett, Misty Davies, and Temesghen Kahsai, 389–403. Lecture Notes in Computer Science, 2017.https://doi.org/10.1007/978-3-319-57288-8_28 .

Jakobs, Marie-Christine, Julia Krämer, Dirk van Straaten, and Theodor Lettmann. “Certiû01cation Matters for Service Markets.” In The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), edited by Thomas Prinz Marcelo De Barros, Janusz Klink,Tadeus Uhl, 7–12, 2017.

Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.”https://doi.org/10.1145/2984640__ACM Transactions on Embedded Computing Systems, no. 2 (2017): 47:1-47:24.https://doi.org/10.1145/2984640 .

Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information Flow Analyses.”https://doi.org/10.1007/978-3-319-68690-5_22__In Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), 362–78. Springer International Publishing, 2017.https://doi.org/10.1007/978-3-319-68690-5_22 .

Walther, Sven. Knowledge-Based Verification of Service Compositions. Universität Paderborn, 2017.https://doi.org/10.17619/UNIPB/1-307 .

Czech, Mike, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. “Predicting Rankings of Software Verification Tools.”https://doi.org/10.1145/3121257.3121262__In Proceedings of the 3rd International Workshop on Software Analytics, 23–26. SWAN’17, 2017.https://doi.org/10.1145/3121257.3121262 .

Czech, Mike, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. Predicting Rankings of Software Verification Competitions, 2017.

Isenberg, Tobias, Marco Platzner, Heike Wehrheim, and Tobias Wiersema. “Proof-Carrying Hardware via Inductive Invariants.”https://doi.org/10.1145/3054743__ACM Transactions on Design Automation of Electronic Systems, no. 4 (2017): 61:1--61:23.https://doi.org/10.1145/3054743 .

Jakobs, Marie-Christine. On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn, 2017.https://doi.org/10.17619/UNIPB/1-104 .

Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.”https://doi.org/10.1145/3014427__ACM Transactions on Programming Languages and Systems, no. 2 (2017): 7:1-7:56.https://doi.org/10.1145/3014427 .

Pauck, Felix. Cooperative Static Analysis of Android Applications. Universität Paderborn, 2017.

Bröcher, Henrik. Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn, 2016.

Beringer, Steffen, and Heike Wehrheim. “Verification of AUTOSAR Software Architectures with Timed Automata.”https://doi.org/10.1007/978-3-319-45943-1_13__In Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, edited by Maurice H. ter Beek, Stefania Gnesi, and Alexander Knapp, 189--204. Lecture Notes in Computer Science, 2016.https://doi.org/10.1007/978-3-319-45943-1_13 .

Travkin, Oleg, and Heike Wehrheim. “Verification of Concurrent Programs on Weak Memory Models.”https://doi.org/10.1007/978-3-319-46750-4_1__In Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, edited by Augusto Sampaio and Farn Wang, 3--24. Lecture Notes in Computer Science, 2016.https://doi.org/10.1007/978-3-319-46750-4_1 .

Schellhorn, Gerhard, Oleg Travkin, and Heike Wehrheim. “Towards a Thread-Local Proof Technique for Starvation Freedom.”https://doi.org/10.1007/978-3-319-33693-0_13__In Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, edited by Marieke Huisman, 193--209. Lecture Notes in Computer Science, 2016.https://doi.org/10.1007/978-3-319-33693-0_13 .

Doherty, Simon, Brijesh Dongol, John Derrick, Gerhard Schellhorn, and Heike Wehrheim. “Proving Opacity of a Pessimistic STM.”https://doi.org/10.4230/LIPIcs.OPODIS.2016.35__In 20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, edited by Panagiota Fatourou, Ernesto Jim\rquote enez, and Fernando Pedone, 35:1--35:17. LIPIcs, 2016.https://doi.org/10.4230/LIPIcs.OPODIS.2016.35 .

Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim. “Deriving Approximation Tolerance Constraints from Verification Runs.” CoRR, 2016.

Walther, Sven, and Heike Wehrheim. “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs.”https://doi.org/10.1016/j.scico.2016.04.002__Science of Computer Programming, 2016, 2--23.https://doi.org/10.1016/j.scico.2016.04.002 .

Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What You Cannot Verify!” In Software Engineering 2016, edited by Uwe Zdun Jens Knoop, 17–18. Lecture Notes in Informatics, 2016.

Krämer, Julia, and Heike Wehrheim. “A Short Survey on Using Software Error Localization for Service Compositions.”https://doi.org/10.1007/978-3-319-44482-6_16__In Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 248--262. LNCS, 2016.https://doi.org/10.1007/978-3-319-44482-6_16 .

Krämer, Julia, and Heike Wehrheim. “A Formal Approach to Error Localization and Correction in Service Compositions.”https://doi.org/10.1007/978-3-319-50230-4_35__In Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 445--457. LNCS, 2016.https://doi.org/10.1007/978-3-319-50230-4_35 .

Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow Analysis.”https://doi.org/10.1007/978-3-319-47846-3_29__In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 466--483. LNCS, 2016.https://doi.org/10.1007/978-3-319-47846-3_29 .

Jakobs, Marie-Christine, Manuel Töws, and Felix Pauck. “PAndA 2f: Analyzing Permission Use and Interplay in Android Apps (Tool Paper).” In Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, edited by Troubitsyna E Ishikawa F, Romanovsky A. School of Computing Science Technical Report Series, 2016.

Isenberg, Tobias. Induction-Based Verification of Timed Systems. Universität Paderborn, 2016.