@inproceedings{3229,
  author       = {{Rasch, Holger and Wehrheim, Heike}},
  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}},
  editor       = {{Steffen, Martin and Zavattaro, Gianluigi}},
  pages        = {{67----82}},
  title        = {{{Checking the Validity of Scenarios in {UML} Models}}},
  doi          = {{10.1007/11494881_5}},
  year         = {{2005}},
}

@inproceedings{3230,
  author       = {{Brückner, Ingo and Wehrheim, Heike}},
  booktitle    = {{Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings}},
  editor       = {{Lau, Kung{-}Kiu and Banach, Richard}},
  pages        = {{360----374}},
  title        = {{{Slicing an Integrated Formal Method for Verification}}},
  doi          = {{10.1007/11576280_25}},
  year         = {{2005}},
}

@inproceedings{3231,
  author       = {{Derrick, John and Wehrheim, Heike}},
  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}},
  editor       = {{Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, Steve}},
  pages        = {{24----44}},
  title        = {{{Non-atomic Refinement in {Z} and {CSP}}}},
  doi          = {{10.1007/11415787_3}},
  year         = {{2005}},
}

@inproceedings{3232,
  author       = {{Brückner, Ingo and Wehrheim, Heike}},
  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}},
  editor       = {{Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, Steve}},
  pages        = {{414----433}},
  title        = {{{Slicing Object-Z Specifications for Verification}}},
  doi          = {{10.1007/11415787_24}},
  year         = {{2005}},
}

@inproceedings{3233,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers}},
  editor       = {{H. Reussner, Ralf and A. Stafford, Judith and A. Szyperski, Clemens}},
  pages        = {{84----102}},
  title        = {{{Refinement and Consistency in Component Models with Multiple Views}}},
  doi          = {{10.1007/11786160_5}},
  year         = {{2004}},
}

@inproceedings{3234,
  author       = {{Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}},
  booktitle    = {{Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings}},
  editor       = {{A. Boiten, Eerke and Derrick, John and Smith, Graeme}},
  pages        = {{267----286}},
  title        = {{{Linking {CSP-OZ} with {UML} and Java: {A} Case Study}}},
  doi          = {{10.1007/978-3-540-24756-2_15}},
  year         = {{2004}},
}

@inproceedings{3235,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004}},
  editor       = {{B{\'{e}}zivin, Jean and Heckel, Reiko}},
  title        = {{{Refinement and Consistency in Multiview Models}}},
  year         = {{2004}},
}

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

@inproceedings{3237,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures}},
  editor       = {{S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, Willem}},
  pages        = {{330----343}},
  title        = {{{Preserving Properties Under Change}}},
  doi          = {{10.1007/978-3-540-30101-1_16}},
  year         = {{2003}},
}

@inproceedings{3238,
  author       = {{Wehrheim, Heike}},
  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}},
  editor       = {{Najm, Elie and Nestmann, Uwe and Stevens, Perdita}},
  pages        = {{79----93}},
  title        = {{{Inheritance of Temporal Logic Properties}}},
  doi          = {{10.1007/978-3-540-39958-2_6}},
  year         = {{2003}},
}

@inproceedings{3239,
  author       = {{Rasch, Holger and Wehrheim, Heike}},
  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}},
  editor       = {{Najm, Elie and Nestmann, Uwe and Stevens, Perdita}},
  pages        = {{229----243}},
  title        = {{{Checking Consistency in {UML} Diagramms: Classes and State Machines}}},
  doi          = {{10.1007/978-3-540-39958-2_16}},
  year         = {{2003}},
}

@inproceedings{3240,
  author       = {{Derrick, John and Wehrheim, Heike}},
  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}},
  editor       = {{Bert, Didier and P. Bowen, Jonathan and King, Steve and A. Wald{\'{e}}n, Marina}},
  pages        = {{127----147}},
  title        = {{{Using Coupled Simulations in Non-atomic Refinement}}},
  doi          = {{10.1007/3-540-44880-2_10}},
  year         = {{2003}},
}

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

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

@inproceedings{3243,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands}},
  editor       = {{Jacobs, Bart and Rensink, Arend}},
  pages        = {{79----93}},
  title        = {{{Checking Behavioural Subtypes via Refinement}}},
  year         = {{2002}},
}

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

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

@inproceedings{3246,
  author       = {{Fischer, Clemens and Olderog, Ernst-Rüdiger and Wehrheim, Heike}},
  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}},
  editor       = {{Hu{\ss}mann, Heinrich}},
  pages        = {{91----108}},
  title        = {{{A {CSP} View on {UML-RT} Structure Diagrams}}},
  doi          = {{10.1007/3-540-45314-8_8}},
  year         = {{2001}},
}

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

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