@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

@inproceedingsRuhroth_Wehrheim_Ziegert_2011, title=ReL: A Generic Refactoring Language for Specification and Execution, DOI=10.1109/SEAA.2011.22, booktitle=37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, author=Ruhroth, Thomas and Wehrheim, Heike and Ziegert, Steffen, year=2011, pages=83--90 
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

@inproceedingsDerrick_Schellhorn_Wehrheim_2011, series=Lecture Notes in Computer Science, title=Verifying Linearisability with Potential Linearisation Points, DOI=10.1007/978-3-642-21437-0_25, booktitle=FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, author=Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=J. Butler, Michael and Schulte, WolframEditors, year=2011, pages=323--337, collection=Lecture Notes in Computer Science 
LibreCat: /record/3186
DOI: 10.1007/978-3-642-21437-0_25

@inproceedingsSteenken_Wehrheim_Wonisch_2011, series=Lecture Notes in Computer Science, title=Sound and Complete Abstract Graph Transformation, DOI=10.1007/978-3-642-25032-3_7, booktitle=Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, author=Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel, editor=da Silva Sim\'7eao, Adenilso and Morgan, CarrollEditors, year=2011, pages=92--107, collection=Lecture Notes in Computer Science 
LibreCat: /record/3187
DOI: 10.1007/978-3-642-25032-3_7

@inproceedingsSchneider_Treharne_Wehrheim_2011, series=EPTCS, title=A CSP Account of Event-B Refinement, DOI=10.4204/EPTCS.55.9, booktitle=Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., author=Schneider, Steve and Treharne, Helen and Wehrheim, Heike, editor=Derrick, John and A. Boiten, Eerke and Reeves, SteveEditors, year=2011, pages=139--154, collection=EPTCS 
LibreCat: /record/3188
DOI: 10.4204/EPTCS.55.9

@articleLeuschel_Wehrheim_2011, title=Selected papers on Integrated Formal Methods (iFM09), DOI=10.1016/j.scico.2011.01.009, number=10, journal=Science of Computer Programming, publisher=Elsevier, author=Leuschel, Michael and Wehrheim, Heike, year=2011, pages=835--836 
LibreCat: /record/647
DOI: 10.1016/j.scico.2011.01.009

@articleBesova_Wehrheim_Wagner_2011, title=Reputation-based Reliability Prediction of Service Compositions, DOI=10.1016/j.entcs.2011.11.008, number=2, journal=Electronic Notes in Theoretical Computer Science, publisher=Elsevier, author=Besova, Galina and Wehrheim, Heike and Wagner, Annika, year=2011, pages=3–16 
LibreCat: /record/649
DOI: 10.1016/j.entcs.2011.11.008

@bookSchremmer_2011, title=Function Specification Inference Using Craig Interpolation, publisher=Universität Paderborn, author=Schremmer, Alexander, year=2011 
LibreCat: /record/658

@inproceedingsSchneider_Treharne_Wehrheim_2010, series=Lecture Notes in Computer Science, title=A CSP Approach to Control in Event-B, DOI=10.1007/978-3-642-16265-7_19, booktitle=Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, author=Schneider, Steve and Treharne, Helen and Wehrheim, Heike, editor=M\rquote ery, Dominique and Merz, StephanEditors, year=2010, pages=260--274, collection=Lecture Notes in Computer Science 
LibreCat: /record/3195
DOI: 10.1007/978-3-642-16265-7_19

@inproceedingsDräger_Kupriyanov_Finkbeiner_Wehrheim_2010, series=Lecture Notes in Computer Science, title=SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems, DOI=10.1007/978-3-642-12002-2_22, booktitle=Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, author=Dräger, Klaus and Kupriyanov, Andrey and Finkbeiner, Bernd and Wehrheim, Heike, editor=Esparza, Javier and Majumdar, RupakEditors, year=2010, pages=271--274, collection=Lecture Notes in Computer Science 
LibreCat: /record/3196
DOI: 10.1007/978-3-642-12002-2_22

@articleSteenken_Wehrheim_Wonisch_2010, title=Towards A Shape Analysis for Graph Transformation Systems, journal=CoRR, author=Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel, year=2010 
LibreCat: /record/3198