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
2004 | Conference Paper | LibreCat-ID: 7932
@inproceedings{Hendrik Hausmann_Heckel_Lohmann_2004, place={Washington, DC, USA}, title={Model-based Discovery of Web Services}, DOI={http://dx.doi.org/10.1109/ICWS.2004.80}, booktitle={Proceedings of the IEEE International Conference on Web Services (ICWS 2004)}, publisher={IEEE Computer Society}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Lohmann, Marc}, year={2004}, pages={324–331} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 7933
@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Los Alamitos, CA, USA}, title={Peer-to-Peer-based Web Services for Collaborative Engineering Environments}, booktitle={Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France)}, publisher={IEEE Computer Society}, author={Schattkowsky, Tim and Loeser, Christoph and Müller, Wolfgang}, year={2004} }
LibreCat
2004 | Journal Article | LibreCat-ID: 7382
@article{Hendrik Hausmann_Heckel_Sauer_2004, title={Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams}, volume={3}, number={3}, journal={Software and Systems Modeling}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2004}, pages={181–193} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 7533
@inbook{Krupp_Lundkvist_Schattkowsky_Snook_2004, place={Dordrecht}, title={Adaptive Cruise Controller Case Study}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Lundkvist, Ola and Schattkowsky, Tim and Snook, Colin}, editor={Mermet, J. Editor}, year={2004} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 7534
@inbook{Schattkowsky_Mueller_Pawlak_2004, place={Lighthouse Point, FL}, title={Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering}, booktitle={Workflow Handbook 2004}, publisher={Workflow Management Coalition}, author={Schattkowsky, Tim and Mueller, Wolfgang and Pawlak, Adam}, editor={Fischer, L. Editor}, year={2004}, pages={5–14} }
LibreCat
2004 | Dissertation | LibreCat-ID: 7585
@book{Küster_2004, title={Consistency Management of Object-Oriented Behavioral Models}, author={Küster, Jochen}, year={2004} }
LibreCat
2004 | Dissertation | LibreCat-ID: 7586
@book{Depke_2004, title={Visuelle Modellierung agentenbasierter Systeme}, author={Depke, Ralph}, year={2004} }
LibreCat
| Files available
2004 | Conference Paper | LibreCat-ID: 8386
@inproceedings{Sendall_Hauser_Koehler_Küster_Wahler_2004, title={Understanding Model Transformation by Classification and Formalization}, booktitle={Proceedings of the Workshop on Software Transformation Systems (STS 2004, satellite event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada)}, author={Sendall, Shane and Hauser, Rainer and Koehler, Jana and Küster, Jochen and Wahler, Michael}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 8387
@inproceedings{Heckel_Thöne_2004, place={Berlin/Heidelberg}, series={LNCS}, title={Behavior-Preserving Refinement Relations between Dynamic Software Architectures}, volume={3423}, booktitle={Proceedings of the workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain)}, publisher={Springer}, author={Heckel, Reiko and Thöne, Sebastian}, year={2004}, pages={1–27}, collection={LNCS} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 8388
@inproceedings{Heckel_Cherchago_Lohmann_2004, title={A Formal Approach to Service Specification and Matching based on Graph Transformation}, volume={105}, DOI={http://dx.doi.org/10.1016/j.entcs.2004.05.006}, booktitle={Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy}, publisher={Elsevier}, author={Heckel, Reiko and Cherchago, Alexey and Lohmann, Marc}, year={2004}, pages={37–49} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 8389
@inproceedings{Küster_2004, title={Systematic Validation of Model Transformations}, booktitle={Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon (Portugal)}, author={Küster, Jochen}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 8390
@inproceedings{Küster_Sendall_Wahler_2004, title={Comparing two Model Transformation Approaches}, booktitle={Proceedings of the Workshop on OCL and Model Driven Engineering (satellite event of the UML 2004), Lisbon (Portugal)}, publisher={University of Kent}, author={Küster, Jochen and Sendall, Shane and Wahler, Michael}, year={2004}, pages={114–127} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 8391
@inproceedings{Küster_2004, place={Amsterdam ,The Netherlands}, series={Electronic Notes in Theoretical Computer Science}, title={Towards Inconsistency Handling of Object-Oriented Behavioral Models}, volume={109}, DOI={http://dx.doi.org/10.1016/j.entcs.2004.02.056}, booktitle={International Workshop on Graph Transformation (GT-VMT 2004), Barcelona (Spain)}, publisher={Elsevier}, author={Küster, Jochen}, year={2004}, pages={57–69}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 8392
@inproceedings{Schattkowsky_Rettberg_2004, title={UML for FPGA Synthesis}, booktitle={Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA)}, author={Schattkowsky, Tim and Rettberg, Achim}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 8393
@inproceedings{Sendall_Küster_2004, title={Taming Model Round-Trip Engineering}, booktitle={Proceedings of Workshop on Best Practices for Model-Driven Software Development (satellite event of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)), Vancouver (Canada)}, author={Sendall, Shane and Küster, Jochen}, year={2004} }
LibreCat
| Download (ext.)
2003 | Conference Paper | LibreCat-ID: 7907
@inproceedings{Schattkowsky_2003, title={A Model-based Approach for Dynamic Tool Integration}, booktitle={Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA)}, author={Schattkowsky, Tim}, year={2003} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 7908
@inproceedings{Engels_Sauer_Neu_2003, place={Washington, DC, USA}, title={Integrating software engineering and user-centred design for multimedia software developments}, DOI={http://dx.doi.org/10.1109/HCC.2003.1260240}, booktitle={Proceedings of the conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)}, publisher={IEEE Computer Society}, author={Engels, Gregor and Sauer, Stefan and Neu, Bettina}, year={2003}, pages={254–256} }
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 7909
@inproceedings{Alfert_Doberkat_Engels_Lohmann_Magenheim_Schürr_2003, place={Heidelberg}, title={MuSofT: Multimedia in der Softwaretechnik}, booktitle={Proceedings of the conference on Software Engineering im Unterricht der Hochschulen (SEUH 2003), Berlin (Germany)}, publisher={dpunkt Verlag}, author={Alfert, Klaus and Doberkat, Ernst-Erich and Engels, Gregor and Lohmann, Marc and Magenheim, Johannes and Schürr, Andy}, year={2003}, pages={70–80} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 7910
@inproceedings{Engels_Heckel_Küster_2003, place={Berlin/Heidelberg}, series={LNCS}, title={The Consistency Workbench: A Tool for Consistency Management in UML-based Development}, volume={2863}, booktitle={Proceedings of the 6th International Conference on The Unified Modeling Language: Modeling Languages and Applications (UML 2003), San Francisco, CA (USA)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Küster, Jochen}, year={2003}, pages={356–359}, collection={LNCS} }
LibreCat
2003 | Conference Paper | LibreCat-ID: 7911
@inproceedings{Engels_Küster_Heckel_Lohmann_2003, series={Electronic Notes in Theoretical Computer Science}, title={Model Based Verification and Validation of Properties}, volume={82}, DOI={dx.doi.org/10.1016/S1571-0661(04)80752-7}, number={7}, booktitle={Proceedings of the conference on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA 2003, Satellite Event of the ETAPS 2003), Warsaw (Poland)}, publisher={Elsevier}, author={Engels, Gregor and Küster, Jochen and Heckel, Reiko and Lohmann, Marc}, year={2003}, pages={1–18}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat
| DOI