@article{3205,
  author       = {{Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}},
  journal      = {{Formal Asp. Comput.}},
  number       = {{2}},
  pages        = {{161----204}},
  title        = {{{Integrating a formal method into a software engineering process with {UML} and Java}}},
  doi          = {{10.1007/s00165-007-0042-7}},
  year         = {{2008}},
}

@article{3206,
  author       = {{Brückner, Ingo and Dräger, Klaus and Finkbeiner, Bernd and Wehrheim, Heike}},
  journal      = {{Fundam. Inform.}},
  number       = {{4}},
  pages        = {{369----392}},
  title        = {{{Slicing Abstractions}}},
  year         = {{2008}},
}

@inproceedings{3207,
  author       = {{Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}},
  booktitle    = {{Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}},
  editor       = {{Schieferdecker, Ina and Hartman, Alan}},
  pages        = {{94----109}},
  title        = {{{From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations}}},
  doi          = {{10.1007/978-3-540-69100-6_7}},
  year         = {{2008}},
}

@inproceedings{3208,
  author       = {{Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}},
  booktitle    = {{Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings}},
  editor       = {{Barthe, Gilles and S. de Boer, Frank}},
  pages        = {{78----95}},
  title        = {{{Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack}}},
  doi          = {{10.1007/978-3-540-68863-1_6}},
  year         = {{2008}},
}

@inproceedings{3209,
  author       = {{Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel}},
  booktitle    = {{Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}},
  editor       = {{Liu, Shaoying and S. E. Maibaum, T. and Araki, Keijiro}},
  pages        = {{105----125}},
  title        = {{{Decomposition for Compositional Verification}}},
  doi          = {{10.1007/978-3-540-88194-0_9}},
  year         = {{2008}},
}

@inproceedings{3210,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}},
  editor       = {{S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\"{u}}n, H{\"{u}}sn{\"{u}}}},
  pages        = {{380----394}},
  title        = {{{Bounded Model Checking for Partial Kripke Structures}}},
  doi          = {{10.1007/978-3-540-85762-4_26}},
  year         = {{2008}},
}

@article{3211,
  author       = {{Derrick, John and Wehrheim, Heike}},
  journal      = {{Acta Inf.}},
  number       = {{1}},
  pages        = {{41----71}},
  title        = {{{On using data abstractions for model checking refinements}}},
  doi          = {{10.1007/s00236-007-0042-3}},
  year         = {{2007}},
}

@article{3212,
  author       = {{Metzler, Björn and Wehrheim, Heike}},
  journal      = {{Electr. Notes Theor. Comput. Sci.}},
  number       = {{2}},
  pages        = {{47----67}},
  title        = {{{Extending a Component Specification Language with Time}}},
  doi          = {{10.1016/j.entcs.2006.02.031}},
  year         = {{2007}},
}

@article{3213,
  author       = {{Estler, H.{-}Christian and Ruhroth, Thomas and Wehrheim, Heike}},
  journal      = {{Electr. Notes Theor. Comput. Sci.}},
  pages        = {{3----17}},
  title        = {{{Modelchecking Correctness of Refactorings - Some Experiments}}},
  doi          = {{10.1016/j.entcs.2006.08.041}},
  year         = {{2007}},
}

@inproceedings{3214,
  author       = {{Engels, Gregor and Güldali, Baris and Soltenborn, Christian and Wehrheim, Heike}},
  booktitle    = {{Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers}},
  editor       = {{Sch{\"{u}}rr, Andy and Nagl, Manfred and Z{\"{u}}ndorf, Albert}},
  pages        = {{17----31}},
  title        = {{{Assuring Consistency of Business Process Models and Web Services Using Visual Contracts}}},
  doi          = {{10.1007/978-3-540-89020-1_2}},
  year         = {{2007}},
}

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