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.

5711 Publications


2012 | Book Chapter | LibreCat-ID: 7557
M. Mlynarski, B. Güldali, S. Weißleder, and G. Engels, “Model-Based Testing: Achievements and Future Challenges,” in Advances in Computers, vol. 86, A. Hurson and A. Memon, Eds. Elsevier, 2012, pp. 1–39.
LibreCat | DOI
 

2012 | Dissertation | LibreCat-ID: 7572
F. Christ, Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen. Universität Paderborn, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 8473
C. Gerth and M. Luckey, “Towards Rich Change Management for Business Process Models,” in Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12), 2012, vol. 32, no. 4, pp. 32–34.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 8475
Z. Huma , C. Gerth , G. Engels, and O. Juwig, “A UML-based Rich Service Description Language for Automatic Service Discovery of Heterogeneous Service Partners,” in Proceedings of the Forum at the CAiSE’12 Conference on Advanced Information Systems Engineering, 2012, vol. 855, pp. 90--97.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 8476
M. Luckey and F. Mutz, “Modeling with Adapt Cases,” in Repository for Model-Driven Development (ReMoDD), 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 8477
S. Geisen , M. Luckey , and G. Engels, “Ein Ansatz zur dynamischen Qualitätsmessung,  -bewertung und Anpassung von Software Engineering Methoden,” in Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement und Vorgehensmodelle, 2012, pp. 111–120.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 8478
S. Arifulina, “Towards a Framework for the Integration of Modeling Languages,” in Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)), 2012, vol. 935, pp. 23–26.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 8479
B. Güldali , S. Sauer, and P. Löhr, “Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme,” in Proceedings of the Workshop Modellbasierte und Modellgetriebene Softwaremodernisierung (MMSM 2012), 2012, vol. 32, no. 2, pp. 5–6.
LibreCat | Download (ext.)
 

2012 | Conference Paper | LibreCat-ID: 8480
G. Mussbacher et al., “Assessing composition in modeling approaches,” in Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012), 2012.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 8483
M. Luckey , C. Thanos , C. Gerth, and G. Engels, “Multi-Staged Quality Assurance for Self-Adaptive Systems,” in Proceedings of 1st International Workshop on EVALUATION for SELF-ADAPTIVE and SELF-ORGANIZING SYSTEMS at SASO’12, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 8484
S. Geisen, “Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt,” in Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium, 2012, vol. Report 01/12, pp. 7–12.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 5183
E. Bodden, P. Lam, and L. Hendren, “Partially Evaluating Finite-State Runtime Monitors Ahead of Time,” ACM Transactions on Programming Languages and Systems, vol. 34, no. 2, pp. 1–52, 2012.
LibreCat | Files available | DOI | Download (ext.)
 

2012 | Conference Paper | LibreCat-ID: 565
G. Besova, S. Walther, H. Wehrheim, and S. Becker, “Weaving-based configuration and modular transformation of multi-layer systems,” in Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), 2012, pp. 776–792.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 6720
S. Böttcher, R. Hartel, and S. Heindorf, “Optimized XPath evaluation for Schema-compressed XML data,” in ADC, 2012, vol. 124, pp. 137–144.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 6742
S. Böttcher, D. Bokermann, and R. Hartel, “Generalizing and Improving SQL/XML Query Evaluation,” in 8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12), 2012.
LibreCat | DOI
 

2012 | Book Chapter | LibreCat-ID: 16445
B. Kempkes and F. Meyer auf der Heide, “Continuous Local Strategies for Robotic Formation Problems,” in Experimental Algorithms, Berlin, Heidelberg, 2012.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 16446
B. Kempkes, P. Kling, and F. Meyer auf der Heide, “Optimal and competitive runtime bounds for continuous, local gathering of mobile robots,” in Proceedinbgs of the 24th ACM symposium on Parallelism in algorithms and architectures - SPAA ’12, 2012.
LibreCat | DOI
 

2012 | Book Chapter | LibreCat-ID: 16448
B. Kempkes and F. Meyer auf der Heide, “Local, Self-organizing Strategies for Robotic Formation Problems,” in Algorithms for Sensor Systems, Berlin, Heidelberg, 2012.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 16929
G. Domik, “Faculty Submitted Student Work at Siggraph 2012,” in Curated exhibit at Siggraph, Los Angeles, 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 10636
A. Boschmann and M. Platzner, “Reducing classification accuracy degradation of pattern recognition based myoelectric control caused by electrode shift using a high density electrode array,” in Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC), 2012.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed