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 

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 

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 

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 

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

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 

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 

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 

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 

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 

Rasch, H., &; Wehrheim, H. (2005). Checking the Validity of Scenarios in UML Models. In M. Steffen &; G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings (pp. 67--82).https://doi.org/10.1007/11494881_5 

Brückner, I., &; Wehrheim, H. (2005). Slicing an Integrated Formal Method for Verification. In K.-Kiu Lau &; R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings (pp. 360--374).https://doi.org/10.1007/11576280_25 

Derrick, J., &; Wehrheim, H. (2005). Non-atomic Refinement in Z and CSP. In H. Treharne, S. King, M. C. Henson, &; S. A. Schneider (Eds.), ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings (pp. 24--44).https://doi.org/10.1007/11415787_3 

Brückner, I., &; Wehrheim, H. (2005). Slicing Object-Z Specifications for Verification. In H. Treharne, S. King, M. C. Henson, &; S. A. Schneider (Eds.), ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings (pp. 414--433).https://doi.org/10.1007/11415787_24 

Wehrheim, H. (2004). Refinement and Consistency in Component Models with Multiple Views. In R. H. Reussner, J. A. Stafford, &; C. A. Szyperski (Eds.), Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers (pp. 84--102).https://doi.org/10.1007/11786160_5 

Möller, M., Olderog, E.-R., Rasch, H., &; Wehrheim, H. (2004). Linking CSP-OZ with UML and Java: A Case Study. In E. A. Boiten, J. Derrick, &; G. Smith (Eds.), Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings (pp. 267--286).https://doi.org/10.1007/978-3-540-24756-2_15 

Wehrheim, H. (2004). Refinement and Consistency in Multiview Models. In J. B\rquote ezivin &; R. Heckel (Eds.), Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004.

Wehrheim, H. (2003). Behavioral Subtyping Relations for Active Objects. Formal Methods in System Design, (2), 143--170.https://doi.org/10.1023/A:1024764232069 

Wehrheim, H. (2003). Preserving Properties Under Change. In F. S. de Boer, M. M. Bonsangue, S. Graf, &; W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures (pp. 330--343).https://doi.org/10.1007/978-3-540-30101-1_16 

Wehrheim, H. (2003). Inheritance of Temporal Logic Properties. In E. Najm, U. Nestmann, &; P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings (pp. 79--93).https://doi.org/10.1007/978-3-540-39958-2_6