@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 
LibreCat: /record/162

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

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

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

@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 
LibreCat: /record/250
DOI: 10.1007/978-3-319-22969-0_12

@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 
LibreCat: /record/283
DOI: 10.1007/978-3-662-46675-9_7

@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 
LibreCat: /record/285
DOI: 10.1109/ACSD.2015.13

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

@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 
LibreCat: /record/262
DOI: 10.1145/2695664.2695690

@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 
LibreCat: /record/290
DOI: 10.1016/j.cl.2015.05.003

@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 
LibreCat: /record/3162
DOI: 10.1007/s00450-014-0259-7

@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 
LibreCat: /record/3163
DOI: 10.1007/978-3-319-23506-6_1

@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 
LibreCat: /record/3164
DOI: 10.1007/978-3-319-19249-9_11

@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 
LibreCat: /record/3165
DOI: 10.1007/978-3-319-26287-1_7

@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 
LibreCat: /record/3166
DOI: 10.1007/978-3-319-23506-6

@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 
LibreCat: /record/336
DOI: 10.1007/978-3-319-15317-9_3

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

@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 
LibreCat: /record/344

@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 
LibreCat: /record/353
DOI: 10.1007/978-3-319-14130-5_14

@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) 
LibreCat: /record/383

@articleSchneider_Treharne_Wehrheim_2014, title=The behavioural semantics of Event-B refinement, DOI=10.1007/s00165-012-0265-0, number=2, journal=Formal Asp. Comput., author=Schneider, Steve and Treharne, Helen and Wehrheim, Heike, year=2014, pages=251--280 
LibreCat: /record/3167
DOI: 10.1007/s00165-012-0265-0

@articleTofan_Travkin_Schellhorn_Wehrheim_2014, title=Two approaches for proving linearizability of multiset, DOI=10.1016/j.scico.2014.04.001, journal=Sci. Comput. Program., author=Tofan, Bogdan and Travkin, Oleg and Schellhorn, Gerhard and Wehrheim, Heike, year=2014, pages=297--314 
LibreCat: /record/3168
DOI: 10.1016/j.scico.2014.04.001

@articleSchellhorn_Derrick_Wehrheim_2014, title=A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures, DOI=10.1145/2629496, number=4, journal=ACM Trans. Comput. Log., author=Schellhorn, Gerhard and Derrick, John and Wehrheim, Heike, year=2014, pages=31:1--31:37 
LibreCat: /record/3169
DOI: 10.1145/2629496

@inproceedingsDerrick_Dongol_Schellhorn_Tofan_Travkin_Wehrheim_2014, series=Lecture Notes in Computer Science, title=Quiescent Consistency: Defining and Verifying Relaxed Linearizability, DOI=10.1007/978-3-319-06410-9_15, booktitle=FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, author=Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Tofan, Bogdan and Travkin, Oleg and Wehrheim, Heike, editor=B. Jones, Cliff and Pihlajasaari, Pekka and Sun, JunEditors, year=2014, pages=200--214, collection=Lecture Notes in Computer Science 
LibreCat: /record/3170
DOI: 10.1007/978-3-319-06410-9_15

@inproceedingsTravkin_Wehrheim_2014, series=Lecture Notes in Computer Science, title=Handling TSO in Mechanized Linearizability Proofs, DOI=10.1007/978-3-319-13338-6_11, booktitle=Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, author=Travkin, Oleg and Wehrheim, Heike, editor=Yahav, EranEditor, year=2014, pages=132--147, collection=Lecture Notes in Computer Science 
LibreCat: /record/3171
DOI: 10.1007/978-3-319-13338-6_11

@inproceedingsIsenberg_Wehrheim_2014, series=Lecture Notes in Computer Science, title=Timed Automata Verification via I with Zones, DOI=10.1007/978-3-319-11737-9_14, booktitle=Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, author=Isenberg, Tobias and Wehrheim, Heike, editor=Merz, Stephan and Pang, JunEditors, year=2014, pages=203--218, collection=Lecture Notes in Computer Science 
LibreCat: /record/3172
DOI: 10.1007/978-3-319-11737-9_14

@inproceedingsA. Schneider_Treharne_Wehrheim_M. Williams_2014, series=Lecture Notes in Computer Science, title=Managing LTL Properties in Event-B Refinement, DOI=10.1007/978-3-319-10181-1_14, booktitle=Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, author=A. Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David, editor=Albert, Elvira and Sekerinski, EmilEditors, year=2014, pages=221--237, collection=Lecture Notes in Computer Science 
LibreCat: /record/3173
DOI: 10.1007/978-3-319-10181-1_14

@articleSchneider_Treharne_Wehrheim_M. Williams_2014, title=Managing LTL properties in Event-B refinement, journal=CoRR, author=Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David, year=2014 
LibreCat: /record/3174

@articleIsenberg_Wehrheim_2014, title=Proof-Carrying Hardware via I, journal=CoRR, author=Isenberg, Tobias and Wehrheim, Heike, year=2014 
LibreCat: /record/3175

@inproceedingsJakobs_Wehrheim_2014, series=SPIN 2014, title=Certification for Configurable Program Analysis, DOI=10.1145/2632362.2632372, booktitle=Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), author=Jakobs, Marie-Christine and Wehrheim, Heike, year=2014, pages=30–39, collection=SPIN 2014 
LibreCat: /record/450
DOI: 10.1145/2632362.2632372

@inproceedingsJakobs_Platzner_Wiersema_Wehrheim_2014, series=LNCS, title=Integrating Software and Hardware Verification, DOI=10.1007/978-3-319-10181-1_19, booktitle=Proceedings of the 11th International Conference on Integrated Formal Methods (iFM), author=Jakobs, Marie-Christine and Platzner, Marco and Wiersema, Tobias and Wehrheim, Heike, editor=Albert, Elvira and Sekerinski, EmilEditors, year=2014, pages=307–322, collection=LNCS 
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

@inproceedingsBesova_Steenke_Wehrheim_2014, title=Grammar-based model transformations, DOI=10.1016/j.cl.2015.05.003, booktitle=Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), author=Besova, Galina and Steenke, Dominik and Wehrheim, Heike, year=2014, pages=1601–1610 
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003

@bookPauck_2014, title=Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, publisher=Universität Paderborn, author=Pauck, Felix, year=2014 
LibreCat: /record/418

@inproceedingsIsenberg_Steenken_Wehrheim_2013, series=Lecture Notes in Computer Science, title=Bounded Model Checking of Graph Transformation Systems via SMT Solving, DOI=10.1007/978-3-642-38592-6_13, booktitle=Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, author=Isenberg, Tobias and Steenken, Dominik and Wehrheim, Heike, editor=Beyer, Dirk and Boreale, MicheleEditors, year=2013, pages=178--192, collection=Lecture Notes in Computer Science 
LibreCat: /record/3176
DOI: 10.1007/978-3-642-38592-6_13

@inproceedingsTravkin_Mütze_Wehrheim_2013, series=Lecture Notes in Computer Science, title=SPIN as a Linearizability Checker under Weak Memory Models, DOI=10.1007/978-3-319-03077-7_21, booktitle=Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, author=Travkin, Oleg and Mütze, Annika and Wehrheim, Heike, editor=Bertacco, Valeria and Legay, AxelEditors, year=2013, pages=311--326, collection=Lecture Notes in Computer Science 
LibreCat: /record/3177
DOI: 10.1007/978-3-319-03077-7_21

@inproceedingsDongol_Travkin_Derrick_Wehrheim_2013, series=Lecture Notes in Computer Science, title=A High-Level Semantics for Program Execution under Total Store Order Memory, DOI=10.1007/978-3-642-39718-9_11, booktitle=Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, author=Dongol, Brijesh and Travkin, Oleg and Derrick, John and Wehrheim, Heike, editor=Liu, Zhiming and Woodcock, Jim and Zhu, HuibiaoEditors, year=2013, pages=177--194, collection=Lecture Notes in Computer Science 
LibreCat: /record/3178
DOI: 10.1007/978-3-642-39718-9_11

@inproceedingsZiegert_Wehrheim_2013, series=LNI, title=Temporal Reconfiguration Plans for Self-Adaptive Systems, booktitle=Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M\'22arz 2013 in Aachen, author=Ziegert, Steffen and Wehrheim, Heike, editor=Kowalewski, Stefan and Rumpe, BernhardEditors, year=2013, pages=271--284, collection=LNI 
LibreCat: /record/3179

@inproceedingsWonisch_Schremmer_Wehrheim_2013, series=LNCS, title=Zero Overhead Runtime Monitoring, DOI=10.1007/978-3-642-40561-7_17, booktitle=Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), author=Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike, year=2013, pages=244–258, collection=LNCS 
LibreCat: /record/469
DOI: 10.1007/978-3-642-40561-7_17

@bookTimm_2013, title=Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems, publisher=Universität Paderborn, author=Timm, Nils, year=2013 
LibreCat: /record/478

