[{"_id":"3185","date_updated":"2022-01-06T06:59:03Z","doi":"10.1109/SEAA.2011.22","page":"83--90","citation":{"ieee":"T. Ruhroth, H. Wehrheim, and S. Ziegert, “ReL: {A} Generic Refactoring Language for Specification and Execution,” in 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90.","short":"T. Ruhroth, H. Wehrheim, S. Ziegert, in: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90.","mla":"Ruhroth, Thomas, et al. “ReL: {A} Generic Refactoring Language for Specification and Execution.” 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90, doi:10.1109/SEAA.2011.22.","bibtex":"@inproceedings{Ruhroth_Wehrheim_Ziegert_2011, title={ReL: {A} Generic Refactoring Language for Specification and Execution}, DOI={10.1109/SEAA.2011.22}, booktitle={37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011}, author={Ruhroth, Thomas and Wehrheim, Heike and Ziegert, Steffen}, year={2011}, pages={83--90} }","chicago":"Ruhroth, Thomas, Heike Wehrheim, and Steffen Ziegert. “ReL: {A} Generic Refactoring Language for Specification and Execution.” In 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 83--90, 2011. https://doi.org/10.1109/SEAA.2011.22.","ama":"Ruhroth T, Wehrheim H, Ziegert S. ReL: {A} Generic Refactoring Language for Specification and Execution. In: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011. ; 2011:83--90. doi:10.1109/SEAA.2011.22","apa":"Ruhroth, T., Wehrheim, H., & Ziegert, S. (2011). ReL: {A} Generic Refactoring Language for Specification and Execution. In 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011 (pp. 83--90). https://doi.org/10.1109/SEAA.2011.22"},"year":"2011","type":"conference","user_id":"29719","title":"ReL: {A} Generic Refactoring Language for Specification and Execution","publication":"37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011","department":[{"_id":"77"}],"author":[{"full_name":"Ruhroth, Thomas","first_name":"Thomas","last_name":"Ruhroth"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"},{"last_name":"Ziegert","full_name":"Ziegert, Steffen","first_name":"Steffen"}],"date_created":"2018-06-13T08:23:28Z","status":"public"},{"department":[{"_id":"77"}],"publication":"{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings","author":[{"last_name":"Derrick","first_name":"John","full_name":"Derrick, John"},{"last_name":"Schellhorn","full_name":"Schellhorn, Gerhard","first_name":"Gerhard"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"date_created":"2018-06-13T08:25:07Z","status":"public","editor":[{"last_name":"J. Butler","full_name":"J. Butler, Michael","first_name":"Michael"},{"first_name":"Wolfram","full_name":"Schulte, Wolfram","last_name":"Schulte"}],"user_id":"29719","title":"Verifying Linearisability with Potential Linearisation Points","series_title":"Lecture Notes in Computer Science","page":"323--337","citation":{"chicago":"Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Linearisability with Potential Linearisation Points.” In {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, edited by Michael J. Butler and Wolfram Schulte, 323--337. Lecture Notes in Computer Science, 2011. https://doi.org/10.1007/978-3-642-21437-0_25.","apa":"Derrick, J., Schellhorn, G., & Wehrheim, H. (2011). Verifying Linearisability with Potential Linearisation Points. In M. J. Butler & W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings (pp. 323--337). https://doi.org/10.1007/978-3-642-21437-0_25","ama":"Derrick J, Schellhorn G, Wehrheim H. Verifying Linearisability with Potential Linearisation Points. In: J. Butler M, Schulte W, eds. {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science. ; 2011:323--337. doi:10.1007/978-3-642-21437-0_25","bibtex":"@inproceedings{Derrick_Schellhorn_Wehrheim_2011, series={Lecture Notes in Computer Science}, title={Verifying Linearisability with Potential Linearisation Points}, DOI={10.1007/978-3-642-21437-0_25}, 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.” {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, edited by Michael J. Butler and Wolfram Schulte, 2011, pp. 323--337, doi:10.1007/978-3-642-21437-0_25.","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.","ieee":"J. Derrick, G. Schellhorn, and H. Wehrheim, “Verifying Linearisability with Potential Linearisation Points,” in {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337."},"type":"conference","year":"2011","date_updated":"2022-01-06T06:59:03Z","_id":"3186","doi":"10.1007/978-3-642-21437-0_25"},{"title":"Sound and Complete Abstract Graph Transformation","user_id":"29719","editor":[{"last_name":"da Silva Sim{\\~{a}}o","full_name":"da Silva Sim{\\~{a}}o, Adenilso","first_name":"Adenilso"},{"full_name":"Morgan, Carroll","first_name":"Carroll","last_name":"Morgan"}],"date_created":"2018-06-13T08:32:12Z","status":"public","department":[{"_id":"77"}],"publication":"Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers","author":[{"last_name":"Steenken","full_name":"Steenken, Dominik","first_name":"Dominik"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"},{"last_name":"Wonisch","first_name":"Daniel","full_name":"Wonisch, Daniel"}],"doi":"10.1007/978-3-642-25032-3_7","_id":"3187","date_updated":"2022-01-06T06:59:03Z","page":"92--107","type":"conference","year":"2011","citation":{"chicago":"Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Sound and Complete Abstract Graph Transformation.” In Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, edited by Adenilso da Silva Sim{\\~{a}}o and Carroll Morgan, 92--107. Lecture Notes in Computer Science, 2011. https://doi.org/10.1007/978-3-642-25032-3_7.","apa":"Steenken, D., Wehrheim, H., & Wonisch, D. (2011). Sound and Complete Abstract Graph Transformation. 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 (pp. 92--107). https://doi.org/10.1007/978-3-642-25032-3_7","ama":"Steenken D, Wehrheim H, Wonisch D. Sound and Complete Abstract Graph Transformation. In: da Silva Sim{\\~{a}}o A, Morgan C, eds. Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science. ; 2011:92--107. doi:10.1007/978-3-642-25032-3_7","bibtex":"@inproceedings{Steenken_Wehrheim_Wonisch_2011, series={Lecture Notes in Computer Science}, title={Sound and Complete Abstract Graph Transformation}, DOI={10.1007/978-3-642-25032-3_7}, 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} }","mla":"Steenken, Dominik, et al. “Sound and Complete Abstract Graph Transformation.” Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, edited by Adenilso da Silva Sim{\\~{a}}o and Carroll Morgan, 2011, pp. 92--107, doi:10.1007/978-3-642-25032-3_7.","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.","ieee":"D. Steenken, H. Wehrheim, and D. Wonisch, “Sound and Complete Abstract Graph Transformation,” in 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."},"series_title":"Lecture Notes in Computer Science"},{"series_title":"{EPTCS}","page":"139--154","citation":{"ieee":"S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Account of Event-B Refinement,” in Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.","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.","bibtex":"@inproceedings{Schneider_Treharne_Wehrheim_2011, series={{EPTCS}}, title={A {CSP} Account of Event-B Refinement}, DOI={10.4204/EPTCS.55.9}, 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}} }","mla":"Schneider, Steve, et al. “A {CSP} Account of Event-B Refinement.” Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick et al., 2011, pp. 139--154, doi:10.4204/EPTCS.55.9.","ama":"Schneider S, Treharne H, Wehrheim H. A {CSP} Account of Event-B Refinement. In: Derrick J, A. Boiten E, Reeves S, eds. Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. {EPTCS}. ; 2011:139--154. doi:10.4204/EPTCS.55.9","apa":"Schneider, S., Treharne, H., & Wehrheim, H. (2011). A {CSP} Account of Event-B Refinement. In J. Derrick, E. A. Boiten, & S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. (pp. 139--154). https://doi.org/10.4204/EPTCS.55.9","chicago":"Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Account of Event-B Refinement.” In Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick, Eerke A. Boiten, and Steve Reeves, 139--154. {EPTCS}, 2011. https://doi.org/10.4204/EPTCS.55.9."},"type":"conference","year":"2011","_id":"3188","date_updated":"2022-01-06T06:59:03Z","doi":"10.4204/EPTCS.55.9","publication":"Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011.","department":[{"_id":"77"}],"author":[{"last_name":"Schneider","full_name":"Schneider, Steve","first_name":"Steve"},{"full_name":"Treharne, Helen","first_name":"Helen","last_name":"Treharne"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"editor":[{"last_name":"Derrick","full_name":"Derrick, John","first_name":"John"},{"last_name":"A. Boiten","first_name":"Eerke","full_name":"A. Boiten, Eerke"},{"last_name":"Reeves","first_name":"Steve","full_name":"Reeves, Steve"}],"date_created":"2018-06-13T08:43:19Z","status":"public","title":"A {CSP} Account of Event-B Refinement","user_id":"29719"},{"issue":"10","_id":"647","page":"835--836","year":"2011","citation":{"ama":"Leuschel M, Wehrheim H. Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming. 2011;(10):835--836. doi:10.1016/j.scico.2011.01.009","apa":"Leuschel, M., & Wehrheim, H. (2011). Selected papers on Integrated Formal Methods (iFM09). Science of Computer Programming, (10), 835--836. https://doi.org/10.1016/j.scico.2011.01.009","chicago":"Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).” Science of Computer Programming, no. 10 (2011): 835--836. https://doi.org/10.1016/j.scico.2011.01.009.","bibtex":"@article{Leuschel_Wehrheim_2011, title={Selected papers on Integrated Formal Methods (iFM09)}, DOI={10.1016/j.scico.2011.01.009}, 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).” Science of Computer Programming, no. 10, Elsevier, 2011, pp. 835--836, doi:10.1016/j.scico.2011.01.009.","short":"M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.","ieee":"M. Leuschel and H. Wehrheim, “Selected papers on Integrated Formal Methods (iFM09),” Science of Computer Programming, no. 10, pp. 835--836, 2011."},"type":"journal_article","user_id":"477","ddc":["040"],"date_created":"2017-10-17T12:42:58Z","status":"public","has_accepted_license":"1","file":[{"file_id":"1226","creator":"florida","file_size":139105,"relation":"main_file","success":1,"content_type":"application/pdf","date_updated":"2018-03-14T13:56:48Z","date_created":"2018-03-14T13:56:48Z","file_name":"647-LeuschelWehrheim.pdf","access_level":"closed"}],"publication":"Science of Computer Programming","file_date_updated":"2018-03-14T13:56:48Z","publisher":"Elsevier","author":[{"last_name":"Leuschel","full_name":"Leuschel, Michael","first_name":"Michael"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"doi":"10.1016/j.scico.2011.01.009","date_updated":"2022-01-06T07:03:06Z","language":[{"iso":"eng"}],"title":"Selected papers on Integrated Formal Methods (iFM09)","project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"name":"SFB 901 - Subproject B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"}],"department":[{"_id":"77"}]},{"type":"journal_article","year":"2011","citation":{"mla":"Besova, Galina, et al. “Reputation-Based Reliability Prediction of Service Compositions.” Electronic Notes in Theoretical Computer Science, no. 2, Elsevier, 2011, pp. 3–16, doi:10.1016/j.entcs.2011.11.008.","bibtex":"@article{Besova_Wehrheim_Wagner_2011, title={Reputation-based Reliability Prediction of Service Compositions}, DOI={10.1016/j.entcs.2011.11.008}, 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} }","chicago":"Besova, Galina, Heike Wehrheim, and Annika Wagner. “Reputation-Based Reliability Prediction of Service Compositions.” Electronic Notes in Theoretical Computer Science, no. 2 (2011): 3–16. https://doi.org/10.1016/j.entcs.2011.11.008.","ama":"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","apa":"Besova, G., Wehrheim, H., & Wagner, A. (2011). Reputation-based Reliability Prediction of Service Compositions. Electronic Notes in Theoretical Computer Science, (2), 3–16. https://doi.org/10.1016/j.entcs.2011.11.008","ieee":"G. Besova, H. Wehrheim, and A. Wagner, “Reputation-based Reliability Prediction of Service Compositions,” Electronic Notes in Theoretical Computer Science, no. 2, pp. 3–16, 2011.","short":"G. Besova, H. Wehrheim, A. Wagner, Electronic Notes in Theoretical Computer Science (2011) 3–16."},"page":"3-16","_id":"649","issue":"2","file":[{"date_created":"2018-03-14T13:55:38Z","file_name":"649-ETAPS2011-Besova-Wehrheim-Wagner_01.pdf","access_level":"closed","file_size":534727,"creator":"florida","file_id":"1225","date_updated":"2018-03-14T13:55:38Z","content_type":"application/pdf","relation":"main_file","success":1}],"publisher":"Elsevier","author":[{"last_name":"Besova","first_name":"Galina","full_name":"Besova, Galina"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"},{"last_name":"Wagner","full_name":"Wagner, Annika","first_name":"Annika"}],"publication":"Electronic Notes in Theoretical Computer Science","file_date_updated":"2018-03-14T13:55:38Z","status":"public","has_accepted_license":"1","date_created":"2017-10-17T12:42:58Z","abstract":[{"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.","lang":"eng"}],"user_id":"477","ddc":["040"],"language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:07Z","doi":"10.1016/j.entcs.2011.11.008","department":[{"_id":"77"}],"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"_id":"3","name":"SFB 901 - Project Area B"}],"title":"Reputation-based Reliability Prediction of Service Compositions"},{"user_id":"477","title":"Function Specification Inference Using Craig Interpolation","author":[{"last_name":"Schremmer","first_name":"Alexander","full_name":"Schremmer, Alexander"}],"publisher":"Universität Paderborn","department":[{"_id":"77"}],"status":"public","date_created":"2017-10-17T12:43:00Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"name":"SFB 901 - Project Area B","_id":"3"}],"date_updated":"2022-01-06T07:03:12Z","_id":"658","language":[{"iso":"eng"}],"supervisor":[{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"year":"2011","citation":{"bibtex":"@book{Schremmer_2011, title={Function Specification Inference Using Craig Interpolation}, publisher={Universität Paderborn}, author={Schremmer, Alexander}, year={2011} }","mla":"Schremmer, Alexander. Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011.","chicago":"Schremmer, Alexander. Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011.","ama":"Schremmer A. Function Specification Inference Using Craig Interpolation. Universität Paderborn; 2011.","apa":"Schremmer, A. (2011). Function Specification Inference Using Craig Interpolation. Universität Paderborn.","ieee":"A. Schremmer, Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011.","short":"A. Schremmer, Function Specification Inference Using Craig Interpolation, Universität Paderborn, 2011."},"type":"mastersthesis"},{"series_title":"Lecture Notes in Computer Science","type":"conference","citation":{"ieee":"S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Approach to Control in Event-B,” in Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.","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.","bibtex":"@inproceedings{Schneider_Treharne_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={A {CSP} Approach to Control in Event-B}, DOI={10.1007/978-3-642-16265-7_19}, 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} }","mla":"Schneider, Steve, et al. “A {CSP} Approach to Control in Event-B.” Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\\’{e}}ry and Stephan Merz, 2010, pp. 260--274, doi:10.1007/978-3-642-16265-7_19.","chicago":"Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Approach to Control in Event-B.” In Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\\’{e}}ry and Stephan Merz, 260--274. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16265-7_19.","ama":"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","apa":"Schneider, S., Treharne, H., & Wehrheim, H. (2010). A {CSP} Approach to Control in Event-B. In D. M{\\’{e}}ry & S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 260--274). https://doi.org/10.1007/978-3-642-16265-7_19"},"year":"2010","page":"260--274","_id":"3195","date_updated":"2022-01-06T06:59:04Z","doi":"10.1007/978-3-642-16265-7_19","author":[{"first_name":"Steve","full_name":"Schneider, Steve","last_name":"Schneider"},{"full_name":"Treharne, Helen","first_name":"Helen","last_name":"Treharne"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"publication":"Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings","department":[{"_id":"77"}],"status":"public","date_created":"2018-06-13T09:20:53Z","editor":[{"last_name":"M{\\'{e}}ry","first_name":"Dominique","full_name":"M{\\'{e}}ry, Dominique"},{"full_name":"Merz, Stephan","first_name":"Stephan","last_name":"Merz"}],"user_id":"29719","title":"A {CSP} Approach to Control in Event-B"},{"series_title":"Lecture Notes in Computer Science","type":"conference","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. 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","apa":"Dräger, K., Kupriyanov, A., Finkbeiner, B., & Wehrheim, H. (2010). {SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems. 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 (pp. 271--274). https://doi.org/10.1007/978-3-642-12002-2_22","chicago":"Dräger, Klaus, Andrey Kupriyanov, Bernd Finkbeiner, and Heike Wehrheim. “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.” In 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, edited by Javier Esparza and Rupak Majumdar, 271--274. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-12002-2_22.","mla":"Dräger, Klaus, et al. “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems.” 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, edited by Javier Esparza and Rupak Majumdar, 2010, pp. 271--274, doi:10.1007/978-3-642-12002-2_22.","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={10.1007/978-3-642-12002-2_22}, 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.","ieee":"K. Dräger, A. Kupriyanov, B. Finkbeiner, and H. Wehrheim, “{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems,” in 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."},"year":"2010","page":"271--274","_id":"3196","date_updated":"2022-01-06T06:59:04Z","doi":"10.1007/978-3-642-12002-2_22","author":[{"full_name":"Dräger, Klaus","first_name":"Klaus","last_name":"Dräger"},{"full_name":"Kupriyanov, Andrey","first_name":"Andrey","last_name":"Kupriyanov"},{"full_name":"Finkbeiner, Bernd","first_name":"Bernd","last_name":"Finkbeiner"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"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","department":[{"_id":"77"}],"status":"public","date_created":"2018-06-13T09:22:07Z","editor":[{"last_name":"Esparza","first_name":"Javier","full_name":"Esparza, Javier"},{"full_name":"Majumdar, Rupak","first_name":"Rupak","last_name":"Majumdar"}],"user_id":"29719","title":"{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems"},{"citation":{"apa":"Steenken, D., Wehrheim, H., & Wonisch, D. (2010). Towards {A} Shape Analysis for Graph Transformation Systems. CoRR.","ama":"Steenken D, Wehrheim H, Wonisch D. Towards {A} Shape Analysis for Graph Transformation Systems. CoRR. 2010.","chicago":"Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Towards {A} Shape Analysis for Graph Transformation Systems.” CoRR, 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} }","mla":"Steenken, Dominik, et al. “Towards {A} Shape Analysis for Graph Transformation Systems.” CoRR, 2010.","short":"D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).","ieee":"D. Steenken, H. Wehrheim, and D. Wonisch, “Towards {A} Shape Analysis for Graph Transformation Systems,” CoRR, 2010."},"type":"journal_article","year":"2010","_id":"3198","date_updated":"2022-01-06T06:59:04Z","department":[{"_id":"77"}],"publication":"CoRR","author":[{"full_name":"Steenken, Dominik","first_name":"Dominik","last_name":"Steenken"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"},{"full_name":"Wonisch, Daniel","first_name":"Daniel","last_name":"Wonisch"}],"date_created":"2018-06-13T09:23:16Z","status":"public","title":"Towards {A} Shape Analysis for Graph Transformation Systems","user_id":"29719"},{"title":"Model transformations across views","user_id":"29719","publication":"Sci. Comput. Program.","department":[{"_id":"77"}],"author":[{"last_name":"Derrick","first_name":"John","full_name":"Derrick, John"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"date_created":"2018-06-13T08:44:32Z","status":"public","date_updated":"2022-01-06T06:59:03Z","_id":"3189","doi":"10.1016/j.scico.2009.11.004","issue":"3","page":"192--210","type":"journal_article","citation":{"short":"J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.","ieee":"J. Derrick and H. Wehrheim, “Model transformations across views,” Sci. Comput. Program., no. 3, pp. 192--210, 2010.","chicago":"Derrick, John, and Heike Wehrheim. “Model Transformations across Views.” Sci. Comput. Program., no. 3 (2010): 192--210. https://doi.org/10.1016/j.scico.2009.11.004.","apa":"Derrick, J., & Wehrheim, H. (2010). Model transformations across views. Sci. Comput. Program., (3), 192--210. https://doi.org/10.1016/j.scico.2009.11.004","ama":"Derrick J, Wehrheim H. Model transformations across views. Sci Comput Program. 2010;(3):192--210. doi:10.1016/j.scico.2009.11.004","bibtex":"@article{Derrick_Wehrheim_2010, title={Model transformations across views}, DOI={10.1016/j.scico.2009.11.004}, 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.” Sci. Comput. Program., no. 3, 2010, pp. 192--210, doi:10.1016/j.scico.2009.11.004."},"year":"2010"},{"department":[{"_id":"77"}],"publication":"Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday","author":[{"last_name":"Schäfer","first_name":"Wilhelm","full_name":"Schäfer, Wilhelm"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"editor":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"},{"last_name":"Lewerentz","first_name":"Claus","full_name":"Lewerentz, Claus"},{"full_name":"Sch{\\\"{a}}fer, Wilhelm","first_name":"Wilhelm","last_name":"Sch{\\\"{a}}fer"},{"last_name":"Sch{\\\"{u}}rr","full_name":"Sch{\\\"{u}}rr, Andy","first_name":"Andy"},{"first_name":"Bernhard","full_name":"Westfechtel, Bernhard","last_name":"Westfechtel"}],"date_created":"2018-06-13T09:10:56Z","status":"public","title":"Model-Driven Development with Mechatronic {UML}","user_id":"29719","series_title":"Lecture Notes in Computer Science","page":"533--554","type":"conference","citation":{"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. 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","apa":"Schäfer, W., & Wehrheim, H. (2010). Model-Driven Development with Mechatronic {UML}. 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 (pp. 533--554). https://doi.org/10.1007/978-3-642-17322-6_23","chicago":"Schäfer, Wilhelm, and Heike Wehrheim. “Model-Driven Development with Mechatronic {UML}.” In Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, 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. https://doi.org/10.1007/978-3-642-17322-6_23.","bibtex":"@inproceedings{Schäfer_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={Model-Driven Development with Mechatronic {UML}}, DOI={10.1007/978-3-642-17322-6_23}, 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}.” Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday, edited by Gregor Engels et al., 2010, pp. 533--554, doi:10.1007/978-3-642-17322-6_23.","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.","ieee":"W. Schäfer and H. Wehrheim, “Model-Driven Development with Mechatronic {UML},” in Graph Transformations and Model-Driven Engineering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, 2010, pp. 533--554."},"year":"2010","_id":"3191","date_updated":"2022-01-06T06:59:04Z","doi":"10.1007/978-3-642-17322-6_23"},{"series_title":"Lecture Notes in Computer Science","year":"2010","type":"conference","citation":{"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.","ieee":"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.","apa":"Timm, N., & Wehrheim, H. (2010). On Symmetries and Spotlights - Verifying Parameterised Systems. 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 (pp. 534--548). https://doi.org/10.1007/978-3-642-16901-4_35","ama":"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","chicago":"Timm, Nils, and Heike 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, edited by Jin Song Dong and Huibiao Zhu, 534--548. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16901-4_35.","mla":"Timm, Nils, and Heike Wehrheim. “On Symmetries and Spotlights - Verifying Parameterised Systems.” Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings, edited by Jin Song Dong and Huibiao Zhu, 2010, pp. 534--548, doi:10.1007/978-3-642-16901-4_35.","bibtex":"@inproceedings{Timm_Wehrheim_2010, series={Lecture Notes in Computer Science}, title={On Symmetries and Spotlights - Verifying Parameterised Systems}, DOI={10.1007/978-3-642-16901-4_35}, 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} }"},"page":"534--548","_id":"3193","date_updated":"2022-01-06T06:59:04Z","doi":"10.1007/978-3-642-16901-4_35","author":[{"full_name":"Timm, Nils","first_name":"Nils","last_name":"Timm"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"department":[{"_id":"77"}],"publication":"Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings","status":"public","date_created":"2018-06-13T09:12:28Z","editor":[{"full_name":"Song Dong, Jin","first_name":"Jin","last_name":"Song Dong"},{"full_name":"Zhu, Huibiao","first_name":"Huibiao","last_name":"Zhu"}],"user_id":"29719","title":"On Symmetries and Spotlights - Verifying Parameterised Systems"},{"date_updated":"2022-01-06T06:59:04Z","_id":"3194","doi":"10.1007/978-3-642-16265-7_14","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"year":"2010","type":"conference","citation":{"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 Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 183--198.","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.","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={10.1007/978-3-642-16265-7_14}, 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} }","mla":"Hülsbusch, Mathias, et al. “Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques.” Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\\’{e}}ry and Stephan Merz, 2010, pp. 183--198, doi:10.1007/978-3-642-16265-7_14.","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. 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","apa":"Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim, H. (2010). Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques. In D. M{\\’{e}}ry & S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 183--198). https://doi.org/10.1007/978-3-642-16265-7_14","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 Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, edited by Dominique M{\\’{e}}ry and Stephan Merz, 183--198. Lecture Notes in Computer Science, 2010. https://doi.org/10.1007/978-3-642-16265-7_14."},"page":"183--198","user_id":"14955","title":"Showing Full Semantics Preservation in Model Transformation - {A} Comparison of Techniques","author":[{"last_name":"Hülsbusch","full_name":"Hülsbusch, Mathias","first_name":"Mathias"},{"last_name":"König","full_name":"König, Barbara","first_name":"Barbara"},{"last_name":"Rensink","first_name":"Arend","full_name":"Rensink, Arend"},{"full_name":"Semenyak, Maria","first_name":"Maria","last_name":"Semenyak"},{"last_name":"Soltenborn","id":"1737","first_name":"Christian","full_name":"Soltenborn, Christian","orcid":"0000-0002-0342-8227"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"publication":"Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings","department":[{"_id":"77"}],"status":"public","date_created":"2018-06-13T09:19:33Z","editor":[{"last_name":"M{\\'{e}}ry","full_name":"M{\\'{e}}ry, Dominique","first_name":"Dominique"},{"first_name":"Stephan","full_name":"Merz, Stephan","last_name":"Merz"}]},{"page":"135--151","citation":{"chicago":"Wehrheim, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement Checking.” Electr. Notes Theor. Comput. Sci., no. 2 (2009): 135--151. https://doi.org/10.1016/j.entcs.2009.08.022.","ama":"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","apa":"Wehrheim, H., & Wonisch, D. (2009). Compositional {CSP} Traces Refinement Checking. Electr. Notes Theor. Comput. Sci., (2), 135--151. https://doi.org/10.1016/j.entcs.2009.08.022","mla":"Wehrheim, Heike, and Daniel Wonisch. “Compositional {CSP} Traces Refinement Checking.” Electr. Notes Theor. Comput. Sci., no. 2, 2009, pp. 135--151, doi:10.1016/j.entcs.2009.08.022.","bibtex":"@article{Wehrheim_Wonisch_2009, title={Compositional {CSP} Traces Refinement Checking}, DOI={10.1016/j.entcs.2009.08.022}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike and Wonisch, Daniel}, year={2009}, pages={135--151} }","short":"H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.","ieee":"H. Wehrheim and D. Wonisch, “Compositional {CSP} Traces Refinement Checking,” Electr. Notes Theor. Comput. Sci., no. 2, pp. 135--151, 2009."},"year":"2009","type":"journal_article","date_updated":"2022-01-06T06:59:04Z","_id":"3199","doi":"10.1016/j.entcs.2009.08.022","issue":"2","department":[{"_id":"77"}],"publication":"Electr. Notes Theor. Comput. Sci.","author":[{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"},{"last_name":"Wonisch","first_name":"Daniel","full_name":"Wonisch, Daniel"}],"date_created":"2018-06-13T09:24:52Z","status":"public","title":"Compositional {CSP} Traces Refinement Checking","user_id":"29719"},{"user_id":"29719","title":"Static Class Elements for Object-Z","author":[{"last_name":"Ruhroth","full_name":"Ruhroth, Thomas","first_name":"Thomas"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"publication":"Electr. Notes Theor. Comput. Sci.","department":[{"_id":"77"}],"status":"public","date_created":"2018-06-13T09:26:31Z","_id":"3200","date_updated":"2022-01-06T06:59:04Z","doi":"10.1016/j.entcs.2009.12.025","year":"2009","citation":{"bibtex":"@article{Ruhroth_Wehrheim_2009, title={Static Class Elements for Object-Z}, DOI={10.1016/j.entcs.2009.12.025}, 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.” Electr. Notes Theor. Comput. Sci., 2009, pp. 193--205, doi:10.1016/j.entcs.2009.12.025.","chicago":"Ruhroth, Thomas, and Heike Wehrheim. “Static Class Elements for Object-Z.” Electr. Notes Theor. Comput. Sci., 2009, 193--205. https://doi.org/10.1016/j.entcs.2009.12.025.","apa":"Ruhroth, T., & Wehrheim, H. (2009). Static Class Elements for Object-Z. Electr. Notes Theor. Comput. Sci., 193--205. https://doi.org/10.1016/j.entcs.2009.12.025","ama":"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","ieee":"T. Ruhroth and H. Wehrheim, “Static Class Elements for Object-Z,” Electr. Notes Theor. Comput. Sci., pp. 193--205, 2009.","short":"T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2009) 193--205."},"type":"journal_article","page":"193--205"},{"publication":"35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings","department":[{"_id":"77"}],"author":[{"first_name":"Thomas","full_name":"Ruhroth, Thomas","last_name":"Ruhroth"},{"last_name":"Voigt","full_name":"Voigt, Hendrik","first_name":"Hendrik"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"date_created":"2018-06-13T09:30:27Z","status":"public","user_id":"29719","title":"Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models","page":"360--367","type":"conference","citation":{"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.","ieee":"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.","chicago":"Ruhroth, Thomas, Hendrik Voigt, and Heike 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, 360--367, 2009. https://doi.org/10.1109/SEAA.2009.39.","apa":"Ruhroth, T., Voigt, H., & Wehrheim, H. (2009). 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 (pp. 360--367). https://doi.org/10.1109/SEAA.2009.39","ama":"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","bibtex":"@inproceedings{Ruhroth_Voigt_Wehrheim_2009, title={Measure, Diagnose, Refactor: {A} Formal Quality Cycle for Software Models}, DOI={10.1109/SEAA.2009.39}, 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.” 35th Euromicro Conference on Software Engineering and Advanced Applications, {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings, 2009, pp. 360--367, doi:10.1109/SEAA.2009.39."},"year":"2009","date_updated":"2022-01-06T06:59:04Z","_id":"3201","doi":"10.1109/SEAA.2009.39"},{"series_title":"Lecture Notes in Computer Science","type":"conference_editor","citation":{"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={10.1007/978-3-642-00255-7}, year={2009}, collection={Lecture Notes in Computer Science} }","mla":"Leuschel, Michael, and Heike Wehrheim, editors. Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings. 2009, doi:10.1007/978-3-642-00255-7.","chicago":"Leuschel, Michael, and Heike Wehrheim, eds. Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings. Lecture Notes in Computer Science, 2009. https://doi.org/10.1007/978-3-642-00255-7.","apa":"Leuschel, M., & Wehrheim, H. (Eds.). (2009). Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings. https://doi.org/10.1007/978-3-642-00255-7","ama":"Leuschel M, Wehrheim H, eds. Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings.; 2009. doi:10.1007/978-3-642-00255-7","ieee":"M. Leuschel and H. Wehrheim, Eds., Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings. 2009.","short":"M. Leuschel, H. Wehrheim, eds., Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings, 2009."},"year":"2009","date_updated":"2022-01-06T06:59:04Z","_id":"3202","doi":"10.1007/978-3-642-00255-7","department":[{"_id":"77"}],"status":"public","date_created":"2018-06-13T09:44:34Z","editor":[{"first_name":"Michael","full_name":"Leuschel, Michael","last_name":"Leuschel"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"publication_identifier":{"isbn":["978-3-642-00254-0"]},"user_id":"29719","title":"Integrated Formal Methods, 7th International Conference, {IFM} 2009, D{\\\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings"},{"doi":"10.1016/j.entcs.2008.02.023","date_updated":"2022-01-06T06:59:04Z","_id":"3203","page":"255--264","year":"2008","type":"journal_article","citation":{"chicago":"Wehrheim, Heike. “Refinement in the Presence of Unknowns.” Electr. Notes Theor. Comput. Sci., 2008, 255--264. https://doi.org/10.1016/j.entcs.2008.02.023.","ama":"Wehrheim H. Refinement in the Presence of Unknowns. Electr Notes Theor Comput Sci. 2008:255--264. doi:10.1016/j.entcs.2008.02.023","apa":"Wehrheim, H. (2008). Refinement in the Presence of Unknowns. Electr. Notes Theor. Comput. Sci., 255--264. https://doi.org/10.1016/j.entcs.2008.02.023","bibtex":"@article{Wehrheim_2008, title={Refinement in the Presence of Unknowns}, DOI={10.1016/j.entcs.2008.02.023}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2008}, pages={255--264} }","mla":"Wehrheim, Heike. “Refinement in the Presence of Unknowns.” Electr. Notes Theor. Comput. Sci., 2008, pp. 255--264, doi:10.1016/j.entcs.2008.02.023.","short":"H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 255--264.","ieee":"H. Wehrheim, “Refinement in the Presence of Unknowns,” Electr. Notes Theor. Comput. Sci., pp. 255--264, 2008."},"user_id":"29719","title":"Refinement in the Presence of Unknowns","date_created":"2018-06-13T09:45:42Z","status":"public","publication":"Electr. Notes Theor. Comput. Sci.","department":[{"_id":"77"}],"author":[{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}]},{"date_created":"2018-06-13T09:47:06Z","status":"public","publication":"Electr. Notes Theor. Comput. Sci.","department":[{"_id":"77"}],"author":[{"last_name":"Estler","first_name":"H.{-}Christian","full_name":"Estler, H.{-}Christian"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"user_id":"29719","title":"Alloy as a Refactoring Checker?","page":"331--357","type":"journal_article","year":"2008","citation":{"mla":"Estler, H. .. }Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?” Electr. Notes Theor. Comput. Sci., 2008, pp. 331--357, doi:10.1016/j.entcs.2008.06.015.","bibtex":"@article{Estler_Wehrheim_2008, title={Alloy as a Refactoring Checker?}, DOI={10.1016/j.entcs.2008.06.015}, journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and Wehrheim, Heike}, year={2008}, pages={331--357} }","apa":"Estler, H. .-}Christian, & Wehrheim, H. (2008). Alloy as a Refactoring Checker? Electr. Notes Theor. Comput. Sci., 331--357. https://doi.org/10.1016/j.entcs.2008.06.015","ama":"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","chicago":"Estler, H.{-}Christian, and Heike Wehrheim. “Alloy as a Refactoring Checker?” Electr. Notes Theor. Comput. Sci., 2008, 331--357. https://doi.org/10.1016/j.entcs.2008.06.015.","ieee":"H. .-}Christian Estler and H. Wehrheim, “Alloy as a Refactoring Checker?,” Electr. Notes Theor. Comput. Sci., pp. 331--357, 2008.","short":"H..-}Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 331--357."},"doi":"10.1016/j.entcs.2008.06.015","date_updated":"2022-01-06T06:59:04Z","_id":"3204"},{"user_id":"29719","title":"Integrating a formal method into a software engineering process with {UML} and Java","author":[{"last_name":"Möller","full_name":"Möller, Michael","first_name":"Michael"},{"last_name":"Olderog","first_name":"Ernst-Rüdiger","full_name":"Olderog, Ernst-Rüdiger"},{"first_name":"Holger","full_name":"Rasch, Holger","last_name":"Rasch"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"publication":"Formal Asp. Comput.","department":[{"_id":"77"}],"status":"public","date_created":"2018-06-13T09:48:29Z","_id":"3205","date_updated":"2022-01-06T06:59:04Z","issue":"2","doi":"10.1007/s00165-007-0042-7","type":"journal_article","year":"2008","citation":{"bibtex":"@article{Möller_Olderog_Rasch_Wehrheim_2008, title={Integrating a formal method into a software engineering process with {UML} and Java}, DOI={10.1007/s00165-007-0042-7}, number={2}, journal={Formal Asp. Comput.}, author={Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}, year={2008}, pages={161--204} }","mla":"Möller, Michael, et al. “Integrating a Formal Method into a Software Engineering Process with {UML} and Java.” Formal Asp. Comput., no. 2, 2008, pp. 161--204, doi:10.1007/s00165-007-0042-7.","chicago":"Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim. “Integrating a Formal Method into a Software Engineering Process with {UML} and Java.” Formal Asp. Comput., no. 2 (2008): 161--204. https://doi.org/10.1007/s00165-007-0042-7.","ama":"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","apa":"Möller, M., Olderog, E.-R., Rasch, H., & Wehrheim, H. (2008). Integrating a formal method into a software engineering process with {UML} and Java. Formal Asp. Comput., (2), 161--204. https://doi.org/10.1007/s00165-007-0042-7","ieee":"M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim, “Integrating a formal method into a software engineering process with {UML} and Java,” Formal Asp. Comput., no. 2, pp. 161--204, 2008.","short":"M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, Formal Asp. Comput. (2008) 161--204."},"page":"161--204"},{"author":[{"last_name":"Brückner","first_name":"Ingo","full_name":"Brückner, Ingo"},{"full_name":"Dräger, Klaus","first_name":"Klaus","last_name":"Dräger"},{"last_name":"Finkbeiner","full_name":"Finkbeiner, Bernd","first_name":"Bernd"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"publication":"Fundam. Inform.","department":[{"_id":"77"}],"status":"public","date_created":"2018-06-13T09:50:07Z","title":"Slicing Abstractions","user_id":"29719","citation":{"apa":"Brückner, I., Dräger, K., Finkbeiner, B., & Wehrheim, H. (2008). Slicing Abstractions. Fundam. Inform., (4), 369--392.","ama":"Brückner I, Dräger K, Finkbeiner B, Wehrheim H. Slicing Abstractions. Fundam Inform. 2008;(4):369--392.","chicago":"Brückner, Ingo, Klaus Dräger, Bernd Finkbeiner, and Heike Wehrheim. “Slicing Abstractions.” Fundam. Inform., no. 4 (2008): 369--392.","mla":"Brückner, Ingo, et al. “Slicing Abstractions.” Fundam. Inform., no. 4, 2008, pp. 369--392.","bibtex":"@article{Brückner_Dräger_Finkbeiner_Wehrheim_2008, title={Slicing Abstractions}, number={4}, journal={Fundam. Inform.}, author={Brückner, Ingo and Dräger, Klaus and Finkbeiner, Bernd and Wehrheim, Heike}, year={2008}, pages={369--392} }","short":"I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim, Fundam. Inform. (2008) 369--392.","ieee":"I. Brückner, K. Dräger, B. Finkbeiner, and H. Wehrheim, “Slicing Abstractions,” Fundam. Inform., no. 4, pp. 369--392, 2008."},"year":"2008","type":"journal_article","page":"369--392","_id":"3206","date_updated":"2022-01-06T06:59:04Z","issue":"4"},{"publication":"Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings","department":[{"_id":"77"}],"author":[{"full_name":"Engels, Gregor","first_name":"Gregor","id":"107","last_name":"Engels"},{"first_name":"Anneke","full_name":"Kleppe, Anneke","last_name":"Kleppe"},{"last_name":"Rensink","full_name":"Rensink, Arend","first_name":"Arend"},{"first_name":"Maria","full_name":"Semenyak, Maria","last_name":"Semenyak"},{"first_name":"Christian","orcid":"0000-0002-0342-8227","full_name":"Soltenborn, Christian","last_name":"Soltenborn","id":"1737"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"editor":[{"last_name":"Schieferdecker","full_name":"Schieferdecker, Ina","first_name":"Ina"},{"last_name":"Hartman","first_name":"Alan","full_name":"Hartman, Alan"}],"date_created":"2018-06-13T09:51:29Z","status":"public","title":"From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations","user_id":"14955","series_title":"Lecture Notes in Computer Science","page":"94--109","year":"2008","type":"conference","citation":{"ieee":"G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim, “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations,” in Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.","short":"G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp. 94--109.","bibtex":"@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations}, DOI={10.1007/978-3-540-69100-6_7}, booktitle={Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels, Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn, Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors}, year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }","mla":"Engels, Gregor, et al. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.” Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 2008, pp. 94--109, doi:10.1007/978-3-540-69100-6_7.","ama":"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","apa":"Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim, H. (2008). From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations. In I. Schieferdecker & A. Hartman (Eds.), Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings (pp. 94--109). https://doi.org/10.1007/978-3-540-69100-6_7","chicago":"Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, and Heike Wehrheim. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.” In Model Driven Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-69100-6_7."},"language":[{"iso":"eng"}],"_id":"3207","date_updated":"2022-01-06T06:59:04Z","doi":"10.1007/978-3-540-69100-6_7"},{"series_title":"Lecture Notes in Computer Science","page":"78--95","citation":{"ieee":"J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack,” in Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.","short":"J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (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, 2008, pp. 78--95.","bibtex":"@inproceedings{Derrick_Schellhorn_Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack}, DOI={10.1007/978-3-540-68863-1_6}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Barthe, Gilles and S. de Boer, FrankEditors}, year={2008}, pages={78--95}, collection={Lecture Notes in Computer Science} }","mla":"Derrick, John, et al. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.” Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank S. de Boer, 2008, pp. 78--95, doi:10.1007/978-3-540-68863-1_6.","ama":"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","apa":"Derrick, J., Schellhorn, G., & Wehrheim, H. (2008). Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack. In G. Barthe & F. S. de Boer (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 (pp. 78--95). https://doi.org/10.1007/978-3-540-68863-1_6","chicago":"Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.” In Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank S. de Boer, 78--95. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-68863-1_6."},"type":"conference","year":"2008","date_updated":"2022-01-06T06:59:04Z","_id":"3208","doi":"10.1007/978-3-540-68863-1_6","department":[{"_id":"77"}],"publication":"Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings","author":[{"last_name":"Derrick","first_name":"John","full_name":"Derrick, John"},{"last_name":"Schellhorn","full_name":"Schellhorn, Gerhard","first_name":"Gerhard"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"editor":[{"first_name":"Gilles","full_name":"Barthe, Gilles","last_name":"Barthe"},{"full_name":"S. de Boer, Frank","first_name":"Frank","last_name":"S. de Boer"}],"date_created":"2018-06-13T09:52:29Z","status":"public","title":"Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack","user_id":"29719"},{"status":"public","date_created":"2018-06-13T09:53:43Z","editor":[{"full_name":"Liu, Shaoying","first_name":"Shaoying","last_name":"Liu"},{"last_name":"S. E. Maibaum","first_name":"T.","full_name":"S. E. Maibaum, T."},{"first_name":"Keijiro","full_name":"Araki, Keijiro","last_name":"Araki"}],"author":[{"full_name":"Metzler, Björn","first_name":"Björn","last_name":"Metzler"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"},{"full_name":"Wonisch, Daniel","first_name":"Daniel","last_name":"Wonisch"}],"publication":"Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings","department":[{"_id":"77"}],"user_id":"29719","title":"Decomposition for Compositional Verification","type":"conference","year":"2008","citation":{"mla":"Metzler, Björn, et al. “Decomposition for Compositional Verification.” Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu et al., 2008, pp. 105--125, doi:10.1007/978-3-540-88194-0_9.","bibtex":"@inproceedings{Metzler_Wehrheim_Wonisch_2008, series={Lecture Notes in Computer Science}, title={Decomposition for Compositional Verification}, DOI={10.1007/978-3-540-88194-0_9}, booktitle={Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}, author={Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel}, editor={Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors}, year={2008}, pages={105--125}, collection={Lecture Notes in Computer Science} }","chicago":"Metzler, Björn, Heike Wehrheim, and Daniel Wonisch. “Decomposition for Compositional Verification.” In Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu, T. S. E. Maibaum, and Keijiro Araki, 105--125. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-88194-0_9.","apa":"Metzler, B., Wehrheim, H., & Wonisch, D. (2008). Decomposition for Compositional Verification. In S. Liu, T. S. E. Maibaum, & K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings (pp. 105--125). https://doi.org/10.1007/978-3-540-88194-0_9","ama":"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","ieee":"B. Metzler, H. Wehrheim, and D. Wonisch, “Decomposition for Compositional Verification,” in Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125.","short":"B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki (Eds.), Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008, pp. 105--125."},"page":"105--125","series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-540-88194-0_9","date_updated":"2022-01-06T06:59:04Z","_id":"3209"},{"doi":"10.1007/978-3-540-85762-4_26","date_updated":"2022-01-06T06:59:05Z","_id":"3210","page":"380--394","type":"conference","citation":{"short":"H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\\\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.","ieee":"H. Wehrheim, “Bounded Model Checking for Partial Kripke Structures,” in Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.","chicago":"Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” In Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald, Anne Elisabeth Haxthausen, and H{\\\"{u}}sn{\\\"{u}} Yenig{\\\"{u}}n, 380--394. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-85762-4_26.","ama":"Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald J, Elisabeth Haxthausen A, Yenig{\\\"{u}}n H, eds. Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:380--394. doi:10.1007/978-3-540-85762-4_26","apa":"Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures. In J. S. Fitzgerald, A. Elisabeth Haxthausen, & H. Yenig{\\\"{u}}n (Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (pp. 380--394). https://doi.org/10.1007/978-3-540-85762-4_26","mla":"Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald et al., 2008, pp. 380--394, doi:10.1007/978-3-540-85762-4_26.","bibtex":"@inproceedings{Wehrheim_2008, series={Lecture Notes in Computer Science}, title={Bounded Model Checking for Partial Kripke Structures}, DOI={10.1007/978-3-540-85762-4_26}, booktitle={Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, author={Wehrheim, Heike}, editor={S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\\\"{u}}n, H{\\\"{u}}sn{\\\"{u}}Editors}, year={2008}, pages={380--394}, collection={Lecture Notes in Computer Science} }"},"year":"2008","series_title":"Lecture Notes in Computer Science","user_id":"29719","title":"Bounded Model Checking for Partial Kripke Structures","date_created":"2018-06-13T09:54:58Z","status":"public","editor":[{"last_name":"S. Fitzgerald","first_name":"John","full_name":"S. Fitzgerald, John"},{"last_name":"Elisabeth Haxthausen","first_name":"Anne","full_name":"Elisabeth Haxthausen, Anne"},{"last_name":"Yenig{\\\"{u}}n","full_name":"Yenig{\\\"{u}}n, H{\\\"{u}}sn{\\\"{u}}","first_name":"H{\\\"{u}}sn{\\\"{u}}"}],"department":[{"_id":"77"}],"publication":"Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings","author":[{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}]},{"doi":"10.1007/s00236-007-0042-3","issue":"1","date_updated":"2022-01-06T06:59:05Z","_id":"3211","page":"41--71","type":"journal_article","citation":{"ieee":"J. Derrick and H. Wehrheim, “On using data abstractions for model checking refinements,” Acta Inf., no. 1, pp. 41--71, 2007.","short":"J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.","bibtex":"@article{Derrick_Wehrheim_2007, title={On using data abstractions for model checking refinements}, DOI={10.1007/s00236-007-0042-3}, number={1}, journal={Acta Inf.}, author={Derrick, John and Wehrheim, Heike}, year={2007}, pages={41--71} }","mla":"Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.” Acta Inf., no. 1, 2007, pp. 41--71, doi:10.1007/s00236-007-0042-3.","apa":"Derrick, J., & Wehrheim, H. (2007). On using data abstractions for model checking refinements. Acta Inf., (1), 41--71. https://doi.org/10.1007/s00236-007-0042-3","ama":"Derrick J, Wehrheim H. On using data abstractions for model checking refinements. Acta Inf. 2007;(1):41--71. doi:10.1007/s00236-007-0042-3","chicago":"Derrick, John, and Heike Wehrheim. “On Using Data Abstractions for Model Checking Refinements.” Acta Inf., no. 1 (2007): 41--71. https://doi.org/10.1007/s00236-007-0042-3."},"year":"2007","title":"On using data abstractions for model checking refinements","user_id":"29719","date_created":"2018-06-13T09:56:17Z","status":"public","department":[{"_id":"77"}],"publication":"Acta Inf.","author":[{"full_name":"Derrick, John","first_name":"John","last_name":"Derrick"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}]},{"doi":"10.1016/j.entcs.2006.02.031","issue":"2","date_updated":"2022-01-06T06:59:05Z","_id":"3212","citation":{"ieee":"B. Metzler and H. Wehrheim, “Extending a Component Specification Language with Time,” Electr. Notes Theor. Comput. Sci., no. 2, pp. 47--67, 2007.","short":"B. Metzler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 47--67.","bibtex":"@article{Metzler_Wehrheim_2007, title={Extending a Component Specification Language with Time}, DOI={10.1016/j.entcs.2006.02.031}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Metzler, Björn and Wehrheim, Heike}, year={2007}, pages={47--67} }","mla":"Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification Language with Time.” Electr. Notes Theor. Comput. Sci., no. 2, 2007, pp. 47--67, doi:10.1016/j.entcs.2006.02.031.","chicago":"Metzler, Björn, and Heike Wehrheim. “Extending a Component Specification Language with Time.” Electr. Notes Theor. Comput. Sci., no. 2 (2007): 47--67. https://doi.org/10.1016/j.entcs.2006.02.031.","ama":"Metzler B, Wehrheim H. Extending a Component Specification Language with Time. Electr Notes Theor Comput Sci. 2007;(2):47--67. doi:10.1016/j.entcs.2006.02.031","apa":"Metzler, B., & Wehrheim, H. (2007). Extending a Component Specification Language with Time. Electr. Notes Theor. Comput. Sci., (2), 47--67. https://doi.org/10.1016/j.entcs.2006.02.031"},"year":"2007","type":"journal_article","page":"47--67","title":"Extending a Component Specification Language with Time","user_id":"29719","status":"public","date_created":"2018-06-13T09:57:37Z","author":[{"last_name":"Metzler","full_name":"Metzler, Björn","first_name":"Björn"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"department":[{"_id":"77"}],"publication":"Electr. Notes Theor. Comput. Sci."},{"_id":"3213","date_updated":"2022-01-06T06:59:05Z","doi":"10.1016/j.entcs.2006.08.041","year":"2007","type":"journal_article","citation":{"ieee":"H. .-}Christian Estler, T. Ruhroth, and H. Wehrheim, “Modelchecking Correctness of Refactorings - Some Experiments,” Electr. Notes Theor. Comput. Sci., pp. 3--17, 2007.","short":"H..-}Christian Estler, T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 3--17.","bibtex":"@article{Estler_Ruhroth_Wehrheim_2007, title={Modelchecking Correctness of Refactorings - Some Experiments}, DOI={10.1016/j.entcs.2006.08.041}, journal={Electr. Notes Theor. Comput. Sci.}, author={Estler, H.{-}Christian and Ruhroth, Thomas and Wehrheim, Heike}, year={2007}, pages={3--17} }","mla":"Estler, H. .. }Christian, et al. “Modelchecking Correctness of Refactorings - Some Experiments.” Electr. Notes Theor. Comput. Sci., 2007, pp. 3--17, doi:10.1016/j.entcs.2006.08.041.","chicago":"Estler, H.{-}Christian, Thomas Ruhroth, and Heike Wehrheim. “Modelchecking Correctness of Refactorings - Some Experiments.” Electr. Notes Theor. Comput. Sci., 2007, 3--17. https://doi.org/10.1016/j.entcs.2006.08.041.","apa":"Estler, H. .-}Christian, Ruhroth, T., & Wehrheim, H. (2007). Modelchecking Correctness of Refactorings - Some Experiments. Electr. Notes Theor. Comput. Sci., 3--17. https://doi.org/10.1016/j.entcs.2006.08.041","ama":"Estler H.-}Christian, Ruhroth T, Wehrheim H. Modelchecking Correctness of Refactorings - Some Experiments. Electr Notes Theor Comput Sci. 2007:3--17. doi:10.1016/j.entcs.2006.08.041"},"page":"3--17","title":"Modelchecking Correctness of Refactorings - Some Experiments","user_id":"29719","author":[{"last_name":"Estler","first_name":"H.{-}Christian","full_name":"Estler, H.{-}Christian"},{"full_name":"Ruhroth, Thomas","first_name":"Thomas","last_name":"Ruhroth"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"publication":"Electr. Notes Theor. Comput. Sci.","department":[{"_id":"77"}],"status":"public","date_created":"2018-06-13T09:59:12Z"},{"doi":"10.1007/978-3-540-89020-1_2","_id":"3214","date_updated":"2022-01-06T06:59:05Z","page":"17--31","citation":{"short":"G. Engels, B. Güldali, C. Soltenborn, H. Wehrheim, in: A. Sch{\\\"{u}}rr, M. Nagl, A. Z{\\\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.","ieee":"G. Engels, B. Güldali, C. Soltenborn, and H. Wehrheim, “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts,” in Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, 2007, pp. 17--31.","chicago":"Engels, Gregor, Baris Güldali, Christian Soltenborn, and Heike Wehrheim. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.” In Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, edited by Andy Sch{\\\"{u}}rr, Manfred Nagl, and Albert Z{\\\"{u}}ndorf, 17--31. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-89020-1_2.","apa":"Engels, G., Güldali, B., Soltenborn, C., & Wehrheim, H. (2007). Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In A. Sch{\\\"{u}}rr, M. Nagl, & A. Z{\\\"{u}}ndorf (Eds.), Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers (pp. 17--31). https://doi.org/10.1007/978-3-540-89020-1_2","ama":"Engels G, Güldali B, Soltenborn C, Wehrheim H. Assuring Consistency of Business Process Models and Web Services Using Visual Contracts. In: Sch{\\\"{u}}rr A, Nagl M, Z{\\\"{u}}ndorf A, eds. Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science. ; 2007:17--31. doi:10.1007/978-3-540-89020-1_2","mla":"Engels, Gregor, et al. “Assuring Consistency of Business Process Models and Web Services Using Visual Contracts.” Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, edited by Andy Sch{\\\"{u}}rr et al., 2007, pp. 17--31, doi:10.1007/978-3-540-89020-1_2.","bibtex":"@inproceedings{Engels_Güldali_Soltenborn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Assuring Consistency of Business Process Models and Web Services Using Visual Contracts}, DOI={10.1007/978-3-540-89020-1_2}, booktitle={Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers}, author={Engels, Gregor and Güldali, Baris and Soltenborn, Christian and Wehrheim, Heike}, editor={Sch{\\\"{u}}rr, Andy and Nagl, Manfred and Z{\\\"{u}}ndorf, AlbertEditors}, year={2007}, pages={17--31}, collection={Lecture Notes in Computer Science} }"},"year":"2007","type":"conference","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","title":"Assuring Consistency of Business Process Models and Web Services Using Visual Contracts","user_id":"14955","editor":[{"first_name":"Andy","full_name":"Sch{\\\"{u}}rr, Andy","last_name":"Sch{\\\"{u}}rr"},{"first_name":"Manfred","full_name":"Nagl, Manfred","last_name":"Nagl"},{"last_name":"Z{\\\"{u}}ndorf","full_name":"Z{\\\"{u}}ndorf, Albert","first_name":"Albert"}],"date_created":"2018-06-13T10:00:14Z","status":"public","department":[{"_id":"77"}],"publication":"Applications of Graph Transformations with Industrial Relevance, Third International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers","author":[{"full_name":"Engels, Gregor","first_name":"Gregor","id":"107","last_name":"Engels"},{"last_name":"Güldali","full_name":"Güldali, Baris","first_name":"Baris"},{"first_name":"Christian","full_name":"Soltenborn, Christian","orcid":"0000-0002-0342-8227","last_name":"Soltenborn","id":"1737"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}]},{"series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"page":"76--90","citation":{"short":"G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.","ieee":"G. Engels, C. Soltenborn, and H. Wehrheim, “Analysis of {UML} Activities Using Dynamic Meta Modeling,” in Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.","apa":"Engels, G., Soltenborn, C., & Wehrheim, H. (2007). Analysis of {UML} Activities Using Dynamic Meta Modeling. In M. M. Bonsangue & E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (pp. 76--90). https://doi.org/10.1007/978-3-540-72952-5_5","ama":"Engels G, Soltenborn C, Wehrheim H. Analysis of {UML} Activities Using Dynamic Meta Modeling. In: M. Bonsangue M, Broch Johnsen E, eds. Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science. ; 2007:76--90. doi:10.1007/978-3-540-72952-5_5","chicago":"Engels, Gregor, Christian Soltenborn, and Heike Wehrheim. “Analysis of {UML} Activities Using Dynamic Meta Modeling.” In Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 76--90. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-72952-5_5.","mla":"Engels, Gregor, et al. “Analysis of {UML} Activities Using Dynamic Meta Modeling.” Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 2007, pp. 76--90, doi:10.1007/978-3-540-72952-5_5.","bibtex":"@inproceedings{Engels_Soltenborn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Analysis of {UML} Activities Using Dynamic Meta Modeling}, DOI={10.1007/978-3-540-72952-5_5}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}, author={Engels, Gregor and Soltenborn, Christian and Wehrheim, Heike}, editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007}, pages={76--90}, collection={Lecture Notes in Computer Science} }"},"type":"conference","year":"2007","_id":"3215","date_updated":"2022-01-06T06:59:05Z","doi":"10.1007/978-3-540-72952-5_5","department":[{"_id":"77"}],"publication":"Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings","author":[{"first_name":"Gregor","full_name":"Engels, Gregor","last_name":"Engels","id":"107"},{"last_name":"Soltenborn","id":"1737","first_name":"Christian","full_name":"Soltenborn, Christian","orcid":"0000-0002-0342-8227"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_created":"2018-06-13T10:01:31Z","status":"public","editor":[{"full_name":"M. Bonsangue, Marcello","first_name":"Marcello","last_name":"M. Bonsangue"},{"full_name":"Broch Johnsen, Einar","first_name":"Einar","last_name":"Broch Johnsen"}],"user_id":"14955","title":"Analysis of {UML} Activities Using Dynamic Meta Modeling"},{"series_title":"Lecture Notes in Computer Science","type":"conference","citation":{"short":"T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.","ieee":"T. Ruhroth and H. Wehrheim, “Refactoring Object-Oriented Specifications with Data and Processes,” in Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.","chicago":"Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications with Data and Processes.” In Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 236--251. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-72952-5_15.","apa":"Ruhroth, T., & Wehrheim, H. (2007). Refactoring Object-Oriented Specifications with Data and Processes. In M. M. Bonsangue & E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (pp. 236--251). https://doi.org/10.1007/978-3-540-72952-5_15","ama":"Ruhroth T, Wehrheim H. Refactoring Object-Oriented Specifications with Data and Processes. In: M. Bonsangue M, Broch Johnsen E, eds. Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science. ; 2007:236--251. doi:10.1007/978-3-540-72952-5_15","mla":"Ruhroth, Thomas, and Heike Wehrheim. “Refactoring Object-Oriented Specifications with Data and Processes.” Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 2007, pp. 236--251, doi:10.1007/978-3-540-72952-5_15.","bibtex":"@inproceedings{Ruhroth_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Refactoring Object-Oriented Specifications with Data and Processes}, DOI={10.1007/978-3-540-72952-5_15}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings}, author={Ruhroth, Thomas and Wehrheim, Heike}, editor={M. Bonsangue, Marcello and Broch Johnsen, EinarEditors}, year={2007}, pages={236--251}, collection={Lecture Notes in Computer Science} }"},"year":"2007","page":"236--251","_id":"3216","date_updated":"2022-01-06T06:59:05Z","doi":"10.1007/978-3-540-72952-5_15","author":[{"last_name":"Ruhroth","first_name":"Thomas","full_name":"Ruhroth, Thomas"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"department":[{"_id":"77"}],"publication":"Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings","status":"public","date_created":"2018-06-13T10:03:09Z","editor":[{"last_name":"M. Bonsangue","full_name":"M. Bonsangue, Marcello","first_name":"Marcello"},{"last_name":"Broch Johnsen","full_name":"Broch Johnsen, Einar","first_name":"Einar"}],"user_id":"29719","title":"Refactoring Object-Oriented Specifications with Data and Processes"},{"date_updated":"2022-01-06T06:59:05Z","_id":"3221","doi":"10.1109/FOSE.2007.28","type":"conference","citation":{"chicago":"Schäfer, Wilhelm, and Heike Wehrheim. “The Challenges of Building Advanced Mechatronic Systems.” In International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}, edited by Lionel C. Briand and Alexander L. Wolf, 72--84, 2007. https://doi.org/10.1109/FOSE.2007.28.","apa":"Schäfer, W., & Wehrheim, H. (2007). The Challenges of Building Advanced Mechatronic Systems. In L. C. Briand & A. L. Wolf (Eds.), International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA} (pp. 72--84). https://doi.org/10.1109/FOSE.2007.28","ama":"Schäfer W, Wehrheim H. The Challenges of Building Advanced Mechatronic Systems. In: C. Briand L, L. Wolf A, eds. International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}. ; 2007:72--84. doi:10.1109/FOSE.2007.28","mla":"Schäfer, Wilhelm, and Heike Wehrheim. “The Challenges of Building Advanced Mechatronic Systems.” International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}, edited by Lionel C. Briand and Alexander L. Wolf, 2007, pp. 72--84, doi:10.1109/FOSE.2007.28.","bibtex":"@inproceedings{Schäfer_Wehrheim_2007, title={The Challenges of Building Advanced Mechatronic Systems}, DOI={10.1109/FOSE.2007.28}, booktitle={International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}}, author={Schäfer, Wilhelm and Wehrheim, Heike}, editor={C. Briand, Lionel and L. Wolf, AlexanderEditors}, year={2007}, pages={72--84} }","short":"W. Schäfer, H. Wehrheim, in: L. C. Briand, A. L. Wolf (Eds.), International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}, 2007, pp. 72--84.","ieee":"W. Schäfer and H. Wehrheim, “The Challenges of Building Advanced Mechatronic Systems,” in International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}, 2007, pp. 72--84."},"year":"2007","page":"72--84","user_id":"29719","title":"The Challenges of Building Advanced Mechatronic Systems","author":[{"first_name":"Wilhelm","full_name":"Schäfer, Wilhelm","last_name":"Schäfer"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"publication":"International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}","department":[{"_id":"77"}],"status":"public","date_created":"2018-06-14T06:30:41Z","editor":[{"first_name":"Lionel","full_name":"C. Briand, Lionel","last_name":"C. Briand"},{"last_name":"L. Wolf","first_name":"Alexander","full_name":"L. Wolf, Alexander"}]},{"doi":"10.1007/978-3-540-73210-5_11","date_updated":"2022-01-06T06:59:05Z","_id":"3222","page":"195--214","citation":{"ieee":"J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Linearizability Via Non-atomic Refinement,” in Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.","short":"J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.","mla":"Derrick, John, et al. “Proving Linearizability Via Non-Atomic Refinement.” Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, edited by Jim Davies and Jeremy Gibbons, 2007, pp. 195--214, doi:10.1007/978-3-540-73210-5_11.","bibtex":"@inproceedings{Derrick_Schellhorn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Proving Linearizability Via Non-atomic Refinement}, DOI={10.1007/978-3-540-73210-5_11}, booktitle={Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Davies, Jim and Gibbons, JeremyEditors}, year={2007}, pages={195--214}, collection={Lecture Notes in Computer Science} }","ama":"Derrick J, Schellhorn G, Wehrheim H. Proving Linearizability Via Non-atomic Refinement. In: Davies J, Gibbons J, eds. Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings. Lecture Notes in Computer Science. ; 2007:195--214. doi:10.1007/978-3-540-73210-5_11","apa":"Derrick, J., Schellhorn, G., & Wehrheim, H. (2007). Proving Linearizability Via Non-atomic Refinement. In J. Davies & J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings (pp. 195--214). https://doi.org/10.1007/978-3-540-73210-5_11","chicago":"Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Proving Linearizability Via Non-Atomic Refinement.” In Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, edited by Jim Davies and Jeremy Gibbons, 195--214. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-73210-5_11."},"type":"conference","year":"2007","series_title":"Lecture Notes in Computer Science","user_id":"29719","title":"Proving Linearizability Via Non-atomic Refinement","date_created":"2018-06-14T06:32:05Z","status":"public","editor":[{"first_name":"Jim","full_name":"Davies, Jim","last_name":"Davies"},{"full_name":"Gibbons, Jeremy","first_name":"Jeremy","last_name":"Gibbons"}],"department":[{"_id":"77"}],"publication":"Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings","author":[{"last_name":"Derrick","full_name":"Derrick, John","first_name":"John"},{"first_name":"Gerhard","full_name":"Schellhorn, Gerhard","last_name":"Schellhorn"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}]},{"department":[{"_id":"77"}],"publication":"Nord. J. Comput.","author":[{"last_name":"Brückner","full_name":"Brückner, Ingo","first_name":"Ingo"},{"full_name":"Metzler, Björn","first_name":"Björn","last_name":"Metzler"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"date_created":"2018-06-14T06:33:37Z","status":"public","user_id":"29719","title":"Optimizing Slicing of Formal Specifications by Deductive Verification","page":"22--45","type":"journal_article","citation":{"ieee":"I. Brückner, B. Metzler, and H. Wehrheim, “Optimizing Slicing of Formal Specifications by Deductive Verification,” Nord. J. Comput., no. 1–2, pp. 22--45, 2006.","short":"I. Brückner, B. Metzler, H. Wehrheim, Nord. J. Comput. (2006) 22--45.","mla":"Brückner, Ingo, et al. “Optimizing Slicing of Formal Specifications by Deductive Verification.” Nord. J. Comput., no. 1–2, 2006, pp. 22--45.","bibtex":"@article{Brückner_Metzler_Wehrheim_2006, title={Optimizing Slicing of Formal Specifications by Deductive Verification}, number={1–2}, journal={Nord. J. Comput.}, author={Brückner, Ingo and Metzler, Björn and Wehrheim, Heike}, year={2006}, pages={22--45} }","chicago":"Brückner, Ingo, Björn Metzler, and Heike Wehrheim. “Optimizing Slicing of Formal Specifications by Deductive Verification.” Nord. J. Comput., no. 1–2 (2006): 22--45.","ama":"Brückner I, Metzler B, Wehrheim H. Optimizing Slicing of Formal Specifications by Deductive Verification. Nord J Comput. 2006;(1-2):22--45.","apa":"Brückner, I., Metzler, B., & Wehrheim, H. (2006). Optimizing Slicing of Formal Specifications by Deductive Verification. Nord. J. Comput., (1–2), 22--45."},"year":"2006","date_updated":"2022-01-06T06:59:05Z","_id":"3223","issue":"1-2"},{"doi":"10.1007/11784180_11","date_updated":"2022-01-06T06:59:05Z","_id":"3224","citation":{"ama":"Derrick J, Wehrheim H. Model Transformations Incorporating Multiple Views. In: Johnson M, Vene V, eds. Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings. Lecture Notes in Computer Science. ; 2006:111--126. doi:10.1007/11784180_11","apa":"Derrick, J., & Wehrheim, H. (2006). Model Transformations Incorporating Multiple Views. In M. Johnson & V. Vene (Eds.), Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings (pp. 111--126). https://doi.org/10.1007/11784180_11","chicago":"Derrick, John, and Heike Wehrheim. “Model Transformations Incorporating Multiple Views.” In Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, edited by Michael Johnson and Varmo Vene, 111--126. Lecture Notes in Computer Science, 2006. https://doi.org/10.1007/11784180_11.","mla":"Derrick, John, and Heike Wehrheim. “Model Transformations Incorporating Multiple Views.” Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, edited by Michael Johnson and Varmo Vene, 2006, pp. 111--126, doi:10.1007/11784180_11.","bibtex":"@inproceedings{Derrick_Wehrheim_2006, series={Lecture Notes in Computer Science}, title={Model Transformations Incorporating Multiple Views}, DOI={10.1007/11784180_11}, booktitle={Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings}, author={Derrick, John and Wehrheim, Heike}, editor={Johnson, Michael and Vene, VarmoEditors}, year={2006}, pages={111--126}, collection={Lecture Notes in Computer Science} }","short":"J. Derrick, H. Wehrheim, in: M. Johnson, V. Vene (Eds.), Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, 2006, pp. 111--126.","ieee":"J. Derrick and H. Wehrheim, “Model Transformations Incorporating Multiple Views,” in Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings, 2006, pp. 111--126."},"year":"2006","type":"conference","page":"111--126","series_title":"Lecture Notes in Computer Science","user_id":"29719","title":"Model Transformations Incorporating Multiple Views","status":"public","date_created":"2018-06-14T06:34:47Z","editor":[{"last_name":"Johnson","first_name":"Michael","full_name":"Johnson, Michael"},{"first_name":"Varmo","full_name":"Vene, Varmo","last_name":"Vene"}],"author":[{"full_name":"Derrick, John","first_name":"John","last_name":"Derrick"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"publication":"Algebraic Methodology and Software Technology, 11th International Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings","department":[{"_id":"77"}]},{"author":[{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"department":[{"_id":"77"}],"publication":"Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings","editor":[{"last_name":"Liu","first_name":"Zhiming","full_name":"Liu, Zhiming"},{"full_name":"He, Jifeng","first_name":"Jifeng","last_name":"He"}],"status":"public","date_created":"2018-06-14T06:35:54Z","title":"Incremental Slicing","user_id":"29719","series_title":"Lecture Notes in Computer Science","year":"2006","type":"conference","citation":{"ieee":"H. Wehrheim, “Incremental Slicing,” in Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings, 2006, pp. 514--528.","short":"H. Wehrheim, in: Z. Liu, J. He (Eds.), Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings, 2006, pp. 514--528.","mla":"Wehrheim, Heike. “Incremental Slicing.” Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings, edited by Zhiming Liu and Jifeng He, 2006, pp. 514--528, doi:10.1007/11901433_28.","bibtex":"@inproceedings{Wehrheim_2006, series={Lecture Notes in Computer Science}, title={Incremental Slicing}, DOI={10.1007/11901433_28}, booktitle={Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings}, author={Wehrheim, Heike}, editor={Liu, Zhiming and He, JifengEditors}, year={2006}, pages={514--528}, collection={Lecture Notes in Computer Science} }","apa":"Wehrheim, H. (2006). Incremental Slicing. In Z. Liu & J. He (Eds.), Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings (pp. 514--528). https://doi.org/10.1007/11901433_28","ama":"Wehrheim H. Incremental Slicing. In: Liu Z, He J, eds. Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings. Lecture Notes in Computer Science. ; 2006:514--528. doi:10.1007/11901433_28","chicago":"Wehrheim, Heike. “Incremental Slicing.” In Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings, edited by Zhiming Liu and Jifeng He, 514--528. Lecture Notes in Computer Science, 2006. https://doi.org/10.1007/11901433_28."},"page":"514--528","date_updated":"2022-01-06T06:59:05Z","_id":"3225","doi":"10.1007/11901433_28"},{"date_created":"2018-06-14T06:37:20Z","status":"public","publication_identifier":{"isbn":["3-540-34893-X"]},"editor":[{"full_name":"Gorrieri, Roberto","first_name":"Roberto","last_name":"Gorrieri"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"department":[{"_id":"77"}],"user_id":"29719","title":"Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings","type":"conference_editor","citation":{"ieee":"R. Gorrieri and H. Wehrheim, Eds., Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings. 2006.","short":"R. Gorrieri, H. Wehrheim, eds., Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings, 2006.","bibtex":"@book{Gorrieri_Wehrheim_2006, series={Lecture Notes in Computer Science}, title={Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings}, DOI={10.1007/11768869}, year={2006}, collection={Lecture Notes in Computer Science} }","mla":"Gorrieri, Roberto, and Heike Wehrheim, editors. Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings. 2006, doi:10.1007/11768869.","apa":"Gorrieri, R., & Wehrheim, H. (Eds.). (2006). Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings. https://doi.org/10.1007/11768869","ama":"Gorrieri R, Wehrheim H, eds. Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings.; 2006. doi:10.1007/11768869","chicago":"Gorrieri, Roberto, and Heike Wehrheim, eds. Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Lecture Notes in Computer Science, 2006. https://doi.org/10.1007/11768869."},"year":"2006","series_title":"Lecture Notes in Computer Science","doi":"10.1007/11768869","date_updated":"2022-01-06T06:59:05Z","_id":"3226"},{"doi":"10.1016/j.scico.2004.05.017","issue":"1-3","date_updated":"2022-01-06T06:59:06Z","_id":"3227","citation":{"chicago":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance in {CSP-OZ}.” Sci. Comput. Program., no. 1–3 (2005): 227--257. https://doi.org/10.1016/j.scico.2004.05.017.","apa":"Olderog, E.-R., & Wehrheim, H. (2005). Specification and (property) inheritance in {CSP-OZ}. Sci. Comput. Program., (1–3), 227--257. https://doi.org/10.1016/j.scico.2004.05.017","ama":"Olderog E-R, Wehrheim H. Specification and (property) inheritance in {CSP-OZ}. Sci Comput Program. 2005;(1-3):227--257. doi:10.1016/j.scico.2004.05.017","bibtex":"@article{Olderog_Wehrheim_2005, title={Specification and (property) inheritance in {CSP-OZ}}, DOI={10.1016/j.scico.2004.05.017}, number={1–3}, journal={Sci. Comput. Program.}, author={Olderog, Ernst-Rüdiger and Wehrheim, Heike}, year={2005}, pages={227--257} }","mla":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance in {CSP-OZ}.” Sci. Comput. Program., no. 1–3, 2005, pp. 227--257, doi:10.1016/j.scico.2004.05.017.","short":"E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.","ieee":"E.-R. Olderog and H. Wehrheim, “Specification and (property) inheritance in {CSP-OZ},” Sci. Comput. Program., no. 1–3, pp. 227--257, 2005."},"year":"2005","type":"journal_article","page":"227--257","title":"Specification and (property) inheritance in {CSP-OZ}","user_id":"29719","status":"public","date_created":"2018-06-14T06:38:42Z","author":[{"last_name":"Olderog","full_name":"Olderog, Ernst-Rüdiger","first_name":"Ernst-Rüdiger"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"department":[{"_id":"77"}],"publication":"Sci. Comput. Program."},{"status":"public","date_created":"2018-06-14T06:40:02Z","author":[{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"publication":"Theor. Comput. Sci.","department":[{"_id":"77"}],"title":"Slicing techniques for verification re-use","user_id":"29719","citation":{"bibtex":"@article{Wehrheim_2005, title={Slicing techniques for verification re-use}, DOI={10.1016/j.tcs.2005.06.020}, number={3}, journal={Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2005}, pages={509--528} }","mla":"Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” Theor. Comput. Sci., no. 3, 2005, pp. 509--528, doi:10.1016/j.tcs.2005.06.020.","apa":"Wehrheim, H. (2005). Slicing techniques for verification re-use. Theor. Comput. Sci., (3), 509--528. https://doi.org/10.1016/j.tcs.2005.06.020","ama":"Wehrheim H. Slicing techniques for verification re-use. Theor Comput Sci. 2005;(3):509--528. doi:10.1016/j.tcs.2005.06.020","chicago":"Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” Theor. Comput. Sci., no. 3 (2005): 509--528. https://doi.org/10.1016/j.tcs.2005.06.020.","ieee":"H. Wehrheim, “Slicing techniques for verification re-use,” Theor. Comput. Sci., no. 3, pp. 509--528, 2005.","short":"H. Wehrheim, Theor. Comput. Sci. (2005) 509--528."},"type":"journal_article","year":"2005","page":"509--528","doi":"10.1016/j.tcs.2005.06.020","issue":"3","date_updated":"2022-01-06T06:59:06Z","_id":"3228"},{"date_created":"2018-06-14T06:41:20Z","status":"public","editor":[{"last_name":"Steffen","first_name":"Martin","full_name":"Steffen, Martin"},{"first_name":"Gianluigi","full_name":"Zavattaro, Gianluigi","last_name":"Zavattaro"}],"department":[{"_id":"77"}],"publication":"Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings","author":[{"last_name":"Rasch","full_name":"Rasch, Holger","first_name":"Holger"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"user_id":"29719","title":"Checking the Validity of Scenarios in {UML} Models","page":"67--82","year":"2005","citation":{"mla":"Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in {UML} Models.” Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, edited by Martin Steffen and Gianluigi Zavattaro, 2005, pp. 67--82, doi:10.1007/11494881_5.","bibtex":"@inproceedings{Rasch_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Checking the Validity of Scenarios in {UML} Models}, DOI={10.1007/11494881_5}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Steffen, Martin and Zavattaro, GianluigiEditors}, year={2005}, pages={67--82}, collection={Lecture Notes in Computer Science} }","chicago":"Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in {UML} Models.” In Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, edited by Martin Steffen and Gianluigi Zavattaro, 67--82. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11494881_5.","ama":"Rasch H, Wehrheim H. Checking the Validity of Scenarios in {UML} Models. In: Steffen M, Zavattaro G, eds. Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings. Lecture Notes in Computer Science. ; 2005:67--82. doi:10.1007/11494881_5","apa":"Rasch, H., & Wehrheim, H. (2005). Checking the Validity of Scenarios in {UML} Models. In M. Steffen & G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings (pp. 67--82). https://doi.org/10.1007/11494881_5","ieee":"H. Rasch and H. Wehrheim, “Checking the Validity of Scenarios in {UML} Models,” in Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.","short":"H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82."},"type":"conference","series_title":"Lecture Notes in Computer Science","doi":"10.1007/11494881_5","_id":"3229","date_updated":"2022-01-06T06:59:06Z"},{"user_id":"29719","title":"Slicing an Integrated Formal Method for Verification","department":[{"_id":"77"}],"publication":"Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings","author":[{"full_name":"Brückner, Ingo","first_name":"Ingo","last_name":"Brückner"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"date_created":"2018-06-14T06:42:51Z","status":"public","editor":[{"full_name":"Lau, Kung{-}Kiu","first_name":"Kung{-}Kiu","last_name":"Lau"},{"first_name":"Richard","full_name":"Banach, Richard","last_name":"Banach"}],"date_updated":"2022-01-06T06:59:06Z","_id":"3230","doi":"10.1007/11576280_25","series_title":"Lecture Notes in Computer Science","page":"360--374","type":"conference","citation":{"bibtex":"@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Slicing an Integrated Formal Method for Verification}, DOI={10.1007/11576280_25}, booktitle={Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings}, author={Brückner, Ingo and Wehrheim, Heike}, editor={Lau, Kung{-}Kiu and Banach, RichardEditors}, year={2005}, pages={360--374}, collection={Lecture Notes in Computer Science} }","mla":"Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for Verification.” Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, edited by Kung{-}Kiu Lau and Richard Banach, 2005, pp. 360--374, doi:10.1007/11576280_25.","chicago":"Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for Verification.” In Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, edited by Kung{-}Kiu Lau and Richard Banach, 360--374. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11576280_25.","ama":"Brückner I, Wehrheim H. Slicing an Integrated Formal Method for Verification. In: Lau K-}Kiu, Banach R, eds. Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings. Lecture Notes in Computer Science. ; 2005:360--374. doi:10.1007/11576280_25","apa":"Brückner, I., & Wehrheim, H. (2005). Slicing an Integrated Formal Method for Verification. In K.-}Kiu Lau & R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings (pp. 360--374). https://doi.org/10.1007/11576280_25","ieee":"I. Brückner and H. Wehrheim, “Slicing an Integrated Formal Method for Verification,” in Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.","short":"I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374."},"year":"2005"},{"user_id":"29719","title":"Non-atomic Refinement in {Z} and {CSP}","date_created":"2018-06-14T06:44:17Z","status":"public","editor":[{"last_name":"Treharne","full_name":"Treharne, Helen","first_name":"Helen"},{"first_name":"Steve","full_name":"King, Steve","last_name":"King"},{"first_name":"Martin","full_name":"C. Henson, Martin","last_name":"C. Henson"},{"last_name":"A. Schneider","first_name":"Steve","full_name":"A. Schneider, Steve"}],"department":[{"_id":"77"}],"publication":"{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings","author":[{"last_name":"Derrick","first_name":"John","full_name":"Derrick, John"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"doi":"10.1007/11415787_3","_id":"3231","date_updated":"2022-01-06T06:59:06Z","page":"24--44","year":"2005","type":"conference","citation":{"chicago":"Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.” In {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider, 24--44. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11415787_3.","ama":"Derrick J, Wehrheim H. Non-atomic Refinement in {Z} and {CSP}. In: Treharne H, King S, C. Henson M, A. Schneider S, eds. {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings. Lecture Notes in Computer Science. ; 2005:24--44. doi:10.1007/11415787_3","apa":"Derrick, J., & Wehrheim, H. (2005). Non-atomic Refinement in {Z} and {CSP}. In H. Treharne, S. King, M. C. Henson, & S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings (pp. 24--44). https://doi.org/10.1007/11415787_3","mla":"Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.” {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, edited by Helen Treharne et al., 2005, pp. 24--44, doi:10.1007/11415787_3.","bibtex":"@inproceedings{Derrick_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Non-atomic Refinement in {Z} and {CSP}}, DOI={10.1007/11415787_3}, booktitle={{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings}, author={Derrick, John and Wehrheim, Heike}, editor={Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={24--44}, collection={Lecture Notes in Computer Science} }","short":"J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 24--44.","ieee":"J. Derrick and H. Wehrheim, “Non-atomic Refinement in {Z} and {CSP},” in {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 24--44."},"series_title":"Lecture Notes in Computer Science"},{"doi":"10.1007/11415787_24","date_updated":"2022-01-06T06:59:06Z","_id":"3232","type":"conference","year":"2005","citation":{"ieee":"I. Brückner and H. Wehrheim, “Slicing Object-Z Specifications for Verification,” in {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 414--433.","short":"I. Brückner, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, 2005, pp. 414--433.","mla":"Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for Verification.” {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, edited by Helen Treharne et al., 2005, pp. 414--433, doi:10.1007/11415787_24.","bibtex":"@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer Science}, title={Slicing Object-Z Specifications for Verification}, DOI={10.1007/11415787_24}, booktitle={{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings}, author={Brückner, Ingo and Wehrheim, Heike}, editor={Treharne, Helen and King, Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={414--433}, collection={Lecture Notes in Computer Science} }","ama":"Brückner I, Wehrheim H. Slicing Object-Z Specifications for Verification. In: Treharne H, King S, C. Henson M, A. Schneider S, eds. {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings. Lecture Notes in Computer Science. ; 2005:414--433. doi:10.1007/11415787_24","apa":"Brückner, I., & Wehrheim, H. (2005). Slicing Object-Z Specifications for Verification. In H. Treharne, S. King, M. C. Henson, & S. A. Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings (pp. 414--433). https://doi.org/10.1007/11415787_24","chicago":"Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for Verification.” In {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings, edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider, 414--433. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11415787_24."},"page":"414--433","series_title":"Lecture Notes in Computer Science","user_id":"29719","title":"Slicing Object-Z Specifications for Verification","status":"public","date_created":"2018-06-14T06:45:30Z","editor":[{"first_name":"Helen","full_name":"Treharne, Helen","last_name":"Treharne"},{"last_name":"King","first_name":"Steve","full_name":"King, Steve"},{"last_name":"C. Henson","full_name":"C. Henson, Martin","first_name":"Martin"},{"first_name":"Steve","full_name":"A. Schneider, Steve","last_name":"A. Schneider"}],"author":[{"last_name":"Brückner","first_name":"Ingo","full_name":"Brückner, Ingo"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"publication":"{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings","department":[{"_id":"77"}]},{"author":[{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"department":[{"_id":"77"}],"publication":"Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers","status":"public","date_created":"2018-06-14T06:46:31Z","editor":[{"full_name":"H. Reussner, Ralf","first_name":"Ralf","last_name":"H. Reussner"},{"last_name":"A. Stafford","full_name":"A. Stafford, Judith","first_name":"Judith"},{"last_name":"A. Szyperski","first_name":"Clemens","full_name":"A. Szyperski, Clemens"}],"user_id":"29719","title":"Refinement and Consistency in Component Models with Multiple Views","series_title":"Lecture Notes in Computer Science","year":"2004","type":"conference","citation":{"mla":"Wehrheim, Heike. “Refinement and Consistency in Component Models with Multiple Views.” Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, edited by Ralf H. Reussner et al., 2004, pp. 84--102, doi:10.1007/11786160_5.","bibtex":"@inproceedings{Wehrheim_2004, series={Lecture Notes in Computer Science}, title={Refinement and Consistency in Component Models with Multiple Views}, DOI={10.1007/11786160_5}, booktitle={Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers}, author={Wehrheim, Heike}, editor={H. Reussner, Ralf and A. Stafford, Judith and A. Szyperski, ClemensEditors}, year={2004}, pages={84--102}, collection={Lecture Notes in Computer Science} }","ama":"Wehrheim H. Refinement and Consistency in Component Models with Multiple Views. In: H. Reussner R, A. Stafford J, A. Szyperski C, eds. Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers. Lecture Notes in Computer Science. ; 2004:84--102. doi:10.1007/11786160_5","apa":"Wehrheim, H. (2004). Refinement and Consistency in Component Models with Multiple Views. In R. H. Reussner, J. A. Stafford, & C. A. Szyperski (Eds.), Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers (pp. 84--102). https://doi.org/10.1007/11786160_5","chicago":"Wehrheim, Heike. “Refinement and Consistency in Component Models with Multiple Views.” In Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, edited by Ralf H. Reussner, Judith A. Stafford, and Clemens A. Szyperski, 84--102. Lecture Notes in Computer Science, 2004. https://doi.org/10.1007/11786160_5.","ieee":"H. Wehrheim, “Refinement and Consistency in Component Models with Multiple Views,” in Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, 2004, pp. 84--102.","short":"H. Wehrheim, in: R. H. Reussner, J. A. Stafford, C. A. Szyperski (Eds.), Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers, 2004, pp. 84--102."},"page":"84--102","date_updated":"2022-01-06T06:59:06Z","_id":"3233","doi":"10.1007/11786160_5"},{"series_title":"Lecture Notes in Computer Science","year":"2004","citation":{"mla":"Möller, Michael, et al. “Linking {CSP-OZ} with {UML} and Java: {A} Case Study.” Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings, edited by Eerke A. Boiten et al., 2004, pp. 267--286, doi:10.1007/978-3-540-24756-2_15.","bibtex":"@inproceedings{Möller_Olderog_Rasch_Wehrheim_2004, series={Lecture Notes in Computer Science}, title={Linking {CSP-OZ} with {UML} and Java: {A} Case Study}, DOI={10.1007/978-3-540-24756-2_15}, booktitle={Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings}, author={Möller, Michael and Olderog, Ernst-Rüdiger and Rasch, Holger and Wehrheim, Heike}, editor={A. Boiten, Eerke and Derrick, John and Smith, GraemeEditors}, year={2004}, pages={267--286}, collection={Lecture Notes in Computer Science} }","apa":"Möller, M., Olderog, E.-R., Rasch, H., & Wehrheim, H. (2004). Linking {CSP-OZ} with {UML} and Java: {A} Case Study. In E. A. Boiten, J. Derrick, & G. Smith (Eds.), Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings (pp. 267--286). https://doi.org/10.1007/978-3-540-24756-2_15","ama":"Möller M, Olderog E-R, Rasch H, Wehrheim H. Linking {CSP-OZ} with {UML} and Java: {A} Case Study. In: A. Boiten E, Derrick J, Smith G, eds. Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Lecture Notes in Computer Science. ; 2004:267--286. doi:10.1007/978-3-540-24756-2_15","chicago":"Möller, Michael, Ernst-Rüdiger Olderog, Holger Rasch, and Heike Wehrheim. “Linking {CSP-OZ} with {UML} and Java: {A} Case Study.” In Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings, edited by Eerke A. Boiten, John Derrick, and Graeme Smith, 267--286. Lecture Notes in Computer Science, 2004. https://doi.org/10.1007/978-3-540-24756-2_15.","ieee":"M. Möller, E.-R. Olderog, H. Rasch, and H. Wehrheim, “Linking {CSP-OZ} with {UML} and Java: {A} Case Study,” in Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings, 2004, pp. 267--286.","short":"M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, in: E. A. Boiten, J. Derrick, G. Smith (Eds.), Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings, 2004, pp. 267--286."},"type":"conference","page":"267--286","date_updated":"2022-01-06T06:59:06Z","_id":"3234","doi":"10.1007/978-3-540-24756-2_15","author":[{"full_name":"Möller, Michael","first_name":"Michael","last_name":"Möller"},{"first_name":"Ernst-Rüdiger","full_name":"Olderog, Ernst-Rüdiger","last_name":"Olderog"},{"first_name":"Holger","full_name":"Rasch, Holger","last_name":"Rasch"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"department":[{"_id":"77"}],"publication":"Integrated Formal Methods, 4th International Conference, {IFM} 2004, Canterbury, UK, April 4-7, 2004, Proceedings","status":"public","date_created":"2018-06-14T06:47:35Z","editor":[{"last_name":"A. Boiten","full_name":"A. Boiten, Eerke","first_name":"Eerke"},{"last_name":"Derrick","full_name":"Derrick, John","first_name":"John"},{"full_name":"Smith, Graeme","first_name":"Graeme","last_name":"Smith"}],"user_id":"29719","title":"Linking {CSP-OZ} with {UML} and Java: {A} Case Study"},{"author":[{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"department":[{"_id":"77"}],"publication":"Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004","status":"public","date_created":"2018-06-14T06:48:55Z","editor":[{"first_name":"Jean","full_name":"B{\\'{e}}zivin, Jean","last_name":"B{\\'{e}}zivin"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"}],"user_id":"29719","title":"Refinement and Consistency in Multiview Models","series_title":"Dagstuhl Seminar Proceedings","type":"conference","citation":{"ieee":"H. Wehrheim, “Refinement and Consistency in Multiview Models,” in Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, 2004.","short":"H. Wehrheim, in: J. B{\\’{e}}zivin, R. Heckel (Eds.), Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, 2004.","bibtex":"@inproceedings{Wehrheim_2004, series={Dagstuhl Seminar Proceedings}, title={Refinement and Consistency in Multiview Models}, booktitle={Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004}, author={Wehrheim, Heike}, editor={B{\\’{e}}zivin, Jean and Heckel, ReikoEditors}, year={2004}, collection={Dagstuhl Seminar Proceedings} }","mla":"Wehrheim, Heike. “Refinement and Consistency in Multiview Models.” Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, edited by Jean B{\\’{e}}zivin and Reiko Heckel, 2004.","chicago":"Wehrheim, Heike. “Refinement and Consistency in Multiview Models.” In Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004, edited by Jean B{\\’{e}}zivin and Reiko Heckel. Dagstuhl Seminar Proceedings, 2004.","apa":"Wehrheim, H. (2004). Refinement and Consistency in Multiview Models. In J. B{\\’{e}}zivin & R. Heckel (Eds.), Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004.","ama":"Wehrheim H. Refinement and Consistency in Multiview Models. In: B{\\’{e}}zivin J, Heckel R, eds. Language Engineering for Model-Driven Software Development, 29. February - 5. March 2004. Dagstuhl Seminar Proceedings. ; 2004."},"year":"2004","_id":"3235","date_updated":"2022-01-06T06:59:06Z"},{"page":"143--170","type":"journal_article","citation":{"ieee":"H. Wehrheim, “Behavioral Subtyping Relations for Active Objects,” Formal Methods in System Design, no. 2, pp. 143--170, 2003.","short":"H. Wehrheim, Formal Methods in System Design (2003) 143--170.","mla":"Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” Formal Methods in System Design, no. 2, 2003, pp. 143--170, doi:10.1023/A:1024764232069.","bibtex":"@article{Wehrheim_2003, title={Behavioral Subtyping Relations for Active Objects}, DOI={10.1023/A:1024764232069}, number={2}, journal={Formal Methods in System Design}, author={Wehrheim, Heike}, year={2003}, pages={143--170} }","ama":"Wehrheim H. Behavioral Subtyping Relations for Active Objects. Formal Methods in System Design. 2003;(2):143--170. doi:10.1023/A:1024764232069","apa":"Wehrheim, H. (2003). Behavioral Subtyping Relations for Active Objects. Formal Methods in System Design, (2), 143--170. https://doi.org/10.1023/A:1024764232069","chicago":"Wehrheim, Heike. “Behavioral Subtyping Relations for Active Objects.” Formal Methods in System Design, no. 2 (2003): 143--170. https://doi.org/10.1023/A:1024764232069."},"year":"2003","date_updated":"2022-01-06T06:59:06Z","_id":"3236","issue":"2","doi":"10.1023/A:1024764232069","department":[{"_id":"77"}],"publication":"Formal Methods in System Design","author":[{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"date_created":"2018-06-14T06:49:57Z","status":"public","user_id":"29719","title":"Behavioral Subtyping Relations for Active Objects"},{"series_title":"Lecture Notes in Computer Science","page":"330--343","type":"conference","citation":{"mla":"Wehrheim, Heike. “Preserving Properties Under Change.” Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S. de Boer et al., 2003, pp. 330--343, doi:10.1007/978-3-540-30101-1_16.","bibtex":"@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Preserving Properties Under Change}, DOI={10.1007/978-3-540-30101-1_16}, booktitle={Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures}, author={Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2003}, pages={330--343}, collection={Lecture Notes in Computer Science} }","apa":"Wehrheim, H. (2003). Preserving Properties Under Change. In F. S. de Boer, M. M. Bonsangue, S. Graf, & W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures (pp. 330--343). https://doi.org/10.1007/978-3-540-30101-1_16","ama":"Wehrheim H. Preserving Properties Under Change. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures. Lecture Notes in Computer Science. ; 2003:330--343. doi:10.1007/978-3-540-30101-1_16","chicago":"Wehrheim, Heike. “Preserving Properties Under Change.” In Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 330--343. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-30101-1_16.","ieee":"H. Wehrheim, “Preserving Properties Under Change,” in Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.","short":"H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343."},"year":"2003","date_updated":"2022-01-06T06:59:06Z","_id":"3237","doi":"10.1007/978-3-540-30101-1_16","publication":"Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures","department":[{"_id":"77"}],"author":[{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_created":"2018-06-14T06:51:09Z","status":"public","editor":[{"full_name":"S. de Boer, Frank","first_name":"Frank","last_name":"S. de Boer"},{"last_name":"M. Bonsangue","full_name":"M. Bonsangue, Marcello","first_name":"Marcello"},{"first_name":"Susanne","full_name":"Graf, Susanne","last_name":"Graf"},{"full_name":"P. de Roever, Willem","first_name":"Willem","last_name":"P. de Roever"}],"user_id":"29719","title":"Preserving Properties Under Change"},{"date_created":"2018-06-14T06:52:17Z","status":"public","editor":[{"last_name":"Najm","full_name":"Najm, Elie","first_name":"Elie"},{"last_name":"Nestmann","first_name":"Uwe","full_name":"Nestmann, Uwe"},{"last_name":"Stevens","first_name":"Perdita","full_name":"Stevens, Perdita"}],"department":[{"_id":"77"}],"publication":"Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings","author":[{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"user_id":"29719","title":"Inheritance of Temporal Logic Properties","page":"79--93","citation":{"ieee":"H. Wehrheim, “Inheritance of Temporal Logic Properties,” in Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.","short":"H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.","bibtex":"@inproceedings{Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Inheritance of Temporal Logic Properties}, DOI={10.1007/978-3-540-39958-2_6}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, author={Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={79--93}, collection={Lecture Notes in Computer Science} }","mla":"Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 79--93, doi:10.1007/978-3-540-39958-2_6.","apa":"Wehrheim, H. (2003). Inheritance of Temporal Logic Properties. In E. Najm, U. Nestmann, & P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings (pp. 79--93). https://doi.org/10.1007/978-3-540-39958-2_6","ama":"Wehrheim H. Inheritance of Temporal Logic Properties. In: Najm E, Nestmann U, Stevens P, eds. Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:79--93. doi:10.1007/978-3-540-39958-2_6","chicago":"Wehrheim, Heike. “Inheritance of Temporal Logic Properties.” In Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 79--93. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-39958-2_6."},"year":"2003","type":"conference","series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-540-39958-2_6","_id":"3238","date_updated":"2022-01-06T06:59:06Z"},{"doi":"10.1007/978-3-540-39958-2_16","_id":"3239","date_updated":"2022-01-06T06:59:06Z","page":"229--243","type":"conference","citation":{"mla":"Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm et al., 2003, pp. 229--243, doi:10.1007/978-3-540-39958-2_16.","bibtex":"@inproceedings{Rasch_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Checking Consistency in {UML} Diagramms: Classes and State Machines}, DOI={10.1007/978-3-540-39958-2_16}, booktitle={Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors}, year={2003}, pages={229--243}, collection={Lecture Notes in Computer Science} }","ama":"Rasch H, Wehrheim H. Checking Consistency in {UML} Diagramms: Classes and State Machines. In: Najm E, Nestmann U, Stevens P, eds. Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:229--243. doi:10.1007/978-3-540-39958-2_16","apa":"Rasch, H., & Wehrheim, H. (2003). Checking Consistency in {UML} Diagramms: Classes and State Machines. In E. Najm, U. Nestmann, & P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings (pp. 229--243). https://doi.org/10.1007/978-3-540-39958-2_16","chicago":"Rasch, Holger, and Heike Wehrheim. “Checking Consistency in {UML} Diagramms: Classes and State Machines.” In Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 229--243. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-39958-2_16.","ieee":"H. Rasch and H. Wehrheim, “Checking Consistency in {UML} Diagramms: Classes and State Machines,” in Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.","short":"H. Rasch, H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243."},"year":"2003","series_title":"Lecture Notes in Computer Science","title":"Checking Consistency in {UML} Diagramms: Classes and State Machines","user_id":"29719","editor":[{"last_name":"Najm","first_name":"Elie","full_name":"Najm, Elie"},{"last_name":"Nestmann","full_name":"Nestmann, Uwe","first_name":"Uwe"},{"first_name":"Perdita","full_name":"Stevens, Perdita","last_name":"Stevens"}],"date_created":"2018-06-14T06:53:24Z","status":"public","publication":"Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings","department":[{"_id":"77"}],"author":[{"last_name":"Rasch","full_name":"Rasch, Holger","first_name":"Holger"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}]},{"user_id":"29719","title":"Using Coupled Simulations in Non-atomic Refinement","date_created":"2018-06-14T06:54:54Z","status":"public","editor":[{"last_name":"Bert","full_name":"Bert, Didier","first_name":"Didier"},{"first_name":"Jonathan","full_name":"P. Bowen, Jonathan","last_name":"P. Bowen"},{"last_name":"King","full_name":"King, Steve","first_name":"Steve"},{"last_name":"A. Wald{\\'{e}}n","full_name":"A. Wald{\\'{e}}n, Marina","first_name":"Marina"}],"publication":"{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings","department":[{"_id":"77"}],"author":[{"full_name":"Derrick, John","first_name":"John","last_name":"Derrick"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"doi":"10.1007/3-540-44880-2_10","date_updated":"2022-01-06T06:59:07Z","_id":"3240","page":"127--147","year":"2003","type":"conference","citation":{"short":"J. Derrick, H. Wehrheim, in: D. Bert, J. P. Bowen, S. King, M. A. Wald{\\’{e}}n (Eds.), {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003, pp. 127--147.","ieee":"J. Derrick and H. Wehrheim, “Using Coupled Simulations in Non-atomic Refinement,” in {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003, pp. 127--147.","chicago":"Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” In {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, edited by Didier Bert, Jonathan P. Bowen, Steve King, and Marina A. Wald{\\’{e}}n, 127--147. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/3-540-44880-2_10.","apa":"Derrick, J., & Wehrheim, H. (2003). Using Coupled Simulations in Non-atomic Refinement. In D. Bert, J. P. Bowen, S. King, & M. A. Wald{\\’{e}}n (Eds.), {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings (pp. 127--147). https://doi.org/10.1007/3-540-44880-2_10","ama":"Derrick J, Wehrheim H. Using Coupled Simulations in Non-atomic Refinement. In: Bert D, P. Bowen J, King S, A. Wald{\\’{e}}n M, eds. {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings. Lecture Notes in Computer Science. ; 2003:127--147. doi:10.1007/3-540-44880-2_10","mla":"Derrick, John, and Heike Wehrheim. “Using Coupled Simulations in Non-Atomic Refinement.” {ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings, edited by Didier Bert et al., 2003, pp. 127--147, doi:10.1007/3-540-44880-2_10.","bibtex":"@inproceedings{Derrick_Wehrheim_2003, series={Lecture Notes in Computer Science}, title={Using Coupled Simulations in Non-atomic Refinement}, DOI={10.1007/3-540-44880-2_10}, booktitle={{ZB} 2003: Formal Specification and Development in {Z} and B, Third International Conference of {B} and {Z} Users, Turku, Finland, June 4-6, 2003, Proceedings}, author={Derrick, John and Wehrheim, Heike}, editor={Bert, Didier and P. Bowen, Jonathan and King, Steve and A. Wald{\\’{e}}n, MarinaEditors}, year={2003}, pages={127--147}, collection={Lecture Notes in Computer Science} }"},"series_title":"Lecture Notes in Computer Science"},{"status":"public","date_created":"2018-06-14T06:56:20Z","author":[{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"publication":"Nord. J. Comput.","department":[{"_id":"77"}],"title":"Relating State-based and Behaviour-oriented Subtyping","user_id":"29719","type":"journal_article","year":"2002","citation":{"ieee":"H. Wehrheim, “Relating State-based and Behaviour-oriented Subtyping,” Nord. J. Comput., no. 4, pp. 405--435, 2002.","short":"H. Wehrheim, Nord. J. Comput. (2002) 405--435.","mla":"Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” Nord. J. Comput., no. 4, 2002, pp. 405--435.","bibtex":"@article{Wehrheim_2002, title={Relating State-based and Behaviour-oriented Subtyping}, number={4}, journal={Nord. J. Comput.}, author={Wehrheim, Heike}, year={2002}, pages={405--435} }","ama":"Wehrheim H. Relating State-based and Behaviour-oriented Subtyping. Nord J Comput. 2002;(4):405--435.","apa":"Wehrheim, H. (2002). Relating State-based and Behaviour-oriented Subtyping. Nord. J. Comput., (4), 405--435.","chicago":"Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” Nord. J. Comput., no. 4 (2002): 405--435."},"page":"405--435","issue":"4","date_updated":"2022-01-06T06:59:07Z","_id":"3241"},{"user_id":"29719","title":"Specification and Inheritance in {CSP-OZ}","department":[{"_id":"77"}],"publication":"Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures","author":[{"last_name":"Olderog","full_name":"Olderog, Ernst-Rüdiger","first_name":"Ernst-Rüdiger"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"date_created":"2018-06-14T07:10:28Z","status":"public","editor":[{"last_name":"S. de Boer","full_name":"S. de Boer, Frank","first_name":"Frank"},{"last_name":"M. Bonsangue","full_name":"M. Bonsangue, Marcello","first_name":"Marcello"},{"full_name":"Graf, Susanne","first_name":"Susanne","last_name":"Graf"},{"first_name":"Willem","full_name":"P. de Roever, Willem","last_name":"P. de Roever"}],"date_updated":"2022-01-06T06:59:07Z","_id":"3242","doi":"10.1007/978-3-540-39656-7_15","series_title":"Lecture Notes in Computer Science","page":"361--379","year":"2002","citation":{"short":"E.-R. Olderog, H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, 2002, pp. 361--379.","ieee":"E.-R. Olderog and H. Wehrheim, “Specification and Inheritance in {CSP-OZ},” in Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, 2002, pp. 361--379.","apa":"Olderog, E.-R., & Wehrheim, H. (2002). Specification and Inheritance in {CSP-OZ}. In F. S. de Boer, M. M. Bonsangue, S. Graf, & W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (pp. 361--379). https://doi.org/10.1007/978-3-540-39656-7_15","ama":"Olderog E-R, Wehrheim H. Specification and Inheritance in {CSP-OZ}. In: S. de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer Science. ; 2002:361--379. doi:10.1007/978-3-540-39656-7_15","chicago":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance in {CSP-OZ}.” In Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P. de Roever, 361--379. Lecture Notes in Computer Science, 2002. https://doi.org/10.1007/978-3-540-39656-7_15.","mla":"Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance in {CSP-OZ}.” Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, edited by Frank S. de Boer et al., 2002, pp. 361--379, doi:10.1007/978-3-540-39656-7_15.","bibtex":"@inproceedings{Olderog_Wehrheim_2002, series={Lecture Notes in Computer Science}, title={Specification and Inheritance in {CSP-OZ}}, DOI={10.1007/978-3-540-39656-7_15}, booktitle={Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures}, author={Olderog, Ernst-Rüdiger and Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue, Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2002}, pages={361--379}, collection={Lecture Notes in Computer Science} }"},"type":"conference"},{"user_id":"29719","title":"Checking Behavioural Subtypes via Refinement","author":[{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"publication":"Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands","department":[{"_id":"77"}],"status":"public","date_created":"2018-06-14T07:11:33Z","editor":[{"full_name":"Jacobs, Bart","first_name":"Bart","last_name":"Jacobs"},{"full_name":"Rensink, Arend","first_name":"Arend","last_name":"Rensink"}],"_id":"3243","date_updated":"2022-01-06T06:59:07Z","series_title":"{IFIP} Conference Proceedings","year":"2002","citation":{"short":"H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, 2002, pp. 79--93.","ieee":"H. Wehrheim, “Checking Behavioural Subtypes via Refinement,” in Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, 2002, pp. 79--93.","apa":"Wehrheim, H. (2002). Checking Behavioural Subtypes via Refinement. In B. Jacobs & A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands (pp. 79--93).","ama":"Wehrheim H. Checking Behavioural Subtypes via Refinement. In: Jacobs B, Rensink A, eds. Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands. {IFIP} Conference Proceedings. ; 2002:79--93.","chicago":"Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” In Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, edited by Bart Jacobs and Arend Rensink, 79--93. {IFIP} Conference Proceedings, 2002.","mla":"Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, edited by Bart Jacobs and Arend Rensink, 2002, pp. 79--93.","bibtex":"@inproceedings{Wehrheim_2002, series={{IFIP} Conference Proceedings}, title={Checking Behavioural Subtypes via Refinement}, booktitle={Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands}, author={Wehrheim, Heike}, editor={Jacobs, Bart and Rensink, ArendEditors}, year={2002}, pages={79--93}, collection={{IFIP} Conference Proceedings} }"},"type":"conference","page":"79--93"},{"author":[{"full_name":"Rensink, Arend","first_name":"Arend","last_name":"Rensink"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"department":[{"_id":"77"}],"publication":"Acta Inf.","status":"public","date_created":"2018-06-14T07:12:39Z","title":"Process algebra with action dependencies","user_id":"29719","citation":{"bibtex":"@article{Rensink_Wehrheim_2001, title={Process algebra with action dependencies}, DOI={10.1007/s002360100070}, number={3}, journal={Acta Inf.}, author={Rensink, Arend and Wehrheim, Heike}, year={2001}, pages={155--234} }","mla":"Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.” Acta Inf., no. 3, 2001, pp. 155--234, doi:10.1007/s002360100070.","apa":"Rensink, A., & Wehrheim, H. (2001). Process algebra with action dependencies. Acta Inf., (3), 155--234. https://doi.org/10.1007/s002360100070","ama":"Rensink A, Wehrheim H. Process algebra with action dependencies. Acta Inf. 2001;(3):155--234. doi:10.1007/s002360100070","chicago":"Rensink, Arend, and Heike Wehrheim. “Process Algebra with Action Dependencies.” Acta Inf., no. 3 (2001): 155--234. https://doi.org/10.1007/s002360100070.","ieee":"A. Rensink and H. Wehrheim, “Process algebra with action dependencies,” Acta Inf., no. 3, pp. 155--234, 2001.","short":"A. Rensink, H. Wehrheim, Acta Inf. (2001) 155--234."},"type":"journal_article","year":"2001","page":"155--234","date_updated":"2022-01-06T06:59:07Z","_id":"3244","doi":"10.1007/s002360100070","issue":"3"},{"date_created":"2018-06-14T07:14:07Z","status":"public","department":[{"_id":"77"}],"publication":"Electr. Notes Theor. Comput. Sci.","author":[{"first_name":"Detlef","full_name":"Bartetzko, Detlef","last_name":"Bartetzko"},{"first_name":"Clemens","full_name":"Fischer, Clemens","last_name":"Fischer"},{"full_name":"Möller, Michael","first_name":"Michael","last_name":"Möller"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"title":"Jass - Java with Assertions","user_id":"29719","page":"103--117","year":"2001","citation":{"mla":"Bartetzko, Detlef, et al. “Jass - Java with Assertions.” Electr. Notes Theor. Comput. Sci., no. 2, 2001, pp. 103--117, doi:10.1016/S1571-0661(04)00247-6.","bibtex":"@article{Bartetzko_Fischer_Möller_Wehrheim_2001, title={Jass - Java with Assertions}, DOI={10.1016/S1571-0661(04)00247-6}, number={2}, journal={Electr. Notes Theor. Comput. Sci.}, author={Bartetzko, Detlef and Fischer, Clemens and Möller, Michael and Wehrheim, Heike}, year={2001}, pages={103--117} }","apa":"Bartetzko, D., Fischer, C., Möller, M., & Wehrheim, H. (2001). Jass - Java with Assertions. Electr. Notes Theor. Comput. Sci., (2), 103--117. https://doi.org/10.1016/S1571-0661(04)00247-6","ama":"Bartetzko D, Fischer C, Möller M, Wehrheim H. Jass - Java with Assertions. Electr Notes Theor Comput Sci. 2001;(2):103--117. doi:10.1016/S1571-0661(04)00247-6","chicago":"Bartetzko, Detlef, Clemens Fischer, Michael Möller, and Heike Wehrheim. “Jass - Java with Assertions.” Electr. Notes Theor. Comput. Sci., no. 2 (2001): 103--117. https://doi.org/10.1016/S1571-0661(04)00247-6.","ieee":"D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim, “Jass - Java with Assertions,” Electr. Notes Theor. Comput. Sci., no. 2, pp. 103--117, 2001.","short":"D. Bartetzko, C. Fischer, M. Möller, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2001) 103--117."},"type":"journal_article","doi":"10.1016/S1571-0661(04)00247-6","issue":"2","date_updated":"2022-01-06T06:59:07Z","_id":"3245"},{"doi":"10.1007/3-540-45314-8_8","date_updated":"2022-01-06T06:59:07Z","_id":"3246","page":"91--108","citation":{"apa":"Fischer, C., Olderog, E.-R., & Wehrheim, H. (2001). A {CSP} View on {UML-RT} Structure Diagrams. In H. Hu{\\ss}mann (Ed.), Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings (pp. 91--108). https://doi.org/10.1007/3-540-45314-8_8","ama":"Fischer C, Olderog E-R, Wehrheim H. A {CSP} View on {UML-RT} Structure Diagrams. In: Hu{\\ss}mann H, ed. Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science. ; 2001:91--108. doi:10.1007/3-540-45314-8_8","chicago":"Fischer, Clemens, Ernst-Rüdiger Olderog, and Heike Wehrheim. “A {CSP} View on {UML-RT} Structure Diagrams.” In Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, edited by Heinrich Hu{\\ss}mann, 91--108. Lecture Notes in Computer Science, 2001. https://doi.org/10.1007/3-540-45314-8_8.","mla":"Fischer, Clemens, et al. “A {CSP} View on {UML-RT} Structure Diagrams.” Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, edited by Heinrich Hu{\\ss}mann, 2001, pp. 91--108, doi:10.1007/3-540-45314-8_8.","bibtex":"@inproceedings{Fischer_Olderog_Wehrheim_2001, series={Lecture Notes in Computer Science}, title={A {CSP} View on {UML-RT} Structure Diagrams}, DOI={10.1007/3-540-45314-8_8}, booktitle={Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings}, author={Fischer, Clemens and Olderog, Ernst-Rüdiger and Wehrheim, Heike}, editor={Hu{\\ss}mann, HeinrichEditor}, year={2001}, pages={91--108}, collection={Lecture Notes in Computer Science} }","short":"C. Fischer, E.-R. Olderog, H. Wehrheim, in: H. Hu{\\ss}mann (Ed.), Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, 2001, pp. 91--108.","ieee":"C. Fischer, E.-R. Olderog, and H. Wehrheim, “A {CSP} View on {UML-RT} Structure Diagrams,” in Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings, 2001, pp. 91--108."},"year":"2001","type":"conference","series_title":"Lecture Notes in Computer Science","user_id":"29719","title":"A {CSP} View on {UML-RT} Structure Diagrams","date_created":"2018-06-14T07:15:07Z","status":"public","editor":[{"last_name":"Hu{\\ss}mann","full_name":"Hu{\\ss}mann, Heinrich","first_name":"Heinrich"}],"department":[{"_id":"77"}],"publication":"Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings","author":[{"full_name":"Fischer, Clemens","first_name":"Clemens","last_name":"Fischer"},{"last_name":"Olderog","full_name":"Olderog, Ernst-Rüdiger","first_name":"Ernst-Rüdiger"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}]},{"type":"journal_article","year":"2000","citation":{"short":"C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.","ieee":"C. Fischer and H. Wehrheim, “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method,” Bulletin of the {EATCS}, pp. 92--101, 2000.","ama":"Fischer C, Wehrheim H. Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. Bulletin of the {EATCS}. 2000:92--101.","apa":"Fischer, C., & Wehrheim, H. (2000). Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. Bulletin of the {EATCS}, 92--101.","chicago":"Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” Bulletin of the {EATCS}, 2000, 92--101.","bibtex":"@article{Fischer_Wehrheim_2000, title={Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}, journal={Bulletin of the {EATCS}}, author={Fischer, Clemens and Wehrheim, Heike}, year={2000}, pages={92--101} }","mla":"Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” Bulletin of the {EATCS}, 2000, pp. 92--101."},"page":"92--101","_id":"3247","date_updated":"2022-01-06T06:59:07Z","author":[{"first_name":"Clemens","full_name":"Fischer, Clemens","last_name":"Fischer"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"department":[{"_id":"77"}],"publication":"Bulletin of the {EATCS}","status":"public","date_created":"2018-06-14T07:17:49Z","title":"Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method","user_id":"29719"},{"citation":{"bibtex":"@article{Wehrheim_2000, title={Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}, DOI={10.1007/s001650070026}, number={3}, journal={Formal Asp. Comput.}, author={Wehrheim, Heike}, year={2000}, pages={147--164} }","mla":"Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” Formal Asp. Comput., no. 3, 2000, pp. 147--164, doi:10.1007/s001650070026.","apa":"Wehrheim, H. (2000). Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. Formal Asp. Comput., (3), 147--164. https://doi.org/10.1007/s001650070026","ama":"Wehrheim H. Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. Formal Asp Comput. 2000;(3):147--164. doi:10.1007/s001650070026","chicago":"Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” Formal Asp. Comput., no. 3 (2000): 147--164. https://doi.org/10.1007/s001650070026.","ieee":"H. Wehrheim, “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications,” Formal Asp. Comput., no. 3, pp. 147--164, 2000.","short":"H. Wehrheim, Formal Asp. Comput. (2000) 147--164."},"type":"journal_article","year":"2000","page":"147--164","date_updated":"2022-01-06T06:59:07Z","_id":"3248","doi":"10.1007/s001650070026","issue":"3","author":[{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"department":[{"_id":"77"}],"publication":"Formal Asp. Comput.","status":"public","date_created":"2018-06-14T07:19:50Z","title":"Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications","user_id":"29719"},{"page":"469--483","citation":{"short":"C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.","ieee":"C. Fischer and H. Wehrheim, “Behavioural Subtyping Relations for Object-Oriented Formalisms,” in Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.","chicago":"Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” In Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, edited by Teodor Rus, 469--483. Lecture Notes in Computer Science, 2000. https://doi.org/10.1007/3-540-45499-3_33.","apa":"Fischer, C., & Wehrheim, H. (2000). Behavioural Subtyping Relations for Object-Oriented Formalisms. In T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings (pp. 469--483). https://doi.org/10.1007/3-540-45499-3_33","ama":"Fischer C, Wehrheim H. Behavioural Subtyping Relations for Object-Oriented Formalisms. In: Rus T, ed. Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings. Lecture Notes in Computer Science. ; 2000:469--483. doi:10.1007/3-540-45499-3_33","bibtex":"@inproceedings{Fischer_Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Behavioural Subtyping Relations for Object-Oriented Formalisms}, DOI={10.1007/3-540-45499-3_33}, booktitle={Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Rus, TeodorEditor}, year={2000}, pages={469--483}, collection={Lecture Notes in Computer Science} }","mla":"Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, edited by Teodor Rus, 2000, pp. 469--483, doi:10.1007/3-540-45499-3_33."},"type":"conference","year":"2000","series_title":"Lecture Notes in Computer Science","doi":"10.1007/3-540-45499-3_33","_id":"3249","date_updated":"2022-01-06T06:59:07Z","date_created":"2018-06-14T07:20:56Z","status":"public","editor":[{"last_name":"Rus","first_name":"Teodor","full_name":"Rus, Teodor"}],"department":[{"_id":"77"}],"publication":"Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings","author":[{"last_name":"Fischer","full_name":"Fischer, Clemens","first_name":"Clemens"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"user_id":"29719","title":"Behavioural Subtyping Relations for Object-Oriented Formalisms"},{"department":[{"_id":"77"}],"publication":"Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings","author":[{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"date_created":"2018-06-14T07:22:20Z","status":"public","editor":[{"full_name":"S. E. Maibaum, T.","first_name":"T.","last_name":"S. E. Maibaum"}],"user_id":"29719","title":"Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods","series_title":"Lecture Notes in Computer Science","page":"334--348","year":"2000","citation":{"mla":"Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods.” Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, edited by T. S. E. Maibaum, 2000, pp. 334--348, doi:10.1007/3-540-46428-X_23.","bibtex":"@inproceedings{Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods}, DOI={10.1007/3-540-46428-X_23}, booktitle={Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings}, author={Wehrheim, Heike}, editor={S. E. Maibaum, T.Editor}, year={2000}, pages={334--348}, collection={Lecture Notes in Computer Science} }","chicago":"Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods.” In Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, edited by T. S. E. Maibaum, 334--348. Lecture Notes in Computer Science, 2000. https://doi.org/10.1007/3-540-46428-X_23.","ama":"Wehrheim H. Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods. In: S. E. Maibaum T, ed. Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Lecture Notes in Computer Science. ; 2000:334--348. doi:10.1007/3-540-46428-X_23","apa":"Wehrheim, H. (2000). Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods. In T. S. E. Maibaum (Ed.), Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings (pp. 334--348). https://doi.org/10.1007/3-540-46428-X_23","ieee":"H. Wehrheim, “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods,” in Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000, pp. 334--348.","short":"H. Wehrheim, in: T. S. E. Maibaum (Ed.), Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, 2000, pp. 334--348."},"type":"conference","date_updated":"2022-01-06T06:59:07Z","_id":"3250","doi":"10.1007/3-540-46428-X_23"},{"title":"Behavioural Subtyping and Property Preservation","user_id":"29719","department":[{"_id":"77"}],"publication":"Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}","author":[{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"editor":[{"last_name":"F. Smith","first_name":"Scott","full_name":"F. Smith, Scott"},{"last_name":"L. Talcott","first_name":"Carolyn","full_name":"L. Talcott, Carolyn"}],"date_created":"2018-06-14T07:25:14Z","status":"public","date_updated":"2022-01-06T06:59:07Z","_id":"3251","doi":"10.1007/978-0-387-35520-7_11","series_title":"{IFIP} Conference Proceedings","page":"213--231","type":"conference","citation":{"ieee":"H. Wehrheim, “Behavioural Subtyping and Property Preservation,” in Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, 2000, pp. 213--231.","short":"H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, 2000, pp. 213--231.","mla":"Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, edited by Scott F. Smith and Carolyn L. Talcott, 2000, pp. 213--231, doi:10.1007/978-0-387-35520-7_11.","bibtex":"@inproceedings{Wehrheim_2000, series={{IFIP} Conference Proceedings}, title={Behavioural Subtyping and Property Preservation}, DOI={10.1007/978-0-387-35520-7_11}, booktitle={Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}}, author={Wehrheim, Heike}, editor={F. Smith, Scott and L. Talcott, CarolynEditors}, year={2000}, pages={213--231}, collection={{IFIP} Conference Proceedings} }","ama":"Wehrheim H. Behavioural Subtyping and Property Preservation. In: F. Smith S, L. Talcott C, eds. Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}. {IFIP} Conference Proceedings. ; 2000:213--231. doi:10.1007/978-0-387-35520-7_11","apa":"Wehrheim, H. (2000). Behavioural Subtyping and Property Preservation. In S. F. Smith & C. L. Talcott (Eds.), Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA} (pp. 213--231). https://doi.org/10.1007/978-0-387-35520-7_11","chicago":"Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” In Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, edited by Scott F. Smith and Carolyn L. Talcott, 213--231. {IFIP} Conference Proceedings, 2000. https://doi.org/10.1007/978-0-387-35520-7_11."},"year":"2000"},{"status":"public","date_created":"2018-06-14T07:26:58Z","author":[{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"department":[{"_id":"77"}],"publication":"Electr. Notes Theor. Comput. Sci.","title":"Partial order reductions for failures refinement","user_id":"29719","year":"1999","type":"journal_article","citation":{"chicago":"Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” Electr. Notes Theor. Comput. Sci., 1999, 71--84. https://doi.org/10.1016/S1571-0661(05)80296-8.","ama":"Wehrheim H. Partial order reductions for failures refinement. Electr Notes Theor Comput Sci. 1999:71--84. doi:10.1016/S1571-0661(05)80296-8","apa":"Wehrheim, H. (1999). Partial order reductions for failures refinement. Electr. Notes Theor. Comput. Sci., 71--84. https://doi.org/10.1016/S1571-0661(05)80296-8","mla":"Wehrheim, Heike. “Partial Order Reductions for Failures Refinement.” Electr. Notes Theor. Comput. Sci., 1999, pp. 71--84, doi:10.1016/S1571-0661(05)80296-8.","bibtex":"@article{Wehrheim_1999, title={Partial order reductions for failures refinement}, DOI={10.1016/S1571-0661(05)80296-8}, journal={Electr. Notes Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={1999}, pages={71--84} }","short":"H. Wehrheim, Electr. Notes Theor. Comput. Sci. (1999) 71--84.","ieee":"H. Wehrheim, “Partial order reductions for failures refinement,” Electr. Notes Theor. Comput. Sci., pp. 71--84, 1999."},"page":"71--84","doi":"10.1016/S1571-0661(05)80296-8","_id":"3252","date_updated":"2022-01-06T06:59:07Z"},{"year":"1999","citation":{"ieee":"H. Wehrheim, “Data Abstraction for {CSP-OZ},” in FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, 1999, pp. 1028--1047.","short":"H. Wehrheim, in: J. M. Wing, J. Woodcock, J. Davies (Eds.), FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, 1999, pp. 1028--1047.","mla":"Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, edited by Jeannette M. Wing et al., 1999, pp. 1028--1047, doi:10.1007/3-540-48118-4_5.","bibtex":"@inproceedings{Wehrheim_1999, series={Lecture Notes in Computer Science}, title={Data Abstraction for {CSP-OZ}}, DOI={10.1007/3-540-48118-4_5}, booktitle={FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}}, author={Wehrheim, Heike}, editor={M. Wing, Jeannette and Woodcock, Jim and Davies, JimEditors}, year={1999}, pages={1028--1047}, collection={Lecture Notes in Computer Science} }","apa":"Wehrheim, H. (1999). Data Abstraction for {CSP-OZ}. In J. M. Wing, J. Woodcock, & J. Davies (Eds.), FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II} (pp. 1028--1047). https://doi.org/10.1007/3-540-48118-4_5","ama":"Wehrheim H. Data Abstraction for {CSP-OZ}. In: M. Wing J, Woodcock J, Davies J, eds. FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}. Lecture Notes in Computer Science. ; 1999:1028--1047. doi:10.1007/3-540-48118-4_5","chicago":"Wehrheim, Heike. “Data Abstraction for {CSP-OZ}.” In FM’99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}, edited by Jeannette M. Wing, Jim Woodcock, and Jim Davies, 1028--1047. Lecture Notes in Computer Science, 1999. https://doi.org/10.1007/3-540-48118-4_5."},"type":"conference","page":"1028--1047","series_title":"Lecture Notes in Computer Science","doi":"10.1007/3-540-48118-4_5","date_updated":"2022-01-06T06:59:07Z","_id":"3253","status":"public","date_created":"2018-06-14T07:32:05Z","editor":[{"first_name":"Jeannette","full_name":"M. Wing, Jeannette","last_name":"M. Wing"},{"first_name":"Jim","full_name":"Woodcock, Jim","last_name":"Woodcock"},{"full_name":"Davies, Jim","first_name":"Jim","last_name":"Davies"}],"author":[{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"publication":"FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume {II}","department":[{"_id":"77"}],"user_id":"29719","title":"Data Abstraction for {CSP-OZ}"},{"_id":"3254","date_updated":"2022-01-06T06:59:07Z","page":"315--334","type":"conference","citation":{"short":"C. Fischer, H. Wehrheim, in: K. Araki, A. Galloway, K. Taguchi (Eds.), Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334.","ieee":"C. Fischer and H. Wehrheim, “Model-Checking {CSP-OZ} Specifications with {FDR},” in Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, 1999, pp. 315--334.","apa":"Fischer, C., & Wehrheim, H. (1999). Model-Checking {CSP-OZ} Specifications with {FDR}. In K. Araki, A. Galloway, & K. Taguchi (Eds.), Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999 (pp. 315--334).","ama":"Fischer C, Wehrheim H. Model-Checking {CSP-OZ} Specifications with {FDR}. In: Araki K, Galloway A, Taguchi K, eds. Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999. ; 1999:315--334.","chicago":"Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications with {FDR}.” In Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, edited by Keijiro Araki, Andy Galloway, and Kenji Taguchi, 315--334, 1999.","bibtex":"@inproceedings{Fischer_Wehrheim_1999, title={Model-Checking {CSP-OZ} Specifications with {FDR}}, booktitle={Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Araki, Keijiro and Galloway, Andy and Taguchi, KenjiEditors}, year={1999}, pages={315--334} }","mla":"Fischer, Clemens, and Heike Wehrheim. “Model-Checking {CSP-OZ} Specifications with {FDR}.” Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999, edited by Keijiro Araki et al., 1999, pp. 315--334."},"year":"1999","title":"Model-Checking {CSP-OZ} Specifications with {FDR}","user_id":"29719","publication":"Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999","department":[{"_id":"77"}],"author":[{"full_name":"Fischer, Clemens","first_name":"Clemens","last_name":"Fischer"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"editor":[{"first_name":"Keijiro","full_name":"Araki, Keijiro","last_name":"Araki"},{"first_name":"Andy","full_name":"Galloway, Andy","last_name":"Galloway"},{"last_name":"Taguchi","first_name":"Kenji","full_name":"Taguchi, Kenji"}],"date_created":"2018-06-14T07:33:10Z","status":"public"},{"date_updated":"2022-01-06T06:59:07Z","_id":"3255","page":"185--196","citation":{"short":"T. Gehrke, M. Huhn, P. Niebert, A. Rensink, H. Wehrheim, in: H. K{\\\"{o}}nig, P. Langend{\\\"{o}}rfer (Eds.), Formale Beschreibungstechniken F{\\\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, 1998, pp. 185--196.","ieee":"T. Gehrke, M. Huhn, P. Niebert, A. Rensink, and H. Wehrheim, “A Process Algebra Semantics for {MSC} Including Conditions,” in Formale Beschreibungstechniken f{\\\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. und 5. Juni 1998, 1998, pp. 185--196.","ama":"Gehrke T, Huhn M, Niebert P, Rensink A, Wehrheim H. A Process Algebra Semantics for {MSC} Including Conditions. In: K{\\\"{o}}nig H, Langend{\\\"{o}}rfer P, eds. Formale Beschreibungstechniken F{\\\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. Und 5. Juni 1998. ; 1998:185--196.","apa":"Gehrke, T., Huhn, M., Niebert, P., Rensink, A., & Wehrheim, H. (1998). A Process Algebra Semantics for {MSC} Including Conditions. In H. K{\\\"{o}}nig & P. Langend{\\\"{o}}rfer (Eds.), Formale Beschreibungstechniken f{\\\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. und 5. Juni 1998 (pp. 185--196).","chicago":"Gehrke, Thomas, Michaela Huhn, Peter Niebert, Arend Rensink, and Heike Wehrheim. “A Process Algebra Semantics for {MSC} Including Conditions.” In Formale Beschreibungstechniken F{\\\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, edited by Hartmut K{\\\"{o}}nig and Peter Langend{\\\"{o}}rfer, 185--196, 1998.","bibtex":"@inproceedings{Gehrke_Huhn_Niebert_Rensink_Wehrheim_1998, title={A Process Algebra Semantics for {MSC} Including Conditions}, booktitle={Formale Beschreibungstechniken f{\\\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. und 5. Juni 1998}, author={Gehrke, Thomas and Huhn, Michaela and Niebert, Peter and Rensink, Arend and Wehrheim, Heike}, editor={K{\\\"{o}}nig, Hartmut and Langend{\\\"{o}}rfer, PeterEditors}, year={1998}, pages={185--196} }","mla":"Gehrke, Thomas, et al. “A Process Algebra Semantics for {MSC} Including Conditions.” Formale Beschreibungstechniken F{\\\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, edited by Hartmut K{\\\"{o}}nig and Peter Langend{\\\"{o}}rfer, 1998, pp. 185--196."},"type":"conference","year":"1998","title":"A Process Algebra Semantics for {MSC} Including Conditions","user_id":"29719","publication":"Formale Beschreibungstechniken f{\\\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\\\"{a}}ch, Cottbus, 4. und 5. Juni 1998","department":[{"_id":"77"}],"author":[{"full_name":"Gehrke, Thomas","first_name":"Thomas","last_name":"Gehrke"},{"full_name":"Huhn, Michaela","first_name":"Michaela","last_name":"Huhn"},{"full_name":"Niebert, Peter","first_name":"Peter","last_name":"Niebert"},{"full_name":"Rensink, Arend","first_name":"Arend","last_name":"Rensink"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"editor":[{"last_name":"K{\\\"{o}}nig","first_name":"Hartmut","full_name":"K{\\\"{o}}nig, Hartmut"},{"full_name":"Langend{\\\"{o}}rfer, Peter","first_name":"Peter","last_name":"Langend{\\\"{o}}rfer"}],"date_created":"2018-06-14T07:34:22Z","status":"public"},{"title":"An Algebraic Semantics for Message Sequence Chart Documents","user_id":"29719","author":[{"first_name":"Thomas","full_name":"Gehrke, Thomas","last_name":"Gehrke"},{"full_name":"Huhn, Michaela","first_name":"Michaela","last_name":"Huhn"},{"last_name":"Rensink","full_name":"Rensink, Arend","first_name":"Arend"},{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"department":[{"_id":"77"}],"publication":"Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France","editor":[{"full_name":"Budkowski, Stanislaw","first_name":"Stanislaw","last_name":"Budkowski"},{"last_name":"R. Cavalli","first_name":"Ana","full_name":"R. Cavalli, Ana"},{"last_name":"Najm","first_name":"Elie","full_name":"Najm, Elie"}],"status":"public","date_created":"2018-06-14T07:35:45Z","_id":"3256","date_updated":"2022-01-06T06:59:07Z","series_title":"{IFIP} Conference Proceedings","citation":{"ieee":"T. Gehrke, M. Huhn, A. Rensink, and H. Wehrheim, “An Algebraic Semantics for Message Sequence Chart Documents,” in Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France, 1998, pp. 3--18.","short":"T. Gehrke, M. Huhn, A. Rensink, H. Wehrheim, in: S. Budkowski, A. R. Cavalli, E. Najm (Eds.), Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France, 1998, pp. 3--18.","mla":"Gehrke, Thomas, et al. “An Algebraic Semantics for Message Sequence Chart Documents.” Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France, edited by Stanislaw Budkowski et al., 1998, pp. 3--18.","bibtex":"@inproceedings{Gehrke_Huhn_Rensink_Wehrheim_1998, series={{IFIP} Conference Proceedings}, title={An Algebraic Semantics for Message Sequence Chart Documents}, booktitle={Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France}, author={Gehrke, Thomas and Huhn, Michaela and Rensink, Arend and Wehrheim, Heike}, editor={Budkowski, Stanislaw and R. Cavalli, Ana and Najm, ElieEditors}, year={1998}, pages={3--18}, collection={{IFIP} Conference Proceedings} }","chicago":"Gehrke, Thomas, Michaela Huhn, Arend Rensink, and Heike Wehrheim. “An Algebraic Semantics for Message Sequence Chart Documents.” In Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France, edited by Stanislaw Budkowski, Ana R. Cavalli, and Elie Najm, 3--18. {IFIP} Conference Proceedings, 1998.","apa":"Gehrke, T., Huhn, M., Rensink, A., & Wehrheim, H. (1998). An Algebraic Semantics for Message Sequence Chart Documents. In S. Budkowski, A. R. Cavalli, & E. Najm (Eds.), Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France (pp. 3--18).","ama":"Gehrke T, Huhn M, Rensink A, Wehrheim H. An Algebraic Semantics for Message Sequence Chart Documents. In: Budkowski S, R. Cavalli A, Najm E, eds. Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France. {IFIP} Conference Proceedings. ; 1998:3--18."},"year":"1998","type":"conference","page":"3--18"},{"year":"1998","type":"conference","citation":{"chicago":"Huhn, Michaela, Peter Niebert, and Heike Wehrheim. “Partial Order Reductions for Bisimulation Checking.” In Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, edited by Vikraman Arvind and Ramaswamy Ramanujam, 271--282. Lecture Notes in Computer Science, 1998. https://doi.org/10.1007/978-3-540-49382-2_26.","ama":"Huhn M, Niebert P, Wehrheim H. Partial Order Reductions for Bisimulation Checking. In: Arvind V, Ramanujam R, eds. Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings. Lecture Notes in Computer Science. ; 1998:271--282. doi:10.1007/978-3-540-49382-2_26","apa":"Huhn, M., Niebert, P., & Wehrheim, H. (1998). Partial Order Reductions for Bisimulation Checking. In V. Arvind & R. Ramanujam (Eds.), Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings (pp. 271--282). https://doi.org/10.1007/978-3-540-49382-2_26","bibtex":"@inproceedings{Huhn_Niebert_Wehrheim_1998, series={Lecture Notes in Computer Science}, title={Partial Order Reductions for Bisimulation Checking}, DOI={10.1007/978-3-540-49382-2_26}, booktitle={Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings}, author={Huhn, Michaela and Niebert, Peter and Wehrheim, Heike}, editor={Arvind, Vikraman and Ramanujam, RamaswamyEditors}, year={1998}, pages={271--282}, collection={Lecture Notes in Computer Science} }","mla":"Huhn, Michaela, et al. “Partial Order Reductions for Bisimulation Checking.” Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, edited by Vikraman Arvind and Ramaswamy Ramanujam, 1998, pp. 271--282, doi:10.1007/978-3-540-49382-2_26.","short":"M. Huhn, P. Niebert, H. Wehrheim, in: V. Arvind, R. Ramanujam (Eds.), Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, 1998, pp. 271--282.","ieee":"M. Huhn, P. Niebert, and H. Wehrheim, “Partial Order Reductions for Bisimulation Checking,” in Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, 1998, pp. 271--282."},"page":"271--282","series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-540-49382-2_26","_id":"3257","date_updated":"2022-01-06T06:59:07Z","editor":[{"full_name":"Arvind, Vikraman","first_name":"Vikraman","last_name":"Arvind"},{"last_name":"Ramanujam","full_name":"Ramanujam, Ramaswamy","first_name":"Ramaswamy"}],"status":"public","date_created":"2018-06-14T07:37:32Z","author":[{"last_name":"Huhn","first_name":"Michaela","full_name":"Huhn, Michaela"},{"last_name":"Niebert","full_name":"Niebert, Peter","first_name":"Peter"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"publication":"Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings","department":[{"_id":"77"}],"title":"Partial Order Reductions for Bisimulation Checking","user_id":"29719"},{"author":[{"first_name":"Arend","full_name":"Rensink, Arend","last_name":"Rensink"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"publication":"Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings","department":[{"_id":"77"}],"editor":[{"last_name":"Pr{\\'{\\i}}vara","first_name":"Igor","full_name":"Pr{\\'{\\i}}vara, Igor"},{"first_name":"Peter","full_name":"Ruzicka, Peter","last_name":"Ruzicka"}],"status":"public","date_created":"2018-06-14T07:40:10Z","title":"Dependency-Based Action Refinement","user_id":"29719","series_title":"Lecture Notes in Computer Science","citation":{"apa":"Rensink, A., & Wehrheim, H. (1997). Dependency-Based Action Refinement. In I. Pr{\\’{\\i}}vara & P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings (pp. 468--477). https://doi.org/10.1007/BFb0029990","ama":"Rensink A, Wehrheim H. Dependency-Based Action Refinement. In: Pr{\\’{\\i}}vara I, Ruzicka P, eds. Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings. Lecture Notes in Computer Science. ; 1997:468--477. doi:10.1007/BFb0029990","chicago":"Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” In Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr{\\’{\\i}}vara and Peter Ruzicka, 468--477. Lecture Notes in Computer Science, 1997. https://doi.org/10.1007/BFb0029990.","mla":"Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr{\\’{\\i}}vara and Peter Ruzicka, 1997, pp. 468--477, doi:10.1007/BFb0029990.","bibtex":"@inproceedings{Rensink_Wehrheim_1997, series={Lecture Notes in Computer Science}, title={Dependency-Based Action Refinement}, DOI={10.1007/BFb0029990}, booktitle={Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings}, author={Rensink, Arend and Wehrheim, Heike}, editor={Pr{\\’{\\i}}vara, Igor and Ruzicka, PeterEditors}, year={1997}, pages={468--477}, collection={Lecture Notes in Computer Science} }","short":"A. Rensink, H. Wehrheim, in: I. Pr{\\’{\\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.","ieee":"A. Rensink and H. Wehrheim, “Dependency-Based Action Refinement,” in Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477."},"type":"conference","year":"1997","page":"468--477","date_updated":"2022-01-06T06:59:07Z","_id":"3258","doi":"10.1007/BFb0029990"},{"title":"Dependency-Based Action Refinement","user_id":"29719","editor":[{"last_name":"Pr{\\'{\\i}}vara","full_name":"Pr{\\'{\\i}}vara, Igor","first_name":"Igor"},{"last_name":"Ruzicka","first_name":"Peter","full_name":"Ruzicka, Peter"}],"date_created":"2018-06-14T07:43:09Z","status":"public","publication":"Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings","department":[{"_id":"77"}],"author":[{"last_name":"Rensink","full_name":"Rensink, Arend","first_name":"Arend"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"doi":"10.1007/BFb0029990","_id":"3259","date_updated":"2022-01-06T06:59:07Z","page":"468--477","year":"1997","type":"conference","citation":{"ieee":"A. Rensink and H. Wehrheim, “Dependency-Based Action Refinement,” in Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.","short":"A. Rensink, H. Wehrheim, in: I. Pr{\\’{\\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.","mla":"Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr{\\’{\\i}}vara and Peter Ruzicka, 1997, pp. 468--477, doi:10.1007/BFb0029990.","bibtex":"@inproceedings{Rensink_Wehrheim_1997, series={Lecture Notes in Computer Science}, title={Dependency-Based Action Refinement}, DOI={10.1007/BFb0029990}, booktitle={Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings}, author={Rensink, Arend and Wehrheim, Heike}, editor={Pr{\\’{\\i}}vara, Igor and Ruzicka, PeterEditors}, year={1997}, pages={468--477}, collection={Lecture Notes in Computer Science} }","chicago":"Rensink, Arend, and Heike Wehrheim. “Dependency-Based Action Refinement.” In Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, edited by Igor Pr{\\’{\\i}}vara and Peter Ruzicka, 468--477. Lecture Notes in Computer Science, 1997. https://doi.org/10.1007/BFb0029990.","apa":"Rensink, A., & Wehrheim, H. (1997). Dependency-Based Action Refinement. In I. Pr{\\’{\\i}}vara & P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings (pp. 468--477). https://doi.org/10.1007/BFb0029990","ama":"Rensink A, Wehrheim H. Dependency-Based Action Refinement. In: Pr{\\’{\\i}}vara I, Ruzicka P, eds. Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings. Lecture Notes in Computer Science. ; 1997:468--477. doi:10.1007/BFb0029990"},"series_title":"Lecture Notes in Computer Science"},{"title":"Specifying reactive systems with action dependencies: modelling and hierarchical design","user_id":"29719","status":"public","date_created":"2018-06-14T07:44:32Z","author":[{"last_name":"Wehrheim","id":"573","first_name":"Heike","full_name":"Wehrheim, Heike"}],"publisher":"University of Hildesheim, Germany","department":[{"_id":"77"}],"_id":"3260","date_updated":"2022-01-06T06:59:07Z","citation":{"ama":"Wehrheim H. Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design. University of Hildesheim, Germany; 1996.","apa":"Wehrheim, H. (1996). Specifying reactive systems with action dependencies: modelling and hierarchical design. University of Hildesheim, Germany.","chicago":"Wehrheim, Heike. Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design. University of Hildesheim, Germany, 1996.","mla":"Wehrheim, Heike. Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design. University of Hildesheim, Germany, 1996.","bibtex":"@book{Wehrheim_1996, title={Specifying reactive systems with action dependencies: modelling and hierarchical design}, publisher={University of Hildesheim, Germany}, author={Wehrheim, Heike}, year={1996} }","short":"H. Wehrheim, Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design, University of Hildesheim, Germany, 1996.","ieee":"H. Wehrheim, Specifying reactive systems with action dependencies: modelling and hierarchical design. University of Hildesheim, Germany, 1996."},"year":"1996","type":"dissertation"},{"_id":"3261","date_updated":"2022-01-06T06:59:07Z","issue":"4","doi":"10.1016/0020-0190(96)00111-1","year":"1996","citation":{"chicago":"Goltz, Ursula, and Heike Wehrheim. “Modelling Causality via Action Dependencies in Branching Time Semantics.” Inf. Process. Lett., no. 4 (1996): 179--184. https://doi.org/10.1016/0020-0190(96)00111-1.","ama":"Goltz U, Wehrheim H. Modelling Causality via Action Dependencies in Branching Time Semantics. Inf Process Lett. 1996;(4):179--184. doi:10.1016/0020-0190(96)00111-1","apa":"Goltz, U., & Wehrheim, H. (1996). Modelling Causality via Action Dependencies in Branching Time Semantics. Inf. Process. Lett., (4), 179--184. https://doi.org/10.1016/0020-0190(96)00111-1","mla":"Goltz, Ursula, and Heike Wehrheim. “Modelling Causality via Action Dependencies in Branching Time Semantics.” Inf. Process. Lett., no. 4, 1996, pp. 179--184, doi:10.1016/0020-0190(96)00111-1.","bibtex":"@article{Goltz_Wehrheim_1996, title={Modelling Causality via Action Dependencies in Branching Time Semantics}, DOI={10.1016/0020-0190(96)00111-1}, number={4}, journal={Inf. Process. Lett.}, author={Goltz, Ursula and Wehrheim, Heike}, year={1996}, pages={179--184} }","short":"U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.","ieee":"U. Goltz and H. Wehrheim, “Modelling Causality via Action Dependencies in Branching Time Semantics,” Inf. Process. Lett., no. 4, pp. 179--184, 1996."},"type":"journal_article","page":"179--184","user_id":"29719","title":"Modelling Causality via Action Dependencies in Branching Time Semantics","author":[{"full_name":"Goltz, Ursula","first_name":"Ursula","last_name":"Goltz"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"publication":"Inf. Process. Lett.","department":[{"_id":"77"}],"status":"public","date_created":"2018-06-14T07:52:02Z"},{"series_title":"Lecture Notes in Computer Science","page":"394--406","citation":{"bibtex":"@inproceedings{Goltz_Wehrheim_1996, series={Lecture Notes in Computer Science}, title={Causal Testing}, DOI={10.1007/3-540-61550-4_165}, booktitle={Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings}, author={Goltz, Ursula and Wehrheim, Heike}, editor={Penczek, Wojciech and Szalas, AndrzejEditors}, year={1996}, pages={394--406}, collection={Lecture Notes in Computer Science} }","mla":"Goltz, Ursula, and Heike Wehrheim. “Causal Testing.” Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, edited by Wojciech Penczek and Andrzej Szalas, 1996, pp. 394--406, doi:10.1007/3-540-61550-4_165.","apa":"Goltz, U., & Wehrheim, H. (1996). Causal Testing. In W. Penczek & A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings (pp. 394--406). https://doi.org/10.1007/3-540-61550-4_165","ama":"Goltz U, Wehrheim H. Causal Testing. In: Penczek W, Szalas A, eds. Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings. Lecture Notes in Computer Science. ; 1996:394--406. doi:10.1007/3-540-61550-4_165","chicago":"Goltz, Ursula, and Heike Wehrheim. “Causal Testing.” In Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, edited by Wojciech Penczek and Andrzej Szalas, 394--406. Lecture Notes in Computer Science, 1996. https://doi.org/10.1007/3-540-61550-4_165.","ieee":"U. Goltz and H. Wehrheim, “Causal Testing,” in Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.","short":"U. Goltz, H. Wehrheim, in: W. Penczek, A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406."},"type":"conference","year":"1996","date_updated":"2022-01-06T06:59:07Z","_id":"3262","doi":"10.1007/3-540-61550-4_165","department":[{"_id":"77"}],"publication":"Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings","author":[{"first_name":"Ursula","full_name":"Goltz, Ursula","last_name":"Goltz"},{"id":"573","last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"date_created":"2018-06-14T07:53:08Z","status":"public","editor":[{"first_name":"Wojciech","full_name":"Penczek, Wojciech","last_name":"Penczek"},{"first_name":"Andrzej","full_name":"Szalas, Andrzej","last_name":"Szalas"}],"user_id":"29719","title":"Causal Testing"},{"doi":"10.1007/978-3-540-48654-1_20","_id":"3263","date_updated":"2022-01-06T06:59:07Z","page":"226--241","citation":{"bibtex":"@inproceedings{Rensink_Wehrheim_1994, series={Lecture Notes in Computer Science}, title={Weak Sequential Composition in Process Algebras}, DOI={10.1007/978-3-540-48654-1_20}, booktitle={{CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings}, author={Rensink, Arend and Wehrheim, Heike}, editor={Jonsson, Bengt and Parrow, JoachimEditors}, year={1994}, pages={226--241}, collection={Lecture Notes in Computer Science} }","mla":"Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process Algebras.” {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, edited by Bengt Jonsson and Joachim Parrow, 1994, pp. 226--241, doi:10.1007/978-3-540-48654-1_20.","chicago":"Rensink, Arend, and Heike Wehrheim. “Weak Sequential Composition in Process Algebras.” In {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, edited by Bengt Jonsson and Joachim Parrow, 226--241. Lecture Notes in Computer Science, 1994. https://doi.org/10.1007/978-3-540-48654-1_20.","ama":"Rensink A, Wehrheim H. Weak Sequential Composition in Process Algebras. In: Jonsson B, Parrow J, eds. {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings. Lecture Notes in Computer Science. ; 1994:226--241. doi:10.1007/978-3-540-48654-1_20","apa":"Rensink, A., & Wehrheim, H. (1994). Weak Sequential Composition in Process Algebras. In B. Jonsson & J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings (pp. 226--241). https://doi.org/10.1007/978-3-540-48654-1_20","ieee":"A. Rensink and H. Wehrheim, “Weak Sequential Composition in Process Algebras,” in {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241.","short":"A. Rensink, H. Wehrheim, in: B. Jonsson, J. Parrow (Eds.), {CONCUR} ’94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, 1994, pp. 226--241."},"year":"1994","type":"conference","series_title":"Lecture Notes in Computer Science","title":"Weak Sequential Composition in Process Algebras","user_id":"29719","editor":[{"full_name":"Jonsson, Bengt","first_name":"Bengt","last_name":"Jonsson"},{"last_name":"Parrow","first_name":"Joachim","full_name":"Parrow, Joachim"}],"date_created":"2018-06-14T07:54:32Z","status":"public","department":[{"_id":"77"}],"publication":"{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings","author":[{"first_name":"Arend","full_name":"Rensink, Arend","last_name":"Rensink"},{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}]},{"editor":[{"first_name":"Ernst{-}R{\\\"{u}}diger","full_name":"Olderog, Ernst{-}R{\\\"{u}}diger","last_name":"Olderog"}],"status":"public","date_created":"2018-06-14T07:55:40Z","author":[{"first_name":"Heike","full_name":"Wehrheim, Heike","last_name":"Wehrheim","id":"573"}],"publication":"Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June, 1994","department":[{"_id":"77"}],"title":"Parametric Action Refinement","user_id":"29719","type":"conference","citation":{"short":"H. Wehrheim, in: E.-}R{\\\"{u}}diger Olderog (Ed.), Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994, 1994, pp. 247--266.","ieee":"H. Wehrheim, “Parametric Action Refinement,” in Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994, 1994, pp. 247--266.","apa":"Wehrheim, H. (1994). Parametric Action Refinement. In E.-}R{\\\"{u}}diger Olderog (Ed.), Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994 (pp. 247--266).","ama":"Wehrheim H. Parametric Action Refinement. In: Olderog E-}R{\\\"{u}}diger, ed. Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994. {IFIP} Transactions. ; 1994:247--266.","chicago":"Wehrheim, Heike. “Parametric Action Refinement.” In Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994, edited by Ernst{-}R{\\\"{u}}diger Olderog, 247--266. {IFIP} Transactions, 1994.","mla":"Wehrheim, Heike. “Parametric Action Refinement.” Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994, edited by Ernst{-}R{\\\"{u}}diger Olderog, 1994, pp. 247--266.","bibtex":"@inproceedings{Wehrheim_1994, series={{IFIP} Transactions}, title={Parametric Action Refinement}, booktitle={Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} ’94) San Miniato, Italy, 6-10 June, 1994}, author={Wehrheim, Heike}, editor={Olderog, Ernst{-}R{\\\"{u}}digerEditor}, year={1994}, pages={247--266}, collection={{IFIP} Transactions} }"},"year":"1994","page":"247--266","series_title":"{IFIP} Transactions","_id":"3264","date_updated":"2022-01-06T06:59:07Z"}]