@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

@inproceedingsSchellhorn_Travkin_Wehrheim_2016, series=Lecture Notes in Computer Science, title=Towards a Thread-Local Proof Technique for Starvation Freedom, DOI=10.1007/978-3-319-33693-0_13, booktitle=Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, author=Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike, editor=Huisman, MariekeEditor, year=2016, pages=193--209, collection=Lecture Notes in Computer Science 
LibreCat: /record/3159
DOI: 10.1007/978-3-319-33693-0_13

@inproceedingsDoherty_Dongol_Derrick_Schellhorn_Wehrheim_2016, series=LIPIcs, title=Proving Opacity of a Pessimistic STM, DOI=10.4230/LIPIcs.OPODIS.2016.35, booktitle=20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain, author=Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=Fatourou, Panagiota and Jim\rquote enez, Ernesto and Pedone, FernandoEditors, year=2016, pages=35:1--35:17, collection=LIPIcs 
LibreCat: /record/3160
DOI: 10.4230/LIPIcs.OPODIS.2016.35

@articleIsenberg_Jakobs_Pauck_Wehrheim_2016, title=Deriving approximation tolerance constraints from verification runs, journal=CoRR, author=Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike, year=2016 
LibreCat: /record/3161

@articleWalther_Wehrheim_2016, title=On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs, DOI=10.1016/j.scico.2016.04.002, journal=Science of Computer Programming, publisher=Elsevier, author=Walther, Sven and Wehrheim, Heike, year=2016, pages=2--23 
LibreCat: /record/175
DOI: 10.1016/j.scico.2016.04.002

@inproceedingsCzech_Jakobs_Wehrheim_2016, series=Lecture Notes in Informatics, title=Just test what you cannot verify!, booktitle=Software Engineering 2016, author=Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike, editor=Jens Knoop, Uwe ZdunEditor, year=2016, pages=17–18, collection=Lecture Notes in Informatics 
LibreCat: /record/186

@inproceedingsKrämer_Wehrheim_2016, series=LNCS, title=A short survey on using software error localization for service compositions, DOI=10.1007/978-3-319-44482-6_16, booktitle=Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), author=Krämer, Julia and Wehrheim, Heike, year=2016, pages=248--262, collection=LNCS 
LibreCat: /record/224
DOI: 10.1007/978-3-319-44482-6_16

@inproceedingsKrämer_Wehrheim_2016, series=LNCS, title=A Formal Approach to Error Localization and Correction in Service Compositions, DOI=10.1007/978-3-319-50230-4_35, booktitle=Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), author=Krämer, Julia and Wehrheim, Heike, year=2016, pages=445--457, collection=LNCS 
LibreCat: /record/226
DOI: 10.1007/978-3-319-50230-4_35

@inproceedingsTöws_Wehrheim_2016, series=LNCS, title=A CEGAR Scheme for Information Flow Analysis, DOI=10.1007/978-3-319-47846-3_29, booktitle=Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), author=Töws, Manuel and Wehrheim, Heike, year=2016, pages=466--483, collection=LNCS 
LibreCat: /record/227
DOI: 10.1007/978-3-319-47846-3_29

@inproceedingsJakobs_Töws_Pauck_2016, series=School of Computing Science Technical Report Series, title=PAndA 2f: Analyzing Permission Use and Interplay in Android Apps (Tool Paper), booktitle=Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, author=Jakobs, Marie-Christine and Töws, Manuel and Pauck, Felix, editor=Ishikawa F, Romanovsky A, Troubitsyna EEditor, year=2016, collection=School of Computing Science Technical Report Series 
LibreCat: /record/170

@bookIsenberg_2016, title=Induction-based Verification of Timed Systems, publisher=Universität Paderborn, author=Isenberg, Tobias, year=2016 
LibreCat: /record/1190