Möller M, Olderog E-R, Rasch H, Wehrheim H. Integrating a formal method into a software engineering process with UML and Java. Formal Asp Comput. 2008;(2):161--204. doi:10.1007/s00165-007-0042-7
LibreCat: /record/3205
DOI: 10.1007/s00165-007-0042-7

Brückner I, Dräger K, Finkbeiner B, Wehrheim H. Slicing Abstractions. Fundam Inform. 2008;(4):369--392.
LibreCat: /record/3206

Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations. In: Schieferdecker I, Hartman A, eds. Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:94--109. doi:10.1007/978-3-540-69100-6_7
LibreCat: /record/3207
DOI: 10.1007/978-3-540-69100-6_7

Derrick J, Schellhorn G, Wehrheim H. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, eds. Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Lecture Notes in Computer Science. ; 2008:78--95. doi:10.1007/978-3-540-68863-1_6
LibreCat: /record/3208
DOI: 10.1007/978-3-540-68863-1_6

Metzler B, Wehrheim H, Wonisch D. Decomposition for Compositional Verification. In: Liu S, S. E. Maibaum T, Araki K, eds. Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:105--125. doi:10.1007/978-3-540-88194-0_9
LibreCat: /record/3209
DOI: 10.1007/978-3-540-88194-0_9

Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald J, Elisabeth Haxthausen A, Yenig\'22un H, eds. Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:380--394. doi:10.1007/978-3-540-85762-4_26
LibreCat: /record/3210
DOI: 10.1007/978-3-540-85762-4_26

Derrick J, Wehrheim H. On using data abstractions for model checking refinements. Acta Inf. 2007;(1):41--71. doi:10.1007/s00236-007-0042-3
LibreCat: /record/3211
DOI: 10.1007/s00236-007-0042-3

Metzler B, Wehrheim H. Extending a Component Specification Language with Time. Electr Notes Theor Comput Sci. 2007;(2):47--67. doi:10.1016/j.entcs.2006.02.031
LibreCat: /record/3212
DOI: 10.1016/j.entcs.2006.02.031

Estler H.-Christian, Ruhroth T, Wehrheim H. Modelchecking Correctness of Refactorings - Some Experiments. Electr Notes Theor Comput Sci. 2007:3--17. doi:10.1016/j.entcs.2006.08.041
LibreCat: /record/3213
DOI: 10.1016/j.entcs.2006.08.041

Engels G, Güldali B, Soltenborn C, Wehrheim H. Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In: Sch\'22urr A, Nagl M, Z\'22undorf A, eds. Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science. ; 2007:17--31. doi:10.1007/978-3-540-89020-1_2
LibreCat: /record/3214
DOI: 10.1007/978-3-540-89020-1_2

Engels G, Soltenborn C, Wehrheim H. Analysis of UML Activities Using Dynamic Meta Modeling. In: M. Bonsangue M, Broch Johnsen E, eds. Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science. ; 2007:76--90. doi:10.1007/978-3-540-72952-5_5
LibreCat: /record/3215
DOI: 10.1007/978-3-540-72952-5_5

Ruhroth T, Wehrheim H. Refactoring Object-Oriented Specifications with Data and Processes. In: M. Bonsangue M, Broch Johnsen E, eds. Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science. ; 2007:236--251. doi:10.1007/978-3-540-72952-5_15
LibreCat: /record/3216
DOI: 10.1007/978-3-540-72952-5_15

Schäfer W, Wehrheim H. The Challenges of Building Advanced Mechatronic Systems. In: C. Briand L, L. Wolf A, eds. International Conference on Software Engineering, ISCE 2007, Workshop on the Future of Software Engineering, FOSE 2007, May 23-25, 2007, Minneapolis, MN, USA. ; 2007:72--84. doi:10.1109/FOSE.2007.28
LibreCat: /record/3221
DOI: 10.1109/FOSE.2007.28

Derrick J, Schellhorn G, Wehrheim H. Proving Linearizability Via Non-atomic Refinement. In: Davies J, Gibbons J, eds. Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Lecture Notes in Computer Science. ; 2007:195--214. doi:10.1007/978-3-540-73210-5_11
LibreCat: /record/3222
DOI: 10.1007/978-3-540-73210-5_11

Brückner I, Metzler B, Wehrheim H. Optimizing Slicing of Formal Specifications by Deductive Verification. Nord J Comput. 2006;(1-2):22--45.
LibreCat: /record/3223

Derrick J, Wehrheim H. Model Transformations Incorporating Multiple Views. In: Johnson M, Vene V, eds. Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings. Lecture Notes in Computer Science. ; 2006:111--126. doi:10.1007/11784180_11
LibreCat: /record/3224
DOI: 10.1007/11784180_11

Wehrheim H. Incremental Slicing. In: Liu Z, He J, eds. Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings. Lecture Notes in Computer Science. ; 2006:514--528. doi:10.1007/11901433_28
LibreCat: /record/3225
DOI: 10.1007/11901433_28

Gorrieri R, Wehrheim H, 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.; 2006. doi:10.1007/11768869
LibreCat: /record/3226
DOI: 10.1007/11768869

Olderog E-R, Wehrheim H. Specification and (property) inheritance in CSP-OZ. Sci Comput Program. 2005;(1-3):227--257. doi:10.1016/j.scico.2004.05.017
LibreCat: /record/3227
DOI: 10.1016/j.scico.2004.05.017

Wehrheim H. Slicing techniques for verification re-use. Theor Comput Sci. 2005;(3):509--528. doi:10.1016/j.tcs.2005.06.020
LibreCat: /record/3228
DOI: 10.1016/j.tcs.2005.06.020