Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
216 Publications
2003 | Conference Paper | LibreCat-ID: 3239
Rasch H, Wehrheim H. Checking Consistency in {UML} Diagramms: Classes and State Machines. In: Najm E, Nestmann U, Stevens P, 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. Lecture Notes in Computer Science. ; 2003:229--243. doi:10.1007/978-3-540-39958-2_16
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3240
Derrick J, Wehrheim H. Using Coupled Simulations in Non-atomic Refinement. In: Bert D, P. Bowen J, King S, A. Wald{\’{e}}n M, 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. Lecture Notes in Computer Science. ; 2003:127--147. doi:10.1007/3-540-44880-2_10
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 3241
Wehrheim H. Relating State-based and Behaviour-oriented Subtyping. Nord J Comput. 2002;(4):405--435.
LibreCat
2002 | Conference Paper | LibreCat-ID: 3242
Olderog E-R, Wehrheim H. Specification and Inheritance in {CSP-OZ}. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer Science. ; 2002:361--379. doi:10.1007/978-3-540-39656-7_15
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 3243
Wehrheim H. Checking Behavioural Subtypes via Refinement. In: Jacobs B, Rensink A, eds. 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. {IFIP} Conference Proceedings. ; 2002:79--93.
LibreCat
2001 | Journal Article | LibreCat-ID: 3244
Rensink A, Wehrheim H. Process algebra with action dependencies. Acta Inf. 2001;(3):155--234. doi:10.1007/s002360100070
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 3245
Bartetzko D, Fischer C, Möller M, Wehrheim H. Jass - Java with Assertions. Electr Notes Theor Comput Sci. 2001;(2):103--117. doi:10.1016/S1571-0661(04)00247-6
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 3246
Fischer C, Olderog E-R, Wehrheim H. A {CSP} View on {UML-RT} Structure Diagrams. In: Hu{\ss}mann H, 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. Lecture Notes in Computer Science. ; 2001:91--108. doi:10.1007/3-540-45314-8_8
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 3247
Fischer C, Wehrheim H. Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. Bulletin of the {EATCS}. 2000:92--101.
LibreCat
2000 | Journal Article | LibreCat-ID: 3248
Wehrheim H. Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. Formal Asp Comput. 2000;(3):147--164. doi:10.1007/s001650070026
LibreCat
| DOI