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.
911 Publications
2004 | Conference Paper | LibreCat-ID: 7918
Style-Based Refinement of Dynamic Software Architectures
L. Baresi, R. Heckel, S. Thöne, D. Varró, in: Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway), IEEE Computer Society, Washington, DC, USA, 2004, pp. 155–166.
LibreCat
L. Baresi, R. Heckel, S. Thöne, D. Varró, in: Proceedings of the Conference on Software Architecture (WICSA 2004), Oslo (Norway), IEEE Computer Society, Washington, DC, USA, 2004, pp. 155–166.
2004 | Conference Paper | LibreCat-ID: 7919
Software Testing via Model Checking
F. Belli, B. Güldali, in: Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), Springer, Berlin/Heidelberg, 2004, pp. 907–916.
LibreCat
| DOI
F. Belli, B. Güldali, in: Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), Springer, Berlin/Heidelberg, 2004, pp. 907–916.
2004 | Conference Paper | LibreCat-ID: 7920
Conceptual Modeling of Styles For Mobile Systems: A layered approach based on graph transformation
R. Heckel, P. Guo, in: Proceedings of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway), Springer, Berlin/Heidelberg, 2004, pp. 65–79.
LibreCat
| DOI
R. Heckel, P. Guo, in: Proceedings of the Conference on Mobile Information Systems (MOBIS 2004), Oslo (Norway), Springer, Berlin/Heidelberg, 2004, pp. 65–79.
2004 | Conference Paper | LibreCat-ID: 7921
Application of Graph Transformation for Automating Web Service Discovery
R. Heckel, A. Cherchago, in: Proceedings of the Seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany), Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Dagstuhl, Germany, 2004.
LibreCat
R. Heckel, A. Cherchago, in: Proceedings of the Seminar on Language Engineering for Model-Driven Software Development (2003), Dagstuhl (Germany), Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Dagstuhl, Germany, 2004.
2004 | Conference Paper | LibreCat-ID: 7922
Model-Based Design of Embedded Systems
T. Schattkowsky, W. Müller, in: Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria), IEEE Computer Society, Los Alamitos, CA, USA, 2004, pp. 121–128.
LibreCat
T. Schattkowsky, W. Müller, in: Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria), IEEE Computer Society, Los Alamitos, CA, USA, 2004, pp. 121–128.
2004 | Conference Paper | LibreCat-ID: 7923
Specification Matching of Web Services Using Conditional Graph Transformation Rules
A. Cherchago, R. Heckel, in: Proceedings of the Conference on Graph Transformation (ICGT 2004), Rome (Italy), Springer, Berlin/Heidelberg, 2004, pp. 304–318.
LibreCat
| DOI
A. Cherchago, R. Heckel, in: Proceedings of the Conference on Graph Transformation (ICGT 2004), Rome (Italy), Springer, Berlin/Heidelberg, 2004, pp. 304–318.
2004 | Conference Paper | LibreCat-ID: 7924
Automated Data and Service Mapping for Integrated Electronic Markets
S. Böttcher, S. Groppe, T. Schattkowsky, in: Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.
LibreCat
S. Böttcher, S. Groppe, T. Schattkowsky, in: Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.
2004 | Conference Paper | LibreCat-ID: 7925
An Architecture Description Language for Developing Automotive ECU-Software
J. Eden, M. Weber, M.-O. Reiser, T. Wierczoch, U. Freund, O. Gurrieri, J. Küster, H. Lönn, J. Migge, in: Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France), 2004, pp. 101–112.
LibreCat
J. Eden, M. Weber, M.-O. Reiser, T. Wierczoch, U. Freund, O. Gurrieri, J. Küster, H. Lönn, J. Migge, in: Proceedings of the 14th International Symposium and 4th European Systems Engineering Conference (INCOSE 2004), Toulouse (France), 2004, pp. 101–112.
2004 | Conference Paper | LibreCat-ID: 7926
Guest Editors' Introduction
G. Engels, S. Sauer, in: International Journal of Software Engineering and Knowledge Engineering (IJSEKE), World Scientific Publishing, 2004, pp. 543–544.
LibreCat
| DOI
G. Engels, S. Sauer, in: International Journal of Software Engineering and Knowledge Engineering (IJSEKE), World Scientific Publishing, 2004, pp. 543–544.
2004 | Conference Paper | LibreCat-ID: 7927
Modeling and Simulation of Context-Aware Mobile Systems
P. Guo, R. Heckel, in: Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), IEEE Computer Society, Washington, DC, USA, 2004, pp. 430–433.
LibreCat
P. Guo, R. Heckel, in: Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), IEEE Computer Society, Washington, DC, USA, 2004, pp. 430–433.
2004 | Conference Paper | LibreCat-ID: 7928
Simulation and Testing of Mobile Computing Systems using Fujaba
P. Guo, R. Heckel, in: Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany), Darmstadt, Germany, 2004.
LibreCat
P. Guo, R. Heckel, in: Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany), Darmstadt, Germany, 2004.
2004 | Conference Paper | LibreCat-ID: 7929
Model-Based Specification and Execution of Embedded Real-Time Systems
T. Schattkowsky, W. Müller, in: Proceedings of the Conference on Design Automation and Test in Europe (DATE 2004), Paris, France, IEEE Computer Society, Los Alamitos, CA, USA, 2004, pp. 1392–1393.
LibreCat
| DOI
T. Schattkowsky, W. Müller, in: Proceedings of the Conference on Design Automation and Test in Europe (DATE 2004), Paris, France, IEEE Computer Society, Los Alamitos, CA, USA, 2004, pp. 1392–1393.
2004 | Conference Paper | LibreCat-ID: 7930
Direct Execution of UML 2.0 Sequence Diagrams
T. Schattkowsky, in: Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA), 2004.
LibreCat
T. Schattkowsky, in: Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA), 2004.
2004 | Conference Paper | LibreCat-ID: 7931
Efficient Execution of UML State Machines on a Virtual Machine
T. Schattkowsky, in: Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.
LibreCat
T. Schattkowsky, in: Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.
2004 | Conference Paper | LibreCat-ID: 7932
Model-based Discovery of Web Services
J. Hendrik Hausmann, R. Heckel, M. Lohmann, in: Proceedings of the IEEE International Conference on Web Services (ICWS 2004), IEEE Computer Society, Washington, DC, USA, 2004, pp. 324–331.
LibreCat
| DOI
J. Hendrik Hausmann, R. Heckel, M. Lohmann, in: Proceedings of the IEEE International Conference on Web Services (ICWS 2004), IEEE Computer Society, Washington, DC, USA, 2004, pp. 324–331.
2004 | Conference Paper | LibreCat-ID: 7933
Peer-to-Peer-based Web Services for Collaborative Engineering Environments
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France), IEEE Computer Society, Los Alamitos, CA, USA, 2004.
LibreCat
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France), IEEE Computer Society, Los Alamitos, CA, USA, 2004.
2004 | Journal Article | LibreCat-ID: 7382
Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams
J. Hendrik Hausmann, R. Heckel, S. Sauer, Software and Systems Modeling 3 (2004) 181–193.
LibreCat
J. Hendrik Hausmann, R. Heckel, S. Sauer, Software and Systems Modeling 3 (2004) 181–193.
2004 | Book Chapter | LibreCat-ID: 7533
Adaptive Cruise Controller Case Study
A. Krupp, O. Lundkvist, T. Schattkowsky, C. Snook, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004.
LibreCat
A. Krupp, O. Lundkvist, T. Schattkowsky, C. Snook, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004.
2004 | Book Chapter | LibreCat-ID: 7534
Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering
T. Schattkowsky, W. Mueller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition, Lighthouse Point, FL, 2004, pp. 5–14.
LibreCat
T. Schattkowsky, W. Mueller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition, Lighthouse Point, FL, 2004, pp. 5–14.
2004 | Dissertation | LibreCat-ID: 7585
Consistency Management of Object-Oriented Behavioral Models
J. Küster, Consistency Management of Object-Oriented Behavioral Models, 2004.
LibreCat
J. Küster, Consistency Management of Object-Oriented Behavioral Models, 2004.