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
2002 | Conference Paper | LibreCat-ID: 7900
S. Gyapay, R. Heckel, and D. Varró, “Graph Transformation with Time: Causality and Logical Clocks,” in Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 2002, vol. 2505, pp. 120–134.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7901
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 Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA), 2002, pp. 105–155.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7902
R. Heckel and M. 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), 2002, pp. 63–77.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7903
R. Heckel, J. Küster, and G. Taentzer, “Confluence of Typed Attributed Graph Transformation Systems,” in Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 2002, pp. 161–176.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7904
K. Mehner, “JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs,” in Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany), 2002, vol. 2269, pp. 163–175.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7906
A. Cherchago, “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), 2002.
LibreCat
2002 | Report | LibreCat-ID: 8212
P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, and 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.
LibreCat
2002 | Journal Article | LibreCat-ID: 7385
R. Heckel, M. Llabrés, H. Ehrig, and F. Orejas, “Concurrency and Loose Semantics of Open Graph Transformation Systems,” Mathematical Structures in Computer Science, vol. 12, no. 4, pp. 349–376, 2002.
LibreCat
2002 | Journal Article | LibreCat-ID: 7387
G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction of Software Components,” Transactions of the SDPS: Journal of Integrated Design & Process Science, vol. 6, no. 4, pp. 2–22, 2002.
LibreCat
2002 | Journal Article | LibreCat-ID: 7388
R. Depke, R. Heckel, and J. Küster, “Formal Agent-Oriented Modeling with Graph Transformation,” Science of Computer Programming, vol. 44, pp. 229–252, 2002.
LibreCat
2002 | Journal Article | LibreCat-ID: 7389
E.-E. Doberkat and G. Engels, “MuSofT - Multimedia in der Softwaretechnik,” Informatik Forschung und Entwicklung, vol. 1, no. 17, pp. 41–44, 2002.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7524
H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, and R. Heckel, “High-Level Net Processes,” in Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, vol. 2300, W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa , Eds. Berlin/Heidelberg: Springer, 2002, pp. 191–219.
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7525
G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented Collaborative Work,” in Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, vol. 2300, Berlin/Heidelberg: Springer, 2002, pp. 257–276.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7526
G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics, vol. P-19, Bonn: Gesellschaft für Informatik (GI), 2002, pp. 377–384.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7527
H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, and R. Heckel, “High-Level Net Processes,” in Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, vol. 2300, W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa , Eds. Berlin/Heidelberg: Springer, 2002, pp. 191–219.
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7528
G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented Collaborative Work,” in Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, vol. 2300, W. Brauer, H. Ehring, J. Karhumäki, and A. Salomaa, Eds. Berlin/Heidelberg: Springer, 2002, pp. 257–276.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7529
G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics, vol. P-19, S. Schubert, B. Reusch, and N. Jesse, Eds. Bonn: Gesellschaft für Informatik (GI), 2002, pp. 377–384.
LibreCat