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.