Ruhroth T, Wehrheim H, Ziegert S. ReL: A Generic Refactoring Language for Specification and Execution. In: 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011. ; 2011:83--90. doi:10.1109/SEAA.2011.22
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

Derrick J, Schellhorn G, Wehrheim H. Verifying Linearisability with Potential Linearisation Points. In: J. Butler M, Schulte W, eds. FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science. ; 2011:323--337. doi:10.1007/978-3-642-21437-0_25
LibreCat: /record/3186
DOI: 10.1007/978-3-642-21437-0_25

Steenken D, Wehrheim H, Wonisch D. Sound and Complete Abstract Graph Transformation. In: da Silva Sim\'7eao A, Morgan C, eds. Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science. ; 2011:92--107. doi:10.1007/978-3-642-25032-3_7
LibreCat: /record/3187
DOI: 10.1007/978-3-642-25032-3_7

Schneider S, Treharne H, Wehrheim H. A CSP Account of Event-B Refinement. In: Derrick J, A. Boiten E, Reeves S, eds. Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. EPTCS. ; 2011:139--154. doi:10.4204/EPTCS.55.9
LibreCat: /record/3188
DOI: 10.4204/EPTCS.55.9

Leuschel M, Wehrheim H. Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming. 2011;(10):835--836. doi:10.1016/j.scico.2011.01.009
LibreCat: /record/647
DOI: 10.1016/j.scico.2011.01.009

Besova G, Wehrheim H, Wagner A. Reputation-based Reliability Prediction of Service Compositions. Electronic Notes in Theoretical Computer Science. 2011;(2):3-16. doi:10.1016/j.entcs.2011.11.008
LibreCat: /record/649
DOI: 10.1016/j.entcs.2011.11.008

Schremmer A. Function Specification Inference Using Craig Interpolation. Universität Paderborn; 2011.
LibreCat: /record/658

Schneider S, Treharne H, Wehrheim H. A CSP Approach to Control in Event-B. In: M\rquote ery D, Merz S, eds. Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:260--274. doi:10.1007/978-3-642-16265-7_19
LibreCat: /record/3195
DOI: 10.1007/978-3-642-16265-7_19

Dräger K, Kupriyanov A, Finkbeiner B, Wehrheim H. SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. In: Esparza J, Majumdar R, eds. 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. Lecture Notes in Computer Science. ; 2010:271--274. doi:10.1007/978-3-642-12002-2_22
LibreCat: /record/3196
DOI: 10.1007/978-3-642-12002-2_22

Steenken D, Wehrheim H, Wonisch D. Towards A Shape Analysis for Graph Transformation Systems. CoRR. 2010.
LibreCat: /record/3198