TY - CONF AU - Engels, Gregor AU - Soltenborn, Christian AU - Wehrheim, Heike ED - M. Bonsangue, Marcello ED - Broch Johnsen, Einar ID - 3215 T2 - Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings TI - Analysis of {UML} Activities Using Dynamic Meta Modeling ER - TY - CONF AU - Ruhroth, Thomas AU - Wehrheim, Heike ED - M. Bonsangue, Marcello ED - Broch Johnsen, Einar ID - 3216 T2 - Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings TI - Refactoring Object-Oriented Specifications with Data and Processes ER - TY - CONF AU - Schäfer, Wilhelm AU - Wehrheim, Heike ED - C. Briand, Lionel ED - L. Wolf, Alexander ID - 3221 T2 - International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA} TI - The Challenges of Building Advanced Mechatronic Systems ER - TY - CONF AU - Derrick, John AU - Schellhorn, Gerhard AU - Wehrheim, Heike ED - Davies, Jim ED - Gibbons, Jeremy ID - 3222 T2 - Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings TI - Proving Linearizability Via Non-atomic Refinement ER - TY - JOUR AU - Brückner, Ingo AU - Metzler, Björn AU - Wehrheim, Heike ID - 3223 IS - 1-2 JF - Nord. J. Comput. TI - Optimizing Slicing of Formal Specifications by Deductive Verification ER - TY - CONF AU - Derrick, John AU - Wehrheim, Heike ED - Johnson, Michael ED - Vene, Varmo ID - 3224 T2 - Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings TI - Model Transformations Incorporating Multiple Views ER - TY - CONF AU - Wehrheim, Heike ED - Liu, Zhiming ED - He, Jifeng ID - 3225 T2 - Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings TI - Incremental Slicing ER - TY - GEN ED - Gorrieri, Roberto ED - Wehrheim, Heike ID - 3226 SN - 3-540-34893-X TI - Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings ER - TY - JOUR AU - Olderog, Ernst-Rüdiger AU - Wehrheim, Heike ID - 3227 IS - 1-3 JF - Sci. Comput. Program. TI - Specification and (property) inheritance in {CSP-OZ} ER - TY - JOUR AU - Wehrheim, Heike ID - 3228 IS - 3 JF - Theor. Comput. Sci. TI - Slicing techniques for verification re-use ER - 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 - 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 -