Engels, Gregor, Christian Soltenborn, and Heike Wehrheim. “Analysis of UML Activities Using Dynamic Meta Modeling.”https://doi.org/10.1007/978-3-540-72952-5_5__In Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 76--90. Lecture Notes in Computer Science, 2007.https://doi.org/10.1007/978-3-540-72952-5_5 .
LibreCat: /record/3215
DOI: 10.1007/978-3-540-72952-5_5

Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications with Data and Processes.”https://doi.org/10.1007/978-3-540-72952-5_15__In Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 236--251. Lecture Notes in Computer Science, 2007.https://doi.org/10.1007/978-3-540-72952-5_15 .
LibreCat: /record/3216
DOI: 10.1007/978-3-540-72952-5_15

Schäfer, Wilhelm, and Heike Wehrheim. “The Challenges of Building Advanced Mechatronic Systems.”https://doi.org/10.1109/FOSE.2007.28__In International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA, edited by Lionel C. Briand and Alexander L. Wolf, 72--84, 2007.https://doi.org/10.1109/FOSE.2007.28 .
LibreCat: /record/3221
DOI: 10.1109/FOSE.2007.28

Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Proving Linearizability Via Non-Atomic Refinement.”https://doi.org/10.1007/978-3-540-73210-5_11__In Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, edited by Jim Davies and Jeremy Gibbons, 195--214. Lecture Notes in Computer Science, 2007.https://doi.org/10.1007/978-3-540-73210-5_11 .
LibreCat: /record/3222
DOI: 10.1007/978-3-540-73210-5_11

Brückner, Ingo, Björn Metzler, and Heike Wehrheim. “Optimizing Slicing of Formal Specifications by Deductive Verification.” Nord. J. Comput., no. 1–2 (2006): 22--45.
LibreCat: /record/3223

Derrick, John, and Heike Wehrheim. “Model Transformations Incorporating Multiple Views.”https://doi.org/10.1007/11784180_11__In Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, edited by Michael Johnson and Varmo Vene, 111--126. Lecture Notes in Computer Science, 2006.https://doi.org/10.1007/11784180_11 .
LibreCat: /record/3224
DOI: 10.1007/11784180_11

Wehrheim, Heike. “Incremental Slicing.”https://doi.org/10.1007/11901433_28__In Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, edited by Zhiming Liu and Jifeng He, 514--528. Lecture Notes in Computer Science, 2006.https://doi.org/10.1007/11901433_28 .
LibreCat: /record/3225
DOI: 10.1007/11901433_28

Gorrieri, Roberto, and Heike Wehrheim, eds. Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Lecture Notes in Computer Science, 2006.https://doi.org/10.1007/11768869 .
LibreCat: /record/3226
DOI: 10.1007/11768869

Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance in CSP-OZ.”https://doi.org/10.1016/j.scico.2004.05.017__Sci. Comput. Program., no. 1–3 (2005): 227--257.https://doi.org/10.1016/j.scico.2004.05.017 .
LibreCat: /record/3227
DOI: 10.1016/j.scico.2004.05.017

Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.”https://doi.org/10.1016/j.tcs.2005.06.020__Theor. Comput. Sci., no. 3 (2005): 509--528.https://doi.org/10.1016/j.tcs.2005.06.020 .
LibreCat: /record/3228
DOI: 10.1016/j.tcs.2005.06.020