@articleDerrick_Wehrheim_2010, title=Model transformations across views, DOI=10.1016/j.scico.2009.11.004, number=3, journal=Sci. Comput. Program., author=Derrick, John and Wehrheim, Heike, year=2010, pages=192--210 

@inproceedingsSchäfer_Wehrheim_2010, series=Lecture Notes in Computer Science, title=Model-Driven Development with Mechatronic UML, DOI=10.1007/978-3-642-17322-6_23, booktitle=Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, author=Schäfer, Wilhelm and Wehrheim, Heike, editor=Engels, Gregor and Lewerentz, Claus and Sch\'22afer, Wilhelm and Sch\'22urr, Andy and Westfechtel, BernhardEditors, year=2010, pages=533--554, collection=Lecture Notes in Computer Science 

@inproceedingsTimm_Wehrheim_2010, series=Lecture Notes in Computer Science, title=On Symmetries and Spotlights - Verifying Parameterised Systems, DOI=10.1007/978-3-642-16901-4_35, booktitle=Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings, author=Timm, Nils and Wehrheim, Heike, editor=Song Dong, Jin and Zhu, HuibiaoEditors, year=2010, pages=534--548, collection=Lecture Notes in Computer Science 

@inproceedingsHülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, series=Lecture Notes in Computer Science, title=Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques, DOI=10.1007/978-3-642-16265-7_14, booktitle=Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, author=Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike, editor=M\rquote ery, Dominique and Merz, StephanEditors, year=2010, pages=183--198, collection=Lecture Notes in Computer Science 

@articleWehrheim_Wonisch_2009, title=Compositional CSP Traces Refinement Checking, DOI=10.1016/j.entcs.2009.08.022, number=2, journal=Electr. Notes Theor. Comput. Sci., author=Wehrheim, Heike and Wonisch, Daniel, year=2009, pages=135--151 

@articleRuhroth_Wehrheim_2009, title=Static Class Elements for Object-Z, DOI=10.1016/j.entcs.2009.12.025, journal=Electr. Notes Theor. Comput. Sci., author=Ruhroth, Thomas and Wehrheim, Heike, year=2009, pages=193--205 

@inproceedingsRuhroth_Voigt_Wehrheim_2009, title=Measure, Diagnose, Refactor: A Formal Quality Cycle for Software Models, DOI=10.1109/SEAA.2009.39, booktitle=35th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2009, Patras, Greece, August 27-29, 2009, Proceedings, author=Ruhroth, Thomas and Voigt, Hendrik and Wehrheim, Heike, year=2009, pages=360--367 

@bookLeuschel_Wehrheim_2009, series=Lecture Notes in Computer Science, title=Integrated Formal Methods, 7th International Conference, IFM 2009, D\'22usseldorf, Germany, February 16-19, 2009. Proceedings, DOI=10.1007/978-3-642-00255-7, year=2009, collection=Lecture Notes in Computer Science 

@articleWehrheim_2008, title=Refinement in the Presence of Unknowns, DOI=10.1016/j.entcs.2008.02.023, journal=Electr. Notes Theor. Comput. Sci., author=Wehrheim, Heike, year=2008, pages=255--264 

@articleEstler_Wehrheim_2008, title=Alloy as a Refactoring Checker?, DOI=10.1016/j.entcs.2008.06.015, journal=Electr. Notes Theor. Comput. Sci., author=Estler, H.-Christian and Wehrheim, Heike, year=2008, pages=331--357