Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
907 Publications
2003 | Conference Paper | LibreCat-ID: 8383
Mehner, Katharina, and Awais Rashid. “GEMA: A Generic Model for AOP.” In Proceedings of the Joint Belgian & Dutch AOP Workshop, Enschede (The Netherlands). University of Twente, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 8384
Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment for the Design of Electronic Systems.” In Proceedings of the Workshop on Challenges in Collaborative Engineering (CCE 2003), Poznan (Poland), 15–16, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 8385
Schattkowsky, Tim. “Model-Based Development of Embedded Systems: Executable Models vs. Code Generation.” In Proceedings of the Workshop on Model Driven Architecture in the Specification, Implementation and Validation of Object-Oriented Embedded Systems (Satellite Event of the UML 2003 Conference), San Francisco, CA (USA), 2003.
LibreCat
2002 | Conference (Editor) | LibreCat-ID: 7785
Heckel, Reiko, T. Mens, and M. Wermelinger, eds. Proceedings of the Workshop on Software Evolution through Transformations, Satellite of the ICGT 2002 Conference, Barcelona (Spain). Vol. 72. Electronic Notes in Theoretical Computer Science. Elsevier, 2002.
LibreCat
2002 | Conference (Editor) | LibreCat-ID: 7786
Clauss, M., S. Hanenberg, I. John, Katharina Mehner, and Ragnhild 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). IESE-Report, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7895
Baresi, Luciano, and Reiko Heckel. “Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.” In Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 2505:402–29. LNCS. Berlin/Heidelberg: Springer, 2002. https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/b100934.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7896
Depke, Ralph, Gregor Engels, Matthew Langham, Björn Lütkemeier, and Sebastian Thöne. “Process-Oriented, Consistent Integration of Software Components.” In Proceedings of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England), 13–18. Washington, DC, USA: IEEE Computer Society, 2002. http://dx.doi.org/10.1109/CMPSAC.2002.1044527.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7897
Engels, Gregor, Reiko Heckel, Jochen Küster, and Luuk Groenewegen. “Consistency-Preserving Model Evolution through Transformations.” In Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), 2460:212–26. LNCS. Berlin/Heidelberg: Springer, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7898
Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Consistent Interaction Of Software Components.” In Proceedings of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), 6:2–22. IOS Press, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7899
Engels, Gregor, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. “Testing the Consistency of Dynamic UML Diagrams.” In Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7900
Gyapay, Szilvia, Reiko Heckel, and Dániel Varró. “Graph Transformation with Time: Causality and Logical Clocks.” In Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 2505:120–34. LNCS. Berlin/Heidelberg: Springer, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7901
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 Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA), 105–55. New York, NY, USA: ACM Press, 2002. http://doi.acm.org/10.1145/581339.581355.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7902
Heckel, Reiko, and Mourad Chouikha. “Compositional Control Synthesis for Discrete Event Systems: An Approach Based on Open Petri Nets.” In Proceedings of the Conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA), 63–77. Grandview, TX, USA: Society of Design and Process Science, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7903
Heckel, Reiko, Jochen Küster, and Gabriele Taentzer. “Confluence of Typed Attributed Graph Transformation Systems.” In Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 161–76. Berlin/Heidelberg: Springer, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7904
Mehner, Katharina. “JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs.” In Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany), 2269:163–75. LNCS. Berlin/Heidelberg: Springer, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7905
Schattkowsky, Tim, and Marc Lohmann. “Rapid Development of Modular Dynamic Web Sites Using UML.” In Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), 336–50. LNCS. London, UK: Springer, 2002. http://dx.doi.org/10.1007/3-540-45800-X.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7906
Cherchago, Alexey. “Formal Semantics for a UML Fragment Using UML/OCL Metamodeling.” In Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA). ACTA Press, 2002.
LibreCat
2002 | Report | LibreCat-ID: 8212
Constanza, Pascal, Günther Kniesel, Katharina Mehner, Elke Pulvermüller, and Andreas 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.
LibreCat
2002 | Journal Article | LibreCat-ID: 7385
Heckel, Reiko, Mercé Llabrés, Hartmut Ehrig, and Fernando Orejas. “Concurrency and Loose Semantics of Open Graph Transformation Systems.” Mathematical Structures in Computer Science 12, no. 4 (2002): 349–76.
LibreCat
2002 | Journal Article | LibreCat-ID: 7387
Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Consistent Interaction of Software Components.” Transactions of the SDPS: Journal of Integrated Design & Process Science 6, no. 4 (2002): 2–22.
LibreCat
2002 | Journal Article | LibreCat-ID: 7388
Depke, Ralph, Reiko Heckel, and Jochen Küster. “Formal Agent-Oriented Modeling with Graph Transformation.” Science of Computer Programming 44 (2002): 229–52.
LibreCat
2002 | Journal Article | LibreCat-ID: 7389
Doberkat, Ernst-Erich, and Gregor Engels. “MuSofT - Multimedia in Der Softwaretechnik.” Informatik Forschung Und Entwicklung 1, no. 17 (2002): 41–44.
LibreCat
2002 | Journal Article | LibreCat-ID: 7390
Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “Compositional SOS and Beyond: A Coalgebraic View of Open Systems.” Theoretical Computer Science 280, no. 1–2 (2002): 163–92. http://dx.doi.org/10.1016/S0304-3975(01)00025-1.
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7524
Ehrig, Hartmut, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, and Reiko Heckel. “High-Level Net Processes.” In Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, edited by W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa , 2300:191–219. LNCS. Berlin/Heidelberg: Springer, 2002. http://dx.doi.org/10.1007/3-540-45711-9_12.
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7525
Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented Collaborative Work.” In Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, 2300:257–76. LNCS. Berlin/Heidelberg: Springer, 2002.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7526
Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.” In Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics, P-19:377–84. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2002.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7527
Ehrig, Hartmut, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, and Reiko Heckel. “High-Level Net Processes.” In Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, edited by W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa , 2300:191–219. LNCS. Berlin/Heidelberg: Springer, 2002. http://dx.doi.org/10.1007/3-540-45711-9_12.
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7528
Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented Collaborative Work.” In Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, edited by W. Brauer, H. Ehring, J. Karhumäki, and A. Salomaa, 2300:257–76. LNCS. Berlin/Heidelberg: Springer, 2002.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7529
Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.” In Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics, edited by S. Schubert, B. Reusch, and N. Jesse, P-19:377–84. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8363
Heckel, Reiko, and Gregor Engels. “Towards a Formal Framework for Inter-Enterprise Application Integration.” In Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France), 51:139–51. Electronic Notes in Theoretical Computer Science. Elsevier, 2002. http://dx.doi.org/10.1016/S1571-0661(04)80198-1.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 8364
Thöne, Sebastian, Ralph Depke, and Gregor Engels. “Process-Oriented, Flexible Composition of Web Services with UML.” In Proceedings of the International Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland), 2784:390–401. LNCS. Berlin/Heidelberg: Springer, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8365
Engels, Gregor, Jochen Küster, and Reiko Heckel. “Towards Consistency-Preserving Model Evolution.” In Proceedings of the International Workshop on Principles of Software Evolution(Satellite Event of the ICSE 02), Orlando, Florida (USA), 129–32. New York, NY, USA: ACM Press, 2002. http://doi.acm.org/10.1145/512035.512066.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 8366
Gyapay, Szilvia, and Reiko Heckel. “Towards Graph Transformation with Time.” In Proceedings of the APPLIGRAPH Workshop on Application of Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France), 131–40. Universität Bremen, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8367
Heckel, Reiko, Jochen Küster, and Gabriele Taentzer. “Towards Automatic Translation of UML Models into Semantic Domains.” In Proceedings of the APPLIGRAPH Workshop on Applied Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France), 11–21. Universität Bremen, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8368
Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “Extended Model Relations with Graphical Consistency Conditions.” In Proceeding of the Workshop on Consistency Problems in UML-Based Software Development (Satellite Event of the UML 2002), Dresden (Germany), 61–74. Department of Software Engineering and Computer Science, Blekinge Institute of Technology, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8369
Mehner, Katharina, and Awais Rashid. “Towards a Standard Interface for Runtime Inspection in AOP Environments.” In Proceedings Workshop on Tools for Aspect-Oriented Software Developement (Satellite Event of the OOPSLA 2002), Seattle, WA (USA), 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8370
Schattkowsky, Tim, Marc Lohmann, and Reiko Heckel. “Lightweight Modeling of Dynamic Websites Using UML.” In Proceedings of Workshop on Web Engineering (Satellite Event of the ICSE 2002), Orlando, FL (USA), 2002.
LibreCat
2001 | Conference (Editor) | LibreCat-ID: 7787
Mehner, Katharina, M. Mezini, Elke Pulvermüller, and Andreas Speck, eds. Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany). Vol. tr-ri-01-223. Forschungsbericht. University of Paderborn, 2001.
LibreCat
2001 | Conference (Editor) | LibreCat-ID: 7788
Engels, Gregor, A. Oberweis, and Albert Zündorf, eds. Modellierung 2001. Vol. 1. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2001.
LibreCat
2001 | Conference (Editor) | LibreCat-ID: 7789
Böllert, K., D. Streitferdt, D. Heuzeroth, Katharina Mehner, and S. Hanenberg, eds. Proceedings of the 3rd Young Researchers Workshop, Satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany), 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7879
Lütkemeier, Björn, and Sebastian Thöne. “Prozessorientierte Integration von Softwarekomponenten Durch XML-Basierte Workflow-Modelle.” In Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany). Konradin-Verlag, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7880
Baldan, Paolo, Andrea Corradini, Hartmut Ehrig, and Reiko Heckel. “Compositional Modeling of Reactive Systems Using Open Nets.” In Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), 2154:502–18. LNCS. Berlin/Heidelberg: Springer, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7881
Küster, Jochen, and Joachim Stroop. “Consistent Design of Embedded Real-Time Systems with UML-RT.” In Proceedings of the Conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany), 31–40. Washington, DC, USA: IEEE Computer Society, 2001. https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7882
Depke, Ralph, Reiko Heckel, and Jochen Küster. “Improving the Agent-Oriented Modeling Process with Roles.” In Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada), 640–47. New York, NY, USA: ACM Press, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7883
Depke, Ralph, and Reiko Heckel. “Modellierung von Prozessen Mit UML Und Realisierung Durch Eine Internet-Agentenplattform.” In Proceedings of the 9. Kolloquium Software-Entwicklung Für Internet Und Intranet, Ostfildern (Germany). Technische Akademie Esslingen, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7884
Engels, Gregor, Reiko Heckel, and Jochen Küster. “Rule-Based Specification of Behavioral Consistency Based on the UML Meta-Model.” In Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), 2185:272–87. Berlin/Heidelberg: Springer, 2001. http://dx.doi.org/10.1007/3-540-45441-1_21.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7885
Engels, Gregor, Jochen Küster, Luuk Groenewegen, and Reiko Heckel. “A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models.” In Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria), 26:186–95. New York, NY, USA: ACM Press, 2001. http://dx.doi.org/10.1145/503271.503235.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7886
Geiger, Christian, Stephan Flake, and Jochen Küster. “Towards UML-Based Analysis and Design of Multi-Agent Systems.” In Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates), 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7887
Heckel, Reiko, and Gregor Engels. “Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution.” In Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, Co-Located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal), 42–47. Lisbon: Universidade Nova de Lisboa, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7888
Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams.” In Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), 80–87. Washington, DC, USA: IEEE Computer Society, 2001.
LibreCat