@bookWalther_2017, title=Knowledge-based Verification of Service Compositions, DOI=10.17619/UNIPB/1-307, publisher=Universität Paderborn, author=Walther, Sven, year=2017 
LibreCat: /record/707
DOI: 10.17619/UNIPB/1-307

@inproceedingsCzech_Hüllermeier_Jakobs_Wehrheim_2017, series=SWAN’17, title=Predicting Rankings of Software Verification Tools, DOI=10.1145/3121257.3121262, booktitle=Proceedings of the 3rd International Workshop on Software Analytics, author=Czech, Mike and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike, year=2017, pages=23–26, collection=SWAN’17 
LibreCat: /record/71
DOI: 10.1145/3121257.3121262

@bookCzech_Hüllermeier_Jakobs_Wehrheim_2017, title=Predicting Rankings of Software Verification Competitions, author=Czech, Mike and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike, year=2017 
LibreCat: /record/72

@articleIsenberg_Platzner_Wehrheim_Wiersema_2017, title=Proof-Carrying Hardware via Inductive Invariants, DOI=10.1145/3054743, number=4, journal=ACM Transactions on Design Automation of Electronic Systems, publisher=ACM, author=Isenberg, Tobias and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias, year=2017, pages=61:1--61:23 
LibreCat: /record/68
DOI: 10.1145/3054743

@bookJakobs_2017, title=On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, DOI=10.17619/UNIPB/1-104, publisher=Universität Paderborn, author=Jakobs, Marie-Christine, year=2017 
LibreCat: /record/685
DOI: 10.17619/UNIPB/1-104

@articleJakobs_Wehrheim_2017, title=Programs from Proofs: A Framework for the Safe Execution of Untrusted Software, DOI=10.1145/3014427, number=2, journal=ACM Transactions on Programming Languages and Systems, publisher=ACM, author=Jakobs, Marie-Christine and Wehrheim, Heike, year=2017, pages=7:1-7:56 
LibreCat: /record/69
DOI: 10.1145/3014427

@bookPauck_2017, title=Cooperative static analysis of Android applications, publisher=Universität Paderborn, author=Pauck, Felix, year=2017 
LibreCat: /record/109

@bookBröcher_2016, title=Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung, publisher=Universität Paderborn, author=Bröcher, Henrik, year=2016 
LibreCat: /record/201

@inproceedingsBeringer_Wehrheim_2016, series=Lecture Notes in Computer Science, title=Verification of AUTOSAR Software Architectures with Timed Automata, DOI=10.1007/978-3-319-45943-1_13, booktitle=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, author=Beringer, Steffen and Wehrheim, Heike, editor=H. ter Beek, Maurice and Gnesi, Stefania and Knapp, AlexanderEditors, year=2016, pages=189--204, collection=Lecture Notes in Computer Science 
LibreCat: /record/3157
DOI: 10.1007/978-3-319-45943-1_13

@inproceedingsTravkin_Wehrheim_2016, series=Lecture Notes in Computer Science, title=Verification of Concurrent Programs on Weak Memory Models, DOI=10.1007/978-3-319-46750-4_1, booktitle=Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings, author=Travkin, Oleg and Wehrheim, Heike, editor=Sampaio, Augusto and Wang, FarnEditors, year=2016, pages=3--24, collection=Lecture Notes in Computer Science 
LibreCat: /record/3158
DOI: 10.1007/978-3-319-46750-4_1