Rasch, H., &; Wehrheim, H. (2003). Checking Consistency in UML Diagramms: Classes and State Machines. 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 (pp. 229--243).https://doi.org/10.1007/978-3-540-39958-2_16 
LibreCat: /record/3239
DOI: 10.1007/978-3-540-39958-2_16

Derrick, J., &; Wehrheim, H. (2003). Using Coupled Simulations in Non-atomic Refinement. 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 (pp. 127--147).https://doi.org/10.1007/3-540-44880-2_10 
LibreCat: /record/3240
DOI: 10.1007/3-540-44880-2_10

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

Olderog, E.-R., &; Wehrheim, H. (2002). Specification and Inheritance in CSP-OZ. 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 (pp. 361--379).https://doi.org/10.1007/978-3-540-39656-7_15 
LibreCat: /record/3242
DOI: 10.1007/978-3-540-39656-7_15

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

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

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

Fischer, C., Olderog, E.-R., &; Wehrheim, H. (2001). A CSP View on UML-RT Structure Diagrams. 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 (pp. 91--108).https://doi.org/10.1007/3-540-45314-8_8 
LibreCat: /record/3246
DOI: 10.1007/3-540-45314-8_8

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

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

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

Wehrheim, H. (2000). Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods. In T. S. E. Maibaum (Ed.), 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 (pp. 334--348).https://doi.org/10.1007/3-540-46428-X_23 
LibreCat: /record/3250
DOI: 10.1007/3-540-46428-X_23

Wehrheim, H. (2000). Behavioural Subtyping and Property Preservation. In S. F. Smith &; C. L. Talcott (Eds.), 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 (pp. 213--231).https://doi.org/10.1007/978-0-387-35520-7_11 
LibreCat: /record/3251
DOI: 10.1007/978-0-387-35520-7_11

Wehrheim, H. (1999). Partial order reductions for failures refinement. Electr. Notes Theor. Comput. Sci., 71--84.https://doi.org/10.1016/S1571-0661(05)80296-8 
LibreCat: /record/3252
DOI: 10.1016/S1571-0661(05)80296-8

Wehrheim, H. (1999). Data Abstraction for CSP-OZ. In J. M. Wing, J. Woodcock, &; J. Davies (Eds.), FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II (pp. 1028--1047).https://doi.org/10.1007/3-540-48118-4_5 
LibreCat: /record/3253
DOI: 10.1007/3-540-48118-4_5

Fischer, C., &; Wehrheim, H. (1999). Model-Checking CSP-OZ Specifications with FDR. In K. Araki, A. Galloway, &; K. Taguchi (Eds.), Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999 (pp. 315--334).
LibreCat: /record/3254

Gehrke, T., Huhn, M., Niebert, P., Rensink, A., &; Wehrheim, H. (1998). A Process Algebra Semantics for MSC Including Conditions. In H. K\'22onig &; P. Langend\'22orfer (Eds.), Formale Beschreibungstechniken f\'22ur verteilte Systeme, 8. GI/ITG-Fachgespr\'22ach, Cottbus, 4. und 5. Juni 1998 (pp. 185--196).
LibreCat: /record/3255

Gehrke, T., Huhn, M., Rensink, A., &; Wehrheim, H. (1998). An Algebraic Semantics for Message Sequence Chart Documents. In S. Budkowski, A. R. Cavalli, &; E. Najm (Eds.), 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 (pp. 3--18).
LibreCat: /record/3256

Huhn, M., Niebert, P., &; Wehrheim, H. (1998). Partial Order Reductions for Bisimulation Checking. In V. Arvind &; R. Ramanujam (Eds.), Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (pp. 271--282).https://doi.org/10.1007/978-3-540-49382-2_26 
LibreCat: /record/3257
DOI: 10.1007/978-3-540-49382-2_26

Rensink, A., &; Wehrheim, H. (1997). Dependency-Based Action Refinement. In I. Pr\rquote vara &; P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings (pp. 468--477).https://doi.org/10.1007/BFb0029990 
LibreCat: /record/3258
DOI: 10.1007/BFb0029990

Rensink, A., &; Wehrheim, H. (1997). Dependency-Based Action Refinement. In I. Pr\rquote vara &; P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings (pp. 468--477).https://doi.org/10.1007/BFb0029990 
LibreCat: /record/3259
DOI: 10.1007/BFb0029990

Wehrheim, H. (1996). Specifying reactive systems with action dependencies: modelling and hierarchical design. University of Hildesheim, Germany.
LibreCat: /record/3260

Goltz, U., &; Wehrheim, H. (1996). Modelling Causality via Action Dependencies in Branching Time Semantics. Inf. Process. Lett., (4), 179--184.https://doi.org/10.1016/0020-0190(96)00111-1 
LibreCat: /record/3261
DOI: 10.1016/0020-0190(96)00111-1

Goltz, U., &; Wehrheim, H. (1996). Causal Testing. In W. Penczek &; A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings (pp. 394--406).https://doi.org/10.1007/3-540-61550-4_165 
LibreCat: /record/3262
DOI: 10.1007/3-540-61550-4_165

Rensink, A., &; Wehrheim, H. (1994). Weak Sequential Composition in Process Algebras. In B. Jonsson &; J. Parrow (Eds.), CONCUR ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings (pp. 226--241).https://doi.org/10.1007/978-3-540-48654-1_20 
LibreCat: /record/3263
DOI: 10.1007/978-3-540-48654-1_20

Wehrheim, H. (1994). Parametric Action Refinement. In E.-R\'22udiger Olderog (Ed.), 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 (pp. 247--266).
LibreCat: /record/3264