@inproceedingsEngels_Soltenborn_Wehrheim_2007, series=Lecture Notes in Computer Science, title=Analysis of UML Activities Using Dynamic Meta Modeling, DOI=10.1007/978-3-540-72952-5_5, booktitle=Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, author=Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike, editor=M. Bonsangue, Marcello and Broch Johnsen, EinarEditors, year=2007, pages=76--90, collection=Lecture Notes in Computer Science 

@inproceedingsRuhroth_Wehrheim_2007, series=Lecture Notes in Computer Science, title=Refactoring Object-Oriented Specifications with Data and Processes, DOI=10.1007/978-3-540-72952-5_15, booktitle=Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, author=Ruhroth, Thomas and Wehrheim, Heike, editor=M. Bonsangue, Marcello and Broch Johnsen, EinarEditors, year=2007, pages=236--251, collection=Lecture Notes in Computer Science 

@inproceedingsSchäfer_Wehrheim_2007, title=The Challenges of Building Advanced Mechatronic Systems, DOI=10.1109/FOSE.2007.28, booktitle=International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA, author=Schäfer, Wilhelm and Wehrheim, Heike, editor=C. Briand, Lionel and L. Wolf, AlexanderEditors, year=2007, pages=72--84 

@inproceedingsDerrick_Schellhorn_Wehrheim_2007, series=Lecture Notes in Computer Science, title=Proving Linearizability Via Non-atomic Refinement, DOI=10.1007/978-3-540-73210-5_11, booktitle=Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, author=Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=Davies, Jim and Gibbons, JeremyEditors, year=2007, pages=195--214, collection=Lecture Notes in Computer Science 

@articleBrückner_Metzler_Wehrheim_2006, title=Optimizing Slicing of Formal Specifications by Deductive Verification, number=1–2, journal=Nord. J. Comput., author=Brückner, Ingo and Metzler, Björn and Wehrheim, Heike, year=2006, pages=22--45 

@inproceedingsDerrick_Wehrheim_2006, series=Lecture Notes in Computer Science, title=Model Transformations Incorporating Multiple Views, DOI=10.1007/11784180_11, booktitle=Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, author=Derrick, John and Wehrheim, Heike, editor=Johnson, Michael and Vene, VarmoEditors, year=2006, pages=111--126, collection=Lecture Notes in Computer Science 

@inproceedingsWehrheim_2006, series=Lecture Notes in Computer Science, title=Incremental Slicing, DOI=10.1007/11901433_28, booktitle=Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, author=Wehrheim, Heike, editor=Liu, Zhiming and He, JifengEditors, year=2006, pages=514--528, collection=Lecture Notes in Computer Science 

@bookGorrieri_Wehrheim_2006, series=Lecture Notes in Computer Science, title=Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings, DOI=10.1007/11768869, year=2006, collection=Lecture Notes in Computer Science 

@articleOlderog_Wehrheim_2005, title=Specification and (property) inheritance in CSP-OZ, DOI=10.1016/j.scico.2004.05.017, number=1–3, journal=Sci. Comput. Program., author=Olderog, Ernst-Rüdiger and Wehrheim, Heike, year=2005, pages=227--257 

@articleWehrheim_2005, title=Slicing techniques for verification re-use, DOI=10.1016/j.tcs.2005.06.020, number=3, journal=Theor. Comput. Sci., author=Wehrheim, Heike, year=2005, pages=509--528