TY - JOUR AU - Derrick, John AU - Wehrheim, Heike ID - 3189 IS - 3 JF - Sci. Comput. Program. TI - Model transformations across views ER - TY - CONF AU - Schäfer, Wilhelm AU - Wehrheim, Heike ED - Engels, Gregor ED - Lewerentz, Claus ED - Sch{\"{a}}fer, Wilhelm ED - Sch{\"{u}}rr, Andy ED - Westfechtel, Bernhard ID - 3191 T2 - Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday TI - Model-Driven Development with Mechatronic {UML} ER - TY - CONF AU - Timm, Nils AU - Wehrheim, Heike ED - Song Dong, Jin ED - Zhu, Huibiao ID - 3193 T2 - Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings TI - On Symmetries and Spotlights - Verifying Parameterised Systems ER - TY - CONF AU - Hülsbusch, Mathias AU - König, Barbara AU - Rensink, Arend AU - Semenyak, Maria AU - Soltenborn, Christian AU - Wehrheim, Heike ED - M{\'{e}}ry, Dominique ED - Merz, Stephan ID - 3194 T2 - Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings TI - Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques ER - TY - JOUR AU - Wehrheim, Heike AU - Wonisch, Daniel ID - 3199 IS - 2 JF - Electr. Notes Theor. Comput. Sci. TI - Compositional {CSP} Traces Refinement Checking ER - TY - JOUR AU - Ruhroth, Thomas AU - Wehrheim, Heike ID - 3200 JF - Electr. Notes Theor. Comput. Sci. TI - Static Class Elements for Object-Z ER - TY - CONF AU - Ruhroth, Thomas AU - Voigt, Hendrik AU - Wehrheim, Heike ID - 3201 T2 - 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings TI - Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models ER - TY - GEN ED - Leuschel, Michael ED - Wehrheim, Heike ID - 3202 SN - 978-3-642-00254-0 TI - Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings ER - TY - JOUR AU - Wehrheim, Heike ID - 3203 JF - Electr. Notes Theor. Comput. Sci. TI - Refinement in the Presence of Unknowns ER - TY - JOUR AU - Estler, H.{-}Christian AU - Wehrheim, Heike ID - 3204 JF - Electr. Notes Theor. Comput. Sci. TI - Alloy as a Refactoring Checker? ER - TY - JOUR AU - Möller, Michael AU - Olderog, Ernst-Rüdiger AU - Rasch, Holger AU - Wehrheim, Heike ID - 3205 IS - 2 JF - Formal Asp. Comput. TI - Integrating a formal method into a software engineering process with {UML} and Java ER - TY - JOUR AU - Brückner, Ingo AU - Dräger, Klaus AU - Finkbeiner, Bernd AU - Wehrheim, Heike ID - 3206 IS - 4 JF - Fundam. Inform. TI - Slicing Abstractions ER - TY - CONF AU - Engels, Gregor AU - Kleppe, Anneke AU - Rensink, Arend AU - Semenyak, Maria AU - Soltenborn, Christian AU - Wehrheim, Heike ED - Schieferdecker, Ina ED - Hartman, Alan ID - 3207 T2 - Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings TI - From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations ER - TY - CONF AU - Derrick, John AU - Schellhorn, Gerhard AU - Wehrheim, Heike ED - Barthe, Gilles ED - S. de Boer, Frank ID - 3208 T2 - Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings TI - Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack ER - TY - CONF AU - Metzler, Björn AU - Wehrheim, Heike AU - Wonisch, Daniel ED - Liu, Shaoying ED - S. E. Maibaum, T. ED - Araki, Keijiro ID - 3209 T2 - Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings TI - Decomposition for Compositional Verification ER - TY - CONF AU - Wehrheim, Heike ED - S. Fitzgerald, John ED - Elisabeth Haxthausen, Anne ED - Yenig{\"{u}}n, H{\"{u}}sn{\"{u}} ID - 3210 T2 - Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings TI - Bounded Model Checking for Partial Kripke Structures ER - TY - JOUR AU - Derrick, John AU - Wehrheim, Heike ID - 3211 IS - 1 JF - Acta Inf. TI - On using data abstractions for model checking refinements ER - TY - JOUR AU - Metzler, Björn AU - Wehrheim, Heike ID - 3212 IS - 2 JF - Electr. Notes Theor. Comput. Sci. TI - Extending a Component Specification Language with Time ER - TY - JOUR AU - Estler, H.{-}Christian AU - Ruhroth, Thomas AU - Wehrheim, Heike ID - 3213 JF - Electr. Notes Theor. Comput. Sci. TI - Modelchecking Correctness of Refactorings - Some Experiments ER - TY - CONF AU - Engels, Gregor AU - Güldali, Baris AU - Soltenborn, Christian AU - Wehrheim, Heike ED - Sch{\"{u}}rr, Andy ED - Nagl, Manfred ED - Z{\"{u}}ndorf, Albert ID - 3214 T2 - Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers TI - Assuring Consistency of Business Process Models and Web Services Using Visual Contracts ER - 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 -