Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
189 Publications
2009 | Conference Paper | LibreCat-ID: 3201
T. Ruhroth, H. Voigt, and H. Wehrheim, “Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models,” in 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3206
I. Brückner, K. Dräger, B. Finkbeiner, and H. Wehrheim, “Slicing Abstractions,” Fundam. Inform., no. 4, pp. 369--392, 2008.
LibreCat
2008 | Conference Paper | LibreCat-ID: 3207
G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations,” in Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3208
J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack,” in Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 3209
B. Metzler, H. Wehrheim, and D. Wonisch, “Decomposition for Compositional Verification,” in Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3214
G. Engels, B. Güldali, C. Soltenborn, and H. Wehrheim, “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts,” in Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3215
G. Engels, C. Soltenborn, and H. Wehrheim, “Analysis of {UML} Activities Using Dynamic Meta Modeling,” 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, 2007, pp. 76--90.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3216
T. Ruhroth and H. Wehrheim, “Refactoring Object-Oriented Specifications with Data and Processes,” 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, 2007, pp. 236--251.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3221
W. Schäfer and H. Wehrheim, “The Challenges of Building Advanced Mechatronic Systems,” in International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}, 2007, pp. 72--84.
LibreCat
| DOI
2006 | Journal Article | LibreCat-ID: 3223
I. Brückner, B. Metzler, and H. Wehrheim, “Optimizing Slicing of Formal Specifications by Deductive Verification,” Nord. J. Comput., no. 1–2, pp. 22--45, 2006.
LibreCat