@inproceedings{3185, author = {{Ruhroth, Thomas and Wehrheim, Heike and Ziegert, Steffen}}, booktitle = {{37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011}}, pages = {{83----90}}, title = {{{ReL: {A} Generic Refactoring Language for Specification and Execution}}}, doi = {{10.1109/SEAA.2011.22}}, year = {{2011}}, } @inproceedings{3186, author = {{Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}}, booktitle = {{{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}}, editor = {{J. Butler, Michael and Schulte, Wolfram}}, pages = {{323----337}}, title = {{{Verifying Linearisability with Potential Linearisation Points}}}, doi = {{10.1007/978-3-642-21437-0_25}}, year = {{2011}}, } @inproceedings{3187, author = {{Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}}, booktitle = {{Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers}}, editor = {{da Silva Sim{\~{a}}o, Adenilso and Morgan, Carroll}}, pages = {{92----107}}, title = {{{Sound and Complete Abstract Graph Transformation}}}, doi = {{10.1007/978-3-642-25032-3_7}}, year = {{2011}}, } @inproceedings{3188, author = {{Schneider, Steve and Treharne, Helen and Wehrheim, Heike}}, booktitle = {{Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.}}, editor = {{Derrick, John and A. Boiten, Eerke and Reeves, Steve}}, pages = {{139----154}}, title = {{{A {CSP} Account of Event-B Refinement}}}, doi = {{10.4204/EPTCS.55.9}}, year = {{2011}}, } @article{647, author = {{Leuschel, Michael and Wehrheim, Heike}}, journal = {{Science of Computer Programming}}, number = {{10}}, pages = {{835----836}}, publisher = {{Elsevier}}, title = {{{Selected papers on Integrated Formal Methods (iFM09)}}}, doi = {{10.1016/j.scico.2011.01.009}}, year = {{2011}}, } @article{649, abstract = {{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.}}, author = {{Besova, Galina and Wehrheim, Heike and Wagner, Annika}}, journal = {{Electronic Notes in Theoretical Computer Science}}, number = {{2}}, pages = {{3--16}}, publisher = {{Elsevier}}, title = {{{Reputation-based Reliability Prediction of Service Compositions}}}, doi = {{10.1016/j.entcs.2011.11.008}}, year = {{2011}}, } @misc{658, author = {{Schremmer, Alexander}}, publisher = {{Universität Paderborn}}, title = {{{Function Specification Inference Using Craig Interpolation}}}, year = {{2011}}, } @inproceedings{3195, author = {{Schneider, Steve and Treharne, Helen and Wehrheim, Heike}}, booktitle = {{Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}}, editor = {{M{\'{e}}ry, Dominique and Merz, Stephan}}, pages = {{260----274}}, title = {{{A {CSP} Approach to Control in Event-B}}}, doi = {{10.1007/978-3-642-16265-7_19}}, year = {{2010}}, } @inproceedings{3196, author = {{Dräger, Klaus and Kupriyanov, Andrey and Finkbeiner, Bernd and Wehrheim, Heike}}, booktitle = {{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}}, editor = {{Esparza, Javier and Majumdar, Rupak}}, pages = {{271----274}}, title = {{{{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems}}}, doi = {{10.1007/978-3-642-12002-2_22}}, year = {{2010}}, } @article{3198, author = {{Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}}, journal = {{CoRR}}, title = {{{Towards {A} Shape Analysis for Graph Transformation Systems}}}, year = {{2010}}, } @article{3189, author = {{Derrick, John and Wehrheim, Heike}}, journal = {{Sci. Comput. Program.}}, number = {{3}}, pages = {{192----210}}, title = {{{Model transformations across views}}}, doi = {{10.1016/j.scico.2009.11.004}}, year = {{2010}}, } @inproceedings{3191, author = {{Schäfer, Wilhelm and Wehrheim, Heike}}, booktitle = {{Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday}}, editor = {{Engels, Gregor and Lewerentz, Claus and Sch{\"{a}}fer, Wilhelm and Sch{\"{u}}rr, Andy and Westfechtel, Bernhard}}, pages = {{533----554}}, title = {{{Model-Driven Development with Mechatronic {UML}}}}, doi = {{10.1007/978-3-642-17322-6_23}}, year = {{2010}}, } @inproceedings{3193, author = {{Timm, Nils and Wehrheim, Heike}}, booktitle = {{Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings}}, editor = {{Song Dong, Jin and Zhu, Huibiao}}, pages = {{534----548}}, title = {{{On Symmetries and Spotlights - Verifying Parameterised Systems}}}, doi = {{10.1007/978-3-642-16901-4_35}}, year = {{2010}}, } @inproceedings{3194, author = {{Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}}, booktitle = {{Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}}, editor = {{M{\'{e}}ry, Dominique and Merz, Stephan}}, pages = {{183----198}}, title = {{{Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques}}}, doi = {{10.1007/978-3-642-16265-7_14}}, year = {{2010}}, } @article{3199, author = {{Wehrheim, Heike and Wonisch, Daniel}}, journal = {{Electr. Notes Theor. Comput. Sci.}}, number = {{2}}, pages = {{135----151}}, title = {{{Compositional {CSP} Traces Refinement Checking}}}, doi = {{10.1016/j.entcs.2009.08.022}}, year = {{2009}}, } @article{3200, author = {{Ruhroth, Thomas and Wehrheim, Heike}}, journal = {{Electr. Notes Theor. Comput. Sci.}}, pages = {{193----205}}, title = {{{Static Class Elements for Object-Z}}}, doi = {{10.1016/j.entcs.2009.12.025}}, year = {{2009}}, } @inproceedings{3201, author = {{Ruhroth, Thomas and Voigt, Hendrik and Wehrheim, Heike}}, booktitle = {{35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings}}, pages = {{360----367}}, title = {{{Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models}}}, doi = {{10.1109/SEAA.2009.39}}, year = {{2009}}, } @proceedings{3202, editor = {{Leuschel, Michael and Wehrheim, Heike}}, isbn = {{978-3-642-00254-0}}, title = {{{Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings}}}, doi = {{10.1007/978-3-642-00255-7}}, year = {{2009}}, } @article{3203, author = {{Wehrheim, Heike}}, journal = {{Electr. Notes Theor. Comput. Sci.}}, pages = {{255----264}}, title = {{{Refinement in the Presence of Unknowns}}}, doi = {{10.1016/j.entcs.2008.02.023}}, year = {{2008}}, } @article{3204, author = {{Estler, H.{-}Christian and Wehrheim, Heike}}, journal = {{Electr. Notes Theor. Comput. Sci.}}, pages = {{331----357}}, title = {{{Alloy as a Refactoring Checker?}}}, doi = {{10.1016/j.entcs.2008.06.015}}, year = {{2008}}, }