Ruhroth, Thomas, et al. “ReL: A Generic Refactoring Language for Specification and Execution.”10.1109/SEAA.2011.22__37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90, doi:10.1109/SEAA.2011.22.

Derrick, John, et al. “Verifying Linearisability with Potential Linearisation Points.”10.1007/978-3-642-21437-0_25__FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, edited by Michael J. Butler and Wolfram Schulte, 2011, pp. 323--337, doi:10.1007/978-3-642-21437-0_25.

Steenken, Dominik, et al. “Sound and Complete Abstract Graph Transformation.”10.1007/978-3-642-25032-3_7__Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, edited by Adenilso da Silva Sim\'7eao and Carroll Morgan, 2011, pp. 92--107, doi:10.1007/978-3-642-25032-3_7.

Schneider, Steve, et al. “A CSP Account of Event-B Refinement.”10.4204/EPTCS.55.9__Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick et al., 2011, pp. 139--154, doi:10.4204/EPTCS.55.9.

Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).”10.1016/j.scico.2011.01.009__Science of Computer Programming, no. 10, Elsevier, 2011, pp. 835--836, doi:10.1016/j.scico.2011.01.009.

Besova, Galina, et al. “Reputation-Based Reliability Prediction of Service Compositions.”10.1016/j.entcs.2011.11.008__Electronic Notes in Theoretical Computer Science, no. 2, Elsevier, 2011, pp. 3–16, doi:10.1016/j.entcs.2011.11.008.

Schremmer, Alexander. Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011.

Schneider, Steve, et al. “A CSP Approach to Control in Event-B.”10.1007/978-3-642-16265-7_19__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. 260--274, doi:10.1007/978-3-642-16265-7_19.

Dräger, Klaus, et al. “SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.”10.1007/978-3-642-12002-2_22__Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, edited by Javier Esparza and Rupak Majumdar, 2010, pp. 271--274, doi:10.1007/978-3-642-12002-2_22.

Steenken, Dominik, et al. “Towards A Shape Analysis for Graph Transformation Systems.” CoRR, 2010.

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.