@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 

@inproceedingsRasch_Wehrheim_2003, series=Lecture Notes in Computer Science, title=Checking Consistency in UML Diagramms: Classes and State Machines, DOI=10.1007/978-3-540-39958-2_16, 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=Rasch, Holger and Wehrheim, Heike, editor=Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors, year=2003, pages=229--243, collection=Lecture Notes in Computer Science 

@inproceedingsDerrick_Wehrheim_2003, series=Lecture Notes in Computer Science, title=Using Coupled Simulations in Non-atomic Refinement, DOI=10.1007/3-540-44880-2_10, booktitle=ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, author=Derrick, John and Wehrheim, Heike, editor=Bert, Didier and P. Bowen, Jonathan and King, Steve and A. Wald\rquote en, MarinaEditors, year=2003, pages=127--147, collection=Lecture Notes in Computer Science 

@articleWehrheim_2002, title=Relating State-based and Behaviour-oriented Subtyping, number=4, journal=Nord. J. Comput., author=Wehrheim, Heike, year=2002, pages=405--435 

@inproceedingsOlderog_Wehrheim_2002, series=Lecture Notes in Computer Science, title=Specification and Inheritance in CSP-OZ, DOI=10.1007/978-3-540-39656-7_15, booktitle=Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, author=Olderog, Ernst-Rüdiger and Wehrheim, Heike, editor=S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors, year=2002, pages=361--379, collection=Lecture Notes in Computer Science 

@inproceedingsWehrheim_2002, series=IFIP Conference Proceedings, title=Checking Behavioural Subtypes via Refinement, booktitle=Formal Methods for Open Object-Based Distributed Systems V, IFIP T/W.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands, author=Wehrheim, Heike, editor=Jacobs, Bart and Rensink, ArendEditors, year=2002, pages=79--93, collection=IFIP Conference Proceedings 

@articleRensink_Wehrheim_2001, title=Process algebra with action dependencies, DOI=10.1007/s002360100070, number=3, journal=Acta Inf., author=Rensink, Arend and Wehrheim, Heike, year=2001, pages=155--234 

@articleBartetzko_Fischer_Möller_Wehrheim_2001, title=Jass - Java with Assertions, DOI=10.1016/S1571-0661(04)00247-6, number=2, journal=Electr. Notes Theor. Comput. Sci., author=Bartetzko, Detlef and Fischer, Clemens and Möller, Michael and Wehrheim, Heike, year=2001, pages=103--117 

@inproceedingsFischer_Olderog_Wehrheim_2001, series=Lecture Notes in Computer Science, title=A CSP View on UML-RT Structure Diagrams, DOI=10.1007/3-540-45314-8_8, booktitle=Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, author=Fischer, Clemens and Olderog, Ernst-Rüdiger and Wehrheim, Heike, editor=Hu\'73smann, HeinrichEditor, year=2001, pages=91--108, collection=Lecture Notes in Computer Science 

@articleFischer_Wehrheim_2000, title=Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method, journal=Bulletin of the EATCS, author=Fischer, Clemens and Wehrheim, Heike, year=2000, pages=92--101 

@articleWehrheim_2000, title=Data Abstraction Techniques in the Validation of CSP-OZ Specifications, DOI=10.1007/s001650070026, number=3, journal=Formal Asp. Comput., author=Wehrheim, Heike, year=2000, pages=147--164