@inproceedingsDoherty_Dongol_Wehrheim_Derrick_2018, title=Brief Announcement: Generalising Concurrent Correctness to Weak Memory, DOI=10.4230/LIPIcs.DISC.2018.45, booktitle=32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018, author=Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John, year=2018, pages=45:1-45:3 

@articleIsenberg_Jakobs_Pauck_Wehrheim_2018, title=Validity of Software Verification Results on Approximate Hardware, DOI=10.1109/LES.2017.2758200, journal=IEEE Embedded Systems Letters, publisher=Institute of Electrical and Electronics Engineers (IEEE), author=Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike, year=2018, pages=22–25 

@inproceedingsBeyer_Jakobs_Lemberger_Wehrheim_2018, title=Reducer-Based Construction of Conditional Verifiers, booktitle=Proceedings of the 40th International Conference on Software Engineering (ICSE), publisher=ACM, author=Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike, year=2018, pages=1182--1193 

@bookBörding_2017, title=Testing Java Method Contracts, publisher=Universität Paderborn, author=Börding, Paul, year=2017 

@inproceedingsTöws_Wehrheim_2017, series=Lecture Notes in Computer Science, title=Policy Dependent and Independent Information Flow Analyses, DOI=10.1007/978-3-319-68690-5_22, booktitle=Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi’an, China, November 13-17, 2017, Proceedings, author=Töws, Manuel and Wehrheim, Heike, editor=Duan, Zhenhua and Ong, LukeEditors, year=2017, pages=362--378, collection=Lecture Notes in Computer Science 

@inproceedingsKönig_Wehrheim_2017, series=Lecture Notes in Computer Science, title=Value-Based or Conflict-Based? Opacity Definitions for STMs, DOI=10.1007/978-3-319-67729-3_8, booktitle=Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, author=König, Jürgen and Wehrheim, Heike, editor=Van Hung, Dang and Kapur, DeepakEditors, year=2017, pages=118--135, collection=Lecture Notes in Computer Science 

@inproceedingsJakobs_Wehrheim_2017, series=Lecture Notes in Computer Science, title=Compact Proof Witnesses, DOI=10.1007/978-3-319-57288-8_28, booktitle=NASA Formal Methods: 9th International Symposium, author=Jakobs, Marie-Christine and Wehrheim, Heike, editor=Barrett, Clark and Davies, Misty and Kahsai, TemesghenEditors, year=2017, pages=389–403, collection=Lecture Notes in Computer Science 

@inproceedingsJakobs_Krämer_van Straaten_Lettmann_2017, title=Certiû01cation Matters for Service Markets, booktitle=The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), author=Jakobs, Marie-Christine and Krämer, Julia and van Straaten, Dirk and Lettmann, Theodor, editor=Marcelo De Barros, Janusz Klink,Tadeus Uhl, Thomas PrinzEditor, year=2017, pages=7–12 

@articleIsenberg_2017, title=Incremental Inductive Verification of Parameterized Timed Systems, DOI=10.1145/2984640, number=2, journal=ACM Transactions on Embedded Computing Systems, publisher=ACM, author=Isenberg, Tobias, year=2017, pages=47:1-47:24 

@inproceedingsTöws_Wehrheim_2017, title=Policy Dependent and Independent Information Flow Analyses, DOI=10.1007/978-3-319-68690-5_22, booktitle=Formal Methods and Software Engineering - 19th International Conference  on Formal Engineering Methods (ICFEM 2017), publisher=Springer International Publishing, author=Töws, Manuel and Wehrheim, Heike, year=2017, pages=362–378 

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

@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 

@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 

@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 

@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 

@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 

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

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

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

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

@bookZhang_2016, title=Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions, publisher=Universität Paderborn, author=Zhang, Guangli, year=2016 

@bookCzech_2016, title=Predicting Rankings of Software Verification Tools Using Kernels for Structured Data, publisher=Universität Paderborn, author=Czech, Mike, year=2016 

@bookDewender_2016, title=Verifikation von Service Kompositionen mit Spin, publisher=Universität Paderborn, author=Dewender, Markus, year=2016 

@bookHeinisch_2016, title=Verifikation von Service Kompositionen mit Prolog, publisher=Universität Paderborn, author=Heinisch, Philipp, year=2016 

@inproceedingsJakobs_2015, series=LNCS, title=Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning, DOI=10.1007/978-3-319-22969-0_12, booktitle=Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), author=Jakobs, Marie-Christine, year=2015, pages=159--174, collection=LNCS 

