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
2001 | Conference Paper | LibreCat-ID: 7889
@inproceedings{Hendrik Hausmann_Heckel_2001, place={Wien (Österreich)}, title={Use Cases as views: A formal approach to Requirements engineering in the Unified Process}, volume={1}, booktitle={Proceedings of the GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit (2001), Wien (Österreich)}, publisher={Österreichische Computer Gesellschaft}, author={Hendrik Hausmann, Jan and Heckel, Reiko}, year={2001}, pages={595–599} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 7890
@inproceedings{Heckel_2001, title={Open Petri Nets as Semantic Model for Business Process Integration}, booktitle={Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems}, publisher={DFG Research Group “Petri Net Technology”}, author={Heckel, Reiko}, year={2001}, pages={129–134} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 7891
@inproceedings{Heckel_Sauer_2001, place={London, UK}, series={LNCS}, title={Strengthening UML Collaboration Diagrams by State Transformations}, volume={2029}, DOI={http://dx.doi.org/10.1007/3-540-45314-8_9}, booktitle={Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)}, publisher={Springer}, author={Heckel, Reiko and Sauer, Stefan}, year={2001}, pages={109–123}, collection={LNCS} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7892
@inproceedings{Küster_2001, place={Lyon, France}, title={Towards Behavior Consistent Modeling in UML-RT}, booktitle={Proceedings of the Forum on Design Languages (FDL’01)}, author={Küster, Jochen}, year={2001} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 7893
@inproceedings{Sauer_Engels_2001, place={Washington, DC, USA}, title={UML-based Behavior Specification of Interactive Multimedia Applications}, DOI={http://dx.doi.org/10.1109/HCC.2001.995271}, booktitle={Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)}, publisher={IEEE Computer Society}, author={Sauer, Stefan and Engels, Gregor}, year={2001}, pages={248–255} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7894
@inproceedings{Heckel_Zündorf_2001, place={Genova (Italy)}, series={Electronic Notes in Theoretical Computer Science}, title={How to Specify a Graph Transformation Approach - A Meta Model for Fujaba}, volume={44}, booktitle={Proceeding of the workshop on Uniform Approaches to Graphical Process Specifcation Techniques (UNIGRA 2001, satellite event of the ETAPS 2001)}, publisher={Elsevier}, author={Heckel, Reiko and Zündorf, Albert}, editor={Ehrig, H. and Padberg, J.Editors}, year={2001}, pages={41–51}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat
2001 | Report | LibreCat-ID: 8211
@book{Engels_Küster_Groenewegen_2001, title={On the Specification and Analysis of Protocols in UML-RT}, publisher={University of Paderborn, Department of Computer Science}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2001} }
LibreCat
2001 | Journal Article | LibreCat-ID: 7391
@article{Padberg_Jansen_Ehrig_Schnieder_Heckel_2001, title={Cooperability in Train Control Systems: Specification of Scenarios using Open Nets}, volume={5}, number={1}, journal={Transactions of the Society for Design and Process Science}, author={Padberg, Julia and Jansen, Lars and Ehrig, Hartmut and Schnieder, E. and Heckel, Reiko}, year={2001}, pages={3–21} }
LibreCat
2001 | Journal Article | LibreCat-ID: 7392
@article{Heckel_Ehrig_Wolter_Corradini_2001, title={Double Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems}, volume={9}, number={1}, journal={Applied Categorical Structures}, author={Heckel, Reiko and Ehrig, Hartmut and Wolter, Uwe and Corradini, Andrea}, year={2001}, pages={83–110} }
LibreCat
2001 | Journal Article | LibreCat-ID: 7393
@article{Depke_Heckel_Küster_2001, title={Roles in Agent-Oriented Modeling}, volume={11}, DOI={http://dx.doi.org/10.1142/S0218194001000529}, number={3}, journal={International Journal of Software Engineering and Knowledge Engineering}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2001}, pages={281–302} }
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 7394
@article{Corradini_Große-Rhode_Heckel_2001, title={A Coalgebraic presentation of structured transition systems}, volume={260}, DOI={http://dx.doi.org/10.1016/S0304-3975(00)00121-3}, number={1–2}, journal={Theoretical Computer Science}, author={Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}, year={2001}, pages={27–55} }
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 7395
@article{Engels_Gaulke_Sauer_2001, title={Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil}, volume={4}, journal={Forschungsforum Paderborn}, author={Engels, Gregor and Gaulke, Jens and Sauer, Stefan}, year={2001}, pages={24–29} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 8355
@inproceedings{Lohmann_Wagner_2001, title={Using an XML-capable mailtool for the communication in software development projects}, booktitle={Proceedings of the Workshop on XML Technologies and Software Engineering (XSE; satellite event of the ICSE 2001), Toronto (Canada)}, author={Lohmann, Marc and Wagner, Annika}, year={2001} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 8356
@inproceedings{Schattkowsky_Mehner_Depke_2001, title={Using UML models for the Description of Concurrent Behavior in Component Interfaces}, booktitle={Proceedings of the Workshop on Concurrency Issues of the UML (satellite event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada)}, author={Schattkowsky, Tim and Mehner, Katharina and Depke, Ralph}, year={2001} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 8357
@inproceedings{Depke_Heckel_Küster_2001, place={Berlin/Heidelberg}, series={LNCS}, title={Agent-oriented Modeling with Graph Transformation}, volume={1957}, DOI={http://dx.doi.org/10.1007/3-540-44564-1_7}, booktitle={Proceedings of the First international workshop on Agent-oriented software engineering (AOSE 2000), Limerick (Ireland)}, publisher={Springer}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2001}, pages={105–120}, collection={LNCS} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 8358
@inproceedings{Depke_Mehner_2001, series={Technical Report}, title={“Separation of Concern” mit Rollen, Subjekten und Aspekten}, number={tr-ri-01-223}, booktitle={Proceedings of the workshop on Aspektorientierung - Workshop der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung (2001), Paderborn (Germany)}, publisher={Universität Paderborn}, author={Depke, Ralph and Mehner, Katharina}, year={2001}, pages={1–7}, collection={Technical Report} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 8359
@inproceedings{Engels_Küster_2001, title={Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models}, booktitle={Proceedings of the 1st Workshop on Describing Software Architecture with UML (satellite event of the ICSE 2001), Toronto (Canada)}, author={Engels, Gregor and Küster, Jochen}, year={2001} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 8360
@inproceedings{Hendrik Hausmann_Küster_Sauer_2001, place={Bonn}, series={Lecture Notes in Informatics}, title={Identifiying Semantic Dimensions of (UML) Sequence Diagrams}, volume={7}, booktitle={Proceedings of the workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML 2001), Toronto (Canada)}, publisher={Gesellschaft für Informatik (GI)}, author={Hendrik Hausmann, Jan and Küster, Jochen and Sauer, Stefan}, year={2001}, pages={142–157}, collection={Lecture Notes in Informatics} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 8361
@inproceedings{Heckel_Küster_2001, series={Electronic Notes in Theoretical Computer Science}, title={Behavioral Constraints for Visual Models}, volume={50}, DOI={dx.doi.org/10.1016/S1571-0661(04)00177-X}, number={3}, booktitle={Proceeding of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001, satellite event of the ICALP 2001), Heraklion (Greece)}, publisher={Elsevier}, author={Heckel, Reiko and Küster, Jochen}, year={2001}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 8362
@inproceedings{Mehner_Weymann_2001, title={Visualization and Debugging of Concurrent Java Programs with UML}, booktitle={Proceedings of the Workshop on Software Visualization (satellite event of the International Conference on Software Engineering - ICSE 2001), Toronto (Canada)}, author={Mehner, Katharina and Weymann, Bernd}, year={2001} }
LibreCat
2000 | Conference (Editor) | LibreCat-ID: 7790
@book{Ehrig_Engels_Kreowksi_Taentzer_2000, place={Amsterdam, The Netherlands}, series={Science of Computer Programming}, title={Special Issue: Selected Papers of GRATRA 2000}, volume={44}, number={2}, publisher={Elsevier}, year={2000}, collection={Science of Computer Programming} }
LibreCat
2000 | Conference (Editor) | LibreCat-ID: 7791
@book{Rolim_Broder_Corradini_Gorrieri_Heckel_Hromkovic_Vaccaro_Wells_2000, place={Waterloo, Ontario, Canada}, title={Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland)}, publisher={Carleton Scientific}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 7861
@inproceedings{Lohmann_Wagner_2000, title={Konzeption eines XML-fähigen Mailtools}, booktitle={Proceedings of Net.Object Days 2000, Erfurt (Germany)}, author={Lohmann, Marc and Wagner, Annika}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 7862
@inproceedings{Thöne_2000, place={Leinfelden - Echterdingen}, title={Entwicklung eines Übersetzers von Nachrichtenaustauschformaten für Bankselbstbedienungssysteme in XML-Formate}, booktitle={Proceedings of the Informatiktage 2000, Bad Schussenried (Germany)}, publisher={Konradin-Verlag}, author={Thöne, Sebastian}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 7863
@inproceedings{Cherchago_Alexandrova_2000, title={A Model of a Physician’s Decision-Making Process using Electropunctural Methods of Diagnostics}, booktitle={Proceedings of the All-Russia Students, Young Scientists and Specialists Scientific and Technical Conference on Biotechnical, Medical and Environmental Systems and Complexes (Ryazan, Russia)}, author={Cherchago, Alexey and Alexandrova, N.}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 7864
@inproceedings{Depke_Langham_Lütkemeier_Thöne_2000, title={Ein Konzept zur Generierung von XSL-Transformationen und dessen Anwendung bei Bankselbstbedienungssystemen}, booktitle={Proceedings of the Net.ObjectDays (2000), Erfurt (Germany)}, author={Depke, Ralph and Langham, Matthew and Lütkemeier, Björn and Thöne, Sebastian}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 7872
@inproceedings{Engels_Heckel_2000, place={Berlin/Heidelberg}, series={LNCS}, title={Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution}, volume={1853}, DOI={http://dx.doi.org/10.1007/3-540-45022-X_12}, booktitle={Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko}, year={2000}, pages={127–150}, collection={LNCS} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7873
@inproceedings{Engels_Heckel_Sauer_2000, place={Berlin/Heidelberg}, series={LNCS}, title={UML - A Universal Modeling Language?}, volume={1825}, booktitle={Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={24–38}, collection={LNCS} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 7874
@inproceedings{Engels_Groenewegen_2000, place={New York, NY, USA}, title={Object-Oriented Modeling - A Roadmap}, booktitle={Proceedings of the Conference on The Future of Software Engineering - Special Track at 22nd International Conference on Software Engineering (ICSE 2000), Limerick (Ireland)}, publisher={ACM Press}, author={Engels, Gregor and Groenewegen, Luuk}, year={2000}, pages={103–116} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 7875
@inproceedings{Engels_Hendrik Hausmann_Heckel_Sauer_2000, place={Berlin/Heidelberg}, series={LNCS}, title={Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML}, volume={1939}, DOI={http://dx.doi.org/10.1007/3-540-40011-7_23}, booktitle={Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK)}, publisher={Springer}, author={Engels, Gregor and Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={323–337}, collection={LNCS} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7876
@inproceedings{Hendrik Hausmann_2000, place={Leinfelden - Echterdingen}, title={Graphtransitionsregeln zur Beschreibung der Semantik von UML}, booktitle={Proceedings of the Informatiktage 2000, Bad Schussenried (Germany)}, publisher={Konradin Verlag}, author={Hendrik Hausmann, Jan}, year={2000}, pages={103–107} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 7877
@inproceedings{Mehner_Wagner_2000, place={Washington, DC, USA}, title={Visualizing the Synchronization of Java-Threads with UML}, booktitle={Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington)}, publisher={IEEE Computer Society}, author={Mehner, Katharina and Wagner, Annika}, year={2000}, pages={199–206} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 7878
@inproceedings{Depke_Heckel_Küster_2000, place={New York, NY, USA}, title={Integrating visual modeling of agent-based and object-oriented systems}, DOI={http://dx.doi.org/10.1145/336595.337052}, booktitle={Proceedings of the conference on Autonomous agents (AGENTS 2000), Barcelona (Spain)}, publisher={ACM Press}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2000}, pages={82–83} }
LibreCat
| DOI
2000 | Report | LibreCat-ID: 8207
@book{Depke_Engels_Küster_2000, title={On the Integration of Roles in the UML}, publisher={University of Paderborn, Department of Computer Science}, author={Depke, Ralph and Engels, Gregor and Küster, Jochen}, year={2000} }
LibreCat
2000 | Report | LibreCat-ID: 8208
@book{Depke_Heckel_Küster_2000, title={Modeling Agent-Based Systems with Graph Transformation}, publisher={University of Paderborn, Department of Computer Science}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2000} }
LibreCat
2000 | Report | LibreCat-ID: 8209
@book{Heckel_Llabrés_Ehrig_Orejas_2000, title={On the Concurrent Semantics of Open Graph Transformation Systems and Views}, author={Heckel, Reiko and Llabrés, Mercé and Ehrig, Hartmut and Orejas, Fernando}, year={2000} }
LibreCat
2000 | Report | LibreCat-ID: 8210
@book{Mehner_Wagner_2000, title={Ablaufvisualisierung für nebenläufige Java-Programme mit UML Interaktionsdiagrammen}, publisher={University of Saarbrücken}, author={Mehner, Katharina and Wagner, Annika}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8329
@inproceedings{Hendrik Hausmann_Heckel_Sauer_2000, title={Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung}, booktitle={Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8330
@inproceedings{Depke_Heckel_Küster_2000, place={Berlin, Germany}, title={Modeling Agent-Based Systems with Graph Transformation and UML: From Requirement Specifcation to Object-Oriented Design}, booktitle={Proceedings of the workshop on Graph Transformation Systems (GraTra 2000), Berlin (Germany)}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8331
@inproceedings{Heckel_Llabrés_Ehrig_Orejas_2000, title={Concurrency of Double-Pullback Graph Transitions}, booktitle={Proceedings of workshop on Graph Transformation Systems (GraTra; satellite event of the ETAPS 2000), Berlin (Germany)}, author={Heckel, Reiko and Llabrés, Mercé and Ehrig, Hartmut and Orejas, Fernando}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8332
@inproceedings{Busatto_Engels_Mehner_Wagner_2000, place={Berlin/Heidelberg}, series={LNCS}, title={A Framework for Adding Packages to Graph Transformation Approaches}, volume={1764}, DOI={http://dx.doi.org/10.1007/b75045}, booktitle={Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany)}, publisher={Springer}, author={Busatto, Giorgio and Engels, Gregor and Mehner, Katharina and Wagner, Annika}, year={2000}, pages={352–367}, collection={LNCS} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8333
@inproceedings{Corradini_Heckel_Montanari_2000, title={Graphical Operational Semantics}, booktitle={Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)}, publisher={Carleton Scientific}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={2000}, pages={411–418} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8334
@inproceedings{Depke_Heckel_2000, title={Towards Role-based Modeling of Autonomous Agents}, booktitle={Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)}, author={Depke, Ralph and Heckel, Reiko}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8335
@inproceedings{Depke_Heckel_Küster_2000, place={Limerick, Ireland}, title={Requirement Specification and Design of Agent-Based Systems with Graph Transformation, Roles and UML}, booktitle={Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (satellite event of the ICSE 2000), Limerick (Ireland)}, publisher={University of Limerick}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8336
@inproceedings{Depke_Heckel_Küster_2000, title={Deploying Agents in an Electronic Banking Environment}, booktitle={Proceedings of the Workshop on Agents in Industry (Agents 2000; satellite event of the 4th International Conference on Autonomous Agents), Barcelona (Spain)}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8337
@inproceedings{Depke_Heckel_Küster_2000, place={Münster}, title={Rollenbasierte Modellierung autonomer Agenten}, booktitle={Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)}, publisher={Universität Münster}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8338
@inproceedings{Depke_Heckel_2000, title={Formalizing the Development of Agent-Based Systems Using Graph Processes}, booktitle={Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)}, publisher={Carleton Scientific}, author={Depke, Ralph and Heckel, Reiko}, year={2000}, pages={419–426} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8339
@inproceedings{Engels_Heckel_2000, title={From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation}, booktitle={Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (satellite events of the ICALP 2000), Geneva(Switzerland)}, publisher={Carleton Scientific}, author={Engels, Gregor and Heckel, Reiko}, year={2000}, pages={373–382} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8340
@inproceedings{Engels_Küster_Groenewegen_2000, place={Munich (Germany)}, title={Modeling Concurrent Behavior through Consistent Statechart Views}, number={0006}, booktitle={Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)}, publisher={Ludwig-Maximilians-University}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2000}, pages={44–49} }
LibreCat
2000 | Journal Article | LibreCat-ID: 7396
@article{Engels_Heckel_2000, title={Graph Transformation and Visual Modeling Techniques}, number={71}, journal={Bulletin of the EATCS}, author={Engels, Gregor and Heckel, Reiko}, year={2000}, pages={186–202} }
LibreCat