[{"publication":"Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science","type":"conference","status":"public","abstract":[{"lang":"eng","text":"Do the solutions of linear equations depend computably on their coefficients? Implicitly, this has been one of the central questions in linear algebra since the very beginning of the subject and the famous Gauß algorithm is one of its numerical answers. Today there exists a tremendous number of algorithms which solve this problem for different types of linear equations. However, actual implementations in floating point arithmetic keep exhibiting numerical instabilities for ill-conditioned inputs. This situation raises the question which of these instabilities are intrinsic, thus caused by the very nature of the problem, and which are just side effects of specific algorithms. To approach this principle question we revisit linear equations from the rigorous point of view of computability. Therefore we apply methods of computable analysis, which is the Turing machine based theory of computable real number functions. It turns out that, given the coefficients of a system of linear equations, we can compute the space of solutions, if and only if the dimension of the solution space is known in advance. Especially, this explains why there cannot exist any stable algorithms under weaker assumptions."}],"department":[{"_id":"63"}],"user_id":"15415","_id":"18179","language":[{"iso":"eng"}],"publication_status":"published","page":"95-106","citation":{"apa":"Brattka, V., &#38; Ziegler, M. (2002). Computability of Linear Equations. In <i>Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science</i> (pp. 95–106). Boston, MA. <a href=\"https://doi.org/10.1007/978-0-387-35608-2_9\">https://doi.org/10.1007/978-0-387-35608-2_9</a>","short":"V. Brattka, M. Ziegler, in: Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science, Boston, MA, 2002, pp. 95–106.","mla":"Brattka, Vasco, and Martin Ziegler. “Computability of Linear Equations.” <i>Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science</i>, 2002, pp. 95–106, doi:<a href=\"https://doi.org/10.1007/978-0-387-35608-2_9\">10.1007/978-0-387-35608-2_9</a>.","bibtex":"@inproceedings{Brattka_Ziegler_2002, place={Boston, MA}, title={Computability of Linear Equations}, DOI={<a href=\"https://doi.org/10.1007/978-0-387-35608-2_9\">10.1007/978-0-387-35608-2_9</a>}, booktitle={Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science}, author={Brattka, Vasco and Ziegler, Martin}, year={2002}, pages={95–106} }","chicago":"Brattka, Vasco, and Martin Ziegler. “Computability of Linear Equations.” In <i>Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science</i>, 95–106. Boston, MA, 2002. <a href=\"https://doi.org/10.1007/978-0-387-35608-2_9\">https://doi.org/10.1007/978-0-387-35608-2_9</a>.","ieee":"V. Brattka and M. Ziegler, “Computability of Linear Equations,” in <i>Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science</i>, 2002, pp. 95–106.","ama":"Brattka V, Ziegler M. Computability of Linear Equations. In: <i>Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science</i>. Boston, MA; 2002:95-106. doi:<a href=\"https://doi.org/10.1007/978-0-387-35608-2_9\">10.1007/978-0-387-35608-2_9</a>"},"place":"Boston, MA","year":"2002","date_created":"2020-08-24T12:11:07Z","author":[{"first_name":"Vasco","last_name":"Brattka","full_name":"Brattka, Vasco"},{"last_name":"Ziegler","full_name":"Ziegler, Martin","first_name":"Martin"}],"date_updated":"2022-01-06T06:53:26Z","doi":"10.1007/978-0-387-35608-2_9","title":"Computability of Linear Equations"},{"place":"Ghent, BE","year":"2002","page":"71-84","citation":{"ama":"Mueck B, Dangelmaier W, Fischer M, Klemisch W. Bi-directional Coupling of Simulation Tools with a Walkthrough-System. In: <i>Simulation Und Visualisierung</i>. Ghent, BE: SCS European Publishing House; 2002:71-84.","chicago":"Mueck, Bengt, Wilhelm Dangelmaier, Matthias Fischer, and Wolfram Klemisch. “Bi-Directional Coupling of Simulation Tools with a Walkthrough-System.” In <i>Simulation Und Visualisierung</i>, 71–84. Ghent, BE: SCS European Publishing House, 2002.","ieee":"B. Mueck, W. Dangelmaier, M. Fischer, and W. Klemisch, “Bi-directional Coupling of Simulation Tools with a Walkthrough-System,” in <i>Simulation und Visualisierung</i>, 2002, pp. 71–84.","apa":"Mueck, B., Dangelmaier, W., Fischer, M., &#38; Klemisch, W. (2002). Bi-directional Coupling of Simulation Tools with a Walkthrough-System. In <i>Simulation und Visualisierung</i> (pp. 71–84). Ghent, BE: SCS European Publishing House.","bibtex":"@inproceedings{Mueck_Dangelmaier_Fischer_Klemisch_2002, place={Ghent, BE}, title={Bi-directional Coupling of Simulation Tools with a Walkthrough-System}, booktitle={Simulation und Visualisierung}, publisher={SCS European Publishing House}, author={Mueck, Bengt and Dangelmaier, Wilhelm and Fischer, Matthias and Klemisch, Wolfram}, year={2002}, pages={71–84} }","mla":"Mueck, Bengt, et al. “Bi-Directional Coupling of Simulation Tools with a Walkthrough-System.” <i>Simulation Und Visualisierung</i>, SCS European Publishing House, 2002, pp. 71–84.","short":"B. Mueck, W. Dangelmaier, M. Fischer, W. Klemisch, in: Simulation Und Visualisierung, SCS European Publishing House, Ghent, BE, 2002, pp. 71–84."},"date_updated":"2022-01-06T06:53:30Z","publisher":"SCS European Publishing House","date_created":"2020-08-26T13:01:43Z","author":[{"full_name":"Mueck, Bengt","last_name":"Mueck","first_name":"Bengt"},{"last_name":"Dangelmaier","full_name":"Dangelmaier, Wilhelm","first_name":"Wilhelm"},{"first_name":"Matthias","last_name":"Fischer","full_name":"Fischer, Matthias","id":"146"},{"last_name":"Klemisch","full_name":"Klemisch, Wolfram","first_name":"Wolfram"}],"title":"Bi-directional Coupling of Simulation Tools with a Walkthrough-System","publication":"Simulation und Visualisierung","type":"conference","abstract":[{"lang":"eng","text":"Visualising is a method used to help experiencing and understanding causal cohesions in simulation processes. For this purpose, tools for visualising are already implemented in prevalent simulation systems. The user creates his simulation model and generates a 3-dimensional (2,5-dimensional) visualising by means of the simulation system. This helps examining the process which makes it easier for the viewer to “understand” it. Simulation tools usually only provide the opportunity for a unidirectional visualising. In a 3-dimensional surrounding the viewer can not implement an interaction with the simulation while the system is running. Though an interaction during the simulation run enables the user to gain a better understanding of causal cohesions. Solutions via HLA are sophisticated and therefore rather suited for extensive projects.\r\nWe present a distributed system consisting of a commercial manufacturing simulation tool, a coupling module and a walkthrough system. The distributed system in conjunctions with the coupling module guarantees generality and a wide field of applications of the walkthrough system. Further it guarantees flexibility and selection of the specialized graphics hardware for the walkthrough system. A further contribution of this paper is the solution of the time synchronisation problem caused by simulation tool and walkthrough system.\r\n"}],"status":"public","_id":"18369","department":[{"_id":"63"}],"user_id":"15415","language":[{"iso":"eng"}]},{"author":[{"last_name":"Adler","full_name":"Adler, Micah","first_name":"Micah"},{"full_name":"Räcke, Harald","last_name":"Räcke","first_name":"Harald"},{"first_name":"Naveen","last_name":"Sivadasan","full_name":"Sivadasan, Naveen"},{"last_name":"Sohler","full_name":"Sohler, Christian","first_name":"Christian"},{"last_name":"Vöcking","full_name":"Vöcking, Berthold","first_name":"Berthold"}],"date_created":"2020-08-28T12:04:12Z","date_updated":"2022-01-06T06:53:40Z","doi":"10.1007/3-540-45465-9_77","title":"Randomized Pursuit-Evasion in Graphs","publication_status":"published","publication_identifier":{"issn":["0302-9743"],"isbn":["9783540438649","9783540454656"]},"citation":{"short":"M. Adler, H. Räcke, N. Sivadasan, C. Sohler, B. Vöcking, in: Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Berlin, Heidelberg, 2002.","mla":"Adler, Micah, et al. “Randomized Pursuit-Evasion in Graphs.” <i>Proceedings of the 29th International Colloquium on Automata, Languages and Programming</i>, 2002, doi:<a href=\"https://doi.org/10.1007/3-540-45465-9_77\">10.1007/3-540-45465-9_77</a>.","bibtex":"@inproceedings{Adler_Räcke_Sivadasan_Sohler_Vöcking_2002, place={Berlin, Heidelberg}, title={Randomized Pursuit-Evasion in Graphs}, DOI={<a href=\"https://doi.org/10.1007/3-540-45465-9_77\">10.1007/3-540-45465-9_77</a>}, booktitle={Proceedings of the 29th International Colloquium on Automata, Languages and Programming}, author={Adler, Micah and Räcke, Harald and Sivadasan, Naveen and Sohler, Christian and Vöcking, Berthold}, year={2002} }","apa":"Adler, M., Räcke, H., Sivadasan, N., Sohler, C., &#38; Vöcking, B. (2002). Randomized Pursuit-Evasion in Graphs. In <i>Proceedings of the 29th International Colloquium on Automata, Languages and Programming</i>. Berlin, Heidelberg. <a href=\"https://doi.org/10.1007/3-540-45465-9_77\">https://doi.org/10.1007/3-540-45465-9_77</a>","chicago":"Adler, Micah, Harald Räcke, Naveen Sivadasan, Christian Sohler, and Berthold Vöcking. “Randomized Pursuit-Evasion in Graphs.” In <i>Proceedings of the 29th International Colloquium on Automata, Languages and Programming</i>. Berlin, Heidelberg, 2002. <a href=\"https://doi.org/10.1007/3-540-45465-9_77\">https://doi.org/10.1007/3-540-45465-9_77</a>.","ieee":"M. Adler, H. Räcke, N. Sivadasan, C. Sohler, and B. Vöcking, “Randomized Pursuit-Evasion in Graphs,” in <i>Proceedings of the 29th International Colloquium on Automata, Languages and Programming</i>, 2002.","ama":"Adler M, Räcke H, Sivadasan N, Sohler C, Vöcking B. Randomized Pursuit-Evasion in Graphs. In: <i>Proceedings of the 29th International Colloquium on Automata, Languages and Programming</i>. Berlin, Heidelberg; 2002. doi:<a href=\"https://doi.org/10.1007/3-540-45465-9_77\">10.1007/3-540-45465-9_77</a>"},"place":"Berlin, Heidelberg","year":"2002","user_id":"15415","department":[{"_id":"63"}],"_id":"18566","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 29th International Colloquium on Automata, Languages and Programming","status":"public","abstract":[{"text":"We analyze a randomized pursuit-evasion game on graphs. This game is played by two players, a hunter and a rabbit. Let G be any connected, undirected graph with n nodes. The game is played in rounds and in each round both the hunter and the rabbit are located at a node of the graph. Between rounds both the hunter and the rabbit can stay at the current node or move to another node. The hunter is assumed to be restricted to the graph G: in every round, the hunter can move using at most one edge. For the rabbit we investigate two models: in one model the rabbit is restricted to the same graph as the hunter, and in the other model the rabbit is unrestricted, i.e., it can jump to an arbitrary node in every round.\r\n\r\nWe say that the rabbit is caught as soon as hunter and rabbit are located at the same node in a round. The goal of the hunter is to catch the rabbit in as few rounds as possible, whereas the rabbit aims to maximize the number of rounds until it is caught. Given a randomized hunter strategy for G, the escape length for that strategy is the worst case expected number of rounds it takes the hunter to catch the rabbit, where the worst case is with regards to all (possibly randomized) rabbit strategies. Our main result is a hunter strategy for general graphs with an escape length of only O\r\n(n log (diam(G))) against restricted as well as unrestricted rabbits. This bound is close to optimal since Ω(n) is a trivial lower bound on the escape length in both models. Furthermore, we prove that our upper bound is optimal up to constant factors against unrestricted rabbits.","lang":"eng"}]},{"citation":{"short":"R. Heckel, T. Mens, M. Wermelinger, eds., Proceedings of the Workshop on Software Evolution through Transformations, Satellite of the ICGT 2002 Conference, Barcelona (Spain), Elsevier, 2002.","bibtex":"@book{Heckel_Mens_Wermelinger_2002, series={Electronic Notes in Theoretical Computer Science}, title={Proceedings of the workshop on Software Evolution through Transformations, satellite of the ICGT 2002 conference, Barcelona (Spain)}, volume={72}, number={4}, publisher={Elsevier}, year={2002}, collection={Electronic Notes in Theoretical Computer Science} }","mla":"Heckel, Reiko, et al., editors. <i>Proceedings of the Workshop on Software Evolution through Transformations, Satellite of the ICGT 2002 Conference, Barcelona (Spain)</i>. Vol. 72, no. 4, Elsevier, 2002.","apa":"Heckel, R., Mens, T., &#38; Wermelinger, M. (Eds.). (2002). <i>Proceedings of the workshop on Software Evolution through Transformations, satellite of the ICGT 2002 conference, Barcelona (Spain)</i> (Vol. 72). Elsevier.","ama":"Heckel R, Mens T, Wermelinger M, eds. <i>Proceedings of the Workshop on Software Evolution through Transformations, Satellite of the ICGT 2002 Conference, Barcelona (Spain)</i>. Vol 72. Elsevier; 2002.","chicago":"Heckel, Reiko, T. Mens, and M. Wermelinger, eds. <i>Proceedings of the Workshop on Software Evolution through Transformations, Satellite of the ICGT 2002 Conference, Barcelona (Spain)</i>. Vol. 72. Electronic Notes in Theoretical Computer Science. Elsevier, 2002.","ieee":"R. Heckel, T. Mens, and M. Wermelinger, Eds., <i>Proceedings of the workshop on Software Evolution through Transformations, satellite of the ICGT 2002 conference, Barcelona (Spain)</i>, vol. 72, no. 4. Elsevier, 2002."},"intvolume":"        72","year":"2002","issue":"4","title":"Proceedings of the workshop on Software Evolution through Transformations, satellite of the ICGT 2002 conference, Barcelona (Spain)","date_created":"2019-02-19T19:07:45Z","volume":72,"date_updated":"2022-01-06T07:03:46Z","publisher":"Elsevier","status":"public","editor":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"first_name":"T.","last_name":"Mens","full_name":"Mens, T."},{"full_name":"Wermelinger, M.","last_name":"Wermelinger","first_name":"M."}],"type":"conference_editor","language":[{"iso":"eng"}],"series_title":"Electronic Notes in Theoretical Computer Science","user_id":"52534","department":[{"_id":"66"}],"_id":"7785"},{"type":"conference_editor","status":"public","editor":[{"full_name":"Clauss, M.","last_name":"Clauss","first_name":"M."},{"full_name":"Hanenberg, S.","last_name":"Hanenberg","first_name":"S."},{"last_name":"John","full_name":"John, I.","first_name":"I."},{"first_name":"Katharina","last_name":"Mehner","full_name":"Mehner, Katharina"},{"first_name":"Ragnhild","full_name":"Van Der Straeten, Ragnhild","last_name":"Van Der Straeten"}],"department":[{"_id":"66"}],"series_title":"IESE-Report","user_id":"52534","_id":"7786","language":[{"iso":"eng"}],"issue":"053.02/E","citation":{"chicago":"Clauss, M., S. Hanenberg, I. John, Katharina Mehner, and Ragnhild Van Der Straeten, eds. <i>Proceedings of the 4th Young Researchers Workshop, Satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA)</i>. IESE-Report, 2002.","ieee":"M. Clauss, S. Hanenberg, I. John, K. Mehner, and R. Van Der Straeten, Eds., <i>Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA)</i>, no. 053.02/E. 2002.","ama":"Clauss M, Hanenberg S, John I, Mehner K, Van Der Straeten R, eds. <i>Proceedings of the 4th Young Researchers Workshop, Satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA)</i>.; 2002.","apa":"Clauss, M., Hanenberg, S., John, I., Mehner, K., &#38; Van Der Straeten, R. (Eds.). (2002). <i>Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA)</i>.","bibtex":"@book{Clauss_Hanenberg_John_Mehner_Van Der Straeten_2002, series={IESE-Report}, title={Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA)}, number={053.02/E}, year={2002}, collection={IESE-Report} }","mla":"Clauss, M., et al., editors. <i>Proceedings of the 4th Young Researchers Workshop, Satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA)</i>. no. 053.02/E, 2002.","short":"M. Clauss, S. Hanenberg, I. John, K. Mehner, R. Van Der Straeten, eds., Proceedings of the 4th Young Researchers Workshop, Satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE ’02), Pittsburgh, PA (USA), 2002."},"year":"2002","date_created":"2019-02-19T19:08:18Z","date_updated":"2022-01-06T07:03:46Z","title":"Proceedings of the 4th Young Researchers Workshop, satellite of the 4th International Symposium on Generative and Component-Based Engineering (GCSE '02), Pittsburgh, PA (USA)"},{"publication":"Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)","type":"conference","status":"public","department":[{"_id":"66"}],"user_id":"52534","series_title":"LNCS","_id":"7895","language":[{"iso":"eng"}],"page":"402-429","intvolume":"      2505","citation":{"ama":"Baresi L, Heckel R. Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In: <i>Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>. Vol 2505. LNCS. Berlin/Heidelberg: Springer; 2002:402-429. doi:<a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934</a>","ieee":"L. Baresi and R. Heckel, “Tutorial Introduction to Graph Transformation: A Software Engineering Perspective,” in <i>Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, 2002, vol. 2505, pp. 402–429.","chicago":"Baresi, Luciano, and Reiko Heckel. “Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.” In <i>Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, 2505:402–29. LNCS. Berlin/Heidelberg: Springer, 2002. <a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934</a>.","bibtex":"@inproceedings{Baresi_Heckel_2002, place={Berlin/Heidelberg}, series={LNCS}, title={Tutorial Introduction to Graph Transformation: A Software Engineering Perspective}, volume={2505}, DOI={<a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934</a>}, booktitle={Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)}, publisher={Springer}, author={Baresi, Luciano and Heckel, Reiko}, year={2002}, pages={402–429}, collection={LNCS} }","short":"L. Baresi, R. Heckel, in: Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg, 2002, pp. 402–429.","mla":"Baresi, Luciano, and Reiko Heckel. “Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.” <i>Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, vol. 2505, Springer, 2002, pp. 402–29, doi:<a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934</a>.","apa":"Baresi, L., &#38; Heckel, R. (2002). Tutorial Introduction to Graph Transformation: A Software Engineering Perspective. In <i>Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i> (Vol. 2505, pp. 402–429). Berlin/Heidelberg: Springer. <a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934\">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934</a>"},"year":"2002","place":"Berlin/Heidelberg","volume":2505,"date_created":"2019-02-21T10:55:19Z","author":[{"first_name":"Luciano","last_name":"Baresi","full_name":"Baresi, Luciano"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"}],"date_updated":"2022-01-06T07:03:47Z","publisher":"Springer","doi":"https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934","title":"Tutorial Introduction to Graph Transformation: A Software Engineering Perspective"},{"place":"Washington, DC, USA","year":"2002","page":"13-18","citation":{"ama":"Depke R, Engels G, Langham M, Lütkemeier B, Thöne S. Process-Oriented, Consistent Integration of Software Components. In: <i>Proceedings of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)</i>. Washington, DC, USA: IEEE Computer Society; 2002:13-18. doi:<a href=\"http://dx.doi.org/10.1109/CMPSAC.2002.1044527\">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>","chicago":"Depke, Ralph, Gregor Engels, Matthew Langham, Björn Lütkemeier, and Sebastian Thöne. “Process-Oriented, Consistent Integration of Software Components.” In <i>Proceedings of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)</i>, 13–18. Washington, DC, USA: IEEE Computer Society, 2002. <a href=\"http://dx.doi.org/10.1109/CMPSAC.2002.1044527\">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>.","ieee":"R. Depke, G. Engels, M. Langham, B. Lütkemeier, and S. Thöne, “Process-Oriented, Consistent Integration of Software Components,” in <i>Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)</i>, 2002, pp. 13–18.","bibtex":"@inproceedings{Depke_Engels_Langham_Lütkemeier_Thöne_2002, place={Washington, DC, USA}, title={Process-Oriented, Consistent Integration of Software Components}, DOI={<a href=\"http://dx.doi.org/10.1109/CMPSAC.2002.1044527\">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>}, booktitle={Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)}, publisher={IEEE Computer Society}, author={Depke, Ralph and Engels, Gregor and Langham, Matthew and Lütkemeier, Björn and Thöne, Sebastian}, year={2002}, pages={13–18} }","short":"R. Depke, G. Engels, M. Langham, B. Lütkemeier, S. Thöne, in: Proceedings of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England), IEEE Computer Society, Washington, DC, USA, 2002, pp. 13–18.","mla":"Depke, Ralph, et al. “Process-Oriented, Consistent Integration of Software Components.” <i>Proceedings of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)</i>, IEEE Computer Society, 2002, pp. 13–18, doi:<a href=\"http://dx.doi.org/10.1109/CMPSAC.2002.1044527\">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>.","apa":"Depke, R., Engels, G., Langham, M., Lütkemeier, B., &#38; Thöne, S. (2002). Process-Oriented, Consistent Integration of Software Components. In <i>Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)</i> (pp. 13–18). Washington, DC, USA: IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/CMPSAC.2002.1044527\">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>"},"title":"Process-Oriented, Consistent Integration of Software Components","doi":"http://dx.doi.org/10.1109/CMPSAC.2002.1044527","publisher":"IEEE Computer Society","date_updated":"2022-01-06T07:03:47Z","author":[{"first_name":"Ralph","last_name":"Depke","full_name":"Depke, Ralph"},{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"},{"last_name":"Langham","full_name":"Langham, Matthew","first_name":"Matthew"},{"last_name":"Lütkemeier","full_name":"Lütkemeier, Björn","first_name":"Björn"},{"first_name":"Sebastian","last_name":"Thöne","full_name":"Thöne, Sebastian"}],"date_created":"2019-02-21T10:55:46Z","status":"public","publication":"Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)","type":"conference","language":[{"iso":"eng"}],"_id":"7896","department":[{"_id":"66"}],"user_id":"52534"},{"place":"Berlin/Heidelberg","year":"2002","citation":{"apa":"Engels, G., Heckel, R., Küster, J., &#38; Groenewegen, L. (2002). Consistency-Preserving Model Evolution through Transformations. In <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i> (Vol. 2460, pp. 212–226). Berlin/Heidelberg: Springer.","short":"G. Engels, R. Heckel, J. Küster, L. Groenewegen, in: Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), Springer, Berlin/Heidelberg, 2002, pp. 212–226.","bibtex":"@inproceedings{Engels_Heckel_Küster_Groenewegen_2002, place={Berlin/Heidelberg}, series={LNCS}, title={Consistency-Preserving Model Evolution through Transformations}, volume={2460}, booktitle={Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Küster, Jochen and Groenewegen, Luuk}, year={2002}, pages={212–226}, collection={LNCS} }","mla":"Engels, Gregor, et al. “Consistency-Preserving Model Evolution through Transformations.” <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, vol. 2460, Springer, 2002, pp. 212–26.","ama":"Engels G, Heckel R, Küster J, Groenewegen L. Consistency-Preserving Model Evolution through Transformations. In: <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>. Vol 2460. LNCS. Berlin/Heidelberg: Springer; 2002:212-226.","ieee":"G. Engels, R. Heckel, J. Küster, and L. Groenewegen, “Consistency-Preserving Model Evolution through Transformations,” in <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, 2002, vol. 2460, pp. 212–226.","chicago":"Engels, Gregor, Reiko Heckel, Jochen Küster, and Luuk Groenewegen. “Consistency-Preserving Model Evolution through Transformations.” In <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, 2460:212–26. LNCS. Berlin/Heidelberg: Springer, 2002."},"intvolume":"      2460","page":"212-226","publisher":"Springer","date_updated":"2022-01-06T07:03:47Z","date_created":"2019-02-21T10:56:48Z","author":[{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"last_name":"Küster","full_name":"Küster, Jochen","first_name":"Jochen"},{"last_name":"Groenewegen","full_name":"Groenewegen, Luuk","first_name":"Luuk"}],"volume":2460,"title":"Consistency-Preserving Model Evolution through Transformations","type":"conference","publication":"Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)","status":"public","_id":"7897","user_id":"52534","series_title":"LNCS","department":[{"_id":"66"}],"language":[{"iso":"eng"}]},{"issue":"4","citation":{"short":"G. Engels, J. Küster, L. Groenewegen, in: Proceedings of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), IOS Press, 2002, pp. 2–22.","mla":"Engels, Gregor, et al. “Consistent Interaction Of Software Components.” <i>Proceedings of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, vol. 6, no. 4, IOS Press, 2002, pp. 2–22.","bibtex":"@inproceedings{Engels_Küster_Groenewegen_2002, title={Consistent Interaction Of Software Components}, volume={6}, number={4}, booktitle={Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)}, publisher={IOS Press}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2002}, pages={2–22} }","apa":"Engels, G., Küster, J., &#38; Groenewegen, L. (2002). Consistent Interaction Of Software Components. In <i>Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i> (Vol. 6, pp. 2–22). IOS Press.","chicago":"Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Consistent Interaction Of Software Components.” In <i>Proceedings of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 6:2–22. IOS Press, 2002.","ieee":"G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction Of Software Components,” in <i>Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 2002, vol. 6, no. 4, pp. 2–22.","ama":"Engels G, Küster J, Groenewegen L. Consistent Interaction Of Software Components. In: <i>Proceedings of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>. Vol 6. IOS Press; 2002:2-22."},"page":"2-22","intvolume":"         6","year":"2002","date_created":"2019-02-21T10:57:29Z","author":[{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"},{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"},{"first_name":"Luuk","last_name":"Groenewegen","full_name":"Groenewegen, Luuk"}],"volume":6,"publisher":"IOS Press","date_updated":"2022-01-06T07:03:47Z","title":"Consistent Interaction Of Software Components","type":"conference","publication":"Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)","status":"public","user_id":"52534","department":[{"_id":"66"}],"_id":"7898","language":[{"iso":"eng"}]},{"title":"Testing the Consistency of Dynamic UML Diagrams","date_updated":"2022-01-06T07:03:47Z","author":[{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"full_name":"Hendrik Hausmann, Jan","last_name":"Hendrik Hausmann","first_name":"Jan"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"last_name":"Sauer","id":"447","full_name":"Sauer, Stefan","first_name":"Stefan"}],"date_created":"2019-02-21T10:58:02Z","year":"2002","citation":{"bibtex":"@inproceedings{Engels_Hendrik Hausmann_Heckel_Sauer_2002, title={Testing the Consistency of Dynamic UML Diagrams}, booktitle={Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)}, author={Engels, Gregor and Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2002} }","mla":"Engels, Gregor, et al. “Testing the Consistency of Dynamic UML Diagrams.” <i>Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 2002.","short":"G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), 2002.","apa":"Engels, G., Hendrik Hausmann, J., Heckel, R., &#38; Sauer, S. (2002). Testing the Consistency of Dynamic UML Diagrams. In <i>Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>.","chicago":"Engels, Gregor, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. “Testing the Consistency of Dynamic UML Diagrams.” In <i>Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 2002.","ieee":"G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Testing the Consistency of Dynamic UML Diagrams,” in <i>Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 2002.","ama":"Engels G, Hendrik Hausmann J, Heckel R, Sauer S. Testing the Consistency of Dynamic UML Diagrams. In: <i>Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>. ; 2002."},"language":[{"iso":"eng"}],"_id":"7899","user_id":"52534","department":[{"_id":"66"}],"status":"public","type":"conference","publication":"Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)"},{"citation":{"chicago":"Gyapay, Szilvia, Reiko Heckel, and Dániel Varró. “Graph Transformation with Time: Causality and Logical Clocks.” In <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, 2505:120–34. LNCS. Berlin/Heidelberg: Springer, 2002.","ieee":"S. Gyapay, R. Heckel, and D. Varró, “Graph Transformation with Time: Causality and Logical Clocks,” in <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, 2002, vol. 2505, pp. 120–134.","ama":"Gyapay S, Heckel R, Varró D. Graph Transformation with Time: Causality and Logical Clocks. In: <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>. Vol 2505. LNCS. Berlin/Heidelberg: Springer; 2002:120-134.","apa":"Gyapay, S., Heckel, R., &#38; Varró, D. (2002). Graph Transformation with Time: Causality and Logical Clocks. In <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i> (Vol. 2505, pp. 120–134). Berlin/Heidelberg: Springer.","short":"S. Gyapay, R. Heckel, D. Varró, in: Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg, 2002, pp. 120–134.","bibtex":"@inproceedings{Gyapay_Heckel_Varró_2002, place={Berlin/Heidelberg}, series={LNCS}, title={Graph Transformation with Time: Causality and Logical Clocks}, volume={2505}, booktitle={Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)}, publisher={Springer}, author={Gyapay, Szilvia and Heckel, Reiko and Varró, Dániel}, year={2002}, pages={120–134}, collection={LNCS} }","mla":"Gyapay, Szilvia, et al. “Graph Transformation with Time: Causality and Logical Clocks.” <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, vol. 2505, Springer, 2002, pp. 120–34."},"page":"120-134","intvolume":"      2505","place":"Berlin/Heidelberg","year":"2002","title":"Graph Transformation with Time: Causality and Logical Clocks","author":[{"first_name":"Szilvia","full_name":"Gyapay, Szilvia","last_name":"Gyapay"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"last_name":"Varró","full_name":"Varró, Dániel","first_name":"Dániel"}],"date_created":"2019-02-21T10:58:36Z","volume":2505,"date_updated":"2022-01-06T07:03:47Z","publisher":"Springer","status":"public","type":"conference","publication":"Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)","language":[{"iso":"eng"}],"user_id":"52534","series_title":"LNCS","department":[{"_id":"66"}],"_id":"7900"},{"user_id":"52534","department":[{"_id":"66"}],"_id":"7901","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)","status":"public","date_created":"2019-02-21T10:59:09Z","author":[{"last_name":"Hendrik Hausmann","full_name":"Hendrik Hausmann, Jan","first_name":"Jan"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"last_name":"Taentzer","full_name":"Taentzer, Gabriele","first_name":"Gabriele"}],"publisher":"ACM Press","date_updated":"2022-01-06T07:03:47Z","doi":"http://doi.acm.org/10.1145/581339.581355","title":"Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation","citation":{"mla":"Hendrik Hausmann, Jan, et al. “Detecting Conflicting Functional Requirements in a Use Case Driven Approach: A Static Analysis Technique Based on Graph Transformation.” <i>Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)</i>, ACM Press, 2002, pp. 105–55, doi:<a href=\"http://doi.acm.org/10.1145/581339.581355\">http://doi.acm.org/10.1145/581339.581355</a>.","bibtex":"@inproceedings{Hendrik Hausmann_Heckel_Taentzer_2002, place={New York, NY, USA}, title={Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation}, DOI={<a href=\"http://doi.acm.org/10.1145/581339.581355\">http://doi.acm.org/10.1145/581339.581355</a>}, booktitle={Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)}, publisher={ACM Press}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Taentzer, Gabriele}, year={2002}, pages={105–155} }","short":"J. Hendrik Hausmann, R. Heckel, G. Taentzer, in: Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA), ACM Press, New York, NY, USA, 2002, pp. 105–155.","apa":"Hendrik Hausmann, J., Heckel, R., &#38; Taentzer, G. (2002). Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation. In <i>Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)</i> (pp. 105–155). New York, NY, USA: ACM Press. <a href=\"http://doi.acm.org/10.1145/581339.581355\">http://doi.acm.org/10.1145/581339.581355</a>","ama":"Hendrik Hausmann J, Heckel R, Taentzer G. Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation. In: <i>Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)</i>. New York, NY, USA: ACM Press; 2002:105-155. doi:<a href=\"http://doi.acm.org/10.1145/581339.581355\">http://doi.acm.org/10.1145/581339.581355</a>","ieee":"J. Hendrik Hausmann, R. Heckel, and G. Taentzer, “Detecting conflicting functional requirements in a use case driven approach: A static analysis technique based on graph transformation,” in <i>Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)</i>, 2002, pp. 105–155.","chicago":"Hendrik Hausmann, Jan, Reiko Heckel, and Gabriele Taentzer. “Detecting Conflicting Functional Requirements in a Use Case Driven Approach: A Static Analysis Technique Based on Graph Transformation.” In <i>Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA)</i>, 105–55. New York, NY, USA: ACM Press, 2002. <a href=\"http://doi.acm.org/10.1145/581339.581355\">http://doi.acm.org/10.1145/581339.581355</a>."},"page":"105-155 ","year":"2002","place":"New York, NY, USA"},{"publication":"Proceedings of the conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA)","type":"conference","status":"public","department":[{"_id":"66"}],"user_id":"52534","_id":"7902","language":[{"iso":"eng"}],"page":"63-77","citation":{"apa":"Heckel, R., &#38; Chouikha, M. (2002). Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets. In <i>Proceedings of the conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)</i> (pp. 63–77). Grandview, TX, USA: Society of Design and Process Science.","mla":"Heckel, Reiko, and Mourad Chouikha. “Compositional Control Synthesis for Discrete Event Systems: An Approach Based on Open Petri Nets.” <i>Proceedings of the Conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, Society of Design and Process Science, 2002, pp. 63–77.","short":"R. Heckel, M. Chouikha, in: Proceedings of the Conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA), Society of Design and Process Science, Grandview, TX, USA, 2002, pp. 63–77.","bibtex":"@inproceedings{Heckel_Chouikha_2002, place={Grandview, TX, USA}, title={Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets}, booktitle={Proceedings of the conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)}, publisher={Society of Design and Process Science}, author={Heckel, Reiko and Chouikha, Mourad}, year={2002}, pages={63–77} }","ama":"Heckel R, Chouikha M. Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets. In: <i>Proceedings of the Conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)</i>. Grandview, TX, USA: Society of Design and Process Science; 2002:63-77.","ieee":"R. Heckel and M. Chouikha, “Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets,” in <i>Proceedings of the conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 2002, pp. 63–77.","chicago":"Heckel, Reiko, and Mourad Chouikha. “Compositional Control Synthesis for Discrete Event Systems: An Approach Based on Open Petri Nets.” In <i>Proceedings of the Conference on Integrated Design &#38; Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 63–77. Grandview, TX, USA: Society of Design and Process Science, 2002."},"place":"Grandview, TX, USA","year":"2002","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Chouikha, Mourad","last_name":"Chouikha","first_name":"Mourad"}],"date_created":"2019-02-21T10:59:49Z","date_updated":"2022-01-06T07:03:47Z","publisher":"Society of Design and Process Science","title":"Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets"},{"date_updated":"2022-01-06T07:03:47Z","publisher":"Springer","date_created":"2019-02-21T11:00:30Z","author":[{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"},{"first_name":"Gabriele","full_name":"Taentzer, Gabriele","last_name":"Taentzer"}],"title":"Confluence of Typed Attributed Graph Transformation Systems","place":"Berlin/Heidelberg","year":"2002","page":"161-176","citation":{"apa":"Heckel, R., Küster, J., &#38; Taentzer, G. (2002). Confluence of Typed Attributed Graph Transformation Systems. In <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i> (pp. 161–176). Berlin/Heidelberg: Springer.","short":"R. Heckel, J. Küster, G. Taentzer, in: Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg, 2002, pp. 161–176.","mla":"Heckel, Reiko, et al. “Confluence of Typed Attributed Graph Transformation Systems.” <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, Springer, 2002, pp. 161–76.","bibtex":"@inproceedings{Heckel_Küster_Taentzer_2002, place={Berlin/Heidelberg}, title={Confluence of Typed Attributed Graph Transformation Systems}, booktitle={Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)}, publisher={Springer}, author={Heckel, Reiko and Küster, Jochen and Taentzer, Gabriele}, year={2002}, pages={161–176} }","ieee":"R. Heckel, J. Küster, and G. Taentzer, “Confluence of Typed Attributed Graph Transformation Systems,” in <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, 2002, pp. 161–176.","chicago":"Heckel, Reiko, Jochen Küster, and Gabriele Taentzer. “Confluence of Typed Attributed Graph Transformation Systems.” In <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>, 161–76. Berlin/Heidelberg: Springer, 2002.","ama":"Heckel R, Küster J, Taentzer G. Confluence of Typed Attributed Graph Transformation Systems. In: <i>Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)</i>. Berlin/Heidelberg: Springer; 2002:161-176."},"_id":"7903","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"publication":"Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain)","type":"conference","status":"public"},{"language":[{"iso":"eng"}],"_id":"7904","user_id":"52534","series_title":"LNCS","department":[{"_id":"66"}],"status":"public","type":"conference","publication":"Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)","title":"JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs","date_updated":"2022-01-06T07:03:47Z","publisher":"Springer","date_created":"2019-02-21T11:01:07Z","author":[{"full_name":"Mehner, Katharina","last_name":"Mehner","first_name":"Katharina"}],"volume":2269,"year":"2002","place":"Berlin/Heidelberg","citation":{"apa":"Mehner, K. (2002). JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs. In <i>Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)</i> (Vol. 2269, pp. 163–175). Berlin/Heidelberg: Springer.","mla":"Mehner, Katharina. “JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs.” <i>Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)</i>, vol. 2269, Springer, 2002, pp. 163–75.","short":"K. Mehner, in: Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany), Springer, Berlin/Heidelberg, 2002, pp. 163–175.","bibtex":"@inproceedings{Mehner_2002, place={Berlin/Heidelberg}, series={LNCS}, title={JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs}, volume={2269}, booktitle={Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)}, publisher={Springer}, author={Mehner, Katharina}, year={2002}, pages={163–175}, collection={LNCS} }","ama":"Mehner K. JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs. In: <i>Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)</i>. Vol 2269. LNCS. Berlin/Heidelberg: Springer; 2002:163-175.","ieee":"K. Mehner, “JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs,” in <i>Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)</i>, 2002, vol. 2269, pp. 163–175.","chicago":"Mehner, Katharina. “JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs.” In <i>Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany)</i>, 2269:163–75. LNCS. Berlin/Heidelberg: Springer, 2002."},"intvolume":"      2269","page":"163-175"},{"publisher":"Springer","date_updated":"2022-01-06T07:03:47Z","date_created":"2019-02-21T11:01:45Z","author":[{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"},{"first_name":"Marc","full_name":"Lohmann, Marc","last_name":"Lohmann"}],"title":"Rapid Development of Modular Dynamic Web Sites Using UML","doi":"http://dx.doi.org/10.1007/3-540-45800-X","place":"London, UK","year":"2002","page":"336-350","citation":{"mla":"Schattkowsky, Tim, and Marc Lohmann. “Rapid Development of Modular Dynamic Web Sites Using UML.” <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, Springer, 2002, pp. 336–50, doi:<a href=\"http://dx.doi.org/10.1007/3-540-45800-X\">http://dx.doi.org/10.1007/3-540-45800-X</a>.","short":"T. Schattkowsky, M. Lohmann, in: Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), Springer, London, UK, 2002, pp. 336–350.","bibtex":"@inproceedings{Schattkowsky_Lohmann_2002, place={London, UK}, series={LNCS}, title={Rapid Development of Modular Dynamic Web Sites Using UML}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-45800-X\">http://dx.doi.org/10.1007/3-540-45800-X</a>}, booktitle={Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)}, publisher={Springer}, author={Schattkowsky, Tim and Lohmann, Marc}, year={2002}, pages={336–350}, collection={LNCS} }","apa":"Schattkowsky, T., &#38; Lohmann, M. (2002). Rapid Development of Modular Dynamic Web Sites Using UML. In <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i> (pp. 336–350). London, UK: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-45800-X\">http://dx.doi.org/10.1007/3-540-45800-X</a>","chicago":"Schattkowsky, Tim, and Marc Lohmann. “Rapid Development of Modular Dynamic Web Sites Using UML.” In <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, 336–50. LNCS. London, UK: Springer, 2002. <a href=\"http://dx.doi.org/10.1007/3-540-45800-X\">http://dx.doi.org/10.1007/3-540-45800-X</a>.","ieee":"T. Schattkowsky and M. Lohmann, “Rapid Development of Modular Dynamic Web Sites Using UML,” in <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, 2002, pp. 336–350.","ama":"Schattkowsky T, Lohmann M. Rapid Development of Modular Dynamic Web Sites Using UML. In: <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>. LNCS. London, UK: Springer; 2002:336-350. doi:<a href=\"http://dx.doi.org/10.1007/3-540-45800-X\">http://dx.doi.org/10.1007/3-540-45800-X</a>"},"_id":"7905","department":[{"_id":"66"}],"series_title":"LNCS","user_id":"52534","language":[{"iso":"eng"}],"publication":"Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)","type":"conference","status":"public"},{"citation":{"ama":"Cherchago A. Formal Semantics for a UML fragment using UML/OCL metamodeling. In: <i>Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)</i>. ACTA Press; 2002.","chicago":"Cherchago, Alexey. “Formal Semantics for a UML Fragment Using UML/OCL Metamodeling.” In <i>Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)</i>. ACTA Press, 2002.","ieee":"A. Cherchago, “Formal Semantics for a UML fragment using UML/OCL metamodeling,” in <i>Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)</i>, 2002.","apa":"Cherchago, A. (2002). Formal Semantics for a UML fragment using UML/OCL metamodeling. In <i>Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)</i>. ACTA Press.","bibtex":"@inproceedings{Cherchago_2002, title={Formal Semantics for a UML fragment using UML/OCL metamodeling}, booktitle={Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)}, publisher={ACTA Press}, author={Cherchago, Alexey}, year={2002} }","mla":"Cherchago, Alexey. “Formal Semantics for a UML Fragment Using UML/OCL Metamodeling.” <i>Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)</i>, ACTA Press, 2002.","short":"A. Cherchago, in: Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA), ACTA Press, 2002."},"year":"2002","title":"Formal Semantics for a UML fragment using UML/OCL metamodeling","date_created":"2019-02-21T11:02:12Z","author":[{"first_name":"Alexey","full_name":"Cherchago, Alexey","last_name":"Cherchago"}],"publisher":"ACTA Press","date_updated":"2022-01-06T07:03:47Z","status":"public","type":"conference","publication":"Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA)","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"7906"},{"status":"public","type":"report","report_number":"IAI-TR-2002-1","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"8212","citation":{"mla":"Constanza, Pascal, et al. <i>Proceedings of the Workshop on Aspect-Oriented Software Developement, Held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement</i>. University of Bonn, 2002.","short":"P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, A. Speck, Proceedings of the Workshop on Aspect-Oriented Software Developement, Held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, University of Bonn, 2002.","bibtex":"@book{Constanza_Kniesel_Mehner_Pulvermüller_Speck_2002, title={Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement}, publisher={University of Bonn}, author={Constanza, Pascal and Kniesel, Günther and Mehner, Katharina and Pulvermüller, Elke and Speck, Andreas}, year={2002} }","apa":"Constanza, P., Kniesel, G., Mehner, K., Pulvermüller, E., &#38; Speck, A. (2002). <i>Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement</i>. University of Bonn.","ieee":"P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, and A. Speck, <i>Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement</i>. University of Bonn, 2002.","chicago":"Constanza, Pascal, Günther Kniesel, Katharina Mehner, Elke Pulvermüller, and Andreas Speck. <i>Proceedings of the Workshop on Aspect-Oriented Software Developement, Held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement</i>. University of Bonn, 2002.","ama":"Constanza P, Kniesel G, Mehner K, Pulvermüller E, Speck A. <i>Proceedings of the Workshop on Aspect-Oriented Software Developement, Held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement</i>. University of Bonn; 2002."},"year":"2002","title":"Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement","date_created":"2019-03-03T16:13:10Z","author":[{"last_name":"Constanza","full_name":"Constanza, Pascal","first_name":"Pascal"},{"full_name":"Kniesel, Günther","last_name":"Kniesel","first_name":"Günther"},{"first_name":"Katharina","last_name":"Mehner","full_name":"Mehner, Katharina"},{"first_name":"Elke","full_name":"Pulvermüller, Elke","last_name":"Pulvermüller"},{"first_name":"Andreas","full_name":"Speck, Andreas","last_name":"Speck"}],"publisher":"University of Bonn","date_updated":"2022-01-06T07:03:52Z"},{"status":"public","type":"journal_article","publication":"Mathematical Structures in Computer Science","language":[{"iso":"eng"}],"_id":"7385","user_id":"52534","department":[{"_id":"66"}],"year":"2002","citation":{"apa":"Heckel, R., Llabrés, M., Ehrig, H., &#38; Orejas, F. (2002). Concurrency and Loose Semantics of Open Graph Transformation Systems. <i>Mathematical Structures in Computer Science</i>, <i>12</i>(4), 349–376.","short":"R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, Mathematical Structures in Computer Science 12 (2002) 349–376.","bibtex":"@article{Heckel_Llabrés_Ehrig_Orejas_2002, title={Concurrency and Loose Semantics of Open Graph Transformation Systems}, volume={12}, number={4}, journal={Mathematical Structures in Computer Science}, author={Heckel, Reiko and Llabrés, Mercé and Ehrig, Hartmut and Orejas, Fernando}, year={2002}, pages={349–376} }","mla":"Heckel, Reiko, et al. “Concurrency and Loose Semantics of Open Graph Transformation Systems.” <i>Mathematical Structures in Computer Science</i>, vol. 12, no. 4, 2002, pp. 349–76.","ieee":"R. Heckel, M. Llabrés, H. Ehrig, and F. Orejas, “Concurrency and Loose Semantics of Open Graph Transformation Systems,” <i>Mathematical Structures in Computer Science</i>, vol. 12, no. 4, pp. 349–376, 2002.","chicago":"Heckel, Reiko, Mercé Llabrés, Hartmut Ehrig, and Fernando Orejas. “Concurrency and Loose Semantics of Open Graph Transformation Systems.” <i>Mathematical Structures in Computer Science</i> 12, no. 4 (2002): 349–76.","ama":"Heckel R, Llabrés M, Ehrig H, Orejas F. Concurrency and Loose Semantics of Open Graph Transformation Systems. <i>Mathematical Structures in Computer Science</i>. 2002;12(4):349-376."},"page":"349-376","intvolume":"        12","issue":"4","title":"Concurrency and Loose Semantics of Open Graph Transformation Systems","date_updated":"2022-01-06T07:03:36Z","date_created":"2019-01-31T15:36:17Z","author":[{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"last_name":"Llabrés","full_name":"Llabrés, Mercé","first_name":"Mercé"},{"first_name":"Hartmut","full_name":"Ehrig, Hartmut","last_name":"Ehrig"},{"first_name":"Fernando","full_name":"Orejas, Fernando","last_name":"Orejas"}],"volume":12},{"_id":"7387","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"publication":"Transactions of the SDPS: Journal of Integrated Design & Process Science","type":"journal_article","abstract":[{"lang":"eng","text":"Constructing complex software systems by integrating different software components is a promising and challenging approach. With the functionality of software components given by models it is possible to ensure consistency of such models before implementation in order to successfully build the system. Models consisting of different submodels, the absence of an overall formal semantics and the numerous possibilities of employing models requires the development of techniques ensuring the consistency. In this paper, we discuss the issue of consistency of models made up of different submodels proposing a concept for the management of consistency. Consistency management relies on a consistency concept and a process for ensuring consistency of models. We introduce a consistency concept for software components modeled in the Unified Modeling Language (UML) and devise suitable consistency checks. On this basis, we propose a process how to locate and resolve inconsistencies, thus ensuring the consistency of models and by that the consistency of componentbased systems derived from those models."}],"status":"public","date_updated":"2022-01-06T07:03:36Z","volume":6,"author":[{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"},{"full_name":"Groenewegen, Luuk","last_name":"Groenewegen","first_name":"Luuk"}],"date_created":"2019-01-31T15:38:09Z","title":"Consistent Interaction of Software Components","issue":"4","year":"2002","page":"2-22","intvolume":"         6","citation":{"mla":"Engels, Gregor, et al. “Consistent Interaction of Software Components.” <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i>, vol. 6, no. 4, 2002, pp. 2–22.","short":"G. Engels, J. Küster, L. Groenewegen, Transactions of the SDPS: Journal of Integrated Design &#38; Process Science 6 (2002) 2–22.","bibtex":"@article{Engels_Küster_Groenewegen_2002, title={Consistent Interaction of Software Components}, volume={6}, number={4}, journal={Transactions of the SDPS: Journal of Integrated Design &#38; Process Science}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2002}, pages={2–22} }","apa":"Engels, G., Küster, J., &#38; Groenewegen, L. (2002). Consistent Interaction of Software Components. <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i>, <i>6</i>(4), 2–22.","ama":"Engels G, Küster J, Groenewegen L. Consistent Interaction of Software Components. <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i>. 2002;6(4):2-22.","ieee":"G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction of Software Components,” <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i>, vol. 6, no. 4, pp. 2–22, 2002.","chicago":"Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Consistent Interaction of Software Components.” <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i> 6, no. 4 (2002): 2–22."}}]