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.

Zhang, Guangli. Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn, 2016.

Czech, Mike. Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn, 2016.

Dewender, Markus. Verifikation von Service Kompositionen mit Spin. Universität Paderborn, 2016.

Heinisch, Philipp. Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016.

Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning.”https://doi.org/10.1007/978-3-319-22969-0_12__In Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 159--174. LNCS, 2015.https://doi.org/10.1007/978-3-319-22969-0_12 .

Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What You Cannot Verify!”https://doi.org/10.1007/978-3-662-46675-9_7__In Fundamental Approaches to Software Engineering, edited by Alexander Egyed and Ina Schaefer, 100–114. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-662-46675-9_7 .

Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.”https://doi.org/10.1109/ACSD.2015.13__In Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 1–9, 2015.https://doi.org/10.1109/ACSD.2015.13 .

Besova, Galina. Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015.

Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs of Predicated Dataflow Analyses.”https://doi.org/10.1145/2695664.2695690__In Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1729–36. SAC ’15, 2015.https://doi.org/10.1145/2695664.2695690 .

Besova, Galina, Dominik Steenken, and Heike Wehrheim. “Grammar-Based Model Transformations: Definition, Execution, and Quality Properties.”https://doi.org/10.1016/j.cl.2015.05.003__Computer Languages, Systems &; Structures, 2015, 116–38.https://doi.org/10.1016/j.cl.2015.05.003 .

Ziegert, Steffen, and Heike Wehrheim. “Temporal Plans for Software Architecture Reconfiguration.”https://doi.org/10.1007/s00450-014-0259-7__Computer Science - R &; D, no. 3–4 (2015): 303--320.https://doi.org/10.1007/s00450-014-0259-7 .

Meyer, Roland, and Heike Wehrheim. “From Program Verification to Time and Space: The Scientific Life of Ernst-R\'22udiger Olderog.”https://doi.org/10.1007/978-3-319-23506-6_1__In Correct System Design - Symposium in Honor of Ernst-R\'22udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, edited by Roland Meyer, Andr\rquote e Platzer, and Heike Wehrheim, 3--4. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-319-23506-6_1 .

Derrick, John, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, and Heike Wehrheim. “Verifying Opacity of a Transactional Mutex Lock.”https://doi.org/10.1007/978-3-319-19249-9_11__In FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, edited by Nikolaj Bjrner and Frank S. de Boer, 161--177. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-319-19249-9_11 .

Wehrheim, Heike, and Oleg Travkin. “TSO to SC via Symbolic Execution.”https://doi.org/10.1007/978-3-319-26287-1_7__In Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, edited by Nir Piterman, 104--119. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-319-26287-1_7 .

Meyer, Roland, Andr\rquote e Platzer, and Heike Wehrheim, eds. Correct System Design - Symposium in Honor of Ernst-R\'22udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-319-23506-6 .

Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based Construction.”https://doi.org/10.1007/978-3-319-15317-9_3__In Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), edited by Ivan Lanese and Eric Madelaine, 31–48. LNCS, 2014.https://doi.org/10.1007/978-3-319-15317-9_3 .

Korth, Philipp. Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn, 2014.

Becker, Matthias, Steffen Becker, Galina Besova, Sven Walther, and Heike Wehrheim. “Towards Systematic Configuration for Architecture Validation.” In Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.

Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.”https://doi.org/10.1007/978-3-319-14130-5_14__In Proceedings of the 14th International Conference on Software Reuse (ICSR), 188–203. LNCS, 2014.https://doi.org/10.1007/978-3-319-14130-5_14 .

Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from Proofs -- Approach and Applications.” In Proceedings of the Software Engineering Conference (SE), 67–68. Lecture Notes in Informatics (LNI), 2014.

Schneider, Steve, Helen Treharne, and Heike Wehrheim. “The Behavioural Semantics of Event-B Refinement.”https://doi.org/10.1007/s00165-012-0265-0__Formal Asp. Comput., no. 2 (2014): 251--280.https://doi.org/10.1007/s00165-012-0265-0 .

Tofan, Bogdan, Oleg Travkin, Gerhard Schellhorn, and Heike Wehrheim. “Two Approaches for Proving Linearizability of Multiset.”https://doi.org/10.1016/j.scico.2014.04.001__Sci. Comput. Program., 2014, 297--314.https://doi.org/10.1016/j.scico.2014.04.001 .

Schellhorn, Gerhard, John Derrick, and Heike Wehrheim. “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.”https://doi.org/10.1145/2629496__ACM Trans. Comput. Log., no. 4 (2014): 31:1--31:37.https://doi.org/10.1145/2629496 .

Derrick, John, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, and Heike Wehrheim. “Quiescent Consistency: Defining and Verifying Relaxed Linearizability.”https://doi.org/10.1007/978-3-319-06410-9_15__In FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones, Pekka Pihlajasaari, and Jun Sun, 200--214. Lecture Notes in Computer Science, 2014.https://doi.org/10.1007/978-3-319-06410-9_15 .

Travkin, Oleg, and Heike Wehrheim. “Handling TSO in Mechanized Linearizability Proofs.”https://doi.org/10.1007/978-3-319-13338-6_11__In Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, edited by Eran Yahav, 132--147. Lecture Notes in Computer Science, 2014.https://doi.org/10.1007/978-3-319-13338-6_11 .

Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via I with Zones.”https://doi.org/10.1007/978-3-319-11737-9_14__In Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, edited by Stephan Merz and Jun Pang, 203--218. Lecture Notes in Computer Science, 2014.https://doi.org/10.1007/978-3-319-11737-9_14 .

A. Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing LTL Properties in Event-B Refinement.”https://doi.org/10.1007/978-3-319-10181-1_14__In Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, edited by Elvira Albert and Emil Sekerinski, 221--237. Lecture Notes in Computer Science, 2014.https://doi.org/10.1007/978-3-319-10181-1_14 .

Schneider, Steve, Helen Treharne, Heike Wehrheim, and David M. Williams. “Managing LTL Properties in Event-B Refinement.” CoRR, 2014.

Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via I.” CoRR, 2014.

Jakobs, Marie-Christine, and Heike Wehrheim. “Certification for Configurable Program Analysis.”https://doi.org/10.1145/2632362.2632372__In Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 30–39. SPIN 2014, 2014.https://doi.org/10.1145/2632362.2632372 .