@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 
LibreCat: /record/3204
DOI: 10.1016/j.entcs.2008.06.015

@articleMöller_Olderog_Rasch_Wehrheim_2008, title=Integrating a formal method into a software engineering process with UML and Java, DOI=10.1007/s00165-007-0042-7, number=2, journal=Formal Asp. Comput., author=Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike, year=2008, pages=161--204 
LibreCat: /record/3205
DOI: 10.1007/s00165-007-0042-7

@articleBrückner_Dräger_Finkbeiner_Wehrheim_2008, title=Slicing Abstractions, number=4, journal=Fundam. Inform., author=Brückner, Ingo and Dräger, Klaus and Finkbeiner, Bernd and Wehrheim, Heike, year=2008, pages=369--392 
LibreCat: /record/3206

@inproceedingsEngels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008, series=Lecture Notes in Computer Science, title=From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations, DOI=10.1007/978-3-540-69100-6_7, booktitle=Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, author=Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike, editor=Schieferdecker, Ina and Hartman, AlanEditors, year=2008, pages=94--109, collection=Lecture Notes in Computer Science 
LibreCat: /record/3207
DOI: 10.1007/978-3-540-69100-6_7

@inproceedingsDerrick_Schellhorn_Wehrheim_2008, series=Lecture Notes in Computer Science, title=Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack, DOI=10.1007/978-3-540-68863-1_6, booktitle=Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, author=Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike, editor=Barthe, Gilles and S. de Boer, FrankEditors, year=2008, pages=78--95, collection=Lecture Notes in Computer Science 
LibreCat: /record/3208
DOI: 10.1007/978-3-540-68863-1_6

@inproceedingsMetzler_Wehrheim_Wonisch_2008, series=Lecture Notes in Computer Science, title=Decomposition for Compositional Verification, DOI=10.1007/978-3-540-88194-0_9, booktitle=Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, author=Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel, editor=Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors, year=2008, pages=105--125, collection=Lecture Notes in Computer Science 
LibreCat: /record/3209
DOI: 10.1007/978-3-540-88194-0_9

@inproceedingsWehrheim_2008, series=Lecture Notes in Computer Science, title=Bounded Model Checking for Partial Kripke Structures, DOI=10.1007/978-3-540-85762-4_26, booktitle=Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, author=Wehrheim, Heike, editor=S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig\'22un, H\'22usn\'22uEditors, year=2008, pages=380--394, collection=Lecture Notes in Computer Science 
LibreCat: /record/3210
DOI: 10.1007/978-3-540-85762-4_26

@inproceedingsBecker_Beverungen_Knackstedt_2008, place=Waikoloa, Hawaii, title=Reference Models and Modeling Languages for Product-Service Systems --- Status-Quo and Perspectives for Further Research, booktitle=Proceedings of the 41th Hawai’i International Conference on System Sciences, author=Becker, Jörg and Beverungen, Daniel and Knackstedt, Ralf, year=2008 
LibreCat: /record/3477

@inproceedingsBecker_Beverungen_Knackstedt_Müller_2008, place=Toronto, Canada, title=Modeling, Customer-Specific Configuration and Calculation of Value Bundles, booktitle=Americas Conference on Information Systems, author=Becker, Jörg and Beverungen, Daniel and Knackstedt, Ralf and Müller, Oliver, year=2008 
LibreCat: /record/3478

@inproceedingsBeverungen_Kaiser_Knackstedt_Krings_Stein_2008, place=München, title=Konfigurative Prozessmodellierung der hybriden Leistungserstellung in Unternehmensnetzwerken des Maschinen- und Anlagenbaus, booktitle=Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI 2008), author=Beverungen, Daniel and Kaiser, Uwe and Knackstedt, Ralf and Krings, Robin and Stein, Armin, year=2008, pages=735--747 
LibreCat: /record/3479