[{"publisher":"Elsevier","_id":"7557","page":"1 - 39","editor":[{"last_name":" Hurson","first_name":"Ali","full_name":" Hurson, Ali"},{"first_name":"Atif","last_name":"Memon","full_name":"Memon, Atif"}],"volume":86,"user_id":"52534","status":"public","citation":{"mla":"Mlynarski, Michael, et al. “Model-Based Testing: Achievements and Future Challenges.” <i>Advances in Computers</i>, edited by Ali  Hurson and Atif Memon, vol. 86, Elsevier, 2012, pp. 1–39, doi:<a href=\"http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6\">http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6</a>.","ama":"Mlynarski M, Güldali B, Weißleder S, Engels G. Model-Based Testing: Achievements and Future Challenges. In:  Hurson A, Memon A, eds. <i>Advances in Computers</i>. Vol 86. Advances in Computers. Elsevier; 2012:1-39. doi:<a href=\"http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6\">http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6</a>","bibtex":"@inbook{Mlynarski_Güldali_Weißleder_Engels_2012, series={Advances in Computers}, title={Model-Based Testing: Achievements and Future Challenges}, volume={86}, DOI={<a href=\"http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6\">http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6</a>}, booktitle={Advances in Computers}, publisher={Elsevier}, author={Mlynarski, Michael and Güldali, Baris and Weißleder, Stephan and Engels, Gregor}, editor={ Hurson, Ali and Memon, AtifEditors}, year={2012}, pages={1–39}, collection={Advances in Computers} }","apa":"Mlynarski, M., Güldali, B., Weißleder, S., &#38; Engels, G. (2012). Model-Based Testing: Achievements and Future Challenges. In A.  Hurson &#38; A. Memon (Eds.), <i>Advances in Computers</i> (Vol. 86, pp. 1–39). Elsevier. <a href=\"http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6\">http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6</a>","ieee":"M. Mlynarski, B. Güldali, S. Weißleder, and G. Engels, “Model-Based Testing: Achievements and Future Challenges,” in <i>Advances in Computers</i>, vol. 86, A.  Hurson and A. Memon, Eds. Elsevier, 2012, pp. 1–39.","chicago":"Mlynarski, Michael, Baris Güldali, Stephan Weißleder, and Gregor Engels. “Model-Based Testing: Achievements and Future Challenges.” In <i>Advances in Computers</i>, edited by Ali  Hurson and Atif Memon, 86:1–39. Advances in Computers. Elsevier, 2012. <a href=\"http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6\">http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6</a>.","short":"M. Mlynarski, B. Güldali, S. Weißleder, G. Engels, in: A.  Hurson, A. Memon (Eds.), Advances in Computers, Elsevier, 2012, pp. 1–39."},"language":[{"iso":"eng"}],"series_title":"Advances in Computers","doi":"http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6","author":[{"first_name":"Michael","last_name":"Mlynarski","full_name":"Mlynarski, Michael"},{"first_name":"Baris","last_name":"Güldali","full_name":"Güldali, Baris"},{"full_name":"Weißleder, Stephan","last_name":"Weißleder","first_name":"Stephan"},{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"}],"title":"Model-Based Testing: Achievements and Future Challenges","year":"2012","intvolume":"        86","date_updated":"2022-01-06T07:03:39Z","date_created":"2019-02-05T13:13:04Z","department":[{"_id":"66"}],"type":"book_chapter","publication":"Advances in Computers","abstract":[{"lang":"eng","text":"Software systems are part of our everyday life and they become more complex day by day. The ever-growing complexity of software and high quality requirements pose tough challenges to quality assurance. The quality of a software system can be measured by software testing. However, if manually done, testing is a time-consuming and error-prone task. Especially test case design and test execution are the most cost-intensive activities in testing. In the previous 20&#xa0;years, many automation tools have been introduced for automating test execution by using test scripts. However, the effort for creating and maintaining test scripts remains. Model-based testing (MBT) aims at improving this part by systematizing and automating the test case design. Thereby, test cases or automatable test scripts can be generated systematically from test models. MBT is already known for several years, but it currently gains a great momentum due to advanced tool support and innovative methodological approaches. This chapter aims at giving an overview of MBT and summarizes recent achievements in MBT. Experiences with using the MBT approach are illustrated by reporting on some success stories. Finally, open issues and future research challenges are discussed."}]},{"abstract":[{"lang":"eng","text":"Software-Architekturen betrieblicher Informationssysteme bestehen aus Architekturbausteinen wie Frameworks, Komponenten und Bibliotheken. Die Entwicklung dieser Architekturen unter Einbeziehung wiederverwendbarer Architekturbausteine ist eine Voraussetzung einer industriell organisierten Software-Entwicklung. Für eine effiziente Trennung der Zuständigkeiten werden dabei häufig Architekturbausteine von Drittanbietern wiederverwendet.Frameworks als erweiterbare Architekturbausteine bieten besondere Vorteile. Sie erlauben sowohl die Wiederverwendung der Funktionalität als auch der durch das Framework vorgegebenen Software-Architektur. Beispiele sind Frameworks für Benutzungsoberflächen oder für die Anbindung von Datenbanken. Durch Implementierung anwendungsspezifischer Erweiterungen wird ein Framework für den konkreten Anwendungsfall angepasst. Eine Anwendung, deren Software-Architektur ein Framework einsetzt, benutzt das Framework über dessen Erweiterungspunkte.Im Laufe der Evolution einer solchen Anwendung entsteht häufig die Situation, dass das Framework durch eine neuere Version aktualisiert werden soll. Die Aktualisierung enthält das Risiko, dass Inkompatibilitäten zwischen bestehender Anwendung und neuer Framework-Version auftreten, die wiederum zu aufwendigen Anpassungen führen. Daher müssen mögliche Inkompatibilitäten vor der Aktualisierung erkannt und bewertet werden. Nach aktuellem Stand der Technik ist dies nicht möglich, so dass es in der industriellen Praxis zu unvorhergesehenen Problemen verbunden mit hohen Kosten kommt.Wir stellen ein Verfahren zur automatischen Kompatibilitätsanalyse Framework-basierter Anwendungen vor, mit dem das beschriebene Problem gelöst wird. Durch eine Kombination aus Codeanalyse und neuartiger Framework-Beschreibung lassen sich mögliche Inkompatibilitäten vor Durchführung der Aktualisierung automatisch berechnen. Eine prototypische Implementierung des Verfahrens im Werkzeug »Companian« demonstriert die praktische Einsetzbarkeit unseres Verfahrens.Für die Definition der benötigten Framework-Beschreibungssprache mittels Meta-Modellierung setzen wir die neuartige Modellierungstechnik der parametrisierten Meta-Modelle ein. Die Technik unterstützt unseren Ansatz einer anforderungsbasierten Wiederverwendung von Sprachen. Mit diesem Ansatz können bestehende Sprachen für Teilaspekte neu definierter Sprachen wiederverwendet werden. Unser pragmatischer Ansatz stellt dabei sicher, dass hierbei nur die Sprachen benutzt werden können, die syntaktisch und semantisch den geforderten Sprachen entsprechen."}],"citation":{"bibtex":"@book{Christ_2012, title={Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen}, publisher={Universität Paderborn}, author={Christ, Fabian}, year={2012} }","ama":"Christ F. <i>Automatische Kompatibilitätsprüfung Framework-Basierter Anwendungen</i>. Universität Paderborn; 2012.","short":"F. Christ, Automatische Kompatibilitätsprüfung Framework-Basierter Anwendungen, Universität Paderborn, 2012.","chicago":"Christ, Fabian. <i>Automatische Kompatibilitätsprüfung Framework-Basierter Anwendungen</i>. Universität Paderborn, 2012.","ieee":"F. Christ, <i>Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen</i>. Universität Paderborn, 2012.","apa":"Christ, F. (2012). <i>Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen</i>. Universität Paderborn.","mla":"Christ, Fabian. <i>Automatische Kompatibilitätsprüfung Framework-Basierter Anwendungen</i>. Universität Paderborn, 2012."},"type":"dissertation","department":[{"_id":"66"}],"date_created":"2019-02-06T14:19:25Z","date_updated":"2022-01-06T07:03:40Z","year":"2012","title":"Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen","status":"public","author":[{"first_name":"Fabian","last_name":"Christ","full_name":"Christ, Fabian"}],"user_id":"52534","language":[{"iso":"eng"}],"_id":"7572","publisher":"Universität Paderborn"},{"issue":"4","publication":"Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM'12)","citation":{"mla":"Gerth, Christian, and Markus Luckey. “Towards Rich Change Management for Business Process Models.” <i>Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12)</i>, vol. 32, no. 4, FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), 2012, pp. 32–34.","ama":"Gerth C, Luckey M. Towards Rich Change Management for Business Process Models. In: <i>Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12)</i>. Vol 32. Softwaretechnik-Trends. FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI); 2012:32-34.","bibtex":"@inproceedings{Gerth_Luckey_2012, series={Softwaretechnik-Trends}, title={Towards Rich Change Management for Business Process Models}, volume={32}, number={4}, booktitle={Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12)}, publisher={FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI)}, author={Gerth, Christian  and Luckey, Markus }, year={2012}, pages={32–34}, collection={Softwaretechnik-Trends} }","apa":"Gerth, C., &#38; Luckey, M. (2012). Towards Rich Change Management for Business Process Models. In <i>Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12)</i> (Vol. 32, pp. 32–34). FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI).","ieee":"C. Gerth and M. Luckey, “Towards Rich Change Management for Business Process Models,” in <i>Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12)</i>, 2012, vol. 32, no. 4, pp. 32–34.","short":"C. Gerth, M. Luckey, in: Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12), FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), 2012, pp. 32–34.","chicago":"Gerth, Christian , and Markus  Luckey. “Towards Rich Change Management for Business Process Models.” In <i>Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12)</i>, 32:32–34. Softwaretechnik-Trends. FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), 2012."},"date_created":"2019-03-08T09:41:02Z","type":"conference","department":[{"_id":"66"}],"title":"Towards Rich Change Management for Business Process Models","status":"public","year":"2012","author":[{"full_name":"Gerth, Christian ","first_name":"Christian ","last_name":"Gerth"},{"last_name":"Luckey","first_name":"Markus ","full_name":"Luckey, Markus "}],"date_updated":"2022-01-06T07:03:55Z","intvolume":"        32","page":"32-34","series_title":"Softwaretechnik-Trends","_id":"8473","language":[{"iso":"eng"}],"publisher":"FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI)","user_id":"52534","volume":32},{"publication":"Proceedings of the Forum at the CAiSE'12 Conference on Advanced Information Systems Engineering","citation":{"bibtex":"@inproceedings{Huma _Gerth _Engels_Juwig_2012, series={CEUR Workshop Proceedings}, title={A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners}, volume={855}, DOI={<a href=\"http://ceur-ws.org/Vol-855/paper11.pdf\">http://ceur-ws.org/Vol-855/paper11.pdf</a>}, booktitle={Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering}, publisher={CEUR-WS.org}, author={Huma , Zille  and Gerth , Christian  and Engels, Gregor and Juwig, Oliver }, year={2012}, pages={90--97}, collection={CEUR Workshop Proceedings} }","chicago":"Huma , Zille , Christian  Gerth , Gregor Engels, and Oliver  Juwig. “A UML-Based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners.” In <i>Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering</i>, 855:90--97. CEUR Workshop Proceedings. CEUR-WS.org, 2012. <a href=\"http://ceur-ws.org/Vol-855/paper11.pdf\">http://ceur-ws.org/Vol-855/paper11.pdf</a>.","ama":"Huma  Z, Gerth  C, Engels G, Juwig O. A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners. In: <i>Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering</i>. Vol 855. CEUR Workshop Proceedings. CEUR-WS.org; 2012:90--97. doi:<a href=\"http://ceur-ws.org/Vol-855/paper11.pdf\">http://ceur-ws.org/Vol-855/paper11.pdf</a>","short":"Z. Huma , C. Gerth , G. Engels, O. Juwig, in: Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, CEUR-WS.org, 2012, pp. 90--97.","ieee":"Z. Huma , C. Gerth , G. Engels, and O. Juwig, “A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners,” in <i>Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering</i>, 2012, vol. 855, pp. 90--97.","apa":"Huma , Z., Gerth , C., Engels, G., &#38; Juwig, O. (2012). A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners. In <i>Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering</i> (Vol. 855, pp. 90--97). CEUR-WS.org. <a href=\"http://ceur-ws.org/Vol-855/paper11.pdf\">http://ceur-ws.org/Vol-855/paper11.pdf</a>","mla":"Huma , Zille, et al. “A UML-Based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners.” <i>Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering</i>, vol. 855, CEUR-WS.org, 2012, pp. 90--97, doi:<a href=\"http://ceur-ws.org/Vol-855/paper11.pdf\">http://ceur-ws.org/Vol-855/paper11.pdf</a>."},"date_created":"2019-03-08T09:46:59Z","type":"conference","department":[{"_id":"66"}],"status":"public","year":"2012","title":"A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners","author":[{"first_name":"Zille ","last_name":"Huma ","full_name":"Huma , Zille "},{"full_name":"Gerth , Christian ","last_name":"Gerth ","first_name":"Christian "},{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"full_name":"Juwig, Oliver ","last_name":"Juwig","first_name":"Oliver "}],"date_updated":"2022-01-06T07:03:55Z","intvolume":"       855","page":"90--97","publisher":"CEUR-WS.org","_id":"8475","series_title":"CEUR Workshop Proceedings","language":[{"iso":"eng"}],"user_id":"52534","doi":"http://ceur-ws.org/Vol-855/paper11.pdf","volume":855},{"publication":"Repository for Model-Driven Development (ReMoDD)","citation":{"ama":"Luckey  M, Mutz F. Modeling with Adapt Cases. In: University of Paderborn, ed. <i>Repository for Model-Driven Development (ReMoDD)</i>. ; 2012.","bibtex":"@inproceedings{Luckey _Mutz_2012, title={Modeling with Adapt Cases}, booktitle={Repository for Model-Driven Development (ReMoDD)}, author={Luckey , Markus  and Mutz, Felix }, editor={University of PaderbornEditor}, year={2012} }","mla":"Luckey , Markus, and Felix Mutz. “Modeling with Adapt Cases.” <i>Repository for Model-Driven Development (ReMoDD)</i>, edited by University of Paderborn, 2012.","chicago":"Luckey , Markus , and Felix  Mutz. “Modeling with Adapt Cases.” In <i>Repository for Model-Driven Development (ReMoDD)</i>, edited by University of Paderborn, 2012.","short":"M. Luckey , F. Mutz, in: University of Paderborn (Ed.), Repository for Model-Driven Development (ReMoDD), 2012.","apa":"Luckey , M., &#38; Mutz, F. (2012). Modeling with Adapt Cases. In University of Paderborn (Ed.), <i>Repository for Model-Driven Development (ReMoDD)</i>.","ieee":"M. Luckey  and F. Mutz, “Modeling with Adapt Cases,” in <i>Repository for Model-Driven Development (ReMoDD)</i>, 2012."},"type":"conference","department":[{"_id":"66"}],"date_created":"2019-03-08T09:49:01Z","date_updated":"2022-01-06T07:03:55Z","year":"2012","title":"Modeling with Adapt Cases","status":"public","corporate_editor":["University of Paderborn"],"author":[{"first_name":"Markus ","last_name":"Luckey ","full_name":"Luckey , Markus "},{"full_name":"Mutz, Felix ","first_name":"Felix ","last_name":"Mutz"}],"user_id":"52534","_id":"8476","language":[{"iso":"eng"}]},{"page":"111-120","language":[{"iso":"eng"}],"_id":"8477","publisher":"Shaker Verlag","user_id":"52534","year":"2012","status":"public","title":"Ein Ansatz zur dynamischen Qualitätsmessung,  -bewertung und Anpassung von Software Engineering Methoden","author":[{"first_name":"Silke ","last_name":"Geisen ","full_name":"Geisen , Silke "},{"full_name":"Luckey , Markus ","last_name":"Luckey ","first_name":"Markus "},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"}],"date_updated":"2022-01-06T07:03:55Z","date_created":"2019-03-08T09:51:12Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle","citation":{"chicago":"Geisen , Silke , Markus  Luckey , and Gregor Engels. “Ein Ansatz Zur Dynamischen Qualitätsmessung,  -Bewertung Und Anpassung von Software Engineering Methoden.” In <i>Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement Und Vorgehensmodelle</i>, 111–20. Shaker Verlag, 2012.","short":"S. Geisen , M. Luckey , G. Engels, in: Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement Und Vorgehensmodelle, Shaker Verlag, 2012, pp. 111–120.","ieee":"S. Geisen , M. Luckey , and G. Engels, “Ein Ansatz zur dynamischen Qualitätsmessung,  -bewertung und Anpassung von Software Engineering Methoden,” in <i>Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle</i>, 2012, pp. 111–120.","apa":"Geisen , S., Luckey , M., &#38; Engels, G. (2012). Ein Ansatz zur dynamischen Qualitätsmessung,  -bewertung und Anpassung von Software Engineering Methoden. In <i>Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle</i> (pp. 111–120). Shaker Verlag.","bibtex":"@inproceedings{Geisen _Luckey _Engels_2012, title={Ein Ansatz zur dynamischen Qualitätsmessung,  -bewertung und Anpassung von Software Engineering Methoden}, booktitle={Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle}, publisher={Shaker Verlag}, author={Geisen , Silke  and Luckey , Markus  and Engels, Gregor}, year={2012}, pages={111–120} }","ama":"Geisen  S, Luckey  M, Engels G. Ein Ansatz zur dynamischen Qualitätsmessung,  -bewertung und Anpassung von Software Engineering Methoden. In: <i>Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement Und Vorgehensmodelle</i>. Shaker Verlag; 2012:111-120.","mla":"Geisen , Silke, et al. “Ein Ansatz Zur Dynamischen Qualitätsmessung,  -Bewertung Und Anpassung von Software Engineering Methoden.” <i>Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement Und Vorgehensmodelle</i>, Shaker Verlag, 2012, pp. 111–20."}},{"department":[{"_id":"66"}],"type":"conference","date_created":"2019-03-08T09:55:56Z","citation":{"ieee":"S. Arifulina, “Towards a Framework for the Integration of Modeling Languages,” in <i>Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))</i>, 2012, vol. 935, pp. 23–26.","apa":"Arifulina, S. (2012). Towards a Framework for the Integration of Modeling Languages. In <i>Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))</i> (Vol. 935, pp. 23–26). CEUR-WS.org.","chicago":"Arifulina, Svetlana . “Towards a Framework for the Integration of Modeling Languages.” In <i>Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))</i>, 935:23–26. CEUR Workshop Proceedings. CEUR-WS.org, 2012.","short":"S. Arifulina, in: Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)), CEUR-WS.org, 2012, pp. 23–26.","mla":"Arifulina, Svetlana. “Towards a Framework for the Integration of Modeling Languages.” <i>Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))</i>, vol. 935, CEUR-WS.org, 2012, pp. 23–26.","bibtex":"@inproceedings{Arifulina_2012, series={CEUR Workshop Proceedings}, title={Towards a Framework for the Integration of Modeling Languages}, volume={935}, booktitle={Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))}, publisher={CEUR-WS.org}, author={Arifulina, Svetlana }, year={2012}, pages={23–26}, collection={CEUR Workshop Proceedings} }","ama":"Arifulina S. Towards a Framework for the Integration of Modeling Languages. In: <i>Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))</i>. Vol 935. CEUR Workshop Proceedings. CEUR-WS.org; 2012:23-26."},"publication":"Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))","volume":935,"user_id":"52534","_id":"8478","language":[{"iso":"eng"}],"publisher":"CEUR-WS.org","series_title":"CEUR Workshop Proceedings","page":"23-26","intvolume":"       935","date_updated":"2022-01-06T07:03:55Z","author":[{"full_name":"Arifulina, Svetlana ","first_name":"Svetlana ","last_name":"Arifulina"}],"title":"Towards a Framework for the Integration of Modeling Languages","year":"2012","status":"public"},{"author":[{"last_name":"Güldali ","first_name":"Baris ","full_name":"Güldali , Baris "},{"id":"447","last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan"},{"full_name":"Löhr, Perdita ","last_name":"Löhr","first_name":"Perdita "}],"status":"public","title":"Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme","year":"2012","intvolume":"        32","date_updated":"2022-01-06T07:03:55Z","publisher":"Softwaretechnik-Trends","_id":"8479","language":[{"iso":"eng"}],"main_file_link":[{"url":"http://pi.informatik.uni-siegen.de/stt/32_2/01_Fachgruppenberichte/OOSE_SWA/03_Gueldali-Sauer-Loehr-MMSM2012.pdf"}],"page":"5-6","volume":32,"user_id":"52534","citation":{"short":"B. Güldali , S. Sauer, P. Löhr, in: Proceedings of the Workshop Modellbasierte Und Modellgetriebene Softwaremodernisierung (MMSM 2012), Softwaretechnik-Trends, 2012, pp. 5–6.","chicago":"Güldali , Baris , Stefan Sauer, and Perdita  Löhr. “Entwicklung Eines Softwarewerkzeugs Für Die Modellgetriebene Migration Betrieblicher Informationssysteme.” In <i>Proceedings of the Workshop Modellbasierte Und Modellgetriebene Softwaremodernisierung (MMSM 2012)</i>, 32:5–6. Softwaretechnik-Trends, 2012.","apa":"Güldali , B., Sauer, S., &#38; Löhr, P. (2012). Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme. In <i>Proceedings of the Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2012)</i> (Vol. 32, pp. 5–6). Softwaretechnik-Trends.","ieee":"B. Güldali , S. Sauer, and P. Löhr, “Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme,” in <i>Proceedings of the Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2012)</i>, 2012, vol. 32, no. 2, pp. 5–6.","ama":"Güldali  B, Sauer S, Löhr P. Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme. In: <i>Proceedings of the Workshop Modellbasierte Und Modellgetriebene Softwaremodernisierung (MMSM 2012)</i>. Vol 32. Softwaretechnik-Trends; 2012:5-6.","bibtex":"@inproceedings{Güldali _Sauer_Löhr_2012, title={Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme}, volume={32}, number={2}, booktitle={Proceedings of the Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2012)}, publisher={Softwaretechnik-Trends}, author={Güldali , Baris  and Sauer, Stefan and Löhr, Perdita }, year={2012}, pages={5–6} }","mla":"Güldali , Baris, et al. “Entwicklung Eines Softwarewerkzeugs Für Die Modellgetriebene Migration Betrieblicher Informationssysteme.” <i>Proceedings of the Workshop Modellbasierte Und Modellgetriebene Softwaremodernisierung (MMSM 2012)</i>, vol. 32, no. 2, Softwaretechnik-Trends, 2012, pp. 5–6."},"issue":"2","publication":"Proceedings of the Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2012)","date_created":"2019-03-08T09:57:51Z","department":[{"_id":"66"}],"type":"conference"},{"_id":"8480","series_title":"CMA'12","language":[{"iso":"eng"}],"publisher":"ACM","doi":"https://dl.acm.org/citation.cfm?id=2459032","user_id":"52534","status":"public","title":"Assessing composition in modeling approaches","year":"2012","author":[{"full_name":"Mussbacher , Gunter ","last_name":"Mussbacher ","first_name":"Gunter "},{"last_name":"Alam ","first_name":"Omar ","full_name":"Alam , Omar "},{"last_name":"Alhaj ","first_name":"Mohammed ","full_name":"Alhaj , Mohammed "},{"first_name":"Shaukat ","last_name":"Ali ","full_name":"Ali , Shaukat "},{"full_name":"Amálio , Nuno ","last_name":"Amálio ","first_name":"Nuno "},{"first_name":"Balbir ","last_name":"Barn ","full_name":"Barn , Balbir "},{"full_name":"Bræk , Rolv ","last_name":"Bræk ","first_name":"Rolv "},{"full_name":"Clark , Tony ","first_name":"Tony ","last_name":"Clark "},{"last_name":"Combemale ","first_name":"Benoit ","full_name":"Combemale , Benoit "},{"first_name":"Luiz Marcio ","last_name":"Cysneiros ","full_name":"Cysneiros , Luiz Marcio "},{"first_name":"Urooj ","last_name":"Fatima ","full_name":"Fatima , Urooj "},{"full_name":"France , Robert ","first_name":"Robert ","last_name":"France "},{"full_name":"Georg , Geri ","last_name":"Georg ","first_name":"Geri "},{"first_name":"Jennifer ","last_name":"Horkoff ","full_name":"Horkoff , Jennifer "},{"last_name":"Kienzle ","first_name":"Jörg ","full_name":"Kienzle , Jörg "},{"full_name":"Leite , Julio Cesar ","last_name":"Leite ","first_name":"Julio Cesar "},{"full_name":"Lethbridge , Timothy C. ","last_name":"Lethbridge ","first_name":"Timothy C. "},{"first_name":"Markus ","last_name":"Luckey ","full_name":"Luckey , Markus "},{"full_name":"Moreira , Ana ","first_name":"Ana ","last_name":"Moreira "},{"first_name":"Felix ","last_name":"Mutz ","full_name":"Mutz , Felix "},{"full_name":"A. Oliveira, A. Padua ","first_name":"A. Padua ","last_name":"A. Oliveira"},{"full_name":"C. Petriu , Dorina ","first_name":"Dorina ","last_name":"C. Petriu "},{"full_name":"Schöttle, Matthias ","last_name":"Schöttle","first_name":"Matthias "},{"full_name":"Troup, Lucy ","first_name":"Lucy ","last_name":"Troup"},{"full_name":"Werneck, Vera M. B. ","first_name":"Vera M. B. ","last_name":"Werneck"}],"date_updated":"2022-01-06T07:03:55Z","place":"New York, NY, USA","date_created":"2019-03-08T10:04:47Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012)","citation":{"chicago":"Mussbacher , Gunter , Omar  Alam , Mohammed  Alhaj , Shaukat  Ali , Nuno  Amálio , Balbir  Barn , Rolv  Bræk , et al. “Assessing Composition in Modeling Approaches.” In <i>Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012)</i>. CMA’12. New York, NY, USA: ACM, 2012. <a href=\"https://dl.acm.org/citation.cfm?id=2459032\">https://dl.acm.org/citation.cfm?id=2459032</a>.","short":"G. Mussbacher , O. Alam , M. Alhaj , S. Ali , N. Amálio , B. Barn , R. Bræk , T. Clark , B. Combemale , L.M. Cysneiros , U. Fatima , R. France , G. Georg , J. Horkoff , J. Kienzle , J.C. Leite , T.C. Lethbridge , M. Luckey , A. Moreira , F. Mutz , A.P. A. Oliveira, D. C. Petriu , M. Schöttle, L. Troup, V.M.B. Werneck, in: Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012), ACM, New York, NY, USA, 2012.","ama":"Mussbacher  G, Alam  O, Alhaj  M, et al. Assessing composition in modeling approaches. In: <i>Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012)</i>. CMA’12. New York, NY, USA: ACM; 2012. doi:<a href=\"https://dl.acm.org/citation.cfm?id=2459032\">https://dl.acm.org/citation.cfm?id=2459032</a>","bibtex":"@inproceedings{Mussbacher _Alam _Alhaj _Ali _Amálio _Barn _Bræk _Clark _Combemale _Cysneiros _et al._2012, place={New York, NY, USA}, series={CMA’12}, title={Assessing composition in modeling approaches}, DOI={<a href=\"https://dl.acm.org/citation.cfm?id=2459032\">https://dl.acm.org/citation.cfm?id=2459032</a>}, booktitle={Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012)}, publisher={ACM}, author={Mussbacher , Gunter  and Alam , Omar  and Alhaj , Mohammed  and Ali , Shaukat  and Amálio , Nuno  and Barn , Balbir  and Bræk , Rolv  and Clark , Tony  and Combemale , Benoit  and Cysneiros , Luiz Marcio  and et al.}, year={2012}, collection={CMA’12} }","apa":"Mussbacher , G., Alam , O., Alhaj , M., Ali , S., Amálio , N., Barn , B., … Werneck, V. M. B. (2012). Assessing composition in modeling approaches. In <i>Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012)</i>. New York, NY, USA: ACM. <a href=\"https://dl.acm.org/citation.cfm?id=2459032\">https://dl.acm.org/citation.cfm?id=2459032</a>","mla":"Mussbacher , Gunter, et al. “Assessing Composition in Modeling Approaches.” <i>Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012)</i>, ACM, 2012, doi:<a href=\"https://dl.acm.org/citation.cfm?id=2459032\">https://dl.acm.org/citation.cfm?id=2459032</a>.","ieee":"G. Mussbacher  <i>et al.</i>, “Assessing composition in modeling approaches,” in <i>Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012)</i>, 2012."}},{"publication":"Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO'12","citation":{"ama":"Luckey  M, Thanos  C, Gerth C, Engels G. Multi-Staged Quality Assurance for Self-Adaptive Systems. In: <i>Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12</i>. ; 2012.","bibtex":"@inproceedings{Luckey _Thanos _Gerth_Engels_2012, title={Multi-Staged Quality Assurance for Self-Adaptive Systems}, booktitle={Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12}, author={Luckey , Markus  and Thanos , Christian  and Gerth, Christian  and Engels, Gregor}, year={2012} }","mla":"Luckey , Markus, et al. “Multi-Staged Quality Assurance for Self-Adaptive Systems.” <i>Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12</i>, 2012.","short":"M. Luckey , C. Thanos , C. Gerth, G. Engels, in: Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12, 2012.","chicago":"Luckey , Markus , Christian  Thanos , Christian  Gerth, and Gregor Engels. “Multi-Staged Quality Assurance for Self-Adaptive Systems.” In <i>Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12</i>, 2012.","apa":"Luckey , M., Thanos , C., Gerth, C., &#38; Engels, G. (2012). Multi-Staged Quality Assurance for Self-Adaptive Systems. In <i>Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12</i>.","ieee":"M. Luckey , C. Thanos , C. Gerth, and G. Engels, “Multi-Staged Quality Assurance for Self-Adaptive Systems,” in <i>Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12</i>, 2012."},"date_created":"2019-03-08T13:51:16Z","type":"conference","department":[{"_id":"66"}],"status":"public","title":"Multi-Staged Quality Assurance for Self-Adaptive Systems","year":"2012","author":[{"last_name":"Luckey ","first_name":"Markus ","full_name":"Luckey , Markus "},{"first_name":"Christian ","last_name":"Thanos ","full_name":"Thanos , Christian "},{"full_name":"Gerth, Christian ","first_name":"Christian ","last_name":"Gerth"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"}],"date_updated":"2022-01-06T07:03:55Z","language":[{"iso":"eng"}],"_id":"8483","user_id":"52534"},{"page":"7-12","_id":"8484","publisher":"Petra Hofstedt, Claus Lewerentz (BTU Cottbus)","language":[{"iso":"eng"}],"user_id":"52534","volume":"Report 01/12","year":"2012","title":"Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt","status":"public","author":[{"first_name":"Silke ","last_name":"Geisen","full_name":"Geisen, Silke "}],"date_updated":"2022-01-06T07:03:55Z","date_created":"2019-03-08T13:52:24Z","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium","citation":{"mla":"Geisen, Silke. “Ein Ansatz Zur Anpassung von Software Engineering Methoden Im Laufenden Projekt.” <i>Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium</i>, vol. Report 01/12, Petra Hofstedt, Claus Lewerentz (BTU Cottbus), 2012, pp. 7–12.","bibtex":"@inproceedings{Geisen_2012, title={Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt}, volume={Report 01/12}, booktitle={Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium}, publisher={Petra Hofstedt, Claus Lewerentz (BTU Cottbus)}, author={Geisen, Silke }, year={2012}, pages={7–12} }","ama":"Geisen S. Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt. In: <i>Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium</i>. Vol Report 01/12. Petra Hofstedt, Claus Lewerentz (BTU Cottbus); 2012:7-12.","ieee":"S. Geisen, “Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt,” in <i>Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium</i>, 2012, vol. Report 01/12, pp. 7–12.","apa":"Geisen, S. (2012). Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt. In <i>Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium</i> (Vol. Report 01/12, pp. 7–12). Petra Hofstedt, Claus Lewerentz (BTU Cottbus).","chicago":"Geisen, Silke . “Ein Ansatz Zur Anpassung von Software Engineering Methoden Im Laufenden Projekt.” In <i>Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium</i>, Report 01/12:7–12. Petra Hofstedt, Claus Lewerentz (BTU Cottbus), 2012.","short":"S. Geisen, in: Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium, Petra Hofstedt, Claus Lewerentz (BTU Cottbus), 2012, pp. 7–12."}},{"user_id":"477","ddc":["000"],"volume":34,"page":"1-52","_id":"5183","publisher":"Association for Computing Machinery (ACM)","has_accepted_license":"1","status":"public","project":[{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"12","name":"SFB 901 - Subproject B4"}],"file_date_updated":"2018-11-02T15:42:24Z","citation":{"chicago":"Bodden, Eric, Patrick Lam, and Laurie Hendren. “Partially Evaluating Finite-State Runtime Monitors Ahead of Time.” <i>ACM Transactions on Programming Languages and Systems</i> 34, no. 2 (2012): 1–52. <a href=\"https://doi.org/10.1145/2220365.2220366\">https://doi.org/10.1145/2220365.2220366</a>.","short":"E. Bodden, P. Lam, L. Hendren, ACM Transactions on Programming Languages and Systems 34 (2012) 1–52.","apa":"Bodden, E., Lam, P., &#38; Hendren, L. (2012). Partially Evaluating Finite-State Runtime Monitors Ahead of Time. <i>ACM Transactions on Programming Languages and Systems</i>, <i>34</i>(2), 1–52. <a href=\"https://doi.org/10.1145/2220365.2220366\">https://doi.org/10.1145/2220365.2220366</a>","ieee":"E. Bodden, P. Lam, and L. Hendren, “Partially Evaluating Finite-State Runtime Monitors Ahead of Time,” <i>ACM Transactions on Programming Languages and Systems</i>, vol. 34, no. 2, pp. 1–52, 2012.","ama":"Bodden E, Lam P, Hendren L. Partially Evaluating Finite-State Runtime Monitors Ahead of Time. <i>ACM Transactions on Programming Languages and Systems</i>. 2012;34(2):1-52. doi:<a href=\"https://doi.org/10.1145/2220365.2220366\">10.1145/2220365.2220366</a>","bibtex":"@article{Bodden_Lam_Hendren_2012, title={Partially Evaluating Finite-State Runtime Monitors Ahead of Time}, volume={34}, DOI={<a href=\"https://doi.org/10.1145/2220365.2220366\">10.1145/2220365.2220366</a>}, number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association for Computing Machinery (ACM)}, author={Bodden, Eric and Lam, Patrick and Hendren, Laurie}, year={2012}, pages={1–52} }","mla":"Bodden, Eric, et al. “Partially Evaluating Finite-State Runtime Monitors Ahead of Time.” <i>ACM Transactions on Programming Languages and Systems</i>, vol. 34, no. 2, Association for Computing Machinery (ACM), 2012, pp. 1–52, doi:<a href=\"https://doi.org/10.1145/2220365.2220366\">10.1145/2220365.2220366</a>."},"doi":"10.1145/2220365.2220366","main_file_link":[{"url":"http://www.bodden.de/pubs/blh12partially.pdf"}],"language":[{"iso":"eng"}],"publication_status":"published","date_updated":"2022-01-06T07:01:41Z","intvolume":"        34","year":"2012","title":"Partially Evaluating Finite-State Runtime Monitors Ahead of Time","author":[{"id":"59256","orcid":"0000-0003-3470-3647","first_name":"Eric","last_name":"Bodden","full_name":"Bodden, Eric"},{"last_name":"Lam","first_name":"Patrick","full_name":"Lam, Patrick"},{"full_name":"Hendren, Laurie","last_name":"Hendren","first_name":"Laurie"}],"publication_identifier":{"issn":["0164-0925"]},"type":"journal_article","department":[{"_id":"76"}],"file":[{"file_size":2280938,"access_level":"closed","file_name":"a7-bodden.pdf","date_updated":"2018-11-02T15:42:24Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"5310","creator":"ups","date_created":"2018-11-02T15:42:24Z"}],"date_created":"2018-10-31T10:43:13Z","extern":"1","publication":"ACM Transactions on Programming Languages and Systems","issue":"2"},{"series_title":"LNCS","language":[{"iso":"eng"}],"doi":"10.1007/978-3-642-33666-9_49","author":[{"first_name":"Galina","last_name":"Besova","full_name":"Besova, Galina"},{"full_name":"Walther, Sven","first_name":"Sven","last_name":"Walther"},{"id":"573","last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"},{"last_name":"Becker","first_name":"Steffen","full_name":"Becker, Steffen"}],"year":"2012","title":"Weaving-based configuration and modular transformation of multi-layer systems","date_updated":"2022-01-06T07:02:20Z","date_created":"2017-10-17T12:42:42Z","file":[{"date_created":"2018-03-15T10:24:06Z","creator":"florida","content_type":"application/pdf","success":1,"file_id":"1276","date_updated":"2018-03-15T10:24:06Z","relation":"main_file","access_level":"closed","file_size":589972,"file_name":"565-Besova_et_al._-_2012_-_Weaving-Based_Configuration_and_Modular_Transformation_of_Multi-layer_Systems_01.pdf"}],"department":[{"_id":"77"}],"type":"conference","publication":"Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS)","abstract":[{"lang":"eng","text":"In model-driven development of multi-layer systems (e.g. application, platform and infrastructure), each layer is usually described by separate models. When generating analysis models or code, these separate models rst of all need to be linked. Hence, existing model transformations for single layers cannot be simply re-used. In this paper, we present a modular approach to the transformation of multi-layer systems. It employs model weaving to dene the interconnections between models of dierent layers. The weaving models themselves are subject to model transformations: The result of transforming a weaving model constitutes a conguration for the models obtained by transforming single layers, thereby allowing for a re-use of existing model transformations. We exemplify our approach by the generation of analysis models for component-based software."}],"_id":"565","page":"776-792","ddc":["040"],"user_id":"477","status":"public","has_accepted_license":"1","citation":{"ama":"Besova G, Walther S, Wehrheim H, Becker S. Weaving-based configuration and modular transformation of multi-layer systems. In: <i>Proceedings of the 15th International Conference on Model Driven Engineering Languages &#38; Systems (MoDELS)</i>. LNCS. ; 2012:776-792. doi:<a href=\"https://doi.org/10.1007/978-3-642-33666-9_49\">10.1007/978-3-642-33666-9_49</a>","bibtex":"@inproceedings{Besova_Walther_Wehrheim_Becker_2012, series={LNCS}, title={Weaving-based configuration and modular transformation of multi-layer systems}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-33666-9_49\">10.1007/978-3-642-33666-9_49</a>}, booktitle={Proceedings of the 15th International Conference on Model Driven Engineering Languages &#38; Systems (MoDELS)}, author={Besova, Galina and Walther, Sven and Wehrheim, Heike and Becker, Steffen}, year={2012}, pages={776–792}, collection={LNCS} }","mla":"Besova, Galina, et al. “Weaving-Based Configuration and Modular Transformation of Multi-Layer Systems.” <i>Proceedings of the 15th International Conference on Model Driven Engineering Languages &#38; Systems (MoDELS)</i>, 2012, pp. 776–92, doi:<a href=\"https://doi.org/10.1007/978-3-642-33666-9_49\">10.1007/978-3-642-33666-9_49</a>.","short":"G. Besova, S. Walther, H. Wehrheim, S. Becker, in: Proceedings of the 15th International Conference on Model Driven Engineering Languages &#38; Systems (MoDELS), 2012, pp. 776–792.","chicago":"Besova, Galina, Sven Walther, Heike Wehrheim, and Steffen Becker. “Weaving-Based Configuration and Modular Transformation of Multi-Layer Systems.” In <i>Proceedings of the 15th International Conference on Model Driven Engineering Languages &#38; Systems (MoDELS)</i>, 776–92. LNCS, 2012. <a href=\"https://doi.org/10.1007/978-3-642-33666-9_49\">https://doi.org/10.1007/978-3-642-33666-9_49</a>.","apa":"Besova, G., Walther, S., Wehrheim, H., &#38; Becker, S. (2012). Weaving-based configuration and modular transformation of multi-layer systems. In <i>Proceedings of the 15th International Conference on Model Driven Engineering Languages &#38; Systems (MoDELS)</i> (pp. 776–792). <a href=\"https://doi.org/10.1007/978-3-642-33666-9_49\">https://doi.org/10.1007/978-3-642-33666-9_49</a>","ieee":"G. Besova, S. Walther, H. Wehrheim, and S. Becker, “Weaving-based configuration and modular transformation of multi-layer systems,” in <i>Proceedings of the 15th International Conference on Model Driven Engineering Languages &#38; Systems (MoDELS)</i>, 2012, pp. 776–792."},"file_date_updated":"2018-03-15T10:24:06Z","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"name":"SFB 901 - Project Area B","_id":"3"}]},{"intvolume":"       124","date_updated":"2022-01-06T07:03:17Z","author":[{"id":"624","full_name":"Böttcher, Stefan","first_name":"Stefan","last_name":"Böttcher"},{"full_name":"Hartel, Rita","last_name":"Hartel","first_name":"Rita","id":"14961"},{"id":"11871","orcid":"0000-0002-4525-6865","last_name":"Heindorf","first_name":"Stefan","full_name":"Heindorf, Stefan"}],"title":"Optimized XPath evaluation for Schema-compressed XML data","status":"public","year":"2012","volume":124,"user_id":"11871","_id":"6720","language":[{"iso":"eng"}],"publisher":"Australian Computer Society","series_title":"{CRPIT}","page":"137-144","citation":{"apa":"Böttcher, S., Hartel, R., &#38; Heindorf, S. (2012). Optimized XPath evaluation for Schema-compressed XML data. In <i>ADC</i> (Vol. 124, pp. 137–144). Australian Computer Society.","ieee":"S. Böttcher, R. Hartel, and S. Heindorf, “Optimized XPath evaluation for Schema-compressed XML data,” in <i>ADC</i>, 2012, vol. 124, pp. 137–144.","short":"S. Böttcher, R. Hartel, S. Heindorf, in: ADC, Australian Computer Society, 2012, pp. 137–144.","chicago":"Böttcher, Stefan, Rita Hartel, and Stefan Heindorf. “Optimized XPath Evaluation for Schema-Compressed XML Data.” In <i>ADC</i>, 124:137–44. {CRPIT}. Australian Computer Society, 2012.","mla":"Böttcher, Stefan, et al. “Optimized XPath Evaluation for Schema-Compressed XML Data.” <i>ADC</i>, vol. 124, Australian Computer Society, 2012, pp. 137–44.","ama":"Böttcher S, Hartel R, Heindorf S. Optimized XPath evaluation for Schema-compressed XML data. In: <i>ADC</i>. Vol 124. {CRPIT}. Australian Computer Society; 2012:137-144.","bibtex":"@inproceedings{Böttcher_Hartel_Heindorf_2012, series={{CRPIT}}, title={Optimized XPath evaluation for Schema-compressed XML data}, volume={124}, booktitle={ADC}, publisher={Australian Computer Society}, author={Böttcher, Stefan and Hartel, Rita and Heindorf, Stefan}, year={2012}, pages={137–144}, collection={{CRPIT}} }"},"publication":"ADC","department":[{"_id":"66"}],"type":"conference","date_created":"2019-01-15T08:47:09Z"},{"author":[{"first_name":"Stefan","last_name":"Böttcher","full_name":"Böttcher, Stefan","id":"624"},{"id":"11308","full_name":"Bokermann, Dennis","last_name":"Bokermann","first_name":"Dennis"},{"id":"14961","full_name":"Hartel, Rita","last_name":"Hartel","first_name":"Rita"}],"publication_identifier":{"isbn":["9781467351522","9780769549118"]},"status":"public","title":"Generalizing and Improving SQL/XML Query Evaluation","year":"2012","date_updated":"2022-01-06T07:03:17Z","publication_status":"published","language":[{"iso":"eng"}],"_id":"6742","publisher":"IEEE","doi":"10.1109/sitis.2012.72","user_id":"11308","citation":{"short":"S. Böttcher, D. Bokermann, R. Hartel, in: 8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12), IEEE, 2012.","chicago":"Böttcher, Stefan, Dennis Bokermann, and Rita Hartel. “Generalizing and Improving SQL/XML Query Evaluation.” In <i>8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12)</i>. IEEE, 2012. <a href=\"https://doi.org/10.1109/sitis.2012.72\">https://doi.org/10.1109/sitis.2012.72</a>.","ieee":"S. Böttcher, D. Bokermann, and R. Hartel, “Generalizing and Improving SQL/XML Query Evaluation,” in <i>8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12)</i>, 2012.","apa":"Böttcher, S., Bokermann, D., &#38; Hartel, R. (2012). Generalizing and Improving SQL/XML Query Evaluation. In <i>8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12)</i>. IEEE. <a href=\"https://doi.org/10.1109/sitis.2012.72\">https://doi.org/10.1109/sitis.2012.72</a>","bibtex":"@inproceedings{Böttcher_Bokermann_Hartel_2012, title={Generalizing and Improving SQL/XML Query Evaluation}, DOI={<a href=\"https://doi.org/10.1109/sitis.2012.72\">10.1109/sitis.2012.72</a>}, booktitle={8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12)}, publisher={IEEE}, author={Böttcher, Stefan and Bokermann, Dennis and Hartel, Rita}, year={2012} }","ama":"Böttcher S, Bokermann D, Hartel R. Generalizing and Improving SQL/XML Query Evaluation. In: <i>8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12)</i>. IEEE; 2012. doi:<a href=\"https://doi.org/10.1109/sitis.2012.72\">10.1109/sitis.2012.72</a>","mla":"Böttcher, Stefan, et al. “Generalizing and Improving SQL/XML Query Evaluation.” <i>8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12)</i>, IEEE, 2012, doi:<a href=\"https://doi.org/10.1109/sitis.2012.72\">10.1109/sitis.2012.72</a>."},"publication":"8th International Conference on Signal Image Technology and Internet Based Systems (SITIS'12)","date_created":"2019-01-15T18:54:43Z","department":[{"_id":"69"},{"_id":"66"}],"type":"conference"},{"publication_identifier":{"isbn":["9783642308499","9783642308505"],"issn":["0302-9743","1611-3349"]},"author":[{"full_name":"Kempkes, Barbara","first_name":"Barbara","last_name":"Kempkes"},{"full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm","id":"15523"}],"status":"public","title":"Continuous Local Strategies for Robotic Formation Problems","year":"2012","date_updated":"2022-01-06T06:52:50Z","publication_status":"published","_id":"16445","language":[{"iso":"eng"}],"doi":"10.1007/978-3-642-30850-5_2","user_id":"15415","citation":{"short":"B. Kempkes, F. Meyer auf der Heide, in: Experimental Algorithms, Berlin, Heidelberg, 2012.","chicago":"Kempkes, Barbara, and Friedhelm Meyer auf der Heide. “Continuous Local Strategies for Robotic Formation Problems.” In <i>Experimental Algorithms</i>. Berlin, Heidelberg, 2012. <a href=\"https://doi.org/10.1007/978-3-642-30850-5_2\">https://doi.org/10.1007/978-3-642-30850-5_2</a>.","ieee":"B. Kempkes and F. Meyer auf der Heide, “Continuous Local Strategies for Robotic Formation Problems,” in <i>Experimental Algorithms</i>, Berlin, Heidelberg, 2012.","apa":"Kempkes, B., &#38; Meyer auf der Heide, F. (2012). Continuous Local Strategies for Robotic Formation Problems. In <i>Experimental Algorithms</i>. Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/978-3-642-30850-5_2\">https://doi.org/10.1007/978-3-642-30850-5_2</a>","bibtex":"@inbook{Kempkes_Meyer auf der Heide_2012, place={Berlin, Heidelberg}, title={Continuous Local Strategies for Robotic Formation Problems}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-30850-5_2\">10.1007/978-3-642-30850-5_2</a>}, booktitle={Experimental Algorithms}, author={Kempkes, Barbara and Meyer auf der Heide, Friedhelm}, year={2012} }","ama":"Kempkes B, Meyer auf der Heide F. Continuous Local Strategies for Robotic Formation Problems. In: <i>Experimental Algorithms</i>. Berlin, Heidelberg; 2012. doi:<a href=\"https://doi.org/10.1007/978-3-642-30850-5_2\">10.1007/978-3-642-30850-5_2</a>","mla":"Kempkes, Barbara, and Friedhelm Meyer auf der Heide. “Continuous Local Strategies for Robotic Formation Problems.” <i>Experimental Algorithms</i>, 2012, doi:<a href=\"https://doi.org/10.1007/978-3-642-30850-5_2\">10.1007/978-3-642-30850-5_2</a>."},"publication":"Experimental Algorithms","place":"Berlin, Heidelberg","date_created":"2020-04-07T06:41:18Z","department":[{"_id":"63"}],"type":"book_chapter"},{"_id":"16446","language":[{"iso":"eng"}],"user_id":"15415","doi":"10.1145/2312005.2312009","publication_identifier":{"isbn":["9781450312134"]},"author":[{"full_name":"Kempkes, Barbara","last_name":"Kempkes","first_name":"Barbara"},{"first_name":"Peter","last_name":"Kling","full_name":"Kling, Peter"},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","last_name":"Meyer auf der Heide","first_name":"Friedhelm"}],"title":"Optimal and competitive runtime bounds for continuous, local gathering of mobile robots","year":"2012","status":"public","publication_status":"published","date_updated":"2022-01-06T06:52:50Z","date_created":"2020-04-07T06:43:11Z","department":[{"_id":"63"}],"type":"conference","citation":{"apa":"Kempkes, B., Kling, P., &#38; Meyer auf der Heide, F. (2012). Optimal and competitive runtime bounds for continuous, local gathering of mobile robots. In <i>Proceedinbgs of the 24th ACM symposium on Parallelism in algorithms and architectures - SPAA ’12</i>. <a href=\"https://doi.org/10.1145/2312005.2312009\">https://doi.org/10.1145/2312005.2312009</a>","ieee":"B. Kempkes, P. Kling, and F. Meyer auf der Heide, “Optimal and competitive runtime bounds for continuous, local gathering of mobile robots,” in <i>Proceedinbgs of the 24th ACM symposium on Parallelism in algorithms and architectures - SPAA ’12</i>, 2012.","short":"B. Kempkes, P. Kling, F. Meyer auf der Heide, in: Proceedinbgs of the 24th ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’12, 2012.","chicago":"Kempkes, Barbara, Peter Kling, and Friedhelm Meyer auf der Heide. “Optimal and Competitive Runtime Bounds for Continuous, Local Gathering of Mobile Robots.” In <i>Proceedinbgs of the 24th ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’12</i>, 2012. <a href=\"https://doi.org/10.1145/2312005.2312009\">https://doi.org/10.1145/2312005.2312009</a>.","mla":"Kempkes, Barbara, et al. “Optimal and Competitive Runtime Bounds for Continuous, Local Gathering of Mobile Robots.” <i>Proceedinbgs of the 24th ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’12</i>, 2012, doi:<a href=\"https://doi.org/10.1145/2312005.2312009\">10.1145/2312005.2312009</a>.","ama":"Kempkes B, Kling P, Meyer auf der Heide F. Optimal and competitive runtime bounds for continuous, local gathering of mobile robots. In: <i>Proceedinbgs of the 24th ACM Symposium on Parallelism in Algorithms and Architectures - SPAA ’12</i>. ; 2012. doi:<a href=\"https://doi.org/10.1145/2312005.2312009\">10.1145/2312005.2312009</a>","bibtex":"@inproceedings{Kempkes_Kling_Meyer auf der Heide_2012, title={Optimal and competitive runtime bounds for continuous, local gathering of mobile robots}, DOI={<a href=\"https://doi.org/10.1145/2312005.2312009\">10.1145/2312005.2312009</a>}, booktitle={Proceedinbgs of the 24th ACM symposium on Parallelism in algorithms and architectures - SPAA ’12}, author={Kempkes, Barbara and Kling, Peter and Meyer auf der Heide, Friedhelm}, year={2012} }"},"publication":"Proceedinbgs of the 24th ACM symposium on Parallelism in algorithms and architectures - SPAA '12"},{"user_id":"15415","doi":"10.1007/978-3-642-28209-6_2","_id":"16448","language":[{"iso":"eng"}],"publication_status":"published","date_updated":"2022-01-06T06:52:50Z","status":"public","year":"2012","title":"Local, Self-organizing Strategies for Robotic Formation Problems","author":[{"full_name":"Kempkes, Barbara","first_name":"Barbara","last_name":"Kempkes"},{"full_name":"Meyer auf der Heide, Friedhelm","first_name":"Friedhelm","last_name":"Meyer auf der Heide","id":"15523"}],"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783642282089","9783642282096"]},"type":"book_chapter","department":[{"_id":"63"}],"date_created":"2020-04-07T06:51:14Z","place":"Berlin, Heidelberg","publication":"Algorithms for Sensor Systems","citation":{"short":"B. Kempkes, F. Meyer auf der Heide, in: Algorithms for Sensor Systems, Berlin, Heidelberg, 2012.","chicago":"Kempkes, Barbara, and Friedhelm Meyer auf der Heide. “Local, Self-Organizing Strategies for Robotic Formation Problems.” In <i>Algorithms for Sensor Systems</i>. Berlin, Heidelberg, 2012. <a href=\"https://doi.org/10.1007/978-3-642-28209-6_2\">https://doi.org/10.1007/978-3-642-28209-6_2</a>.","apa":"Kempkes, B., &#38; Meyer auf der Heide, F. (2012). Local, Self-organizing Strategies for Robotic Formation Problems. In <i>Algorithms for Sensor Systems</i>. Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/978-3-642-28209-6_2\">https://doi.org/10.1007/978-3-642-28209-6_2</a>","ieee":"B. Kempkes and F. Meyer auf der Heide, “Local, Self-organizing Strategies for Robotic Formation Problems,” in <i>Algorithms for Sensor Systems</i>, Berlin, Heidelberg, 2012.","ama":"Kempkes B, Meyer auf der Heide F. Local, Self-organizing Strategies for Robotic Formation Problems. In: <i>Algorithms for Sensor Systems</i>. Berlin, Heidelberg; 2012. doi:<a href=\"https://doi.org/10.1007/978-3-642-28209-6_2\">10.1007/978-3-642-28209-6_2</a>","bibtex":"@inbook{Kempkes_Meyer auf der Heide_2012, place={Berlin, Heidelberg}, title={Local, Self-organizing Strategies for Robotic Formation Problems}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-28209-6_2\">10.1007/978-3-642-28209-6_2</a>}, booktitle={Algorithms for Sensor Systems}, author={Kempkes, Barbara and Meyer auf der Heide, Friedhelm}, year={2012} }","mla":"Kempkes, Barbara, and Friedhelm Meyer auf der Heide. “Local, Self-Organizing Strategies for Robotic Formation Problems.” <i>Algorithms for Sensor Systems</i>, 2012, doi:<a href=\"https://doi.org/10.1007/978-3-642-28209-6_2\">10.1007/978-3-642-28209-6_2</a>."}},{"user_id":"14955","series_title":"Curated exhibit at Siggraph 2012","_id":"16929","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:52:59Z","status":"public","title":"Faculty Submitted Student Work at Siggraph 2012","year":"2012","conference":{"end_date":"2012-08-09","name":"Siggraph 2012","start_date":"2012-08-05","location":"Los Angeles"},"author":[{"id":"90","first_name":"Gitta","last_name":"Domik","full_name":"Domik, Gitta"}],"type":"conference","department":[{"_id":"65"}],"place":"Los Angeles","date_created":"2020-04-30T08:15:08Z","publication":"Curated exhibit at Siggraph","citation":{"ama":"Domik G. Faculty Submitted Student Work at Siggraph 2012. In: <i>Curated Exhibit at Siggraph</i>. Curated exhibit at Siggraph 2012. Los Angeles; 2012.","bibtex":"@inproceedings{Domik_2012, place={Los Angeles}, series={Curated exhibit at Siggraph 2012}, title={Faculty Submitted Student Work at Siggraph 2012}, booktitle={Curated exhibit at Siggraph}, author={Domik, Gitta}, year={2012}, collection={Curated exhibit at Siggraph 2012} }","mla":"Domik, Gitta. “Faculty Submitted Student Work at Siggraph 2012.” <i>Curated Exhibit at Siggraph</i>, 2012.","short":"G. Domik, in: Curated Exhibit at Siggraph, Los Angeles, 2012.","chicago":"Domik, Gitta. “Faculty Submitted Student Work at Siggraph 2012.” In <i>Curated Exhibit at Siggraph</i>. Curated Exhibit at Siggraph 2012. Los Angeles, 2012.","apa":"Domik, G. (2012). Faculty Submitted Student Work at Siggraph 2012. In <i>Curated exhibit at Siggraph</i>. Los Angeles.","ieee":"G. Domik, “Faculty Submitted Student Work at Siggraph 2012,” in <i>Curated exhibit at Siggraph</i>, Los Angeles, 2012."}},{"language":[{"iso":"eng"}],"_id":"10636","user_id":"3118","author":[{"first_name":"Alexander","last_name":"Boschmann","full_name":"Boschmann, Alexander"},{"id":"398","last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco"}],"status":"public","year":"2012","title":"Reducing classification accuracy degradation of pattern recognition based myoelectric control caused by electrode shift using a high density electrode array","date_updated":"2022-01-06T06:50:49Z","date_created":"2019-07-10T11:03:21Z","department":[{"_id":"78"}],"type":"conference","citation":{"bibtex":"@inproceedings{Boschmann_Platzner_2012, title={Reducing classification accuracy degradation of pattern recognition based myoelectric control caused by electrode shift using a high density electrode array}, booktitle={Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC)}, author={Boschmann, Alexander and Platzner, Marco}, year={2012} }","chicago":"Boschmann, Alexander, and Marco Platzner. “Reducing Classification Accuracy Degradation of Pattern Recognition Based Myoelectric Control Caused by Electrode Shift Using a High Density Electrode Array.” In <i>Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC)</i>, 2012.","short":"A. Boschmann, M. Platzner, in: Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC), 2012.","ama":"Boschmann A, Platzner M. Reducing classification accuracy degradation of pattern recognition based myoelectric control caused by electrode shift using a high density electrode array. In: <i>Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC)</i>. ; 2012.","ieee":"A. Boschmann and M. Platzner, “Reducing classification accuracy degradation of pattern recognition based myoelectric control caused by electrode shift using a high density electrode array,” in <i>Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC)</i>, 2012.","mla":"Boschmann, Alexander, and Marco Platzner. “Reducing Classification Accuracy Degradation of Pattern Recognition Based Myoelectric Control Caused by Electrode Shift Using a High Density Electrode Array.” <i>Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC)</i>, 2012.","apa":"Boschmann, A., &#38; Platzner, M. (2012). Reducing classification accuracy degradation of pattern recognition based myoelectric control caused by electrode shift using a high density electrode array. In <i>Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC)</i>."},"publication":"Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC)"}]