Derrick, John, and Heike Wehrheim. “Model Transformations across Views.”10.1016/j.scico.2009.11.004__Sci. Comput. Program., no. 3, 2010, pp. 192--210, doi:10.1016/j.scico.2009.11.004.

Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic UML.”10.1007/978-3-642-17322-6_23__Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels et al., 2010, pp. 533--554, doi:10.1007/978-3-642-17322-6_23.

Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.”10.1007/978-3-642-16901-4_35__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, 2010, pp. 534--548, doi:10.1007/978-3-642-16901-4_35.

Hülsbusch, Mathias, et al. “Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques.”10.1007/978-3-642-16265-7_14__Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M\rquote ery and Stephan Merz, 2010, pp. 183--198, doi:10.1007/978-3-642-16265-7_14.

Wehrheim, Heike, and Daniel Wonisch. “Compositional CSP Traces Refinement Checking.”10.1016/j.entcs.2009.08.022__Electr. Notes Theor. Comput. Sci., no. 2, 2009, pp. 135--151, doi:10.1016/j.entcs.2009.08.022.

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

Ruhroth, Thomas, et al. “Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models.”10.1109/SEAA.2009.39__35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367, doi:10.1109/SEAA.2009.39.

Leuschel, Michael, and Heike Wehrheim, editors. Integrated Formal Methods, 7th International Conference, IFM 2009, D\'22usseldorf, Germany, February 16-19, 2009. Proceedings. 2009, doi:10.1007/978-3-642-00255-7.

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

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

Möller, Michael, et al. “Integrating a Formal Method into a Software Engineering Process with UML and Java.”10.1007/s00165-007-0042-7__Formal Asp. Comput., no. 2, 2008, pp. 161--204, doi:10.1007/s00165-007-0042-7.

Brückner, Ingo, et al. “Slicing Abstractions.” Fundam. Inform., no. 4, 2008, pp. 369--392.

Engels, Gregor, et al. “From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations.”10.1007/978-3-540-69100-6_7__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, 2008, pp. 94--109, doi:10.1007/978-3-540-69100-6_7.

Derrick, John, et al. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.”10.1007/978-3-540-68863-1_6__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, 2008, pp. 78--95, doi:10.1007/978-3-540-68863-1_6.

Metzler, Björn, et al. “Decomposition for Compositional Verification.”10.1007/978-3-540-88194-0_9__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 et al., 2008, pp. 105--125, doi:10.1007/978-3-540-88194-0_9.

Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.”10.1007/978-3-540-85762-4_26__Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald et al., 2008, pp. 380--394, doi:10.1007/978-3-540-85762-4_26.

Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.”10.1007/s00236-007-0042-3__Acta Inf., no. 1, 2007, pp. 41--71, doi:10.1007/s00236-007-0042-3.

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

Estler, H. .. Christian, et al. “Modelchecking Correctness of Refactorings - Some Experiments.”10.1016/j.entcs.2006.08.041__Electr. Notes Theor. Comput. Sci., 2007, pp. 3--17, doi:10.1016/j.entcs.2006.08.041.

Engels, Gregor, et al. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.”10.1007/978-3-540-89020-1_2__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 et al., 2007, pp. 17--31, doi:10.1007/978-3-540-89020-1_2.