@inproceedings{3215,
  author       = {{Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike}},
  booktitle    = {{Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}},
  editor       = {{M. Bonsangue, Marcello and Broch Johnsen, Einar}},
  pages        = {{76----90}},
  title        = {{{Analysis of {UML} Activities Using Dynamic Meta Modeling}}},
  doi          = {{10.1007/978-3-540-72952-5_5}},
  year         = {{2007}},
}

@inproceedings{3216,
  author       = {{Ruhroth, Thomas and Wehrheim, Heike}},
  booktitle    = {{Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}},
  editor       = {{M. Bonsangue, Marcello and Broch Johnsen, Einar}},
  pages        = {{236----251}},
  title        = {{{Refactoring Object-Oriented Specifications with Data and Processes}}},
  doi          = {{10.1007/978-3-540-72952-5_15}},
  year         = {{2007}},
}

@inproceedings{3221,
  author       = {{Schäfer, Wilhelm and Wehrheim, Heike}},
  booktitle    = {{International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}}},
  editor       = {{C. Briand, Lionel and L. Wolf, Alexander}},
  pages        = {{72----84}},
  title        = {{{The Challenges of Building Advanced Mechatronic Systems}}},
  doi          = {{10.1109/FOSE.2007.28}},
  year         = {{2007}},
}

@inproceedings{3222,
  author       = {{Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}},
  booktitle    = {{Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings}},
  editor       = {{Davies, Jim and Gibbons, Jeremy}},
  pages        = {{195----214}},
  title        = {{{Proving Linearizability Via Non-atomic Refinement}}},
  doi          = {{10.1007/978-3-540-73210-5_11}},
  year         = {{2007}},
}

@article{3223,
  author       = {{Brückner, Ingo and Metzler, Björn and Wehrheim, Heike}},
  journal      = {{Nord. J. Comput.}},
  number       = {{1-2}},
  pages        = {{22----45}},
  title        = {{{Optimizing Slicing of Formal Specifications by Deductive Verification}}},
  year         = {{2006}},
}

@inproceedings{3224,
  author       = {{Derrick, John and Wehrheim, Heike}},
  booktitle    = {{Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings}},
  editor       = {{Johnson, Michael and Vene, Varmo}},
  pages        = {{111----126}},
  title        = {{{Model Transformations Incorporating Multiple Views}}},
  doi          = {{10.1007/11784180_11}},
  year         = {{2006}},
}

@inproceedings{3225,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings}},
  editor       = {{Liu, Zhiming and He, Jifeng}},
  pages        = {{514----528}},
  title        = {{{Incremental Slicing}}},
  doi          = {{10.1007/11901433_28}},
  year         = {{2006}},
}

@proceedings{3226,
  editor       = {{Gorrieri, Roberto and Wehrheim, Heike}},
  isbn         = {{3-540-34893-X}},
  title        = {{{Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings}}},
  doi          = {{10.1007/11768869}},
  year         = {{2006}},
}

@article{3227,
  author       = {{Olderog, Ernst-Rüdiger and Wehrheim, Heike}},
  journal      = {{Sci. Comput. Program.}},
  number       = {{1-3}},
  pages        = {{227----257}},
  title        = {{{Specification and (property) inheritance in {CSP-OZ}}}},
  doi          = {{10.1016/j.scico.2004.05.017}},
  year         = {{2005}},
}

@article{3228,
  author       = {{Wehrheim, Heike}},
  journal      = {{Theor. Comput. Sci.}},
  number       = {{3}},
  pages        = {{509----528}},
  title        = {{{Slicing techniques for verification re-use}}},
  doi          = {{10.1016/j.tcs.2005.06.020}},
  year         = {{2005}},
}

@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}},
}