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 -