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