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
2011 | Journal Article | LibreCat-ID: 649
Besova G, Wehrheim H, Wagner A. Reputation-based Reliability Prediction of Service Compositions. Electronic Notes in Theoretical Computer Science. 2011;(2):3-16. doi:10.1016/j.entcs.2011.11.008
LibreCat
| Files available
| DOI
2010 | Conference Paper | LibreCat-ID: 3195
Schneider S, Treharne H, Wehrheim H. A {CSP} Approach to Control in Event-B. In: M{\’{e}}ry D, Merz S, eds. Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:260--274. doi:10.1007/978-3-642-16265-7_19
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3196
Dräger K, Kupriyanov A, Finkbeiner B, Wehrheim H. {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. In: Esparza J, Majumdar R, eds. Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:271--274. doi:10.1007/978-3-642-12002-2_22
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 3198
Steenken D, Wehrheim H, Wonisch D. Towards {A} Shape Analysis for Graph Transformation Systems. CoRR. 2010.
LibreCat
2010 | Journal Article | LibreCat-ID: 3189
Derrick J, Wehrheim H. Model transformations across views. Sci Comput Program. 2010;(3):192--210. doi:10.1016/j.scico.2009.11.004
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3191
Schäfer W, Wehrheim H. Model-Driven Development with Mechatronic {UML}. In: Engels G, Lewerentz C, Sch{\"{a}}fer W, Sch{\"{u}}rr A, Westfechtel B, eds. Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday. Lecture Notes in Computer Science. ; 2010:533--554. doi:10.1007/978-3-642-17322-6_23
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3193
Timm N, Wehrheim H. On Symmetries and Spotlights - Verifying Parameterised Systems. In: Song Dong J, Zhu H, eds. Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:534--548. doi:10.1007/978-3-642-16901-4_35
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3194
Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques. In: M{\’{e}}ry D, Merz S, eds. Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture Notes in Computer Science. ; 2010:183--198. doi:10.1007/978-3-642-16265-7_14
LibreCat
| DOI
2010 | Report | LibreCat-ID: 8220
Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente; 2010.
LibreCat
2009 | Journal Article | LibreCat-ID: 3199
Wehrheim H, Wonisch D. Compositional {CSP} Traces Refinement Checking. Electr Notes Theor Comput Sci. 2009;(2):135--151. doi:10.1016/j.entcs.2009.08.022
LibreCat
| DOI
2009 | Journal Article | LibreCat-ID: 3200
Ruhroth T, Wehrheim H. Static Class Elements for Object-Z. Electr Notes Theor Comput Sci. 2009:193--205. doi:10.1016/j.entcs.2009.12.025
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 3201
Ruhroth T, Voigt H, Wehrheim H. 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:360--367. doi:10.1109/SEAA.2009.39
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 3000
Schrieb J, Wehrheim H, Wonisch D. Three-Valued Spotlight Abstractions. In: FM 2009: Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg; 2009:106-122. doi:10.1007/978-3-642-05089-3_8
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3203
Wehrheim H. Refinement in the Presence of Unknowns. Electr Notes Theor Comput Sci. 2008:255--264. doi:10.1016/j.entcs.2008.02.023
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3204
Estler H.-}Christian, Wehrheim H. Alloy as a Refactoring Checker? Electr Notes Theor Comput Sci. 2008:331--357. doi:10.1016/j.entcs.2008.06.015
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 3205
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
| DOI
2008 | Journal Article | LibreCat-ID: 3206
Brückner I, Dräger K, Finkbeiner B, Wehrheim H. Slicing Abstractions. Fundam Inform. 2008;(4):369--392.
LibreCat
2008 | Conference Paper | LibreCat-ID: 3207
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
| DOI
2008 | Conference Paper | LibreCat-ID: 3208
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
| DOI
2008 | Conference Paper | LibreCat-ID: 3209
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
| DOI