[{"user_id":"52534","doi":"http://dx.doi.org/10.1007/b100934","volume":3256,"editor":[{"full_name":"Ehrig, Hartmut","first_name":"Hartmut","last_name":"Ehrig"},{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"last_name":"Parisi-Presicce","first_name":"F.","full_name":"Parisi-Presicce, F."},{"full_name":"Rozenberg, Grzegorz","last_name":"Rozenberg","first_name":"Grzegorz"}],"publisher":"Springer","_id":"7784","language":[{"iso":"eng"}],"series_title":"LNCS","date_updated":"2022-01-06T07:03:46Z","intvolume":"      3256","title":"Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)","year":"2004","status":"public","type":"conference_editor","department":[{"_id":"66"}],"date_created":"2019-02-19T18:44:31Z","place":"Berlin/Heidelberg","citation":{"apa":"Ehrig, H., Engels, G., Parisi-Presicce, F., &#38; Rozenberg, G. (Eds.). (2004). <i>Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)</i> (Vol. 3256). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>","ieee":"H. Ehrig, G. Engels, F. Parisi-Presicce, and G. Rozenberg, Eds., <i>Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)</i>, vol. 3256. Berlin/Heidelberg: Springer, 2004.","chicago":"Ehrig, Hartmut, Gregor Engels, F. Parisi-Presicce, and Grzegorz Rozenberg, eds. <i>Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)</i>. Vol. 3256. LNCS. Berlin/Heidelberg: Springer, 2004. <a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>.","short":"H. Ehrig, G. Engels, F. Parisi-Presicce, G. Rozenberg, eds., Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy), Springer, Berlin/Heidelberg, 2004.","mla":"Ehrig, Hartmut, et al., editors. <i>Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)</i>. Vol. 3256, Springer, 2004, doi:<a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>.","ama":"Ehrig H, Engels G, Parisi-Presicce F, Rozenberg G, eds. <i>Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)</i>. Vol 3256. Berlin/Heidelberg: Springer; 2004. doi:<a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>","bibtex":"@book{Ehrig_Engels_Parisi-Presicce_Rozenberg_2004, place={Berlin/Heidelberg}, series={LNCS}, title={Proceedings of the 2nd International Conference on Graph Transformations (ICGT 2004), Rome (Italy)}, volume={3256}, DOI={<a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>}, publisher={Springer}, year={2004}, collection={LNCS} }"}},{"date_created":"2019-02-21T11:23:11Z","place":"Washington, DC, USA","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan)","citation":{"short":"T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan), IEEE Computer Society, Washington, DC, USA, 2004, pp. 611–616.","chicago":"Schattkowsky, Tim, Christoph Loeser, and Wolfgang Müller. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” In <i>Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan)</i>, 611–16. Washington, DC, USA: IEEE Computer Society, 2004.","apa":"Schattkowsky, T., Loeser, C., &#38; Müller, W. (2004). Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. In <i>Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan)</i> (pp. 611–616). Washington, DC, USA: IEEE Computer Society.","ieee":"T. Schattkowsky, C. Loeser, and W. Müller, “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks,” in <i>Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan)</i>, 2004, pp. 611–616.","ama":"Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. In: <i>Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan)</i>. Washington, DC, USA: IEEE Computer Society; 2004:611-616.","bibtex":"@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Washington, DC, USA}, title={Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks}, booktitle={Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan)}, publisher={IEEE Computer Society}, author={Schattkowsky, Tim and Loeser, Christoph and Müller, Wolfgang}, year={2004}, pages={611–616} }","mla":"Schattkowsky, Tim, et al. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” <i>Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan)</i>, IEEE Computer Society, 2004, pp. 611–16."},"page":"611-616","_id":"7917","language":[{"iso":"eng"}],"publisher":"IEEE Computer Society","user_id":"52534","title":"Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks","year":"2004","status":"public","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"full_name":"Loeser, Christoph","last_name":"Loeser","first_name":"Christoph"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_updated":"2022-01-06T07:03:47Z"},{"department":[{"_id":"66"}],"type":"conference","place":"Washington, DC, USA","date_created":"2019-02-21T11:23:38Z","citation":{"short":"L. Baresi, R. Heckel, S. Thöne, D. Varró, in: Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway), IEEE Computer Society, Washington, DC, USA, 2004, pp. 155–166.","chicago":"Baresi, Luciano, Reiko Heckel, Sebastian Thöne, and Dániel Varró. “Style-Based Refinement of Dynamic Software Architectures.” In <i>Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway)</i>, 155–66. Washington, DC, USA: IEEE Computer Society, 2004.","ieee":"L. Baresi, R. Heckel, S. Thöne, and D. Varró, “Style-Based Refinement of Dynamic Software Architectures,” in <i>Proceedings of the conference on Software Architecture (WICSA 2004), Oslo (Norway)</i>, 2004, pp. 155–166.","apa":"Baresi, L., Heckel, R., Thöne, S., &#38; Varró, D. (2004). Style-Based Refinement of Dynamic Software Architectures. In <i>Proceedings of the conference on Software Architecture (WICSA 2004), Oslo (Norway)</i> (pp. 155–166). Washington, DC, USA: IEEE Computer Society.","bibtex":"@inproceedings{Baresi_Heckel_Thöne_Varró_2004, place={Washington, DC, USA}, title={Style-Based Refinement of Dynamic Software Architectures}, booktitle={Proceedings of the conference on Software Architecture (WICSA 2004), Oslo (Norway)}, publisher={IEEE Computer Society}, author={Baresi, Luciano and Heckel, Reiko and Thöne, Sebastian and Varró, Dániel}, year={2004}, pages={155–166} }","ama":"Baresi L, Heckel R, Thöne S, Varró D. Style-Based Refinement of Dynamic Software Architectures. In: <i>Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway)</i>. Washington, DC, USA: IEEE Computer Society; 2004:155-166.","mla":"Baresi, Luciano, et al. “Style-Based Refinement of Dynamic Software Architectures.” <i>Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway)</i>, IEEE Computer Society, 2004, pp. 155–66."},"publication":"Proceedings of the conference on Software Architecture (WICSA 2004), Oslo (Norway)","user_id":"52534","_id":"7918","publisher":"IEEE Computer Society","language":[{"iso":"eng"}],"page":"155-166","date_updated":"2022-01-06T07:03:47Z","author":[{"last_name":"Baresi","first_name":"Luciano","full_name":"Baresi, Luciano"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Thöne, Sebastian","first_name":"Sebastian","last_name":"Thöne"},{"last_name":"Varró","first_name":"Dániel","full_name":"Varró, Dániel"}],"status":"public","title":"Style-Based Refinement of Dynamic Software Architectures","year":"2004"},{"language":[{"iso":"eng"}],"_id":"7919","series_title":"LNCS","publisher":"Springer","page":"907-916","volume":3280,"doi":"http://dx.doi.org/10.1007/b101749","user_id":"52534","author":[{"full_name":"Belli, Fevzi","first_name":"Fevzi","last_name":"Belli"},{"first_name":"Baris","last_name":"Güldali","full_name":"Güldali, Baris"}],"title":"Software Testing via Model Checking","status":"public","year":"2004","intvolume":"      3280","date_updated":"2022-01-06T07:03:48Z","place":"Berlin/Heidelberg","date_created":"2019-02-21T11:24:23Z","department":[{"_id":"66"}],"type":"conference","citation":{"bibtex":"@inproceedings{Belli_Güldali_2004, place={Berlin/Heidelberg}, series={LNCS}, title={Software Testing via Model Checking}, volume={3280}, DOI={<a href=\"http://dx.doi.org/10.1007/b101749\">http://dx.doi.org/10.1007/b101749</a>}, booktitle={Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)}, publisher={Springer}, author={Belli, Fevzi and Güldali, Baris}, year={2004}, pages={907–916}, collection={LNCS} }","short":"F. Belli, B. Güldali, in: Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), Springer, Berlin/Heidelberg, 2004, pp. 907–916.","ama":"Belli F, Güldali B. Software Testing via Model Checking. In: <i>Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)</i>. Vol 3280. LNCS. Berlin/Heidelberg: Springer; 2004:907-916. doi:<a href=\"http://dx.doi.org/10.1007/b101749\">http://dx.doi.org/10.1007/b101749</a>","chicago":"Belli, Fevzi, and Baris Güldali. “Software Testing via Model Checking.” In <i>Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)</i>, 3280:907–16. LNCS. Berlin/Heidelberg: Springer, 2004. <a href=\"http://dx.doi.org/10.1007/b101749\">http://dx.doi.org/10.1007/b101749</a>.","ieee":"F. Belli and B. Güldali, “Software Testing via Model Checking,” in <i>Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)</i>, 2004, vol. 3280, pp. 907–916.","mla":"Belli, Fevzi, and Baris Güldali. “Software Testing via Model Checking.” <i>Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)</i>, vol. 3280, Springer, 2004, pp. 907–16, doi:<a href=\"http://dx.doi.org/10.1007/b101749\">http://dx.doi.org/10.1007/b101749</a>.","apa":"Belli, F., &#38; Güldali, B. (2004). Software Testing via Model Checking. In <i>Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)</i> (Vol. 3280, pp. 907–916). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/b101749\">http://dx.doi.org/10.1007/b101749</a>"},"publication":"Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)"},{"status":"public","year":"2004","title":"Conceptual Modeling of Styles For Mobile Systems: A layered approach based on graph transformation","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Guo, Ping","last_name":"Guo","first_name":"Ping"}],"date_updated":"2022-01-06T07:03:48Z","intvolume":"       158","page":"65-79","series_title":"IFIP - International Federation for Information Processing","_id":"7920","language":[{"iso":"eng"}],"publisher":"Springer","doi":"dx.doi.org/10.1007/0-387-22874-8_5","user_id":"52534","volume":158,"publication":"Proceedings of the conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)","citation":{"short":"R. Heckel, P. Guo, in: Proceedings of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway), Springer, Berlin/Heidelberg, 2004, pp. 65–79.","chicago":"Heckel, Reiko, and Ping Guo. “Conceptual Modeling of Styles For Mobile Systems: A Layered Approach Based on Graph Transformation.” In <i>Proceedings of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i>, 158:65–79. IFIP - International Federation for Information Processing. Berlin/Heidelberg: Springer, 2004. <a href=\"https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5\">https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5</a>.","ieee":"R. Heckel and P. Guo, “Conceptual Modeling of Styles For Mobile Systems: A layered approach based on graph transformation,” in <i>Proceedings of the conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i>, 2004, vol. 158, pp. 65–79.","apa":"Heckel, R., &#38; Guo, P. (2004). Conceptual Modeling of Styles For Mobile Systems: A layered approach based on graph transformation. In <i>Proceedings of the conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i> (Vol. 158, pp. 65–79). Berlin/Heidelberg: Springer. <a href=\"https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5\">https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5</a>","bibtex":"@inproceedings{Heckel_Guo_2004, place={Berlin/Heidelberg}, series={IFIP - International Federation for Information Processing}, title={Conceptual Modeling of Styles For Mobile Systems: A layered approach based on graph transformation}, volume={158}, DOI={<a href=\"https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5\">dx.doi.org/10.1007/0-387-22874-8_5</a>}, booktitle={Proceedings of the conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)}, publisher={Springer}, author={Heckel, Reiko and Guo, Ping}, year={2004}, pages={65–79}, collection={IFIP - International Federation for Information Processing} }","ama":"Heckel R, Guo P. Conceptual Modeling of Styles For Mobile Systems: A layered approach based on graph transformation. In: <i>Proceedings of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i>. Vol 158. IFIP - International Federation for Information Processing. Berlin/Heidelberg: Springer; 2004:65-79. doi:<a href=\"https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5\">dx.doi.org/10.1007/0-387-22874-8_5</a>","mla":"Heckel, Reiko, and Ping Guo. “Conceptual Modeling of Styles For Mobile Systems: A Layered Approach Based on Graph Transformation.” <i>Proceedings of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway)</i>, vol. 158, Springer, 2004, pp. 65–79, doi:<a href=\"https://doi.org/dx.doi.org/10.1007/0-387-22874-8_5\">dx.doi.org/10.1007/0-387-22874-8_5</a>."},"place":"Berlin/Heidelberg","date_created":"2019-02-21T11:24:58Z","type":"conference","department":[{"_id":"66"}]},{"language":[{"iso":"eng"}],"_id":"7921","series_title":"Dagstuhl Seminar Proceedings","publisher":"Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI)","user_id":"52534","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"last_name":"Cherchago","first_name":"Alexey","full_name":"Cherchago, Alexey"}],"status":"public","year":"2004","title":"Application of Graph Transformation for Automating Web Service Discovery","date_updated":"2022-01-06T07:03:48Z","place":"Dagstuhl, Germany","date_created":"2019-02-21T11:25:33Z","department":[{"_id":"66"}],"type":"conference","citation":{"mla":"Heckel, Reiko, and Alexey Cherchago. “Application of Graph Transformation for Automating Web Service Discovery.” <i>Proceedings of the Seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), 2004.","ama":"Heckel R, Cherchago A. Application of Graph Transformation for Automating Web Service Discovery. In: <i>Proceedings of the Seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>. Dagstuhl Seminar Proceedings. Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI); 2004.","bibtex":"@inproceedings{Heckel_Cherchago_2004, place={Dagstuhl, Germany}, series={Dagstuhl Seminar Proceedings}, title={Application of Graph Transformation for Automating Web Service Discovery}, booktitle={Proceedings of the seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)}, publisher={Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI)}, author={Heckel, Reiko and Cherchago, Alexey}, year={2004}, collection={Dagstuhl Seminar Proceedings} }","apa":"Heckel, R., &#38; Cherchago, A. (2004). Application of Graph Transformation for Automating Web Service Discovery. In <i>Proceedings of the seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>. Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI).","ieee":"R. Heckel and A. Cherchago, “Application of Graph Transformation for Automating Web Service Discovery,” in <i>Proceedings of the seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>, 2004.","short":"R. Heckel, A. Cherchago, in: Proceedings of the Seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany), Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Dagstuhl, Germany, 2004.","chicago":"Heckel, Reiko, and Alexey Cherchago. “Application of Graph Transformation for Automating Web Service Discovery.” In <i>Proceedings of the Seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)</i>. Dagstuhl Seminar Proceedings. Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), 2004."},"publication":"Proceedings of the seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany)"},{"publication":"Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)","citation":{"chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.” In <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)</i>, 121–28. Los Alamitos, CA, USA: IEEE Computer Society, 2004.","short":"T. Schattkowsky, W. Müller, in: Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria), IEEE Computer Society, Los Alamitos, CA, USA, 2004, pp. 121–128.","apa":"Schattkowsky, T., &#38; Müller, W. (2004). Model-Based Design of Embedded Systems. In <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)</i> (pp. 121–128). Los Alamitos, CA, USA: IEEE Computer Society.","ieee":"T. Schattkowsky and W. Müller, “Model-Based Design of Embedded Systems,” in <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)</i>, 2004, pp. 121–128.","ama":"Schattkowsky T, Müller W. Model-Based Design of Embedded Systems. In: <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)</i>. Los Alamitos, CA, USA: IEEE Computer Society; 2004:121-128.","bibtex":"@inproceedings{Schattkowsky_Müller_2004, place={Los Alamitos, CA, USA}, title={Model-Based Design of Embedded Systems}, booktitle={Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)}, publisher={IEEE Computer Society}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2004}, pages={121–128} }","mla":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.” <i>Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)</i>, IEEE Computer Society, 2004, pp. 121–28."},"place":"Los Alamitos, CA, USA","date_created":"2019-02-21T11:25:54Z","type":"conference","department":[{"_id":"66"}],"title":"Model-Based Design of Embedded Systems","status":"public","year":"2004","author":[{"full_name":"Schattkowsky, Tim","first_name":"Tim","last_name":"Schattkowsky"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"date_updated":"2022-01-06T07:03:48Z","page":"121-128","_id":"7922","language":[{"iso":"eng"}],"publisher":"IEEE Computer Society","user_id":"52534"},{"author":[{"full_name":"Cherchago, Alexey","first_name":"Alexey","last_name":"Cherchago"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"}],"year":"2004","title":"Specification Matching of Web Services Using Conditional Graph Transformation Rules","status":"public","date_updated":"2022-01-06T07:03:48Z","_id":"7923","language":[{"iso":"eng"}],"series_title":"LNCS","publisher":"Springer","page":"304-318","volume":"3256 / 2004","user_id":"52534","doi":"http://dx.doi.org/10.1007/b100934","citation":{"short":"A. Cherchago, R. Heckel, in: Proceedings of the Conference on Graph Transformation (ICGT 2004), Rome (Italy), Springer, Berlin/Heidelberg, 2004, pp. 304–318.","chicago":"Cherchago, Alexey, and Reiko Heckel. “Specification Matching of Web Services Using Conditional Graph Transformation Rules.” In <i>Proceedings of the Conference on Graph Transformation (ICGT 2004), Rome (Italy)</i>, 3256 / 2004:304–18. LNCS. Berlin/Heidelberg: Springer, 2004. <a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>.","apa":"Cherchago, A., &#38; Heckel, R. (2004). Specification Matching of Web Services Using Conditional Graph Transformation Rules. In <i>Proceedings of the conference on Graph Transformation (ICGT 2004), Rome (Italy)</i> (Vol. 3256 / 2004, pp. 304–318). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>","ieee":"A. Cherchago and R. Heckel, “Specification Matching of Web Services Using Conditional Graph Transformation Rules,” in <i>Proceedings of the conference on Graph Transformation (ICGT 2004), Rome (Italy)</i>, 2004, vol. 3256 / 2004, pp. 304–318.","ama":"Cherchago A, Heckel R. Specification Matching of Web Services Using Conditional Graph Transformation Rules. In: <i>Proceedings of the Conference on Graph Transformation (ICGT 2004), Rome (Italy)</i>. Vol 3256 / 2004. LNCS. Berlin/Heidelberg: Springer; 2004:304-318. doi:<a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>","bibtex":"@inproceedings{Cherchago_Heckel_2004, place={Berlin/Heidelberg}, series={LNCS}, title={Specification Matching of Web Services Using Conditional Graph Transformation Rules}, volume={3256 / 2004}, DOI={<a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>}, booktitle={Proceedings of the conference on Graph Transformation (ICGT 2004), Rome (Italy)}, publisher={Springer}, author={Cherchago, Alexey and Heckel, Reiko}, year={2004}, pages={304–318}, collection={LNCS} }","mla":"Cherchago, Alexey, and Reiko Heckel. “Specification Matching of Web Services Using Conditional Graph Transformation Rules.” <i>Proceedings of the Conference on Graph Transformation (ICGT 2004), Rome (Italy)</i>, vol. 3256 / 2004, Springer, 2004, pp. 304–18, doi:<a href=\"http://dx.doi.org/10.1007/b100934\">http://dx.doi.org/10.1007/b100934</a>."},"publication":"Proceedings of the conference on Graph Transformation (ICGT 2004), Rome (Italy)","date_created":"2019-02-21T11:26:28Z","place":"Berlin/Heidelberg","department":[{"_id":"66"}],"type":"conference"},{"date_updated":"2022-01-06T07:03:48Z","title":"Automated Data and Service Mapping for Integrated Electronic Markets","year":"2004","status":"public","author":[{"full_name":"Böttcher, Stefan","last_name":"Böttcher","first_name":"Stefan"},{"first_name":"Sven","last_name":"Groppe","full_name":"Groppe, Sven"},{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"}],"user_id":"52534","_id":"7924","language":[{"iso":"eng"}],"publication":"Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)","citation":{"mla":"Böttcher, Stefan, et al. “Automated Data and Service Mapping for Integrated Electronic Markets.” <i>Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>, 2004.","ama":"Böttcher S, Groppe S, Schattkowsky T. Automated Data and Service Mapping for Integrated Electronic Markets. In: <i>Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>. ; 2004.","bibtex":"@inproceedings{Böttcher_Groppe_Schattkowsky_2004, title={Automated Data and Service Mapping for Integrated Electronic Markets}, booktitle={Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)}, author={Böttcher, Stefan and Groppe, Sven and Schattkowsky, Tim}, year={2004} }","apa":"Böttcher, S., Groppe, S., &#38; Schattkowsky, T. (2004). Automated Data and Service Mapping for Integrated Electronic Markets. In <i>Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>.","ieee":"S. Böttcher, S. Groppe, and T. Schattkowsky, “Automated Data and Service Mapping for Integrated Electronic Markets,” in <i>Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>, 2004.","short":"S. Böttcher, S. Groppe, T. Schattkowsky, in: Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.","chicago":"Böttcher, Stefan, Sven Groppe, and Tim Schattkowsky. “Automated Data and Service Mapping for Integrated Electronic Markets.” In <i>Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>, 2004."},"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T11:27:02Z"},{"author":[{"last_name":"Eden","first_name":"Jonas","full_name":"Eden, Jonas"},{"full_name":"Weber, Matthias","first_name":"Matthias","last_name":"Weber"},{"last_name":"Reiser","first_name":"Mark-Oliver","full_name":"Reiser, Mark-Oliver"},{"full_name":"Wierczoch, Thomas","first_name":"Thomas","last_name":"Wierczoch"},{"full_name":"Freund, Ulrich","last_name":"Freund","first_name":"Ulrich"},{"first_name":"Orazio","last_name":"Gurrieri","full_name":"Gurrieri, Orazio"},{"full_name":"Küster, Jochen","first_name":"Jochen","last_name":"Küster"},{"full_name":"Lönn, Henrik","last_name":"Lönn","first_name":"Henrik"},{"full_name":"Migge, Jörn","last_name":"Migge","first_name":"Jörn"}],"title":"An Architecture Description Language for Developing Automotive ECU-Software","status":"public","year":"2004","date_updated":"2022-01-06T07:03:48Z","language":[{"iso":"eng"}],"_id":"7925","page":"101-112","user_id":"52534","citation":{"bibtex":"@inproceedings{Eden_Weber_Reiser_Wierczoch_Freund_Gurrieri_Küster_Lönn_Migge_2004, title={An Architecture Description Language for Developing Automotive ECU-Software}, booktitle={Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France)}, author={Eden, Jonas and Weber, Matthias and Reiser, Mark-Oliver and Wierczoch, Thomas and Freund, Ulrich and Gurrieri, Orazio and Küster, Jochen and Lönn, Henrik and Migge, Jörn}, year={2004}, pages={101–112} }","short":"J. Eden, M. Weber, M.-O. Reiser, T. Wierczoch, U. Freund, O. Gurrieri, J. Küster, H. Lönn, J. Migge, in: Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France), 2004, pp. 101–112.","ama":"Eden J, Weber M, Reiser M-O, et al. An Architecture Description Language for Developing Automotive ECU-Software. In: <i>Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France)</i>. ; 2004:101-112.","chicago":"Eden, Jonas, Matthias Weber, Mark-Oliver Reiser, Thomas Wierczoch, Ulrich Freund, Orazio Gurrieri, Jochen Küster, Henrik Lönn, and Jörn Migge. “An Architecture Description Language for Developing Automotive ECU-Software.” In <i>Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France)</i>, 101–12, 2004.","ieee":"J. Eden <i>et al.</i>, “An Architecture Description Language for Developing Automotive ECU-Software,” in <i>Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France)</i>, 2004, pp. 101–112.","mla":"Eden, Jonas, et al. “An Architecture Description Language for Developing Automotive ECU-Software.” <i>Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France)</i>, 2004, pp. 101–12.","apa":"Eden, J., Weber, M., Reiser, M.-O., Wierczoch, T., Freund, U., Gurrieri, O., … Migge, J. (2004). An Architecture Description Language for Developing Automotive ECU-Software. In <i>Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France)</i> (pp. 101–112)."},"publication":"Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France)","date_created":"2019-02-21T11:27:37Z","department":[{"_id":"66"}],"type":"conference"},{"user_id":"52534","doi":"http://dx.doi.org/10.1142/S021819400400183X","volume":14,"page":"543-544","language":[{"iso":"eng"}],"_id":"7926","publisher":"World Scientific Publishing","date_updated":"2022-01-06T07:03:48Z","intvolume":"        14","status":"public","year":"2004","title":"Guest Editors' Introduction","author":[{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"},{"first_name":"Stefan","last_name":"Sauer","full_name":"Sauer, Stefan","id":"447"}],"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T11:28:11Z","issue":"6","publication":"International Journal of Software Engineering and Knowledge Engineering (IJSEKE)","citation":{"ieee":"G. Engels and S. Sauer, “Guest Editors’ Introduction,” in <i>International Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i>, 2004, vol. 14, no. 6, pp. 543–544.","apa":"Engels, G., &#38; Sauer, S. (2004). Guest Editors’ Introduction. In <i>International Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i> (Vol. 14, pp. 543–544). World Scientific Publishing. <a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>","chicago":"Engels, Gregor, and Stefan Sauer. “Guest Editors’ Introduction.” In <i>International Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i>, 14:543–44. World Scientific Publishing, 2004. <a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>.","short":"G. Engels, S. Sauer, in: International Journal of Software Engineering and Knowledge Engineering (IJSEKE), World Scientific Publishing, 2004, pp. 543–544.","mla":"Engels, Gregor, and Stefan Sauer. “Guest Editors’ Introduction.” <i>International Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i>, vol. 14, no. 6, World Scientific Publishing, 2004, pp. 543–44, doi:<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>.","bibtex":"@inproceedings{Engels_Sauer_2004, title={Guest Editors’ Introduction}, volume={14}, DOI={<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>}, number={6}, booktitle={International Journal of Software Engineering and Knowledge Engineering (IJSEKE)}, publisher={World Scientific Publishing}, author={Engels, Gregor and Sauer, Stefan}, year={2004}, pages={543–544} }","ama":"Engels G, Sauer S. Guest Editors’ Introduction. In: <i>International Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i>. Vol 14. World Scientific Publishing; 2004:543-544. doi:<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>"}},{"publication":"Proceedings of the 19th IEEE international conference on Automated software engineering (ASE 2004)","citation":{"apa":"Guo, P., &#38; Heckel, R. (2004). Modeling and Simulation of Context-Aware Mobile Systems. In <i>Proceedings of the 19th IEEE international conference on Automated software engineering (ASE 2004)</i> (pp. 430–433). Washington, DC, USA: IEEE Computer Society.","mla":"Guo, Ping, and Reiko Heckel. “Modeling and Simulation of Context-Aware Mobile Systems.” <i>Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004)</i>, IEEE Computer Society, 2004, pp. 430–33.","ieee":"P. Guo and R. Heckel, “Modeling and Simulation of Context-Aware Mobile Systems,” in <i>Proceedings of the 19th IEEE international conference on Automated software engineering (ASE 2004)</i>, 2004, pp. 430–433.","chicago":"Guo, Ping, and Reiko Heckel. “Modeling and Simulation of Context-Aware Mobile Systems.” In <i>Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004)</i>, 430–33. Washington, DC, USA: IEEE Computer Society, 2004.","ama":"Guo P, Heckel R. Modeling and Simulation of Context-Aware Mobile Systems. In: <i>Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004)</i>. Washington, DC, USA: IEEE Computer Society; 2004:430-433.","short":"P. Guo, R. Heckel, in: Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), IEEE Computer Society, Washington, DC, USA, 2004, pp. 430–433.","bibtex":"@inproceedings{Guo_Heckel_2004, place={Washington, DC, USA}, title={Modeling and Simulation of Context-Aware Mobile Systems}, booktitle={Proceedings of the 19th IEEE international conference on Automated software engineering (ASE 2004)}, publisher={IEEE Computer Society}, author={Guo, Ping and Heckel, Reiko}, year={2004}, pages={430–433} }"},"type":"conference","department":[{"_id":"66"}],"place":"Washington, DC, USA","date_created":"2019-02-21T11:28:49Z","date_updated":"2022-01-06T07:03:48Z","title":"Modeling and Simulation of Context-Aware Mobile Systems","status":"public","year":"2004","author":[{"full_name":"Guo, Ping","first_name":"Ping","last_name":"Guo"},{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"}],"user_id":"52534","page":"430-433","_id":"7927","language":[{"iso":"eng"}],"publisher":"IEEE Computer Society"},{"_id":"7928","language":[{"iso":"eng"}],"user_id":"52534","author":[{"full_name":"Guo, Ping","first_name":"Ping","last_name":"Guo"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"title":"Simulation and Testing of Mobile Computing Systems using Fujaba","status":"public","year":"2004","date_updated":"2022-01-06T07:03:48Z","place":"Darmstadt, Germany","date_created":"2019-02-21T11:29:13Z","department":[{"_id":"66"}],"type":"conference","citation":{"mla":"Guo, Ping, and Reiko Heckel. “Simulation and Testing of Mobile Computing Systems Using Fujaba.” <i>Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)</i>, 2004.","bibtex":"@inproceedings{Guo_Heckel_2004, place={Darmstadt, Germany}, title={Simulation and Testing of Mobile Computing Systems using Fujaba}, booktitle={Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)}, author={Guo, Ping and Heckel, Reiko}, year={2004} }","ama":"Guo P, Heckel R. Simulation and Testing of Mobile Computing Systems using Fujaba. In: <i>Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)</i>. Darmstadt, Germany; 2004.","ieee":"P. Guo and R. Heckel, “Simulation and Testing of Mobile Computing Systems using Fujaba,” in <i>Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)</i>, 2004.","apa":"Guo, P., &#38; Heckel, R. (2004). Simulation and Testing of Mobile Computing Systems using Fujaba. In <i>Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)</i>. Darmstadt, Germany.","short":"P. Guo, R. Heckel, in: Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany), Darmstadt, Germany, 2004.","chicago":"Guo, Ping, and Reiko Heckel. “Simulation and Testing of Mobile Computing Systems Using Fujaba.” In <i>Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)</i>. Darmstadt, Germany, 2004."},"publication":"Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany)"},{"date_created":"2019-02-21T11:29:52Z","place":"Los Alamitos, CA, USA","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the conference on Design Automation and Test in Europe (DATE 2004), Paris, France","citation":{"short":"T. Schattkowsky, W. Müller, in: Proceedings of the Conference on Design Automation and Test in Europe (DATE 2004), Paris, France, IEEE Computer Society, Los Alamitos, CA, USA, 2004, pp. 1392–1393.","chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” In <i>Proceedings of the Conference on Design Automation and Test in Europe (DATE 2004), Paris, France</i>, 2:1392–93. Los Alamitos, CA, USA: IEEE Computer Society, 2004. <a href=\"http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103\">http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103</a>.","apa":"Schattkowsky, T., &#38; Müller, W. (2004). Model-Based Specification and Execution of Embedded Real-Time Systems. In <i>Proceedings of the conference on Design Automation and Test in Europe (DATE 2004), Paris, France</i> (Vol. 2, pp. 1392–1393). Los Alamitos, CA, USA: IEEE Computer Society. <a href=\"http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103\">http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103</a>","ieee":"T. Schattkowsky and W. Müller, “Model-Based Specification and Execution of Embedded Real-Time Systems,” in <i>Proceedings of the conference on Design Automation and Test in Europe (DATE 2004), Paris, France</i>, 2004, vol. 2, pp. 1392–1393.","ama":"Schattkowsky T, Müller W. Model-Based Specification and Execution of Embedded Real-Time Systems. In: <i>Proceedings of the Conference on Design Automation and Test in Europe (DATE 2004), Paris, France</i>. Vol 2. Los Alamitos, CA, USA: IEEE Computer Society; 2004:1392-1393. doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103\">http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103</a>","bibtex":"@inproceedings{Schattkowsky_Müller_2004, place={Los Alamitos, CA, USA}, title={Model-Based Specification and Execution of Embedded Real-Time Systems}, volume={2}, DOI={<a href=\"http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103\">http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103</a>}, booktitle={Proceedings of the conference on Design Automation and Test in Europe (DATE 2004), Paris, France}, publisher={IEEE Computer Society}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2004}, pages={1392–1393} }","mla":"Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” <i>Proceedings of the Conference on Design Automation and Test in Europe (DATE 2004), Paris, France</i>, vol. 2, IEEE Computer Society, 2004, pp. 1392–93, doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103\">http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103</a>."},"page":"1392-1393","_id":"7929","language":[{"iso":"eng"}],"publisher":"IEEE Computer Society","user_id":"52534","doi":"http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269103","volume":2,"title":"Model-Based Specification and Execution of Embedded Real-Time Systems","status":"public","year":"2004","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"date_updated":"2022-01-06T07:03:48Z","intvolume":"         2"},{"date_updated":"2022-01-06T07:03:48Z","author":[{"last_name":"Schattkowsky","first_name":"Tim","full_name":"Schattkowsky, Tim"}],"title":"Direct Execution of UML 2.0 Sequence Diagrams","year":"2004","status":"public","user_id":"52534","language":[{"iso":"eng"}],"_id":"7930","citation":{"ieee":"T. Schattkowsky, “Direct Execution of UML 2.0 Sequence Diagrams,” in <i>Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)</i>, 2004.","mla":"Schattkowsky, Tim. “Direct Execution of UML 2.0 Sequence Diagrams.” <i>Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)</i>, 2004.","apa":"Schattkowsky, T. (2004). Direct Execution of UML 2.0 Sequence Diagrams. In <i>Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)</i>.","bibtex":"@inproceedings{Schattkowsky_2004, title={Direct Execution of UML 2.0 Sequence Diagrams}, booktitle={Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)}, author={Schattkowsky, Tim}, year={2004} }","chicago":"Schattkowsky, Tim. “Direct Execution of UML 2.0 Sequence Diagrams.” In <i>Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)</i>, 2004.","short":"T. Schattkowsky, in: Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA), 2004.","ama":"Schattkowsky T. Direct Execution of UML 2.0 Sequence Diagrams. In: <i>Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)</i>. ; 2004."},"publication":"Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)","department":[{"_id":"66"}],"type":"conference","date_created":"2019-02-21T11:30:21Z"},{"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T11:30:50Z","publication":"Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)","citation":{"apa":"Schattkowsky, T. (2004). Efficient Execution of UML State Machines on a Virtual Machine. In <i>Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>.","mla":"Schattkowsky, Tim. “Efficient Execution of UML State Machines on a Virtual Machine.” <i>Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>, 2004.","ieee":"T. Schattkowsky, “Efficient Execution of UML State Machines on a Virtual Machine,” in <i>Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>, 2004.","chicago":"Schattkowsky, Tim. “Efficient Execution of UML State Machines on a Virtual Machine.” In <i>Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>, 2004.","short":"T. Schattkowsky, in: Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.","ama":"Schattkowsky T. Efficient Execution of UML State Machines on a Virtual Machine. In: <i>Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)</i>. ; 2004.","bibtex":"@inproceedings{Schattkowsky_2004, title={Efficient Execution of UML State Machines on a Virtual Machine}, booktitle={Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)}, author={Schattkowsky, Tim}, year={2004} }"},"user_id":"52534","_id":"7931","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:48Z","status":"public","year":"2004","title":"Efficient Execution of UML State Machines on a Virtual Machine","author":[{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"}]},{"publication":"Proceedings of the IEEE International Conference on Web Services (ICWS 2004)","citation":{"ieee":"J. Hendrik Hausmann, R. Heckel, and M. Lohmann, “Model-based Discovery of Web Services,” in <i>Proceedings of the IEEE International Conference on Web Services (ICWS 2004)</i>, 2004, pp. 324–331.","apa":"Hendrik Hausmann, J., Heckel, R., &#38; Lohmann, M. (2004). Model-based Discovery of Web Services. In <i>Proceedings of the IEEE International Conference on Web Services (ICWS 2004)</i> (pp. 324–331). Washington, DC, USA: IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/ICWS.2004.80\">http://dx.doi.org/10.1109/ICWS.2004.80</a>","short":"J. Hendrik Hausmann, R. Heckel, M. Lohmann, in: Proceedings of the IEEE International Conference on Web Services (ICWS 2004), IEEE Computer Society, Washington, DC, USA, 2004, pp. 324–331.","chicago":"Hendrik Hausmann, Jan, Reiko Heckel, and Marc Lohmann. “Model-Based Discovery of Web Services.” In <i>Proceedings of the IEEE International Conference on Web Services (ICWS 2004)</i>, 324–31. Washington, DC, USA: IEEE Computer Society, 2004. <a href=\"http://dx.doi.org/10.1109/ICWS.2004.80\">http://dx.doi.org/10.1109/ICWS.2004.80</a>.","mla":"Hendrik Hausmann, Jan, et al. “Model-Based Discovery of Web Services.” <i>Proceedings of the IEEE International Conference on Web Services (ICWS 2004)</i>, IEEE Computer Society, 2004, pp. 324–31, doi:<a href=\"http://dx.doi.org/10.1109/ICWS.2004.80\">http://dx.doi.org/10.1109/ICWS.2004.80</a>.","bibtex":"@inproceedings{Hendrik Hausmann_Heckel_Lohmann_2004, place={Washington, DC, USA}, title={Model-based Discovery of Web Services}, DOI={<a href=\"http://dx.doi.org/10.1109/ICWS.2004.80\">http://dx.doi.org/10.1109/ICWS.2004.80</a>}, booktitle={Proceedings of the IEEE International Conference on Web Services (ICWS 2004)}, publisher={IEEE Computer Society}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Lohmann, Marc}, year={2004}, pages={324–331} }","ama":"Hendrik Hausmann J, Heckel R, Lohmann M. Model-based Discovery of Web Services. In: <i>Proceedings of the IEEE International Conference on Web Services (ICWS 2004)</i>. Washington, DC, USA: IEEE Computer Society; 2004:324-331. doi:<a href=\"http://dx.doi.org/10.1109/ICWS.2004.80\">http://dx.doi.org/10.1109/ICWS.2004.80</a>"},"place":"Washington, DC, USA","date_created":"2019-02-21T11:31:16Z","type":"conference","department":[{"_id":"66"}],"title":"Model-based Discovery of Web Services","year":"2004","status":"public","author":[{"full_name":"Hendrik Hausmann, Jan","first_name":"Jan","last_name":"Hendrik Hausmann"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Lohmann, Marc","last_name":"Lohmann","first_name":"Marc"}],"date_updated":"2022-01-06T07:03:48Z","page":"324-331","publisher":"IEEE Computer Society","_id":"7932","language":[{"iso":"eng"}],"doi":"http://dx.doi.org/10.1109/ICWS.2004.80","user_id":"52534"},{"publication":"Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France)","citation":{"short":"T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France), IEEE Computer Society, Los Alamitos, CA, USA, 2004.","chicago":"Schattkowsky, Tim, Christoph Loeser, and Wolfgang Müller. “Peer-to-Peer-Based Web Services for Collaborative Engineering Environments.” In <i>Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France)</i>. Los Alamitos, CA, USA: IEEE Computer Society, 2004.","ieee":"T. Schattkowsky, C. Loeser, and W. Müller, “Peer-to-Peer-based Web Services for Collaborative Engineering Environments,” in <i>Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France)</i>, 2004.","apa":"Schattkowsky, T., Loeser, C., &#38; Müller, W. (2004). Peer-to-Peer-based Web Services for Collaborative Engineering Environments. In <i>Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France)</i>. Los Alamitos, CA, USA: IEEE Computer Society.","bibtex":"@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Los Alamitos, CA, USA}, title={Peer-to-Peer-based Web Services for Collaborative Engineering Environments}, booktitle={Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France)}, publisher={IEEE Computer Society}, author={Schattkowsky, Tim and Loeser, Christoph and Müller, Wolfgang}, year={2004} }","ama":"Schattkowsky T, Loeser C, Müller W. Peer-to-Peer-based Web Services for Collaborative Engineering Environments. In: <i>Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France)</i>. Los Alamitos, CA, USA: IEEE Computer Society; 2004.","mla":"Schattkowsky, Tim, et al. “Peer-to-Peer-Based Web Services for Collaborative Engineering Environments.” <i>Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France)</i>, IEEE Computer Society, 2004."},"date_created":"2019-02-21T11:31:58Z","place":"Los Alamitos, CA, USA","type":"conference","department":[{"_id":"66"}],"status":"public","title":"Peer-to-Peer-based Web Services for Collaborative Engineering Environments","year":"2004","author":[{"full_name":"Schattkowsky, Tim","last_name":"Schattkowsky","first_name":"Tim"},{"last_name":"Loeser","first_name":"Christoph","full_name":"Loeser, Christoph"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_updated":"2022-01-06T07:03:48Z","_id":"7933","publisher":"IEEE Computer Society","language":[{"iso":"eng"}],"user_id":"52534"},{"abstract":[{"lang":"eng","text":"UML offers different diagram types to model behavior and dynamics of software systems. In some domains like embedded real-time systems or multimedia systems, it is necessary to include specifications of time since the correctness of these applications depends on the fulfillment of temporal requirements in addition to functional requirements. UML thus already incorporates language features to model time and temporal constraints. Such model elements must have an equivalent in the semantic domain. We have proposed Dynamic Meta Modeling (DMM) as a means for the specification of the formal operational semantics of UML models by applying graph transformation to the meta modeling of dynamic behavior. Within this paper, we extend this approach to also account for time by building on timed graph transformations. We apply these concepts to the domain of multimedia application modeling in which we adopt UML sequence diagrams. The DMM rules with time then specify an interpreter that can be used to analyze or test a model of multimedia sequence diagrams."}],"issue":"3","publication":"Software and Systems Modeling","citation":{"bibtex":"@article{Hendrik Hausmann_Heckel_Sauer_2004, title={Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams}, volume={3}, number={3}, journal={Software and Systems Modeling}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2004}, pages={181–193} }","short":"J. Hendrik Hausmann, R. Heckel, S. Sauer, Software and Systems Modeling 3 (2004) 181–193.","ama":"Hendrik Hausmann J, Heckel R, Sauer S. Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. <i>Software and Systems Modeling</i>. 2004;3(3):181-193.","chicago":"Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.” <i>Software and Systems Modeling</i> 3, no. 3 (2004): 181–93.","ieee":"J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams,” <i>Software and Systems Modeling</i>, vol. 3, no. 3, pp. 181–193, 2004.","mla":"Hendrik Hausmann, Jan, et al. “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.” <i>Software and Systems Modeling</i>, vol. 3, no. 3, 2004, pp. 181–93.","apa":"Hendrik Hausmann, J., Heckel, R., &#38; Sauer, S. (2004). Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. <i>Software and Systems Modeling</i>, <i>3</i>(3), 181–193."},"type":"journal_article","department":[{"_id":"66"}],"date_created":"2019-01-31T15:33:39Z","date_updated":"2022-01-06T07:03:36Z","intvolume":"         3","year":"2004","status":"public","title":"Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams","author":[{"full_name":"Hendrik Hausmann, Jan","first_name":"Jan","last_name":"Hendrik Hausmann"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"id":"447","last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan"}],"user_id":"52534","volume":3,"page":"181-193","language":[{"iso":"eng"}],"_id":"7382"},{"abstract":[{"lang":"eng","text":"We present the adaptive cruise controller case study for B modelling and the model checking by RAVEN. Individual translations of B operations, data types, and invariants to the RAVEN Input Language are presented by the example of the case study."}],"publication":"UML-B System Specification for Proven Electronic Design","citation":{"short":"A. Krupp, O. Lundkvist, T. Schattkowsky, C. Snook, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004.","chicago":"Krupp, Alexander, Ola Lundkvist, Tim Schattkowsky, and Colin Snook. “Adaptive Cruise Controller Case Study.” In <i>UML-B System Specification for Proven Electronic Design</i>, edited by J.  Mermet. Dordrecht: Kluwer, 2004.","ieee":"A. Krupp, O. Lundkvist, T. Schattkowsky, and C. Snook, “Adaptive Cruise Controller Case Study,” in <i>UML-B System Specification for Proven Electronic Design</i>, J. Mermet, Ed. Dordrecht: Kluwer, 2004.","apa":"Krupp, A., Lundkvist, O., Schattkowsky, T., &#38; Snook, C. (2004). Adaptive Cruise Controller Case Study. In J. Mermet (Ed.), <i>UML-B System Specification for Proven Electronic Design</i>. Dordrecht: Kluwer.","bibtex":"@inbook{Krupp_Lundkvist_Schattkowsky_Snook_2004, place={Dordrecht}, title={Adaptive Cruise Controller Case Study}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Lundkvist, Ola and Schattkowsky, Tim and Snook, Colin}, editor={Mermet, J. Editor}, year={2004} }","ama":"Krupp A, Lundkvist O, Schattkowsky T, Snook C. Adaptive Cruise Controller Case Study. In: Mermet J, ed. <i>UML-B System Specification for Proven Electronic Design</i>. Dordrecht: Kluwer; 2004.","mla":"Krupp, Alexander, et al. “Adaptive Cruise Controller Case Study.” <i>UML-B System Specification for Proven Electronic Design</i>, edited by J.  Mermet, Kluwer, 2004."},"type":"book_chapter","department":[{"_id":"66"}],"place":"Dordrecht","date_created":"2019-02-05T12:10:31Z","date_updated":"2022-01-06T07:03:39Z","status":"public","year":"2004","title":"Adaptive Cruise Controller Case Study","author":[{"first_name":"Alexander","last_name":"Krupp","full_name":"Krupp, Alexander"},{"full_name":"Lundkvist, Ola","first_name":"Ola","last_name":"Lundkvist"},{"full_name":"Schattkowsky, Tim","first_name":"Tim","last_name":"Schattkowsky"},{"first_name":"Colin","last_name":"Snook","full_name":"Snook, Colin"}],"user_id":"52534","editor":[{"first_name":"J. ","last_name":"Mermet","full_name":"Mermet, J. "}],"publisher":"Kluwer","_id":"7533","language":[{"iso":"eng"}]}]