[{"type":"conference","publication":"{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings","status":"public","editor":[{"first_name":"Michael","last_name":"J. Butler","full_name":"J. Butler, Michael"},{"first_name":"Wolfram","last_name":"Schulte","full_name":"Schulte, Wolfram"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","department":[{"_id":"77"}],"_id":"3186","citation":{"chicago":"Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Linearisability with Potential Linearisation Points.” In <i>{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings</i>, edited by Michael J. Butler and Wolfram Schulte, 323--337. Lecture Notes in Computer Science, 2011. <a href=\"https://doi.org/10.1007/978-3-642-21437-0_25\">https://doi.org/10.1007/978-3-642-21437-0_25</a>.","ieee":"J. Derrick, G. Schellhorn, and H. Wehrheim, “Verifying Linearisability with Potential Linearisation Points,” in <i>{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings</i>, 2011, pp. 323--337.","ama":"Derrick J, Schellhorn G, Wehrheim H. Verifying Linearisability with Potential Linearisation Points. In: J. Butler M, Schulte W, eds. <i>{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings</i>. Lecture Notes in Computer Science. ; 2011:323--337. doi:<a href=\"https://doi.org/10.1007/978-3-642-21437-0_25\">10.1007/978-3-642-21437-0_25</a>","apa":"Derrick, J., Schellhorn, G., &#38; Wehrheim, H. (2011). Verifying Linearisability with Potential Linearisation Points. In M. J. Butler &#38; W. Schulte (Eds.), <i>{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings</i> (pp. 323--337). <a href=\"https://doi.org/10.1007/978-3-642-21437-0_25\">https://doi.org/10.1007/978-3-642-21437-0_25</a>","short":"J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.","bibtex":"@inproceedings{Derrick_Schellhorn_Wehrheim_2011, series={Lecture Notes in Computer Science}, title={Verifying Linearisability with Potential Linearisation Points}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-21437-0_25\">10.1007/978-3-642-21437-0_25</a>}, booktitle={{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={J. Butler, Michael and Schulte, WolframEditors}, year={2011}, pages={323--337}, collection={Lecture Notes in Computer Science} }","mla":"Derrick, John, et al. “Verifying Linearisability with Potential Linearisation Points.” <i>{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings</i>, edited by Michael J. Butler and Wolfram Schulte, 2011, pp. 323--337, doi:<a href=\"https://doi.org/10.1007/978-3-642-21437-0_25\">10.1007/978-3-642-21437-0_25</a>."},"page":"323--337","year":"2011","date_created":"2018-06-13T08:25:07Z","author":[{"first_name":"John","full_name":"Derrick, John","last_name":"Derrick"},{"first_name":"Gerhard","full_name":"Schellhorn, Gerhard","last_name":"Schellhorn"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:03Z","doi":"10.1007/978-3-642-21437-0_25","title":"Verifying Linearisability with Potential Linearisation Points"},{"page":"92--107","citation":{"bibtex":"@inproceedings{Steenken_Wehrheim_Wonisch_2011, series={Lecture Notes in Computer Science}, title={Sound and Complete Abstract Graph Transformation}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-25032-3_7\">10.1007/978-3-642-25032-3_7</a>}, booktitle={Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers}, author={Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}, editor={da Silva Sim{\\~{a}}o, Adenilso and Morgan, CarrollEditors}, year={2011}, pages={92--107}, collection={Lecture Notes in Computer Science} }","short":"D. Steenken, H. Wehrheim, D. Wonisch, in: A. da Silva Sim{\\~{a}}o, C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92--107.","mla":"Steenken, Dominik, et al. “Sound and Complete Abstract Graph Transformation.” <i>Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers</i>, edited by Adenilso da Silva Sim{\\~{a}}o and Carroll Morgan, 2011, pp. 92--107, doi:<a href=\"https://doi.org/10.1007/978-3-642-25032-3_7\">10.1007/978-3-642-25032-3_7</a>.","apa":"Steenken, D., Wehrheim, H., &#38; Wonisch, D. (2011). Sound and Complete Abstract Graph Transformation. In A. da Silva Sim{\\~{a}}o &#38; C. Morgan (Eds.), <i>Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers</i> (pp. 92--107). <a href=\"https://doi.org/10.1007/978-3-642-25032-3_7\">https://doi.org/10.1007/978-3-642-25032-3_7</a>","ieee":"D. Steenken, H. Wehrheim, and D. Wonisch, “Sound and Complete Abstract Graph Transformation,” in <i>Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers</i>, 2011, pp. 92--107.","chicago":"Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Sound and Complete Abstract Graph Transformation.” In <i>Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers</i>, edited by Adenilso da Silva Sim{\\~{a}}o and Carroll Morgan, 92--107. Lecture Notes in Computer Science, 2011. <a href=\"https://doi.org/10.1007/978-3-642-25032-3_7\">https://doi.org/10.1007/978-3-642-25032-3_7</a>.","ama":"Steenken D, Wehrheim H, Wonisch D. Sound and Complete Abstract Graph Transformation. In: da Silva Sim{\\~{a}}o A, Morgan C, eds. <i>Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers</i>. Lecture Notes in Computer Science. ; 2011:92--107. doi:<a href=\"https://doi.org/10.1007/978-3-642-25032-3_7\">10.1007/978-3-642-25032-3_7</a>"},"year":"2011","doi":"10.1007/978-3-642-25032-3_7","title":"Sound and Complete Abstract Graph Transformation","author":[{"first_name":"Dominik","last_name":"Steenken","full_name":"Steenken, Dominik"},{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"},{"full_name":"Wonisch, Daniel","last_name":"Wonisch","first_name":"Daniel"}],"date_created":"2018-06-13T08:32:12Z","date_updated":"2022-01-06T06:59:03Z","status":"public","editor":[{"last_name":"da Silva Sim{\\~{a}}o","full_name":"da Silva Sim{\\~{a}}o, Adenilso","first_name":"Adenilso"},{"first_name":"Carroll","last_name":"Morgan","full_name":"Morgan, Carroll"}],"publication":"Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers","type":"conference","department":[{"_id":"77"}],"user_id":"29719","series_title":"Lecture Notes in Computer Science","_id":"3187"},{"doi":"10.4204/EPTCS.55.9","title":"A {CSP} Account of Event-B Refinement","author":[{"last_name":"Schneider","full_name":"Schneider, Steve","first_name":"Steve"},{"last_name":"Treharne","full_name":"Treharne, Helen","first_name":"Helen"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_created":"2018-06-13T08:43:19Z","date_updated":"2022-01-06T06:59:03Z","page":"139--154","citation":{"mla":"Schneider, Steve, et al. “A {CSP} Account of Event-B Refinement.” <i>Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.</i>, edited by John Derrick et al., 2011, pp. 139--154, doi:<a href=\"https://doi.org/10.4204/EPTCS.55.9\">10.4204/EPTCS.55.9</a>.","bibtex":"@inproceedings{Schneider_Treharne_Wehrheim_2011, series={{EPTCS}}, title={A {CSP} Account of Event-B Refinement}, DOI={<a href=\"https://doi.org/10.4204/EPTCS.55.9\">10.4204/EPTCS.55.9</a>}, booktitle={Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, editor={Derrick, John and A. Boiten, Eerke and Reeves, SteveEditors}, year={2011}, pages={139--154}, collection={{EPTCS}} }","short":"S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.","apa":"Schneider, S., Treharne, H., &#38; Wehrheim, H. (2011). A {CSP} Account of Event-B Refinement. In J. Derrick, E. A. Boiten, &#38; S. Reeves (Eds.), <i>Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.</i> (pp. 139--154). <a href=\"https://doi.org/10.4204/EPTCS.55.9\">https://doi.org/10.4204/EPTCS.55.9</a>","chicago":"Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Account of Event-B Refinement.” In <i>Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.</i>, edited by John Derrick, Eerke A. Boiten, and Steve Reeves, 139--154. {EPTCS}, 2011. <a href=\"https://doi.org/10.4204/EPTCS.55.9\">https://doi.org/10.4204/EPTCS.55.9</a>.","ieee":"S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Account of Event-B Refinement,” in <i>Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.</i>, 2011, pp. 139--154.","ama":"Schneider S, Treharne H, Wehrheim H. A {CSP} Account of Event-B Refinement. In: Derrick J, A. Boiten E, Reeves S, eds. <i>Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.</i> {EPTCS}. ; 2011:139--154. doi:<a href=\"https://doi.org/10.4204/EPTCS.55.9\">10.4204/EPTCS.55.9</a>"},"year":"2011","department":[{"_id":"77"}],"user_id":"29719","series_title":"{EPTCS}","_id":"3188","status":"public","editor":[{"last_name":"Derrick","full_name":"Derrick, John","first_name":"John"},{"full_name":"A. Boiten, Eerke","last_name":"A. Boiten","first_name":"Eerke"},{"full_name":"Reeves, Steve","last_name":"Reeves","first_name":"Steve"}],"publication":"Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.","type":"conference"},{"year":"2011","issue":"10","title":"Selected papers on Integrated Formal Methods (iFM09)","date_created":"2017-10-17T12:42:58Z","publisher":"Elsevier","file":[{"access_level":"closed","file_id":"1226","file_name":"647-LeuschelWehrheim.pdf","file_size":139105,"date_created":"2018-03-14T13:56:48Z","creator":"florida","date_updated":"2018-03-14T13:56:48Z","relation":"main_file","success":1,"content_type":"application/pdf"}],"publication":"Science of Computer Programming","language":[{"iso":"eng"}],"ddc":["040"],"citation":{"ama":"Leuschel M, Wehrheim H. Selected papers on Integrated Formal Methods (iFM09). <i>Science of Computer Programming</i>. 2011;(10):835--836. doi:<a href=\"https://doi.org/10.1016/j.scico.2011.01.009\">10.1016/j.scico.2011.01.009</a>","chicago":"Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).” <i>Science of Computer Programming</i>, no. 10 (2011): 835--836. <a href=\"https://doi.org/10.1016/j.scico.2011.01.009\">https://doi.org/10.1016/j.scico.2011.01.009</a>.","ieee":"M. Leuschel and H. Wehrheim, “Selected papers on Integrated Formal Methods (iFM09),” <i>Science of Computer Programming</i>, no. 10, pp. 835--836, 2011.","bibtex":"@article{Leuschel_Wehrheim_2011, title={Selected papers on Integrated Formal Methods (iFM09)}, DOI={<a href=\"https://doi.org/10.1016/j.scico.2011.01.009\">10.1016/j.scico.2011.01.009</a>}, number={10}, journal={Science of Computer Programming}, publisher={Elsevier}, author={Leuschel, Michael and Wehrheim, Heike}, year={2011}, pages={835--836} }","mla":"Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).” <i>Science of Computer Programming</i>, no. 10, Elsevier, 2011, pp. 835--836, doi:<a href=\"https://doi.org/10.1016/j.scico.2011.01.009\">10.1016/j.scico.2011.01.009</a>.","short":"M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.","apa":"Leuschel, M., &#38; Wehrheim, H. (2011). Selected papers on Integrated Formal Methods (iFM09). <i>Science of Computer Programming</i>, (10), 835--836. <a href=\"https://doi.org/10.1016/j.scico.2011.01.009\">https://doi.org/10.1016/j.scico.2011.01.009</a>"},"page":"835--836","has_accepted_license":"1","doi":"10.1016/j.scico.2011.01.009","author":[{"first_name":"Michael","full_name":"Leuschel, Michael","last_name":"Leuschel"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"date_updated":"2022-01-06T07:03:06Z","status":"public","type":"journal_article","file_date_updated":"2018-03-14T13:56:48Z","user_id":"477","department":[{"_id":"77"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"_id":"12","name":"SFB 901 - Subproject B4"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"647"},{"issue":"2","has_accepted_license":"1","page":"3-16","citation":{"chicago":"Besova, Galina, Heike Wehrheim, and Annika Wagner. “Reputation-Based Reliability Prediction of Service Compositions.” <i>Electronic Notes in Theoretical Computer Science</i>, no. 2 (2011): 3–16. <a href=\"https://doi.org/10.1016/j.entcs.2011.11.008\">https://doi.org/10.1016/j.entcs.2011.11.008</a>.","ieee":"G. Besova, H. Wehrheim, and A. Wagner, “Reputation-based Reliability Prediction of Service Compositions,” <i>Electronic Notes in Theoretical Computer Science</i>, no. 2, pp. 3–16, 2011.","ama":"Besova G, Wehrheim H, Wagner A. Reputation-based Reliability Prediction of Service Compositions. <i>Electronic Notes in Theoretical Computer Science</i>. 2011;(2):3-16. doi:<a href=\"https://doi.org/10.1016/j.entcs.2011.11.008\">10.1016/j.entcs.2011.11.008</a>","apa":"Besova, G., Wehrheim, H., &#38; Wagner, A. (2011). Reputation-based Reliability Prediction of Service Compositions. <i>Electronic Notes in Theoretical Computer Science</i>, (2), 3–16. <a href=\"https://doi.org/10.1016/j.entcs.2011.11.008\">https://doi.org/10.1016/j.entcs.2011.11.008</a>","bibtex":"@article{Besova_Wehrheim_Wagner_2011, title={Reputation-based Reliability Prediction of Service Compositions}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2011.11.008\">10.1016/j.entcs.2011.11.008</a>}, number={2}, journal={Electronic Notes in Theoretical Computer Science}, publisher={Elsevier}, author={Besova, Galina and Wehrheim, Heike and Wagner, Annika}, year={2011}, pages={3–16} }","mla":"Besova, Galina, et al. “Reputation-Based Reliability Prediction of Service Compositions.” <i>Electronic Notes in Theoretical Computer Science</i>, no. 2, Elsevier, 2011, pp. 3–16, doi:<a href=\"https://doi.org/10.1016/j.entcs.2011.11.008\">10.1016/j.entcs.2011.11.008</a>.","short":"G. Besova, H. Wehrheim, A. Wagner, Electronic Notes in Theoretical Computer Science (2011) 3–16."},"year":"2011","date_created":"2017-10-17T12:42:58Z","author":[{"first_name":"Galina","last_name":"Besova","full_name":"Besova, Galina"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"},{"first_name":"Annika","full_name":"Wagner, Annika","last_name":"Wagner"}],"publisher":"Elsevier","date_updated":"2022-01-06T07:03:07Z","doi":"10.1016/j.entcs.2011.11.008","title":"Reputation-based Reliability Prediction of Service Compositions","publication":"Electronic Notes in Theoretical Computer Science","type":"journal_article","status":"public","file":[{"success":1,"relation":"main_file","content_type":"application/pdf","file_size":534727,"access_level":"closed","file_name":"649-ETAPS2011-Besova-Wehrheim-Wagner_01.pdf","file_id":"1225","date_updated":"2018-03-14T13:55:38Z","creator":"florida","date_created":"2018-03-14T13:55:38Z"}],"abstract":[{"lang":"eng","text":"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."}],"department":[{"_id":"77"}],"user_id":"477","_id":"649","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"_id":"3","name":"SFB 901 - Project Area B"}],"language":[{"iso":"eng"}],"file_date_updated":"2018-03-14T13:55:38Z","ddc":["040"]},{"title":"A {CSP} Approach to Control in Event-B","doi":"10.1007/978-3-642-16265-7_19","date_updated":"2022-01-06T06:59:04Z","author":[{"full_name":"Schneider, Steve","last_name":"Schneider","first_name":"Steve"},{"first_name":"Helen","full_name":"Treharne, Helen","last_name":"Treharne"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"date_created":"2018-06-13T09:20:53Z","year":"2010","citation":{"bibtex":"@inproceedings{Schneider_Treharne_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={A {CSP} Approach to Control in Event-B}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">10.1007/978-3-642-16265-7_19</a>}, booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, editor={M{\\’{e}}ry, Dominique and Merz, StephanEditors}, year={2010}, pages={260--274}, collection={Lecture Notes in Computer Science} }","short":"S. Schneider, H. Treharne, H. Wehrheim, in: D. M{\\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.","mla":"Schneider, Steve, et al. “A {CSP} Approach to Control in Event-B.” <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited by Dominique M{\\’{e}}ry and Stephan Merz, 2010, pp. 260--274, doi:<a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">10.1007/978-3-642-16265-7_19</a>.","apa":"Schneider, S., Treharne, H., &#38; Wehrheim, H. (2010). A {CSP} Approach to Control in Event-B. In D. M{\\’{e}}ry &#38; S. Merz (Eds.), <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i> (pp. 260--274). <a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">https://doi.org/10.1007/978-3-642-16265-7_19</a>","chicago":"Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Approach to Control in Event-B.” In <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited by Dominique M{\\’{e}}ry and Stephan Merz, 260--274. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">https://doi.org/10.1007/978-3-642-16265-7_19</a>.","ieee":"S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Approach to Control in Event-B,” in <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, 2010, pp. 260--274.","ama":"Schneider S, Treharne H, Wehrheim H. A {CSP} Approach to Control in Event-B. In: M{\\’{e}}ry D, Merz S, eds. <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>. Lecture Notes in Computer Science. ; 2010:260--274. doi:<a href=\"https://doi.org/10.1007/978-3-642-16265-7_19\">10.1007/978-3-642-16265-7_19</a>"},"page":"260--274","_id":"3195","user_id":"29719","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}],"editor":[{"full_name":"M{\\'{e}}ry, Dominique","last_name":"M{\\'{e}}ry","first_name":"Dominique"},{"first_name":"Stephan","last_name":"Merz","full_name":"Merz, Stephan"}],"status":"public","type":"conference","publication":"Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings"},{"type":"conference","publication":"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","status":"public","editor":[{"first_name":"Javier","last_name":"Esparza","full_name":"Esparza, Javier"},{"full_name":"Majumdar, Rupak","last_name":"Majumdar","first_name":"Rupak"}],"user_id":"29719","series_title":"Lecture Notes in Computer Science","department":[{"_id":"77"}],"_id":"3196","citation":{"ama":"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. <i>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</i>. Lecture Notes in Computer Science. ; 2010:271--274. doi:<a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">10.1007/978-3-642-12002-2_22</a>","ieee":"K. Dräger, A. Kupriyanov, B. Finkbeiner, and H. Wehrheim, “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems,” in <i>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</i>, 2010, pp. 271--274.","chicago":"Dräger, Klaus, Andrey Kupriyanov, Bernd Finkbeiner, and Heike Wehrheim. “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.” In <i>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</i>, edited by Javier Esparza and Rupak Majumdar, 271--274. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">https://doi.org/10.1007/978-3-642-12002-2_22</a>.","apa":"Dräger, K., Kupriyanov, A., Finkbeiner, B., &#38; Wehrheim, H. (2010). {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. In J. Esparza &#38; R. Majumdar (Eds.), <i>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</i> (pp. 271--274). <a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">https://doi.org/10.1007/978-3-642-12002-2_22</a>","mla":"Dräger, Klaus, et al. “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.” <i>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</i>, edited by Javier Esparza and Rupak Majumdar, 2010, pp. 271--274, doi:<a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">10.1007/978-3-642-12002-2_22</a>.","bibtex":"@inproceedings{Dräger_Kupriyanov_Finkbeiner_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-12002-2_22\">10.1007/978-3-642-12002-2_22</a>}, 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}, author={Dräger, Klaus and Kupriyanov, Andrey and Finkbeiner, Bernd and Wehrheim, Heike}, editor={Esparza, Javier and Majumdar, RupakEditors}, year={2010}, pages={271--274}, collection={Lecture Notes in Computer Science} }","short":"K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, in: J. Esparza, R. Majumdar (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, 2010, pp. 271--274."},"page":"271--274","year":"2010","date_created":"2018-06-13T09:22:07Z","author":[{"first_name":"Klaus","last_name":"Dräger","full_name":"Dräger, Klaus"},{"last_name":"Kupriyanov","full_name":"Kupriyanov, Andrey","first_name":"Andrey"},{"first_name":"Bernd","last_name":"Finkbeiner","full_name":"Finkbeiner, Bernd"},{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"}],"date_updated":"2022-01-06T06:59:04Z","doi":"10.1007/978-3-642-12002-2_22","title":"{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems"},{"user_id":"29719","date_created":"2018-06-13T09:23:16Z","author":[{"first_name":"Dominik","last_name":"Steenken","full_name":"Steenken, Dominik"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"},{"last_name":"Wonisch","full_name":"Wonisch, Daniel","first_name":"Daniel"}],"department":[{"_id":"77"}],"date_updated":"2022-01-06T06:59:04Z","_id":"3198","title":"Towards {A} Shape Analysis for Graph Transformation Systems","type":"journal_article","publication":"CoRR","citation":{"ama":"Steenken D, Wehrheim H, Wonisch D. Towards {A} Shape Analysis for Graph Transformation Systems. <i>CoRR</i>. 2010.","ieee":"D. Steenken, H. Wehrheim, and D. Wonisch, “Towards {A} Shape Analysis for Graph Transformation Systems,” <i>CoRR</i>, 2010.","chicago":"Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Towards {A} Shape Analysis for Graph Transformation Systems.” <i>CoRR</i>, 2010.","short":"D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).","mla":"Steenken, Dominik, et al. “Towards {A} Shape Analysis for Graph Transformation Systems.” <i>CoRR</i>, 2010.","bibtex":"@article{Steenken_Wehrheim_Wonisch_2010, title={Towards {A} Shape Analysis for Graph Transformation Systems}, journal={CoRR}, author={Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}, year={2010} }","apa":"Steenken, D., Wehrheim, H., &#38; Wonisch, D. (2010). Towards {A} Shape Analysis for Graph Transformation Systems. <i>CoRR</i>."},"status":"public","year":"2010"},{"status":"public","type":"journal_article","publication":"Sci. Comput. Program.","user_id":"29719","department":[{"_id":"77"}],"_id":"3189","citation":{"chicago":"Derrick, John, and Heike Wehrheim. “Model Transformations across Views.” <i>Sci. Comput. Program.</i>, no. 3 (2010): 192--210. <a href=\"https://doi.org/10.1016/j.scico.2009.11.004\">https://doi.org/10.1016/j.scico.2009.11.004</a>.","ieee":"J. Derrick and H. Wehrheim, “Model transformations across views,” <i>Sci. Comput. Program.</i>, no. 3, pp. 192--210, 2010.","ama":"Derrick J, Wehrheim H. Model transformations across views. <i>Sci Comput Program</i>. 2010;(3):192--210. doi:<a href=\"https://doi.org/10.1016/j.scico.2009.11.004\">10.1016/j.scico.2009.11.004</a>","short":"J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.","bibtex":"@article{Derrick_Wehrheim_2010, title={Model transformations across views}, DOI={<a href=\"https://doi.org/10.1016/j.scico.2009.11.004\">10.1016/j.scico.2009.11.004</a>}, number={3}, journal={Sci. Comput. Program.}, author={Derrick, John and Wehrheim, Heike}, year={2010}, pages={192--210} }","mla":"Derrick, John, and Heike Wehrheim. “Model Transformations across Views.” <i>Sci. Comput. Program.</i>, no. 3, 2010, pp. 192--210, doi:<a href=\"https://doi.org/10.1016/j.scico.2009.11.004\">10.1016/j.scico.2009.11.004</a>.","apa":"Derrick, J., &#38; Wehrheim, H. (2010). Model transformations across views. <i>Sci. Comput. Program.</i>, (3), 192--210. <a href=\"https://doi.org/10.1016/j.scico.2009.11.004\">https://doi.org/10.1016/j.scico.2009.11.004</a>"},"page":"192--210","year":"2010","issue":"3","doi":"10.1016/j.scico.2009.11.004","title":"Model transformations across views","author":[{"last_name":"Derrick","full_name":"Derrick, John","first_name":"John"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_created":"2018-06-13T08:44:32Z","date_updated":"2022-01-06T06:59:03Z"},{"status":"public","editor":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"first_name":"Claus","full_name":"Lewerentz, Claus","last_name":"Lewerentz"},{"first_name":"Wilhelm","last_name":"Sch{\\\"{a}}fer","full_name":"Sch{\\\"{a}}fer, Wilhelm"},{"last_name":"Sch{\\\"{u}}rr","full_name":"Sch{\\\"{u}}rr, Andy","first_name":"Andy"},{"first_name":"Bernhard","full_name":"Westfechtel, Bernhard","last_name":"Westfechtel"}],"type":"conference","publication":"Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday","series_title":"Lecture Notes in Computer Science","user_id":"29719","department":[{"_id":"77"}],"_id":"3191","citation":{"apa":"Schäfer, W., &#38; Wehrheim, H. (2010). Model-Driven Development with Mechatronic {UML}. In G. Engels, C. Lewerentz, W. Sch{\\\"{a}}fer, A. Sch{\\\"{u}}rr, &#38; B. Westfechtel (Eds.), <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday</i> (pp. 533--554). <a href=\"https://doi.org/10.1007/978-3-642-17322-6_23\">https://doi.org/10.1007/978-3-642-17322-6_23</a>","bibtex":"@inproceedings{Schäfer_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={Model-Driven Development with Mechatronic {UML}}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-17322-6_23\">10.1007/978-3-642-17322-6_23</a>}, booktitle={Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday}, author={Schäfer, Wilhelm and Wehrheim, Heike}, editor={Engels, Gregor and Lewerentz, Claus and Sch{\\\"{a}}fer, Wilhelm and Sch{\\\"{u}}rr, Andy and Westfechtel, BernhardEditors}, year={2010}, pages={533--554}, collection={Lecture Notes in Computer Science} }","mla":"Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic {UML}.” <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday</i>, edited by Gregor Engels et al., 2010, pp. 533--554, doi:<a href=\"https://doi.org/10.1007/978-3-642-17322-6_23\">10.1007/978-3-642-17322-6_23</a>.","short":"W. Schäfer, H. Wehrheim, in: G. Engels, C. Lewerentz, W. Sch{\\\"{a}}fer, A. Sch{\\\"{u}}rr, B. Westfechtel (Eds.), Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, 2010, pp. 533--554.","ama":"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. <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday</i>. Lecture Notes in Computer Science. ; 2010:533--554. doi:<a href=\"https://doi.org/10.1007/978-3-642-17322-6_23\">10.1007/978-3-642-17322-6_23</a>","chicago":"Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic {UML}.” In <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday</i>, edited by Gregor Engels, Claus Lewerentz, Wilhelm Sch{\\\"{a}}fer, Andy Sch{\\\"{u}}rr, and Bernhard Westfechtel, 533--554. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-17322-6_23\">https://doi.org/10.1007/978-3-642-17322-6_23</a>.","ieee":"W. Schäfer and H. Wehrheim, “Model-Driven Development with Mechatronic {UML},” in <i>Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday</i>, 2010, pp. 533--554."},"page":"533--554","year":"2010","doi":"10.1007/978-3-642-17322-6_23","title":"Model-Driven Development with Mechatronic {UML}","author":[{"first_name":"Wilhelm","full_name":"Schäfer, Wilhelm","last_name":"Schäfer"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"date_created":"2018-06-13T09:10:56Z","date_updated":"2022-01-06T06:59:04Z"},{"type":"conference","publication":"Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings","status":"public","editor":[{"first_name":"Jin","last_name":"Song Dong","full_name":"Song Dong, Jin"},{"full_name":"Zhu, Huibiao","last_name":"Zhu","first_name":"Huibiao"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","department":[{"_id":"77"}],"_id":"3193","citation":{"ieee":"N. Timm and H. Wehrheim, “On Symmetries and Spotlights - Verifying Parameterised Systems,” in <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i>, 2010, pp. 534--548.","chicago":"Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.” In <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i>, edited by Jin Song Dong and Huibiao Zhu, 534--548. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">https://doi.org/10.1007/978-3-642-16901-4_35</a>.","ama":"Timm N, Wehrheim H. On Symmetries and Spotlights - Verifying Parameterised Systems. In: Song Dong J, Zhu H, eds. <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i>. Lecture Notes in Computer Science. ; 2010:534--548. doi:<a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">10.1007/978-3-642-16901-4_35</a>","mla":"Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.” <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i>, edited by Jin Song Dong and Huibiao Zhu, 2010, pp. 534--548, doi:<a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">10.1007/978-3-642-16901-4_35</a>.","short":"N. Timm, H. Wehrheim, in: J. Song Dong, H. Zhu (Eds.), 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.","bibtex":"@inproceedings{Timm_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={On Symmetries and Spotlights - Verifying Parameterised Systems}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">10.1007/978-3-642-16901-4_35</a>}, booktitle={Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings}, author={Timm, Nils and Wehrheim, Heike}, editor={Song Dong, Jin and Zhu, HuibiaoEditors}, year={2010}, pages={534--548}, collection={Lecture Notes in Computer Science} }","apa":"Timm, N., &#38; Wehrheim, H. (2010). On Symmetries and Spotlights - Verifying Parameterised Systems. In J. Song Dong &#38; H. Zhu (Eds.), <i>Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings</i> (pp. 534--548). <a href=\"https://doi.org/10.1007/978-3-642-16901-4_35\">https://doi.org/10.1007/978-3-642-16901-4_35</a>"},"page":"534--548","year":"2010","author":[{"first_name":"Nils","last_name":"Timm","full_name":"Timm, Nils"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"date_created":"2018-06-13T09:12:28Z","date_updated":"2022-01-06T06:59:04Z","doi":"10.1007/978-3-642-16901-4_35","title":"On Symmetries and Spotlights - Verifying Parameterised Systems"},{"status":"public","editor":[{"last_name":"M{\\'{e}}ry","full_name":"M{\\'{e}}ry, Dominique","first_name":"Dominique"},{"first_name":"Stephan","last_name":"Merz","full_name":"Merz, Stephan"}],"publication":"Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"14955","_id":"3194","page":"183--198","citation":{"ama":"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. <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>. Lecture Notes in Computer Science. ; 2010:183--198. doi:<a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">10.1007/978-3-642-16265-7_14</a>","chicago":"Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.” In <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited by Dominique M{\\’{e}}ry and Stephan Merz, 183--198. Lecture Notes in Computer Science, 2010. <a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">https://doi.org/10.1007/978-3-642-16265-7_14</a>.","ieee":"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 <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, 2010, pp. 183--198.","mla":"Hülsbusch, Mathias, et al. “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.” <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i>, edited by Dominique M{\\’{e}}ry and Stephan Merz, 2010, pp. 183--198, doi:<a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">10.1007/978-3-642-16265-7_14</a>.","bibtex":"@inproceedings{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">10.1007/978-3-642-16265-7_14</a>}, booktitle={Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings}, author={Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={M{\\’{e}}ry, Dominique and Merz, StephanEditors}, year={2010}, pages={183--198}, collection={Lecture Notes in Computer Science} }","short":"M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: D. M{\\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.","apa":"Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., &#38; Wehrheim, H. (2010). Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques. In D. M{\\’{e}}ry &#38; S. Merz (Eds.), <i>Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings</i> (pp. 183--198). <a href=\"https://doi.org/10.1007/978-3-642-16265-7_14\">https://doi.org/10.1007/978-3-642-16265-7_14</a>"},"year":"2010","doi":"10.1007/978-3-642-16265-7_14","title":"Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques","author":[{"first_name":"Mathias","last_name":"Hülsbusch","full_name":"Hülsbusch, Mathias"},{"first_name":"Barbara","full_name":"König, Barbara","last_name":"König"},{"first_name":"Arend","last_name":"Rensink","full_name":"Rensink, Arend"},{"first_name":"Maria","full_name":"Semenyak, Maria","last_name":"Semenyak"},{"first_name":"Christian","orcid":"0000-0002-0342-8227","last_name":"Soltenborn","full_name":"Soltenborn, Christian","id":"1737"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_created":"2018-06-13T09:19:33Z","date_updated":"2022-01-06T06:59:04Z"},{"language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"14955","_id":"8220","status":"public","type":"report","title":"Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques","author":[{"first_name":"Mathias","last_name":"Hülsbusch","full_name":"Hülsbusch, Mathias"},{"full_name":"König, Barbara","last_name":"König","first_name":"Barbara"},{"last_name":"Rensink","full_name":"Rensink, Arend","first_name":"Arend"},{"last_name":"Semenyak","full_name":"Semenyak, Maria","first_name":"Maria"},{"first_name":"Christian","orcid":"0000-0002-0342-8227","last_name":"Soltenborn","full_name":"Soltenborn, Christian","id":"1737"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"date_created":"2019-03-03T16:13:20Z","publisher":"Centre for Telematics and Information Technology of the University of Twente","date_updated":"2022-01-06T07:03:52Z","citation":{"apa":"Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., &#38; Wehrheim, H. (2010). <i>Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques</i>. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente.","mla":"Hülsbusch, Mathias, et al. <i>Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques</i>. Centre for Telematics and Information Technology of the University of Twente, 2010.","short":"M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques, Centre for Telematics and Information Technology of the University of Twente, Enschede, The Netherlands, 2010.","bibtex":"@book{Hülsbusch_König_Rensink_Semenyak_Soltenborn_Wehrheim_2010, place={Enschede, The Netherlands}, title={Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques}, publisher={Centre for Telematics and Information Technology of the University of Twente}, author={Hülsbusch, Mathias and König, Barbara and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, year={2010} }","ama":"Hülsbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. <i>Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques</i>. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente; 2010.","ieee":"M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, <i>Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques</i>. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente, 2010.","chicago":"Hülsbusch, Mathias, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. <i>Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques</i>. Enschede, The Netherlands: Centre for Telematics and Information Technology of the University of Twente, 2010."},"year":"2010","place":"Enschede, The Netherlands"},{"citation":{"chicago":"Wehrheim, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement Checking.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2 (2009): 135--151. <a href=\"https://doi.org/10.1016/j.entcs.2009.08.022\">https://doi.org/10.1016/j.entcs.2009.08.022</a>.","ieee":"H. Wehrheim and D. Wonisch, “Compositional {CSP} Traces Refinement Checking,” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, pp. 135--151, 2009.","ama":"Wehrheim H, Wonisch D. Compositional {CSP} Traces Refinement Checking. <i>Electr Notes Theor Comput Sci</i>. 2009;(2):135--151. doi:<a href=\"https://doi.org/10.1016/j.entcs.2009.08.022\">10.1016/j.entcs.2009.08.022</a>","mla":"Wehrheim, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement Checking.” <i>Electr. Notes Theor. Comput. Sci.</i>, no. 2, 2009, pp. 135--151, doi:<a href=\"https://doi.org/10.1016/j.entcs.2009.08.022\">10.1016/j.entcs.2009.08.022</a>.","short":"H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.","bibtex":"@article{Wehrheim_Wonisch_2009, title={Compositional {CSP} Traces Refinement Checking}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2009.08.022\">10.1016/j.entcs.2009.08.022</a>}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike and Wonisch, Daniel}, year={2009}, pages={135--151} }","apa":"Wehrheim, H., &#38; Wonisch, D. (2009). Compositional {CSP} Traces Refinement Checking. <i>Electr. Notes Theor. Comput. Sci.</i>, (2), 135--151. <a href=\"https://doi.org/10.1016/j.entcs.2009.08.022\">https://doi.org/10.1016/j.entcs.2009.08.022</a>"},"page":"135--151","year":"2009","issue":"2","doi":"10.1016/j.entcs.2009.08.022","title":"Compositional {CSP} Traces Refinement Checking","date_created":"2018-06-13T09:24:52Z","author":[{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"},{"first_name":"Daniel","full_name":"Wonisch, Daniel","last_name":"Wonisch"}],"date_updated":"2022-01-06T06:59:04Z","status":"public","type":"journal_article","publication":"Electr. Notes Theor. Comput. Sci.","user_id":"29719","department":[{"_id":"77"}],"_id":"3199"},{"title":"Static Class Elements for Object-Z","doi":"10.1016/j.entcs.2009.12.025","date_updated":"2022-01-06T06:59:04Z","author":[{"first_name":"Thomas","last_name":"Ruhroth","full_name":"Ruhroth, Thomas"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_created":"2018-06-13T09:26:31Z","year":"2009","page":"193--205","citation":{"apa":"Ruhroth, T., &#38; Wehrheim, H. (2009). Static Class Elements for Object-Z. <i>Electr. Notes Theor. Comput. Sci.</i>, 193--205. <a href=\"https://doi.org/10.1016/j.entcs.2009.12.025\">https://doi.org/10.1016/j.entcs.2009.12.025</a>","short":"T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2009) 193--205.","bibtex":"@article{Ruhroth_Wehrheim_2009, title={Static Class Elements for Object-Z}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2009.12.025\">10.1016/j.entcs.2009.12.025</a>}, journal={Electr. Notes Theor. Comput. Sci.}, author={Ruhroth, Thomas and Wehrheim, Heike}, year={2009}, pages={193--205} }","mla":"Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2009, pp. 193--205, doi:<a href=\"https://doi.org/10.1016/j.entcs.2009.12.025\">10.1016/j.entcs.2009.12.025</a>.","chicago":"Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2009, 193--205. <a href=\"https://doi.org/10.1016/j.entcs.2009.12.025\">https://doi.org/10.1016/j.entcs.2009.12.025</a>.","ieee":"T. Ruhroth and H. Wehrheim, “Static Class Elements for Object-Z,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 193--205, 2009.","ama":"Ruhroth T, Wehrheim H. Static Class Elements for Object-Z. <i>Electr Notes Theor Comput Sci</i>. 2009:193--205. doi:<a href=\"https://doi.org/10.1016/j.entcs.2009.12.025\">10.1016/j.entcs.2009.12.025</a>"},"_id":"3200","department":[{"_id":"77"}],"user_id":"29719","status":"public","publication":"Electr. Notes Theor. Comput. Sci.","type":"journal_article"},{"title":"Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models","doi":"10.1109/SEAA.2009.39","date_updated":"2022-01-06T06:59:04Z","author":[{"first_name":"Thomas","last_name":"Ruhroth","full_name":"Ruhroth, Thomas"},{"first_name":"Hendrik","full_name":"Voigt, Hendrik","last_name":"Voigt"},{"last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_created":"2018-06-13T09:30:27Z","year":"2009","page":"360--367","citation":{"apa":"Ruhroth, T., Voigt, H., &#38; Wehrheim, H. (2009). Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models. In <i>35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings</i> (pp. 360--367). <a href=\"https://doi.org/10.1109/SEAA.2009.39\">https://doi.org/10.1109/SEAA.2009.39</a>","short":"T. Ruhroth, H. Voigt, H. Wehrheim, in: 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367.","bibtex":"@inproceedings{Ruhroth_Voigt_Wehrheim_2009, title={Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models}, DOI={<a href=\"https://doi.org/10.1109/SEAA.2009.39\">10.1109/SEAA.2009.39</a>}, booktitle={35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings}, author={Ruhroth, Thomas and Voigt, Hendrik and Wehrheim, Heike}, year={2009}, pages={360--367} }","mla":"Ruhroth, Thomas, et al. “Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models.” <i>35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings</i>, 2009, pp. 360--367, doi:<a href=\"https://doi.org/10.1109/SEAA.2009.39\">10.1109/SEAA.2009.39</a>.","ama":"Ruhroth T, Voigt H, Wehrheim H. Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models. In: <i>35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings</i>. ; 2009:360--367. doi:<a href=\"https://doi.org/10.1109/SEAA.2009.39\">10.1109/SEAA.2009.39</a>","ieee":"T. Ruhroth, H. Voigt, and H. Wehrheim, “Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models,” in <i>35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings</i>, 2009, pp. 360--367.","chicago":"Ruhroth, Thomas, Hendrik Voigt, and Heike Wehrheim. “Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models.” In <i>35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings</i>, 360--367, 2009. <a href=\"https://doi.org/10.1109/SEAA.2009.39\">https://doi.org/10.1109/SEAA.2009.39</a>."},"_id":"3201","department":[{"_id":"77"}],"user_id":"29719","status":"public","publication":"35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings","type":"conference"},{"citation":{"apa":"Leuschel, M., &#38; Wehrheim, H. (Eds.). (2009). <i>Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings</i>. <a href=\"https://doi.org/10.1007/978-3-642-00255-7\">https://doi.org/10.1007/978-3-642-00255-7</a>","short":"M. Leuschel, H. Wehrheim, eds., Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings, 2009.","mla":"Leuschel, Michael, and Heike Wehrheim, editors. <i>Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings</i>. 2009, doi:<a href=\"https://doi.org/10.1007/978-3-642-00255-7\">10.1007/978-3-642-00255-7</a>.","bibtex":"@book{Leuschel_Wehrheim_2009, series={Lecture Notes in Computer Science}, title={Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-00255-7\">10.1007/978-3-642-00255-7</a>}, year={2009}, collection={Lecture Notes in Computer Science} }","chicago":"Leuschel, Michael, and Heike Wehrheim, eds. <i>Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings</i>. Lecture Notes in Computer Science, 2009. <a href=\"https://doi.org/10.1007/978-3-642-00255-7\">https://doi.org/10.1007/978-3-642-00255-7</a>.","ieee":"M. Leuschel and H. Wehrheim, Eds., <i>Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings</i>. 2009.","ama":"Leuschel M, Wehrheim H, eds. <i>Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings</i>.; 2009. doi:<a href=\"https://doi.org/10.1007/978-3-642-00255-7\">10.1007/978-3-642-00255-7</a>"},"year":"2009","publication_identifier":{"isbn":["978-3-642-00254-0"]},"doi":"10.1007/978-3-642-00255-7","title":"Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings","date_created":"2018-06-13T09:44:34Z","date_updated":"2022-01-06T06:59:04Z","status":"public","editor":[{"first_name":"Michael","last_name":"Leuschel","full_name":"Leuschel, Michael"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"type":"conference_editor","department":[{"_id":"77"}],"series_title":"Lecture Notes in Computer Science","user_id":"29719","_id":"3202"},{"page":"106-122","citation":{"ama":"Schrieb J, Wehrheim H, Wonisch D. Three-Valued Spotlight Abstractions. In: <i>FM 2009: Formal Methods</i>. Berlin, Heidelberg: Springer Berlin Heidelberg; 2009:106-122. doi:<a href=\"https://doi.org/10.1007/978-3-642-05089-3_8\">10.1007/978-3-642-05089-3_8</a>","chicago":"Schrieb, Jonas, Heike Wehrheim, and Daniel Wonisch. “Three-Valued Spotlight Abstractions.” In <i>FM 2009: Formal Methods</i>, 106–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. <a href=\"https://doi.org/10.1007/978-3-642-05089-3_8\">https://doi.org/10.1007/978-3-642-05089-3_8</a>.","ieee":"J. Schrieb, H. Wehrheim, and D. Wonisch, “Three-Valued Spotlight Abstractions,” in <i>FM 2009: Formal Methods</i>, Berlin, Heidelberg: Springer Berlin Heidelberg, 2009, pp. 106–122.","apa":"Schrieb, J., Wehrheim, H., &#38; Wonisch, D. (2009). Three-Valued Spotlight Abstractions. In <i>FM 2009: Formal Methods</i> (pp. 106–122). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/978-3-642-05089-3_8\">https://doi.org/10.1007/978-3-642-05089-3_8</a>","short":"J. Schrieb, H. Wehrheim, D. Wonisch, in: FM 2009: Formal Methods, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, pp. 106–122.","bibtex":"@inbook{Schrieb_Wehrheim_Wonisch_2009, place={Berlin, Heidelberg}, title={Three-Valued Spotlight Abstractions}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-05089-3_8\">10.1007/978-3-642-05089-3_8</a>}, booktitle={FM 2009: Formal Methods}, publisher={Springer Berlin Heidelberg}, author={Schrieb, Jonas and Wehrheim, Heike and Wonisch, Daniel}, year={2009}, pages={106–122} }","mla":"Schrieb, Jonas, et al. “Three-Valued Spotlight Abstractions.” <i>FM 2009: Formal Methods</i>, Springer Berlin Heidelberg, 2009, pp. 106–22, doi:<a href=\"https://doi.org/10.1007/978-3-642-05089-3_8\">10.1007/978-3-642-05089-3_8</a>."},"place":"Berlin, Heidelberg","year":"2009","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783642050886","9783642050893"]},"publication_status":"published","doi":"10.1007/978-3-642-05089-3_8","title":"Three-Valued Spotlight Abstractions","author":[{"last_name":"Schrieb","full_name":"Schrieb, Jonas","first_name":"Jonas"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"},{"full_name":"Wonisch, Daniel","last_name":"Wonisch","first_name":"Daniel"}],"date_created":"2018-06-05T08:09:11Z","date_updated":"2022-01-06T06:58:50Z","publisher":"Springer Berlin Heidelberg","status":"public","publication":"FM 2009: Formal Methods","type":"book_chapter","department":[{"_id":"64"}],"user_id":"25078","_id":"3000"},{"type":"journal_article","publication":"Electr. Notes Theor. Comput. Sci.","status":"public","_id":"3203","user_id":"29719","department":[{"_id":"77"}],"year":"2008","citation":{"chicago":"Wehrheim, Heike. “Refinement in the Presence of Unknowns.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2008, 255--264. <a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">https://doi.org/10.1016/j.entcs.2008.02.023</a>.","ieee":"H. Wehrheim, “Refinement in the Presence of Unknowns,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 255--264, 2008.","ama":"Wehrheim H. Refinement in the Presence of Unknowns. <i>Electr Notes Theor Comput Sci</i>. 2008:255--264. doi:<a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">10.1016/j.entcs.2008.02.023</a>","apa":"Wehrheim, H. (2008). Refinement in the Presence of Unknowns. <i>Electr. Notes Theor. Comput. Sci.</i>, 255--264. <a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">https://doi.org/10.1016/j.entcs.2008.02.023</a>","mla":"Wehrheim, Heike. “Refinement in the Presence of Unknowns.” <i>Electr. Notes Theor. Comput. Sci.</i>, 2008, pp. 255--264, doi:<a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">10.1016/j.entcs.2008.02.023</a>.","short":"H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 255--264.","bibtex":"@article{Wehrheim_2008, title={Refinement in the Presence of Unknowns}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2008.02.023\">10.1016/j.entcs.2008.02.023</a>}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2008}, pages={255--264} }"},"page":"255--264","date_updated":"2022-01-06T06:59:04Z","author":[{"first_name":"Heike","last_name":"Wehrheim","id":"573","full_name":"Wehrheim, Heike"}],"date_created":"2018-06-13T09:45:42Z","title":"Refinement in the Presence of Unknowns","doi":"10.1016/j.entcs.2008.02.023"},{"publication":"Electr. Notes Theor. Comput. Sci.","type":"journal_article","status":"public","_id":"3204","department":[{"_id":"77"}],"user_id":"29719","year":"2008","page":"331--357","citation":{"ieee":"H. .-}Christian Estler and H. Wehrheim, “Alloy as a Refactoring Checker?,” <i>Electr. Notes Theor. Comput. Sci.</i>, pp. 331--357, 2008.","chicago":"Estler, H.{-}Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?” <i>Electr. Notes Theor. Comput. Sci.</i>, 2008, 331--357. <a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">https://doi.org/10.1016/j.entcs.2008.06.015</a>.","ama":"Estler H.-}Christian, Wehrheim H. Alloy as a Refactoring Checker? <i>Electr Notes Theor Comput Sci</i>. 2008:331--357. doi:<a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">10.1016/j.entcs.2008.06.015</a>","mla":"Estler, H. .. }Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?” <i>Electr. Notes Theor. Comput. Sci.</i>, 2008, pp. 331--357, doi:<a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">10.1016/j.entcs.2008.06.015</a>.","short":"H..-}Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 331--357.","bibtex":"@article{Estler_Wehrheim_2008, title={Alloy as a Refactoring Checker?}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">10.1016/j.entcs.2008.06.015</a>}, journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and Wehrheim, Heike}, year={2008}, pages={331--357} }","apa":"Estler, H. .-}Christian, &#38; Wehrheim, H. (2008). Alloy as a Refactoring Checker? <i>Electr. Notes Theor. Comput. Sci.</i>, 331--357. <a href=\"https://doi.org/10.1016/j.entcs.2008.06.015\">https://doi.org/10.1016/j.entcs.2008.06.015</a>"},"date_updated":"2022-01-06T06:59:04Z","author":[{"first_name":"H.{-}Christian","last_name":"Estler","full_name":"Estler, H.{-}Christian"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"date_created":"2018-06-13T09:47:06Z","title":"Alloy as a Refactoring Checker?","doi":"10.1016/j.entcs.2008.06.015"}]