@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

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

@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 

@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 

@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 

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

@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 

@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 

@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 

@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 

@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 

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

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

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

@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 

@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 

@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 

@articleDerrick_Wehrheim_2010, title=Model transformations across views, DOI=10.1016/j.scico.2009.11.004, number=3, journal=Sci. Comput. Program., author=Derrick, John and Wehrheim, Heike, year=2010, pages=192--210 

@inproceedingsSchäfer_Wehrheim_2010, series=Lecture Notes in Computer Science, title=Model-Driven Development with Mechatronic UML, DOI=10.1007/978-3-642-17322-6_23, booktitle=Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, author=Schäfer, Wilhelm and Wehrheim, Heike, editor=Engels, Gregor and Lewerentz, Claus and Sch\'22afer, Wilhelm and Sch\'22urr, Andy and Westfechtel, BernhardEditors, year=2010, pages=533--554, collection=Lecture Notes in Computer Science 

@inproceedingsTimm_Wehrheim_2010, series=Lecture Notes in Computer Science, title=On Symmetries and Spotlights - Verifying Parameterised Systems, DOI=10.1007/978-3-642-16901-4_35, booktitle=Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, author=Timm, Nils and Wehrheim, Heike, editor=Song Dong, Jin and Zhu, HuibiaoEditors, year=2010, pages=534--548, collection=Lecture Notes in Computer Science 

@inproceedingsHülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, series=Lecture Notes in Computer Science, title=Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques, DOI=10.1007/978-3-642-16265-7_14, booktitle=Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, author=Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike, editor=M\rquote ery, Dominique and Merz, StephanEditors, year=2010, pages=183--198, collection=Lecture Notes in Computer Science 

@articleWehrheim_Wonisch_2009, title=Compositional CSP Traces Refinement Checking, DOI=10.1016/j.entcs.2009.08.022, number=2, journal=Electr. Notes Theor. Comput. Sci., author=Wehrheim, Heike and Wonisch, Daniel, year=2009, pages=135--151 

@articleRuhroth_Wehrheim_2009, title=Static Class Elements for Object-Z, DOI=10.1016/j.entcs.2009.12.025, journal=Electr. Notes Theor. Comput. Sci., author=Ruhroth, Thomas and Wehrheim, Heike, year=2009, pages=193--205 

@inproceedingsRuhroth_Voigt_Wehrheim_2009, title=Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models, DOI=10.1109/SEAA.2009.39, booktitle=35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, author=Ruhroth, Thomas and Voigt, Hendrik and Wehrheim, Heike, year=2009, pages=360--367 

@bookLeuschel_Wehrheim_2009, series=Lecture Notes in Computer Science, title=Integrated Formal Methods, 7th International Conference, IFM 2009, D\'22usseldorf, Germany, February 16-19, 2009. Proceedings, DOI=10.1007/978-3-642-00255-7, year=2009, collection=Lecture Notes in Computer Science 

@articleWehrheim_2008, title=Refinement in the Presence of Unknowns, DOI=10.1016/j.entcs.2008.02.023, journal=Electr. Notes Theor. Comput. Sci., author=Wehrheim, Heike, year=2008, pages=255--264 

@articleEstler_Wehrheim_2008, title=Alloy as a Refactoring Checker?, DOI=10.1016/j.entcs.2008.06.015, journal=Electr. Notes Theor. Comput. Sci., author=Estler, H.-Christian and Wehrheim, Heike, year=2008, pages=331--357