Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in UML Models.”10.1007/11494881_5__Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, edited by Martin Steffen and Gianluigi Zavattaro, 2005, pp. 67--82, doi:10.1007/11494881_5.
LibreCat: /record/3229
DOI: 10.1007/11494881_5

Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for Verification.”10.1007/11576280_25__Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, edited by Kung-Kiu Lau and Richard Banach, 2005, pp. 360--374, doi:10.1007/11576280_25.
LibreCat: /record/3230
DOI: 10.1007/11576280_25

Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in Z and CSP.”10.1007/11415787_3__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, edited by Helen Treharne et al., 2005, pp. 24--44, doi:10.1007/11415787_3.
LibreCat: /record/3231
DOI: 10.1007/11415787_3

Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for Verification.”10.1007/11415787_24__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, edited by Helen Treharne et al., 2005, pp. 414--433, doi:10.1007/11415787_24.
LibreCat: /record/3232
DOI: 10.1007/11415787_24

Wehrheim, Heike. “Refinement and Consistency in Component Models with Multiple Views.”10.1007/11786160_5__Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, edited by Ralf H. Reussner et al., 2004, pp. 84--102, doi:10.1007/11786160_5.
LibreCat: /record/3233
DOI: 10.1007/11786160_5

Möller, Michael, et al. “Linking CSP-OZ with UML and Java: A Case Study.”10.1007/978-3-540-24756-2_15__Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, edited by Eerke A. Boiten et al., 2004, pp. 267--286, doi:10.1007/978-3-540-24756-2_15.
LibreCat: /record/3234
DOI: 10.1007/978-3-540-24756-2_15

Wehrheim, Heike. “Refinement and Consistency in Multiview Models.” Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, edited by Jean B\rquote ezivin and Reiko Heckel, 2004.
LibreCat: /record/3235

Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.”10.1023/A:1024764232069__Formal Methods in System Design, no. 2, 2003, pp. 143--170, doi:10.1023/A:1024764232069.
LibreCat: /record/3236
DOI: 10.1023/A:1024764232069

Wehrheim, Heike. “Preserving Properties Under Change.”10.1007/978-3-540-30101-1_16__Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S. de Boer et al., 2003, pp. 330--343, doi:10.1007/978-3-540-30101-1_16.
LibreCat: /record/3237
DOI: 10.1007/978-3-540-30101-1_16

Wehrheim, Heike. “Inheritance of Temporal Logic Properties.”10.1007/978-3-540-39958-2_6__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. 79--93, doi:10.1007/978-3-540-39958-2_6.
LibreCat: /record/3238
DOI: 10.1007/978-3-540-39958-2_6

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.
LibreCat: /record/3239
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.
LibreCat: /record/3240
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.
LibreCat: /record/3241

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.
LibreCat: /record/3242
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.
LibreCat: /record/3243

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.
LibreCat: /record/3244
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.
LibreCat: /record/3245
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.
LibreCat: /record/3246
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.
LibreCat: /record/3247

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.
LibreCat: /record/3248
DOI: 10.1007/s001650070026