Rasch, Holger, and Heike Wehrheim. “Checking Consistency in UML Diagramms: Classes and State Machines.”10.1007/978-3-540-39958-2_16__Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 229--243, doi:10.1007/978-3-540-39958-2_16.

Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.”10.1007/3-540-44880-2_10__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, edited by Didier Bert et al., 2003, pp. 127--147, doi:10.1007/3-540-44880-2_10.

Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” Nord. J. Comput., no. 4, 2002, pp. 405--435.

Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance in CSP-OZ.”10.1007/978-3-540-39656-7_15__Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, edited by Frank S. de Boer et al., 2002, pp. 361--379, doi:10.1007/978-3-540-39656-7_15.

Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” 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, edited by Bart Jacobs and Arend Rensink, 2002, pp. 79--93.

Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.”10.1007/s002360100070__Acta Inf., no. 3, 2001, pp. 155--234, doi:10.1007/s002360100070.

Bartetzko, Detlef, et al. “Jass - Java with Assertions.”10.1016/S1571-0661(04)00247-6__Electr. Notes Theor. Comput. Sci., no. 2, 2001, pp. 103--117, doi:10.1016/S1571-0661(04)00247-6.

Fischer, Clemens, et al. “A CSP View on UML-RT Structure Diagrams.”10.1007/3-540-45314-8_8__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, edited by Heinrich Hu\'73smann, 2001, pp. 91--108, doi:10.1007/3-540-45314-8_8.

Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” Bulletin of the EATCS, 2000, pp. 92--101.

Wehrheim, Heike. “Data Abstraction Techniques in the Validation of CSP-OZ Specifications.”10.1007/s001650070026__Formal Asp. Comput., no. 3, 2000, pp. 147--164, doi:10.1007/s001650070026.

Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.”10.1007/3-540-45499-3_33__Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, edited by Teodor Rus, 2000, pp. 469--483, doi:10.1007/3-540-45499-3_33.

Wehrheim, Heike. “Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods.”10.1007/3-540-46428-X_23__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, edited by T. S. E. Maibaum, 2000, pp. 334--348, doi:10.1007/3-540-46428-X_23.

Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.”10.1007/978-0-387-35520-7_11__Formal Methods for Open Object-Based Distributed Systems IV, IFIF T/W.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA, edited by Scott F. Smith and Carolyn L. Talcott, 2000, pp. 213--231, doi:10.1007/978-0-387-35520-7_11.

Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.”10.1016/S1571-0661(05)80296-8__Electr. Notes Theor. Comput. Sci., 1999, pp. 71--84, doi:10.1016/S1571-0661(05)80296-8.

Wehrheim, Heike. “Data Abstraction for CSP-OZ.”10.1007/3-540-48118-4_5__FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, edited by Jeannette M. Wing et al., 1999, pp. 1028--1047, doi:10.1007/3-540-48118-4_5.

Fischer, Clemens, and Heike Wehrheim. “Model-Checking CSP-OZ Specifications with FDR.” Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999, edited by Keijiro Araki et al., 1999, pp. 315--334.

Gehrke, Thomas, et al. “A Process Algebra Semantics for MSC Including Conditions.” Formale Beschreibungstechniken F\'22ur Verteilte Systeme, 8. GI/ITG-Fachgespr\'22ach, Cottbus, 4. Und 5. Juni 1998, edited by Hartmut K\'22onig and Peter Langend\'22orfer, 1998, pp. 185--196.

Gehrke, Thomas, et al. “An Algebraic Semantics for Message Sequence Chart Documents.” Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII’98, IFIP T W.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, edited by Stanislaw Budkowski et al., 1998, pp. 3--18.

Huhn, Michaela, et al. “Partial Order Reductions for Bisimulation Checking.”10.1007/978-3-540-49382-2_26__Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, edited by Vikraman Arvind and Ramaswamy Ramanujam, 1998, pp. 271--282, doi:10.1007/978-3-540-49382-2_26.

Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.”10.1007/BFb0029990__Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr\rquote vara and Peter Ruzicka, 1997, pp. 468--477, doi:10.1007/BFb0029990.

Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.”10.1007/BFb0029990__Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr\rquote vara and Peter Ruzicka, 1997, pp. 468--477, doi:10.1007/BFb0029990.

Wehrheim, Heike. Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design. University of Hildesheim, Germany, 1996.

Goltz, Ursula, and Heike Wehrheim. “Modelling Causality via Action Dependencies in Branching Time Semantics.”10.1016/0020-0190(96)00111-1__Inf. Process. Lett., no. 4, 1996, pp. 179--184, doi:10.1016/0020-0190(96)00111-1.

Goltz, Ursula, and Heike Wehrheim. “Causal Testing.”10.1007/3-540-61550-4_165__Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, edited by Wojciech Penczek and Andrzej Szalas, 1996, pp. 394--406, doi:10.1007/3-540-61550-4_165.

Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process Algebras.”10.1007/978-3-540-48654-1_20__CONCUR ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, edited by Bengt Jonsson and Joachim Parrow, 1994, pp. 226--241, doi:10.1007/978-3-540-48654-1_20.

Wehrheim, Heike. “Parametric Action Refinement.” Programming Concepts, Methods and Calculi, Proceedings of the IFIP T/W.1/W.2/W.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET ’94) San Miniato, Italy, 6-10 June, 1994, edited by Ernst-R\'22udiger Olderog, 1994, pp. 247--266.