TY - CONF AU - Ruhroth, Thomas AU - Wehrheim, Heike AU - Ziegert, Steffen ID - 3185 T2 - 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011 TI - ReL: {A} Generic Refactoring Language for Specification and Execution ER - TY - CONF AU - Derrick, John AU - Schellhorn, Gerhard AU - Wehrheim, Heike ED - J. Butler, Michael ED - Schulte, Wolfram ID - 3186 T2 - {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings TI - Verifying Linearisability with Potential Linearisation Points ER - TY - CONF AU - Steenken, Dominik AU - Wehrheim, Heike AU - Wonisch, Daniel ED - da Silva Sim{\~{a}}o, Adenilso ED - Morgan, Carroll ID - 3187 T2 - Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers TI - Sound and Complete Abstract Graph Transformation ER - TY - CONF AU - Schneider, Steve AU - Treharne, Helen AU - Wehrheim, Heike ED - Derrick, John ED - A. Boiten, Eerke ED - Reeves, Steve ID - 3188 T2 - Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. TI - A {CSP} Account of Event-B Refinement ER - TY - JOUR AU - Leuschel, Michael AU - Wehrheim, Heike ID - 647 IS - 10 JF - Science of Computer Programming TI - Selected papers on Integrated Formal Methods (iFM09) ER - TY - JOUR AB - Today, the concept of service oriented architectures provides a way of building integrated solutions out of existing services. To this end, services from different providers are composed using advanced orchestration and choreography techniques. However, while this principle allows for greater flexibility at a smaller cost, the use of third party services also includes a risk: Deployed services might not work as claimed by their providers. In this paper, we propose a technique for analyzing the expected reliability of service compositions based on ratings given by (previous) service users. Every service thereby comes with a reputation, and the analysis computes an overall reliability of a service composition from the reputations of its constituent services. The proposed model-driven approach proceeds by translating statechart models of service compositions into input for a probabilistic model checker (PRISM) using state-of-the-art model transformations techniques. The approach has been implemented as an Eclipse plug-in and is fully compliant with UML. AU - Besova, Galina AU - Wehrheim, Heike AU - Wagner, Annika ID - 649 IS - 2 JF - Electronic Notes in Theoretical Computer Science TI - Reputation-based Reliability Prediction of Service Compositions ER - TY - GEN AU - Schremmer, Alexander ID - 658 TI - Function Specification Inference Using Craig Interpolation ER - TY - CONF AU - Schneider, Steve AU - Treharne, Helen AU - Wehrheim, Heike ED - M{\'{e}}ry, Dominique ED - Merz, Stephan ID - 3195 T2 - Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings TI - A {CSP} Approach to Control in Event-B ER - TY - CONF AU - Dräger, Klaus AU - Kupriyanov, Andrey AU - Finkbeiner, Bernd AU - Wehrheim, Heike ED - Esparza, Javier ED - Majumdar, Rupak ID - 3196 T2 - 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 TI - {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems ER - TY - JOUR AU - Steenken, Dominik AU - Wehrheim, Heike AU - Wonisch, Daniel ID - 3198 JF - CoRR TI - Towards {A} Shape Analysis for Graph Transformation Systems ER - TY - JOUR AU - Derrick, John AU - Wehrheim, Heike ID - 3189 IS - 3 JF - Sci. Comput. Program. TI - Model transformations across views ER - TY - CONF AU - Schäfer, Wilhelm AU - Wehrheim, Heike ED - Engels, Gregor ED - Lewerentz, Claus ED - Sch{\"{a}}fer, Wilhelm ED - Sch{\"{u}}rr, Andy ED - Westfechtel, Bernhard ID - 3191 T2 - Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday TI - Model-Driven Development with Mechatronic {UML} ER - TY - CONF AU - Timm, Nils AU - Wehrheim, Heike ED - Song Dong, Jin ED - Zhu, Huibiao ID - 3193 T2 - Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings TI - On Symmetries and Spotlights - Verifying Parameterised Systems ER - TY - CONF AU - Hülsbusch, Mathias AU - König, Barbara AU - Rensink, Arend AU - Semenyak, Maria AU - Soltenborn, Christian AU - Wehrheim, Heike ED - M{\'{e}}ry, Dominique ED - Merz, Stephan ID - 3194 T2 - Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings TI - Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques ER - TY - JOUR AU - Wehrheim, Heike AU - Wonisch, Daniel ID - 3199 IS - 2 JF - Electr. Notes Theor. Comput. Sci. TI - Compositional {CSP} Traces Refinement Checking ER - TY - JOUR AU - Ruhroth, Thomas AU - Wehrheim, Heike ID - 3200 JF - Electr. Notes Theor. Comput. Sci. TI - Static Class Elements for Object-Z ER - TY - CONF AU - Ruhroth, Thomas AU - Voigt, Hendrik AU - Wehrheim, Heike ID - 3201 T2 - 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings TI - Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models ER - TY - GEN ED - Leuschel, Michael ED - Wehrheim, Heike ID - 3202 SN - 978-3-642-00254-0 TI - Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings ER - TY - JOUR AU - Wehrheim, Heike ID - 3203 JF - Electr. Notes Theor. Comput. Sci. TI - Refinement in the Presence of Unknowns ER - TY - JOUR AU - Estler, H.{-}Christian AU - Wehrheim, Heike ID - 3204 JF - Electr. Notes Theor. Comput. Sci. TI - Alloy as a Refactoring Checker? ER -