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 - TY - CONF AU - Fischer, Clemens AU - Wehrheim, Heike ED - Rus, Teodor ID - 3249 T2 - Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings TI - Behavioural Subtyping Relations for Object-Oriented Formalisms ER - TY - CONF AU - Wehrheim, Heike ED - S. E. Maibaum, T. ID - 3250 T2 - 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 TI - Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods ER - TY - CONF AU - Wehrheim, Heike ED - F. Smith, Scott ED - L. Talcott, Carolyn ID - 3251 T2 - Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA} TI - Behavioural Subtyping and Property Preservation ER - TY - JOUR AU - Wehrheim, Heike ID - 3252 JF - Electr. Notes Theor. Comput. Sci. TI - Partial order reductions for failures refinement ER - TY - CONF AU - Wehrheim, Heike ED - M. Wing, Jeannette ED - Woodcock, Jim ED - Davies, Jim ID - 3253 T2 - FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II} TI - Data Abstraction for {CSP-OZ} ER - TY - CONF AU - Fischer, Clemens AU - Wehrheim, Heike ED - Araki, Keijiro ED - Galloway, Andy ED - Taguchi, Kenji ID - 3254 T2 - Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999 TI - Model-Checking {CSP-OZ} Specifications with {FDR} ER - TY - CONF AU - Gehrke, Thomas AU - Huhn, Michaela AU - Niebert, Peter AU - Rensink, Arend AU - Wehrheim, Heike ED - K{\"{o}}nig, Hartmut ED - Langend{\"{o}}rfer, Peter ID - 3255 T2 - Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998 TI - A Process Algebra Semantics for {MSC} Including Conditions ER - TY - CONF AU - Gehrke, Thomas AU - Huhn, Michaela AU - Rensink, Arend AU - Wehrheim, Heike ED - Budkowski, Stanislaw ED - R. Cavalli, Ana ED - Najm, Elie ID - 3256 T2 - Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.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 TI - An Algebraic Semantics for Message Sequence Chart Documents ER - TY - CONF AU - Huhn, Michaela AU - Niebert, Peter AU - Wehrheim, Heike ED - Arvind, Vikraman ED - Ramanujam, Ramaswamy ID - 3257 T2 - Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings TI - Partial Order Reductions for Bisimulation Checking ER - TY - CONF AU - Rensink, Arend AU - Wehrheim, Heike ED - Pr{\'{\i}}vara, Igor ED - Ruzicka, Peter ID - 3258 T2 - Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings TI - Dependency-Based Action Refinement ER - TY - CONF AU - Rensink, Arend AU - Wehrheim, Heike ED - Pr{\'{\i}}vara, Igor ED - Ruzicka, Peter ID - 3259 T2 - Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings TI - Dependency-Based Action Refinement ER - TY - THES AU - Wehrheim, Heike ID - 3260 TI - Specifying reactive systems with action dependencies: modelling and hierarchical design ER - TY - JOUR AU - Goltz, Ursula AU - Wehrheim, Heike ID - 3261 IS - 4 JF - Inf. Process. Lett. TI - Modelling Causality via Action Dependencies in Branching Time Semantics ER - TY - CONF AU - Goltz, Ursula AU - Wehrheim, Heike ED - Penczek, Wojciech ED - Szalas, Andrzej ID - 3262 T2 - Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings TI - Causal Testing ER - TY - CONF AU - Rensink, Arend AU - Wehrheim, Heike ED - Jonsson, Bengt ED - Parrow, Joachim ID - 3263 T2 - {CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings TI - Weak Sequential Composition in Process Algebras ER - TY - CONF AU - Wehrheim, Heike ED - Olderog, Ernst{-}R{\"{u}}diger ID - 3264 T2 - Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June, 1994 TI - Parametric Action Refinement ER -