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.
9791 Publications
2001 | Conference Paper | LibreCat-ID: 7880
@inproceedings{Baldan_Corradini_Ehrig_Heckel_2001, place={Berlin/Heidelberg}, series={LNCS}, title={Compositional Modeling of Reactive Systems Using Open Nets}, volume={2154}, booktitle={Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark)}, publisher={Springer}, author={Baldan, Paolo and Corradini, Andrea and Ehrig, Hartmut and Heckel, Reiko}, year={2001}, pages={502–518}, collection={LNCS} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 7881
@inproceedings{Küster_Stroop_2001, place={Washington, DC, USA}, title={Consistent Design of Embedded Real-Time Systems with UML-RT}, DOI={https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815}, booktitle={Proceedings of the conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany)}, publisher={IEEE Computer Society}, author={Küster, Jochen and Stroop, Joachim}, year={2001}, pages={31–40} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7882
@inproceedings{Depke_Heckel_Küster_2001, place={New York, NY, USA}, title={Improving the Agent-Oriented Modeling Process with Roles}, booktitle={Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada)}, publisher={ACM Press}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2001}, pages={640–647} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 7883
@inproceedings{Depke_Heckel_2001, title={Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform}, booktitle={Proceedings of the 9. Kolloquium Software-Entwicklung für Internet und Intranet, Ostfildern (Germany)}, publisher={Technische Akademie Esslingen}, author={Depke, Ralph and Heckel, Reiko}, year={2001} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 7884
@inproceedings{Engels_Heckel_Küster_2001, place={Berlin/Heidelberg}, title={Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model}, volume={2185}, DOI={http://dx.doi.org/10.1007/3-540-45441-1_21}, booktitle={Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Küster, Jochen}, year={2001}, pages={272–287} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7885
@inproceedings{Engels_Küster_Groenewegen_Heckel_2001, place={New York, NY, USA}, title={A methodology for specifying and analyzing consistency of object-oriented behavioral models}, volume={26}, DOI={http://dx.doi.org/10.1145/503271.503235}, number={5}, booktitle={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)}, publisher={ACM Press}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk and Heckel, Reiko}, year={2001}, pages={186–195} }
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7886
@inproceedings{Geiger_Flake_Küster_2001, title={Towards UML-based Analysis and Design of Multi-Agent Systems}, booktitle={Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates)}, author={Geiger, Christian and Flake, Stephan and Küster, Jochen}, year={2001} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 7887
@inproceedings{Heckel_Engels_2001, place={Lisbon}, title={Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution}, number={UNL-DI-1-2001}, booktitle={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)}, publisher={Universidade Nova de Lisboa}, author={Heckel, Reiko and Engels, Gregor}, year={2001}, pages={42–47} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 7888
@inproceedings{Hendrik Hausmann_Heckel_Sauer_2001, place={Washington, DC, USA}, title={Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams}, booktitle={Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)}, publisher={IEEE Computer Society}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2001}, pages={80–87} }
LibreCat
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 | Conference Paper | LibreCat-ID: 8130
@inproceedings{Ochs_Krauter_2001, title={Online Energy Monitoring and Control of a School Building}, booktitle={Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 2, S. 917–919}, author={Ochs, F. and Krauter, Stefan}, year={2001} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 8131
@inproceedings{Krauter_2001, title={Façade Elements for Combined Photovoltaic–Solar Thermal Energy Generation and Building Insulation}, booktitle={Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 1, S. 275–262}, author={Krauter, Stefan}, year={2001} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 8132
@inproceedings{Krauter_Valentin_2001, title={Software for Simulation of Photovoltaic Systems in Buildings}, booktitle={Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 1, S. 283–285}, author={Krauter, Stefan and Valentin, G.}, year={2001} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 8133
@inproceedings{Krauter_2001, title={RIO 02 – The World Energy and Climate Event}, booktitle={Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band. 2, S. 1049–1052}, author={Krauter, Stefan}, year={2001} }
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