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.
216 Publications
2010 | Conference Paper | LibreCat-ID: 3193
N. Timm and H. Wehrheim, “On Symmetries and Spotlights - Verifying Parameterised Systems,” in Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, 2010, pp. 534--548.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 3194
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques,” in Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.
LibreCat
| DOI
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