@inproceedingsCzech_Jakobs_Wehrheim_2015, series=Lecture Notes in Computer Science, title=Just test what you cannot verify!, DOI=10.1007/978-3-662-46675-9_7, booktitle=Fundamental Approaches to Software Engineering, author=Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike, editor=Egyed, Alexander and Schaefer, InaEditors, year=2015, pages=100–114, collection=Lecture Notes in Computer Science 

@inproceedingsIsenberg_2015, title=Incremental Inductive Verification of Parameterized Timed Systems, DOI=10.1109/ACSD.2015.13, booktitle=Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), author=Isenberg, Tobias, year=2015, pages=1–9 

@bookBesova_2015, title=Systematic Development and Re-Use of Model Tranformations, publisher=Universität Paderborn, author=Besova, Galina, year=2015 

@inproceedingsJakobs_Wehrheim_2015, series=SAC ’15, title=Programs from Proofs of Predicated Dataflow Analyses, DOI=10.1145/2695664.2695690, booktitle=Proceedings of the 30th Annual ACM Symposium on Applied Computing, author=Jakobs, Marie-Christine and Wehrheim, Heike, year=2015, pages=1729–1736, collection=SAC ’15 

@articleBesova_Steenken_Wehrheim_2015, title=Grammar-based model transformations: Definition, execution, and quality properties, DOI=10.1016/j.cl.2015.05.003, journal=Computer Languages, Systems &; Structures, publisher=Elsevier, author=Besova, Galina and Steenken, Dominik and Wehrheim, Heike, year=2015, pages=116–138 

@articleZiegert_Wehrheim_2015, title=Temporal plans for software architecture reconfiguration, DOI=10.1007/s00450-014-0259-7, number=3–4, journal=Computer Science - R &; D, author=Ziegert, Steffen and Wehrheim, Heike, year=2015, pages=303--320 

@inproceedingsMeyer_Wehrheim_2015, series=Lecture Notes in Computer Science, title=From Program Verification to Time and Space: The Scientific Life of Ernst-R\'22udiger Olderog, DOI=10.1007/978-3-319-23506-6_1, booktitle=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, author=Meyer, Roland and Wehrheim, Heike, editor=Meyer, Roland and Platzer, Andr\rquote e and Wehrheim, HeikeEditors, year=2015, pages=3--4, collection=Lecture Notes in Computer Science 

@inproceedingsDerrick_Dongol_Schellhorn_Travkin_Wehrheim_2015, series=Lecture Notes in Computer Science, title=Verifying Opacity of a Transactional Mutex Lock, DOI=10.1007/978-3-319-19249-9_11, booktitle=FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, author=Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike, editor=Bjrner, Nikolaj and S. de Boer, FrankEditors, year=2015, pages=161--177, collection=Lecture Notes in Computer Science 

@inproceedingsWehrheim_Travkin_2015, series=Lecture Notes in Computer Science, title=TSO to SC via Symbolic Execution, DOI=10.1007/978-3-319-26287-1_7, booktitle=Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, author=Wehrheim, Heike and Travkin, Oleg, editor=Piterman, NirEditor, year=2015, pages=104--119, collection=Lecture Notes in Computer Science 

@bookMeyer_Platzer_Wehrheim_2015, series=Lecture Notes in Computer Science, title=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, DOI=10.1007/978-3-319-23506-6, year=2015, collection=Lecture Notes in Computer Science 

@inproceedingsWalther_Wehrheim_2014, series=LNCS, title=Verified Service Compositions by Template-Based Construction, DOI=10.1007/978-3-319-15317-9_3, booktitle=Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), author=Walther, Sven and Wehrheim, Heike, editor=Lanese, Ivan and Madelaine, EricEditors, year=2014, pages=31–48, collection=LNCS 

@bookKorth_2014, title=Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs”, publisher=Universität Paderborn, author=Korth, Philipp, year=2014 

@inproceedingsBecker_Becker_Besova_Walther_Wehrheim_2014, title=Towards Systematic Configuration for Architecture Validation, booktitle=Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), author=Becker, Matthias and Becker, Steffen and Besova, Galina and Walther, Sven and Wehrheim, Heike, year=2014 

@inproceedingsMohr_Walther_2014, series=LNCS, title=Template-based Generation of Semantic Services, DOI=10.1007/978-3-319-14130-5_14, booktitle=Proceedings of the 14th International Conference on Software Reuse (ICSR), author=Mohr, Felix and Walther, Sven, year=2014, pages=188–203, collection=LNCS 

@inproceedingsWonisch_Schremmer_Wehrheim_2014, series=Lecture Notes in Informatics (LNI), title=Programs from Proofs -- Approach and Applications, booktitle=Proceedings of the Software Engineering Conference (SE), author=Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike, year=2014, pages=67–68, collection=Lecture Notes in Informatics (LNI)