G. Engels, C. Soltenborn, and H. Wehrheim, “Analysis of UML Activities Using Dynamic Meta Modeling,” in Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
LibreCat: /record/3215
DOI: 10.1007/978-3-540-72952-5_5

T. Ruhroth and H. Wehrheim, “Refactoring Object-Oriented Specifications with Data and Processes,” in Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.
LibreCat: /record/3216
DOI: 10.1007/978-3-540-72952-5_15

W. Schäfer and H. Wehrheim, “The Challenges of Building Advanced Mechatronic Systems,” in International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA, 2007, pp. 72--84.
LibreCat: /record/3221
DOI: 10.1109/FOSE.2007.28

J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Linearizability Via Non-atomic Refinement,” in Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
LibreCat: /record/3222
DOI: 10.1007/978-3-540-73210-5_11

I. Brückner, B. Metzler, and H. Wehrheim, “Optimizing Slicing of Formal Specifications by Deductive Verification,” Nord. J. Comput., no. 1–2, pp. 22--45, 2006.
LibreCat: /record/3223

J. Derrick and H. Wehrheim, “Model Transformations Incorporating Multiple Views,” in Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, 2006, pp. 111--126.
LibreCat: /record/3224
DOI: 10.1007/11784180_11

H. Wehrheim, “Incremental Slicing,” in Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, 2006, pp. 514--528.
LibreCat: /record/3225
DOI: 10.1007/11901433_28

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

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

H. Wehrheim, “Slicing techniques for verification re-use,” Theor. Comput. Sci., no. 3, pp. 509--528, 2005.
LibreCat: /record/3228
DOI: 10.1016/j.tcs.2005.06.020

H. Rasch and H. Wehrheim, “Checking the Validity of Scenarios in UML Models,” in Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.
LibreCat: /record/3229
DOI: 10.1007/11494881_5

I. Brückner and H. Wehrheim, “Slicing an Integrated Formal Method for Verification,” in Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.
LibreCat: /record/3230
DOI: 10.1007/11576280_25

J. Derrick and H. Wehrheim, “Non-atomic Refinement in Z and CSP,” in 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, 2005, pp. 24--44.
LibreCat: /record/3231
DOI: 10.1007/11415787_3

I. Brückner and H. Wehrheim, “Slicing Object-Z Specifications for Verification,” in 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, 2005, pp. 414--433.
LibreCat: /record/3232
DOI: 10.1007/11415787_24

H. Wehrheim, “Refinement and Consistency in Component Models with Multiple Views,” in Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, 2004, pp. 84--102.
LibreCat: /record/3233
DOI: 10.1007/11786160_5

M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim, “Linking CSP-OZ with UML and Java: A Case Study,” in Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, 2004, pp. 267--286.
LibreCat: /record/3234
DOI: 10.1007/978-3-540-24756-2_15

H. Wehrheim, “Refinement and Consistency in Multiview Models,” in Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, 2004.
LibreCat: /record/3235

H. Wehrheim, “Behavioral Subtyping Relations for Active Objects,” Formal Methods in System Design, no. 2, pp. 143--170, 2003.
LibreCat: /record/3236
DOI: 10.1023/A:1024764232069

H. Wehrheim, “Preserving Properties Under Change,” in Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.
LibreCat: /record/3237
DOI: 10.1007/978-3-540-30101-1_16

H. Wehrheim, “Inheritance of Temporal Logic Properties,” in Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.
LibreCat: /record/3238
DOI: 10.1007/978-3-540-39958-2_6