TY - CONF AU - Rasch, Holger AU - Wehrheim, Heike ED - Steffen, Martin ED - Zavattaro, Gianluigi ID - 3229 T2 - Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings TI - Checking the Validity of Scenarios in {UML} Models ER - TY - CONF AU - Brückner, Ingo AU - Wehrheim, Heike ED - Lau, Kung{-}Kiu ED - Banach, Richard ID - 3230 T2 - Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings TI - Slicing an Integrated Formal Method for Verification ER - TY - CONF AU - Derrick, John AU - Wehrheim, Heike ED - Treharne, Helen ED - King, Steve ED - C. Henson, Martin ED - A. Schneider, Steve ID - 3231 T2 - {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 TI - Non-atomic Refinement in {Z} and {CSP} ER - TY - CONF AU - Brückner, Ingo AU - Wehrheim, Heike ED - Treharne, Helen ED - King, Steve ED - C. Henson, Martin ED - A. Schneider, Steve ID - 3232 T2 - {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 TI - Slicing Object-Z Specifications for Verification ER - TY - CONF AU - Wehrheim, Heike ED - H. Reussner, Ralf ED - A. Stafford, Judith ED - A. Szyperski, Clemens ID - 3233 T2 - Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers TI - Refinement and Consistency in Component Models with Multiple Views ER - TY - CONF AU - Möller, Michael AU - Olderog, Ernst-Rüdiger AU - Rasch, Holger AU - Wehrheim, Heike ED - A. Boiten, Eerke ED - Derrick, John ED - Smith, Graeme ID - 3234 T2 - Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings TI - Linking {CSP-OZ} with {UML} and Java: {A} Case Study ER - TY - CONF AU - Wehrheim, Heike ED - B{\'{e}}zivin, Jean ED - Heckel, Reiko ID - 3235 T2 - Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004 TI - Refinement and Consistency in Multiview Models ER - TY - JOUR AU - Wehrheim, Heike ID - 3236 IS - 2 JF - Formal Methods in System Design TI - Behavioral Subtyping Relations for Active Objects ER - TY - CONF AU - Wehrheim, Heike ED - S. de Boer, Frank ED - M. Bonsangue, Marcello ED - Graf, Susanne ED - P. de Roever, Willem ID - 3237 T2 - Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures TI - Preserving Properties Under Change ER - TY - CONF AU - Wehrheim, Heike ED - Najm, Elie ED - Nestmann, Uwe ED - Stevens, Perdita ID - 3238 T2 - Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings TI - Inheritance of Temporal Logic Properties ER - TY - CONF AU - Rasch, Holger AU - Wehrheim, Heike ED - Najm, Elie ED - Nestmann, Uwe ED - Stevens, Perdita ID - 3239 T2 - Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings TI - Checking Consistency in {UML} Diagramms: Classes and State Machines ER - TY - CONF AU - Derrick, John AU - Wehrheim, Heike ED - Bert, Didier ED - P. Bowen, Jonathan ED - King, Steve ED - A. Wald{\'{e}}n, Marina ID - 3240 T2 - {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 TI - Using Coupled Simulations in Non-atomic Refinement ER - TY - JOUR AU - Wehrheim, Heike ID - 3241 IS - 4 JF - Nord. J. Comput. TI - Relating State-based and Behaviour-oriented Subtyping ER - TY - CONF AU - Olderog, Ernst-Rüdiger AU - Wehrheim, Heike ED - S. de Boer, Frank ED - M. Bonsangue, Marcello ED - Graf, Susanne ED - P. de Roever, Willem ID - 3242 T2 - Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures TI - Specification and Inheritance in {CSP-OZ} ER - TY - CONF AU - Wehrheim, Heike ED - Jacobs, Bart ED - Rensink, Arend ID - 3243 T2 - 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 TI - Checking Behavioural Subtypes via Refinement ER - TY - JOUR AU - Rensink, Arend AU - Wehrheim, Heike ID - 3244 IS - 3 JF - Acta Inf. TI - Process algebra with action dependencies ER - TY - JOUR AU - Bartetzko, Detlef AU - Fischer, Clemens AU - Möller, Michael AU - Wehrheim, Heike ID - 3245 IS - 2 JF - Electr. Notes Theor. Comput. Sci. TI - Jass - Java with Assertions ER - TY - CONF AU - Fischer, Clemens AU - Olderog, Ernst-Rüdiger AU - Wehrheim, Heike ED - Hu{\ss}mann, Heinrich ID - 3246 T2 - 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 TI - A {CSP} View on {UML-RT} Structure Diagrams ER - TY - JOUR AU - Fischer, Clemens AU - Wehrheim, Heike ID - 3247 JF - Bulletin of the {EATCS} TI - Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method ER - TY - JOUR AU - Wehrheim, Heike ID - 3248 IS - 3 JF - Formal Asp. Comput. TI - Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications ER -