Checking the Validity of Scenarios in UML Models
H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.
LibreCat: /record/3229
DOI: 10.1007/11494881_5

Slicing an Integrated Formal Method for Verification
I. Brückner, H. Wehrheim, in: K.-Kiu Lau, R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.
LibreCat: /record/3230
DOI: 10.1007/11576280_25

Non-atomic Refinement in Z and CSP
J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), 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, 2005, pp. 24--44.
LibreCat: /record/3231
DOI: 10.1007/11415787_3

Slicing Object-Z Specifications for Verification
I. Brückner, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), 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, 2005, pp. 414--433.
LibreCat: /record/3232
DOI: 10.1007/11415787_24

Refinement and Consistency in Component Models with Multiple Views
H. Wehrheim, in: R. H. Reussner, J. A. Stafford, C. A. Szyperski (Eds.), Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, 2004, pp. 84--102.
LibreCat: /record/3233
DOI: 10.1007/11786160_5

Linking CSP-OZ with UML and Java: A Case Study
M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, in: E. A. Boiten, J. Derrick, G. Smith (Eds.), Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings, 2004, pp. 267--286.
LibreCat: /record/3234
DOI: 10.1007/978-3-540-24756-2_15

Refinement and Consistency in Multiview Models
H. Wehrheim, in: J. B\rquote ezivin, R. Heckel (Eds.), Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, 2004.
LibreCat: /record/3235

Preserving Properties Under Change
H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.
LibreCat: /record/3237
DOI: 10.1007/978-3-540-30101-1_16

Inheritance of Temporal Logic Properties
H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.
LibreCat: /record/3238
DOI: 10.1007/978-3-540-39958-2_6

Checking Consistency in UML Diagramms: Classes and State Machines
H. Rasch, H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.
LibreCat: /record/3239
DOI: 10.1007/978-3-540-39958-2_16

Using Coupled Simulations in Non-atomic Refinement
J. Derrick, H. Wehrheim, in: D. Bert, J. P. Bowen, S. King, M. A. Wald\rquote en (Eds.), 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, 2003, pp. 127--147.
LibreCat: /record/3240
DOI: 10.1007/3-540-44880-2_10

Relating State-based and Behaviour-oriented Subtyping
H. Wehrheim, Nord. J. Comput. (2002) 405--435.
LibreCat: /record/3241

Specification and Inheritance in CSP-OZ
E.-R. Olderog, H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, 2002, pp. 361--379.
LibreCat: /record/3242
DOI: 10.1007/978-3-540-39656-7_15

Checking Behavioural Subtypes via Refinement
H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), 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, 2002, pp. 79--93.
LibreCat: /record/3243

Process algebra with action dependencies
A. Rensink, H. Wehrheim, Acta Inf. (2001) 155--234.
LibreCat: /record/3244
DOI: 10.1007/s002360100070

Jass - Java with Assertions
D. Bartetzko, C. Fischer, M. Möller, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2001) 103--117.
LibreCat: /record/3245
DOI: 10.1016/S1571-0661(04)00247-6

A CSP View on UML-RT Structure Diagrams
C. Fischer, E.-R. Olderog, H. Wehrheim, in: H. Hu\'73smann (Ed.), 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, 2001, pp. 91--108.
LibreCat: /record/3246
DOI: 10.1007/3-540-45314-8_8

Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method
C. Fischer, H. Wehrheim, Bulletin of the EATCS (2000) 92--101.
LibreCat: /record/3247

Data Abstraction Techniques in the Validation of CSP-OZ Specifications
H. Wehrheim, Formal Asp. Comput. (2000) 147--164.
LibreCat: /record/3248
DOI: 10.1007/s001650070026

Behavioural Subtyping Relations for Object-Oriented Formalisms
C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
LibreCat: /record/3249
DOI: 10.1007/3-540-45499-3_33