@inproceedingsRasch_Wehrheim_2005, series=Lecture Notes in Computer Science, title=Checking the Validity of Scenarios in UML Models, DOI=10.1007/11494881_5, booktitle=Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, author=Rasch, Holger and Wehrheim, Heike, editor=Steffen, Martin and Zavattaro, GianluigiEditors, year=2005, pages=67--82, collection=Lecture Notes in Computer Science 

@inproceedingsBrückner_Wehrheim_2005, series=Lecture Notes in Computer Science, title=Slicing an Integrated Formal Method for Verification, DOI=10.1007/11576280_25, booktitle=Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, author=Brückner, Ingo and Wehrheim, Heike, editor=Lau, Kung-Kiu and Banach, RichardEditors, year=2005, pages=360--374, collection=Lecture Notes in Computer Science 

@inproceedingsDerrick_Wehrheim_2005, series=Lecture Notes in Computer Science, title=Non-atomic Refinement in Z and CSP, DOI=10.1007/11415787_3, booktitle=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, author=Derrick, John and Wehrheim, Heike, editor=Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, SteveEditors, year=2005, pages=24--44, collection=Lecture Notes in Computer Science 

@inproceedingsBrückner_Wehrheim_2005, series=Lecture Notes in Computer Science, title=Slicing Object-Z Specifications for Verification, DOI=10.1007/11415787_24, booktitle=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, author=Brückner, Ingo and Wehrheim, Heike, editor=Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, SteveEditors, year=2005, pages=414--433, collection=Lecture Notes in Computer Science 

@inproceedingsWehrheim_2004, series=Lecture Notes in Computer Science, title=Refinement and Consistency in Component Models with Multiple Views, DOI=10.1007/11786160_5, booktitle=Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, author=Wehrheim, Heike, editor=H. Reussner, Ralf and A. Stafford, Judith and A. Szyperski, ClemensEditors, year=2004, pages=84--102, collection=Lecture Notes in Computer Science 

@inproceedingsMöller_Olderog_Rasch_Wehrheim_2004, series=Lecture Notes in Computer Science, title=Linking CSP-OZ with UML and Java: A Case Study, DOI=10.1007/978-3-540-24756-2_15, booktitle=Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, author=Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike, editor=A. Boiten, Eerke and Derrick, John and Smith, GraemeEditors, year=2004, pages=267--286, collection=Lecture Notes in Computer Science 

@inproceedingsWehrheim_2004, series=Dagstuhl Seminar Proceedings, title=Refinement and Consistency in Multiview Models, booktitle=Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, author=Wehrheim, Heike, editor=B\rquote ezivin, Jean and Heckel, ReikoEditors, year=2004, collection=Dagstuhl Seminar Proceedings 

@articleWehrheim_2003, title=Behavioral Subtyping Relations for Active Objects, DOI=10.1023/A:1024764232069, number=2, journal=Formal Methods in System Design, author=Wehrheim, Heike, year=2003, pages=143--170 

@inproceedingsWehrheim_2003, series=Lecture Notes in Computer Science, title=Preserving Properties Under Change, DOI=10.1007/978-3-540-30101-1_16, booktitle=Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, author=Wehrheim, Heike, editor=S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors, year=2003, pages=330--343, collection=Lecture Notes in Computer Science 

@inproceedingsWehrheim_2003, series=Lecture Notes in Computer Science, title=Inheritance of Temporal Logic Properties, DOI=10.1007/978-3-540-39958-2_6, booktitle=Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, author=Wehrheim, Heike, editor=Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors, year=2003, pages=79--93, collection=Lecture Notes in Computer Science