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
2005 | Conference Paper | LibreCat-ID: 3229
Rasch H, Wehrheim H. Checking the Validity of Scenarios in {UML} Models. In: Steffen M, Zavattaro G, 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. Lecture Notes in Computer Science. ; 2005:67--82. doi:10.1007/11494881_5
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3230
Brückner I, Wehrheim H. Slicing an Integrated Formal Method for Verification. In: Lau K-}Kiu, Banach R, eds. Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings. Lecture Notes in Computer Science. ; 2005:360--374. doi:10.1007/11576280_25
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3231
Derrick J, Wehrheim H. Non-atomic Refinement in {Z} and {CSP}. In: Treharne H, King S, C. Henson M, A. Schneider S, 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. Lecture Notes in Computer Science. ; 2005:24--44. doi:10.1007/11415787_3
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 3232
Brückner I, Wehrheim H. Slicing Object-Z Specifications for Verification. In: Treharne H, King S, C. Henson M, A. Schneider S, 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. Lecture Notes in Computer Science. ; 2005:414--433. doi:10.1007/11415787_24
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 3233
Wehrheim H. Refinement and Consistency in Component Models with Multiple Views. In: H. Reussner R, A. Stafford J, A. Szyperski C, eds. Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers. Lecture Notes in Computer Science. ; 2004:84--102. doi:10.1007/11786160_5
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 3234
Möller M, Olderog E-R, Rasch H, Wehrheim H. Linking {CSP-OZ} with {UML} and Java: {A} Case Study. In: A. Boiten E, Derrick J, Smith G, eds. Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Lecture Notes in Computer Science. ; 2004:267--286. doi:10.1007/978-3-540-24756-2_15
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 3235
Wehrheim H. Refinement and Consistency in Multiview Models. In: B{\’{e}}zivin J, Heckel R, eds. Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004. Dagstuhl Seminar Proceedings. ; 2004.
LibreCat
2003 | Journal Article | LibreCat-ID: 3236
Wehrheim H. Behavioral Subtyping Relations for Active Objects. Formal Methods in System Design. 2003;(2):143--170. doi:10.1023/A:1024764232069
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3237
Wehrheim H. Preserving Properties Under Change. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures. Lecture Notes in Computer Science. ; 2003:330--343. doi:10.1007/978-3-540-30101-1_16
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3238
Wehrheim H. Inheritance of Temporal Logic Properties. 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:79--93. doi:10.1007/978-3-540-39958-2_6
LibreCat
| DOI