@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