Engels, G., Soltenborn, C., &; Wehrheim, H. (2007). Analysis of UML Activities Using Dynamic Meta Modeling. In M. M. Bonsangue &; E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (pp. 76--90).https://doi.org/10.1007/978-3-540-72952-5_5 
LibreCat: /record/3215
DOI: 10.1007/978-3-540-72952-5_5

Ruhroth, T., &; Wehrheim, H. (2007). Refactoring Object-Oriented Specifications with Data and Processes. In M. M. Bonsangue &; E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (pp. 236--251).https://doi.org/10.1007/978-3-540-72952-5_15 
LibreCat: /record/3216
DOI: 10.1007/978-3-540-72952-5_15

Schäfer, W., &; Wehrheim, H. (2007). The Challenges of Building Advanced Mechatronic Systems. In L. C. Briand &; A. L. Wolf (Eds.), International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA (pp. 72--84).https://doi.org/10.1109/FOSE.2007.28 
LibreCat: /record/3221
DOI: 10.1109/FOSE.2007.28

Derrick, J., Schellhorn, G., &; Wehrheim, H. (2007). Proving Linearizability Via Non-atomic Refinement. In J. Davies &; J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (pp. 195--214).https://doi.org/10.1007/978-3-540-73210-5_11 
LibreCat: /record/3222
DOI: 10.1007/978-3-540-73210-5_11

Brückner, I., Metzler, B., &; Wehrheim, H. (2006). Optimizing Slicing of Formal Specifications by Deductive Verification. Nord. J. Comput., (1–2), 22--45.
LibreCat: /record/3223

Derrick, J., &; Wehrheim, H. (2006). Model Transformations Incorporating Multiple Views. In M. Johnson &; V. Vene (Eds.), Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings (pp. 111--126).https://doi.org/10.1007/11784180_11 
LibreCat: /record/3224
DOI: 10.1007/11784180_11

Wehrheim, H. (2006). Incremental Slicing. In Z. Liu &; J. He (Eds.), Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings (pp. 514--528).https://doi.org/10.1007/11901433_28 
LibreCat: /record/3225
DOI: 10.1007/11901433_28

Gorrieri, R., &; Wehrheim, H. (Eds.). (2006). Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings.https://doi.org/10.1007/11768869 
LibreCat: /record/3226
DOI: 10.1007/11768869

Olderog, E.-R., &; Wehrheim, H. (2005). Specification and (property) inheritance in CSP-OZ. Sci. Comput. Program., (1–3), 227--257.https://doi.org/10.1016/j.scico.2004.05.017 
LibreCat: /record/3227
DOI: 10.1016/j.scico.2004.05.017

Wehrheim, H. (2005). Slicing techniques for verification re-use. Theor. Comput. Sci., (3), 509--528.https://doi.org/10.1016/j.tcs.2005.06.020 
LibreCat: /record/3228
DOI: 10.1016/j.tcs.2005.06.020