Walther, Sven. Knowledge-Based Verification of Service Compositions. Universität Paderborn, 2017.https://doi.org/10.17619/UNIPB/1-307 .
LibreCat: /record/707
DOI: 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 .
LibreCat: /record/71
DOI: 10.1145/3121257.3121262

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

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 .
LibreCat: /record/68
DOI: 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 .
LibreCat: /record/685
DOI: 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 .
LibreCat: /record/69
DOI: 10.1145/3014427

Pauck, Felix. Cooperative Static Analysis of Android Applications. Universität Paderborn, 2017.
LibreCat: /record/109

Bröcher, Henrik. Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn, 2016.
LibreCat: /record/201

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 .
LibreCat: /record/3157
DOI: 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 .
LibreCat: /record/3158
DOI: 10.1007/978-3-319-46750-4_1