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

@inproceedings{3249,
  author       = {{Fischer, Clemens and Wehrheim, Heike}},
  booktitle    = {{Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}},
  editor       = {{Rus, Teodor}},
  pages        = {{469----483}},
  title        = {{{Behavioural Subtyping Relations for Object-Oriented Formalisms}}},
  doi          = {{10.1007/3-540-45499-3_33}},
  year         = {{2000}},
}

@inproceedings{3250,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}},
  editor       = {{S. E. Maibaum, T.}},
  pages        = {{334----348}},
  title        = {{{Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods}}},
  doi          = {{10.1007/3-540-46428-X_23}},
  year         = {{2000}},
}

@inproceedings{3251,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}}},
  editor       = {{F. Smith, Scott and L. Talcott, Carolyn}},
  pages        = {{213----231}},
  title        = {{{Behavioural Subtyping and Property Preservation}}},
  doi          = {{10.1007/978-0-387-35520-7_11}},
  year         = {{2000}},
}

@article{3252,
  author       = {{Wehrheim, Heike}},
  journal      = {{Electr. Notes Theor. Comput. Sci.}},
  pages        = {{71----84}},
  title        = {{{Partial order reductions for failures refinement}}},
  doi          = {{10.1016/S1571-0661(05)80296-8}},
  year         = {{1999}},
}

@inproceedings{3253,
  author       = {{Wehrheim, Heike}},
  booktitle    = {{FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}}},
  editor       = {{M. Wing, Jeannette and Woodcock, Jim and Davies, Jim}},
  pages        = {{1028----1047}},
  title        = {{{Data Abstraction for {CSP-OZ}}}},
  doi          = {{10.1007/3-540-48118-4_5}},
  year         = {{1999}},
}

@inproceedings{3254,
  author       = {{Fischer, Clemens and Wehrheim, Heike}},
  booktitle    = {{Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999}},
  editor       = {{Araki, Keijiro and Galloway, Andy and Taguchi, Kenji}},
  pages        = {{315----334}},
  title        = {{{Model-Checking {CSP-OZ} Specifications with {FDR}}}},
  year         = {{1999}},
}

@inproceedings{3255,
  author       = {{Gehrke, Thomas and Huhn, Michaela and Niebert, Peter and Rensink, Arend and Wehrheim, Heike}},
  booktitle    = {{Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998}},
  editor       = {{K{\"{o}}nig, Hartmut and Langend{\"{o}}rfer, Peter}},
  pages        = {{185----196}},
  title        = {{{A Process Algebra Semantics for {MSC} Including Conditions}}},
  year         = {{1998}},
}

@inproceedings{3256,
  author       = {{Gehrke, Thomas and Huhn, Michaela and Rensink, Arend and Wehrheim, Heike}},
  booktitle    = {{Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France}},
  editor       = {{Budkowski, Stanislaw and R. Cavalli, Ana and Najm, Elie}},
  pages        = {{3----18}},
  title        = {{{An Algebraic Semantics for Message Sequence Chart Documents}}},
  year         = {{1998}},
}

@inproceedings{3257,
  author       = {{Huhn, Michaela and Niebert, Peter and Wehrheim, Heike}},
  booktitle    = {{Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings}},
  editor       = {{Arvind, Vikraman and Ramanujam, Ramaswamy}},
  pages        = {{271----282}},
  title        = {{{Partial Order Reductions for Bisimulation Checking}}},
  doi          = {{10.1007/978-3-540-49382-2_26}},
  year         = {{1998}},
}

@inproceedings{3258,
  author       = {{Rensink, Arend and Wehrheim, Heike}},
  booktitle    = {{Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings}},
  editor       = {{Pr{\'{\i}}vara, Igor and Ruzicka, Peter}},
  pages        = {{468----477}},
  title        = {{{Dependency-Based Action Refinement}}},
  doi          = {{10.1007/BFb0029990}},
  year         = {{1997}},
}