Estler, H. .-Christian, &; Wehrheim, H. (2008). Alloy as a Refactoring Checker? Electr. Notes Theor. Comput. Sci., 331--357.https://doi.org/10.1016/j.entcs.2008.06.015 

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

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

Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., &; Wehrheim, H. (2008). From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations. In I. Schieferdecker &; A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings (pp. 94--109).https://doi.org/10.1007/978-3-540-69100-6_7 

Derrick, J., Schellhorn, G., &; Wehrheim, H. (2008). Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In G. Barthe &; F. S. de Boer (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 (pp. 78--95).https://doi.org/10.1007/978-3-540-68863-1_6 

Metzler, B., Wehrheim, H., &; Wonisch, D. (2008). Decomposition for Compositional Verification. In S. Liu, T. S. E. Maibaum, &; K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings (pp. 105--125).https://doi.org/10.1007/978-3-540-88194-0_9 

Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures. In J. S. Fitzgerald, A. Elisabeth Haxthausen, &; H. Yenig\'22un (Eds.), Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (pp. 380--394).https://doi.org/10.1007/978-3-540-85762-4_26 

Becker, J., Beverungen, D., &; Knackstedt, R. (2008). Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research. In Proceedings of the 41th Hawai’i International Conference on System Sciences. Waikoloa, Hawaii.

Becker, J., Beverungen, D., Knackstedt, R., &; Müller, O. (2008). Modeling, Customer-Specific Configuration and Calculation of Value Bundles. In Americas Conference on Information Systems. Toronto, Canada.

Beverungen, D., Kaiser, U., Knackstedt, R., Krings, R., &; Stein, A. (2008). Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus. In Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008) (pp. 735--747). München.