Derrick, John, and Heike Wehrheim. “Model Transformations across Views.”https://doi.org/10.1016/j.scico.2009.11.004__Sci. Comput. Program., no. 3 (2010): 192--210.https://doi.org/10.1016/j.scico.2009.11.004 .
LibreCat: /record/3189
DOI: 10.1016/j.scico.2009.11.004

Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic UML.”https://doi.org/10.1007/978-3-642-17322-6_23__In Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels, Claus Lewerentz, Wilhelm Sch\'22afer, Andy Sch\'22urr, and Bernhard Westfechtel, 533--554. Lecture Notes in Computer Science, 2010.https://doi.org/10.1007/978-3-642-17322-6_23 .
LibreCat: /record/3191
DOI: 10.1007/978-3-642-17322-6_23

Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.”https://doi.org/10.1007/978-3-642-16901-4_35__In Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 534--548. Lecture Notes in Computer Science, 2010.https://doi.org/10.1007/978-3-642-16901-4_35 .
LibreCat: /record/3193
DOI: 10.1007/978-3-642-16901-4_35

Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.”https://doi.org/10.1007/978-3-642-16265-7_14__In Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M\rquote ery and Stephan Merz, 183--198. Lecture Notes in Computer Science, 2010.https://doi.org/10.1007/978-3-642-16265-7_14 .
LibreCat: /record/3194
DOI: 10.1007/978-3-642-16265-7_14

Wehrheim, Heike, and Daniel Wonisch. “Compositional CSP Traces Refinement Checking.”https://doi.org/10.1016/j.entcs.2009.08.022__Electr. Notes Theor. Comput. Sci., no. 2 (2009): 135--151.https://doi.org/10.1016/j.entcs.2009.08.022 .
LibreCat: /record/3199
DOI: 10.1016/j.entcs.2009.08.022

Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.”https://doi.org/10.1016/j.entcs.2009.12.025__Electr. Notes Theor. Comput. Sci., 2009, 193--205.https://doi.org/10.1016/j.entcs.2009.12.025 .
LibreCat: /record/3200
DOI: 10.1016/j.entcs.2009.12.025

Ruhroth, Thomas, Hendrik Voigt, and Heike Wehrheim. “Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models.”https://doi.org/10.1109/SEAA.2009.39__In 35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, 360--367, 2009.https://doi.org/10.1109/SEAA.2009.39 .
LibreCat: /record/3201
DOI: 10.1109/SEAA.2009.39

Leuschel, Michael, and Heike Wehrheim, eds. Integrated Formal Methods, 7th International Conference, IFM 2009, D\'22usseldorf, Germany, February 16-19, 2009. Proceedings. Lecture Notes in Computer Science, 2009.https://doi.org/10.1007/978-3-642-00255-7 .
LibreCat: /record/3202
DOI: 10.1007/978-3-642-00255-7

Wehrheim, Heike. “Refinement in the Presence of Unknowns.”https://doi.org/10.1016/j.entcs.2008.02.023__Electr. Notes Theor. Comput. Sci., 2008, 255--264.https://doi.org/10.1016/j.entcs.2008.02.023 .
LibreCat: /record/3203
DOI: 10.1016/j.entcs.2008.02.023

Estler, H.-Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?”https://doi.org/10.1016/j.entcs.2008.06.015__Electr. Notes Theor. Comput. Sci., 2008, 331--357.https://doi.org/10.1016/j.entcs.2008.06.015 .
LibreCat: /record/3204
DOI: 10.1016/j.entcs.2008.06.015

Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim. “Integrating a Formal Method into a Software Engineering Process with UML and Java.”https://doi.org/10.1007/s00165-007-0042-7__Formal Asp. Comput., no. 2 (2008): 161--204.https://doi.org/10.1007/s00165-007-0042-7 .
LibreCat: /record/3205
DOI: 10.1007/s00165-007-0042-7

Brückner, Ingo, Klaus Dräger, Bernd Finkbeiner, and Heike Wehrheim. “Slicing Abstractions.” Fundam. Inform., no. 4 (2008): 369--392.
LibreCat: /record/3206

Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.”https://doi.org/10.1007/978-3-540-69100-6_7__In Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-69100-6_7 .
LibreCat: /record/3207
DOI: 10.1007/978-3-540-69100-6_7

Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.”https://doi.org/10.1007/978-3-540-68863-1_6__In Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank S. de Boer, 78--95. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-68863-1_6 .
LibreCat: /record/3208
DOI: 10.1007/978-3-540-68863-1_6

Metzler, Björn, Heike Wehrheim, and Daniel Wonisch. “Decomposition for Compositional Verification.”https://doi.org/10.1007/978-3-540-88194-0_9__In Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu, T. S. E. Maibaum, and Keijiro Araki, 105--125. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-88194-0_9 .
LibreCat: /record/3209
DOI: 10.1007/978-3-540-88194-0_9

Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.”https://doi.org/10.1007/978-3-540-85762-4_26__In Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald, Anne Elisabeth Haxthausen, and H\'22usn\'22u Yenig\'22un, 380--394. Lecture Notes in Computer Science, 2008.https://doi.org/10.1007/978-3-540-85762-4_26 .
LibreCat: /record/3210
DOI: 10.1007/978-3-540-85762-4_26

Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.”https://doi.org/10.1007/s00236-007-0042-3__Acta Inf., no. 1 (2007): 41--71.https://doi.org/10.1007/s00236-007-0042-3 .
LibreCat: /record/3211
DOI: 10.1007/s00236-007-0042-3

Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification Language with Time.”https://doi.org/10.1016/j.entcs.2006.02.031__Electr. Notes Theor. Comput. Sci., no. 2 (2007): 47--67.https://doi.org/10.1016/j.entcs.2006.02.031 .
LibreCat: /record/3212
DOI: 10.1016/j.entcs.2006.02.031

Estler, H.-Christian, Thomas Ruhroth, and Heike Wehrheim. “Modelchecking Correctness of Refactorings - Some Experiments.”https://doi.org/10.1016/j.entcs.2006.08.041__Electr. Notes Theor. Comput. Sci., 2007, 3--17.https://doi.org/10.1016/j.entcs.2006.08.041 .
LibreCat: /record/3213
DOI: 10.1016/j.entcs.2006.08.041

Engels, Gregor, Baris Güldali, Christian Soltenborn, and Heike Wehrheim. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.”https://doi.org/10.1007/978-3-540-89020-1_2__In Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, edited by Andy Sch\'22urr, Manfred Nagl, and Albert Z\'22undorf, 17--31. Lecture Notes in Computer Science, 2007.https://doi.org/10.1007/978-3-540-89020-1_2 .
LibreCat: /record/3214
DOI: 10.1007/978-3-540-89020-1_2