Walther, S., &; Wehrheim, H. (2013). Knowledge-Based Verification of Service Compositions - An SMT approach. In Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) (pp. 24–32).https://doi.org/10.1109/ICECCS.2013.14 
LibreCat: /record/517
DOI: 10.1109/ICECCS.2013.14

Travkin, O., Wehrheim, H., &; Schellhorn, G. (2012). Proving Linearizability of Multiset with Local Proof Obligations. ECEASST.
LibreCat: /record/3180

Ruhroth, T., &; Wehrheim, H. (2012). Model evolution and refinement. Sci. Comput. Program., (3), 270--289.https://doi.org/10.1016/j.scico.2011.04.007 
LibreCat: /record/3181
DOI: 10.1016/j.scico.2011.04.007

Schellhorn, G., Wehrheim, H., &; Derrick, J. (2012). How to Prove Algorithms Linearisable. In P. Madhusudan &; S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings (pp. 243--259).https://doi.org/10.1007/978-3-642-31424-7_21 
LibreCat: /record/3182
DOI: 10.1007/978-3-642-31424-7_21

Wonisch, D., &; Wehrheim, H. (2012). Predicate Analysis with Block-Abstraction Memoization. In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM) (pp. 332–347).https://doi.org/10.1007/978-3-642-34281-3_24 
LibreCat: /record/590
DOI: 10.1007/978-3-642-34281-3_24

Timm, N., Wehrheim, H., &; Czech, M. (2012). Heuristic-Guided Abstraction Refinement for Concurrent Systems. In Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM) (pp. 348–363).https://doi.org/10.1007/978-3-642-34281-3_25 
LibreCat: /record/608
DOI: 10.1007/978-3-642-34281-3_25

Wonisch, D. (2012). Block Abstraction Memoization for CPAchecker. In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) (pp. 531–533).https://doi.org/10.1007/978-3-642-28756-5_41 
LibreCat: /record/627
DOI: 10.1007/978-3-642-28756-5_41

Besova, G., Walther, S., Wehrheim, H., &; Becker, S. (2012). Weaving-based configuration and modular transformation of multi-layer systems. In Proceedings of the 15th International Conference on Model Driven Engineering Languages &; Systems (MoDELS) (pp. 776–792).https://doi.org/10.1007/978-3-642-33666-9_49 
LibreCat: /record/565
DOI: 10.1007/978-3-642-33666-9_49

Schneider, S., Treharne, H., &; Wehrheim, H. (2011). Bounded Retransmission in Event-B\'70arallelCSP: a Case Study. Electr. Notes Theor. Comput. Sci., 69--80.https://doi.org/10.1016/j.entcs.2011.11.019 
LibreCat: /record/3183
DOI: 10.1016/j.entcs.2011.11.019

Derrick, J., Schellhorn, G., &; Wehrheim, H. (2011). Mechanically verified proof obligations for linearizability. ACM Trans. Program. Lang. Syst., (1), 4:1--4:43.https://doi.org/10.1145/1889997.1890001 
LibreCat: /record/3184
DOI: 10.1145/1889997.1890001

Ruhroth, T., Wehrheim, H., &; Ziegert, S. (2011). 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 (pp. 83--90).https://doi.org/10.1109/SEAA.2011.22 
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

Derrick, J., Schellhorn, G., &; Wehrheim, H. (2011). Verifying Linearisability with Potential Linearisation Points. In M. J. Butler &; W. Schulte (Eds.), FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings (pp. 323--337).https://doi.org/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. (2011). Sound and Complete Abstract Graph Transformation. In A. da Silva Sim\'7eao &; C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers (pp. 92--107).https://doi.org/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. (2011). A CSP Account of Event-B Refinement. In J. Derrick, E. A. Boiten, &; S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. (pp. 139--154).https://doi.org/10.4204/EPTCS.55.9 
LibreCat: /record/3188
DOI: 10.4204/EPTCS.55.9

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

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

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

Schneider, S., Treharne, H., &; Wehrheim, H. (2010). A CSP Approach to Control in Event-B. In D. M\rquote ery &; S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 260--274).https://doi.org/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. (2010). SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. In J. Esparza &; R. Majumdar (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 (pp. 271--274).https://doi.org/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. (2010). Towards A Shape Analysis for Graph Transformation Systems. CoRR.
LibreCat: /record/3198