@inproceedingsWonisch_Schremmer_Wehrheim_2013, series=LNCS, title=Programs from Proofs – A PCC Alternative, DOI=10.1007/978-3-642-39799-8_65, booktitle=Proceedings of the 25th International Conference on Computer Aided Verification (CAV), author=Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike, year=2013, pages=912–927, collection=LNCS 
LibreCat: /record/498
DOI: 10.1007/978-3-642-39799-8_65

@inproceedingsWalther_Wehrheim_2013, title=Knowledge-Based Verification of Service Compositions - An SMT approach, DOI=10.1109/ICECCS.2013.14, booktitle=Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), author=Walther, Sven and Wehrheim, Heike, year=2013, pages=24–32 
LibreCat: /record/517
DOI: 10.1109/ICECCS.2013.14

@articleTravkin_Wehrheim_Schellhorn_2012, title=Proving Linearizability of Multiset with Local Proof Obligations, journal=ECEASST, author=Travkin, Oleg and Wehrheim, Heike and Schellhorn, Gerhard, year=2012 
LibreCat: /record/3180

@articleRuhroth_Wehrheim_2012, title=Model evolution and refinement, DOI=10.1016/j.scico.2011.04.007, number=3, journal=Sci. Comput. Program., author=Ruhroth, Thomas and Wehrheim, Heike, year=2012, pages=270--289 
LibreCat: /record/3181
DOI: 10.1016/j.scico.2011.04.007

@inproceedingsSchellhorn_Wehrheim_Derrick_2012, series=Lecture Notes in Computer Science, title=How to Prove Algorithms Linearisable, DOI=10.1007/978-3-642-31424-7_21, booktitle=Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, author=Schellhorn, Gerhard and Wehrheim, Heike and Derrick, John, editor=Madhusudan, P. and A. Seshia, SanjitEditors, year=2012, pages=243--259, collection=Lecture Notes in Computer Science 
LibreCat: /record/3182
DOI: 10.1007/978-3-642-31424-7_21

@inproceedingsWonisch_Wehrheim_2012, series=LNCS, title=Predicate Analysis with Block-Abstraction Memoization, DOI=10.1007/978-3-642-34281-3_24, booktitle=Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), author=Wonisch, Daniel and Wehrheim, Heike, year=2012, pages=332–347, collection=LNCS 
LibreCat: /record/590
DOI: 10.1007/978-3-642-34281-3_24

@inproceedingsTimm_Wehrheim_Czech_2012, series=LNCS, title=Heuristic-Guided Abstraction Refinement for Concurrent Systems, DOI=10.1007/978-3-642-34281-3_25, booktitle=Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), author=Timm, Nils and Wehrheim, Heike and Czech, Mike, year=2012, pages=348–363, collection=LNCS 
LibreCat: /record/608
DOI: 10.1007/978-3-642-34281-3_25

@inproceedingsWonisch_2012, series=LNCS, title=Block Abstraction Memoization for CPAchecker, DOI=10.1007/978-3-642-28756-5_41, booktitle=Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), author=Wonisch, Daniel, year=2012, pages=531–533, collection=LNCS 
LibreCat: /record/627
DOI: 10.1007/978-3-642-28756-5_41

@inproceedingsBesova_Walther_Wehrheim_Becker_2012, series=LNCS, title=Weaving-based configuration and modular transformation of multi-layer systems, DOI=10.1007/978-3-642-33666-9_49, booktitle=Proceedings of the 15th International Conference on Model Driven Engineering Languages &; Systems (MoDELS), author=Besova, Galina and Walther, Sven and Wehrheim, Heike and Becker, Steffen, year=2012, pages=776–792, collection=LNCS 
LibreCat: /record/565
DOI: 10.1007/978-3-642-33666-9_49

@articleSchneider_Treharne_Wehrheim_2011, title=Bounded Retransmission in Event-B\'70arallelCSP: a Case Study, DOI=10.1016/j.entcs.2011.11.019, journal=Electr. Notes Theor. Comput. Sci., author=Schneider, Steve and Treharne, Helen and Wehrheim, Heike, year=2011, pages=69--80 
LibreCat: /record/3183
DOI: 10.1016/j.entcs.2011.11.019

@articleDerrick_Schellhorn_Wehrheim_2011, title=Mechanically verified proof obligations for linearizability, DOI=10.1145/1889997.1890001, number=1, journal=ACM Trans. Program. Lang. Syst., author=Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, year=2011, pages=4:1--4:43 
LibreCat: /record/3184
DOI: 10.1145/1889997.1890001