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
Mlynarski M, Güldali B, Weißleder S, Engels G. Model-Based Testing: Achievements and Future Challenges. In: Hurson A, Memon A, eds. Advances in Computers. Vol 86. Advances in Computers. Elsevier; 2012:1-39. doi:http://dx.doi.org/10.1016/B978-0-12-396535-6.00001-6
LibreCat
| DOI
2012 | Dissertation | LibreCat-ID: 7572
Christ F. Automatische Kompatibilitätsprüfung Framework-Basierter Anwendungen. Universität Paderborn; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8473
Gerth C, Luckey M. Towards Rich Change Management for Business Process Models. In: Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’12). Vol 32. Softwaretechnik-Trends. FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI); 2012:32-34.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8475
Huma Z, Gerth C, Engels G, Juwig O. 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. Vol 855. CEUR Workshop Proceedings. CEUR-WS.org; 2012:90--97. doi:http://ceur-ws.org/Vol-855/paper11.pdf
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 8476
Luckey M, Mutz F. Modeling with Adapt Cases. In: University of Paderborn, ed. Repository for Model-Driven Development (ReMoDD). ; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8477
Geisen S, Luckey M, Engels G. Ein Ansatz zur dynamischen Qualitätsmessung, -bewertung und Anpassung von Software Engineering Methoden. In: Proceedings of 19. GI-WIVM Workshop: Qualitätsmanagement Und Vorgehensmodelle. Shaker Verlag; 2012:111-120.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8478
Arifulina S. 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)). Vol 935. CEUR Workshop Proceedings. CEUR-WS.org; 2012:23-26.
LibreCat
2012 | Conference Paper | LibreCat-ID: 8479
Güldali B, Sauer S, Löhr P. Entwicklung eines Softwarewerkzeugs für die modellgetriebene Migration betrieblicher Informationssysteme. In: Proceedings of the Workshop Modellbasierte Und Modellgetriebene Softwaremodernisierung (MMSM 2012). Vol 32. Softwaretechnik-Trends; 2012:5-6.
LibreCat
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 8480
Mussbacher G, Alam O, Alhaj M, et al. Assessing composition in modeling approaches. In: Proceedings of the Workshop about Comparing Modeling Approaches 2012 (@MODELS 2012). CMA’12. New York, NY, USA: ACM; 2012. doi:https://dl.acm.org/citation.cfm?id=2459032
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 8483
Luckey M, Thanos C, Gerth C, Engels G. 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
Geisen S. Ein Ansatz zur Anpassung von Software Engineering Methoden im laufenden Projekt. In: Proceedings of Software Engineering 2012 (SE 2012) - Doktorandensymposium. Vol Report 01/12. Petra Hofstedt, Claus Lewerentz (BTU Cottbus); 2012:7-12.
LibreCat
2012 | Journal Article | LibreCat-ID: 5183
Bodden E, Lam P, Hendren L. Partially Evaluating Finite-State Runtime Monitors Ahead of Time. ACM Transactions on Programming Languages and Systems. 2012;34(2):1-52. doi:10.1145/2220365.2220366
LibreCat
| Files available
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 565
Besova G, Walther S, Wehrheim H, Becker S. Weaving-based configuration and modular transformation of multi-layer systems. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS). LNCS. ; 2012:776-792. doi:10.1007/978-3-642-33666-9_49
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 6720
Böttcher S, Hartel R, Heindorf S. Optimized XPath evaluation for Schema-compressed XML data. In: ADC. Vol 124. {CRPIT}. Australian Computer Society; 2012:137-144.
LibreCat
2012 | Conference Paper | LibreCat-ID: 6742
Böttcher S, Bokermann D, Hartel R. Generalizing and Improving SQL/XML Query Evaluation. In: 8th International Conference on Signal Image Technology and Internet Based Systems (SITIS’12). IEEE; 2012. doi:10.1109/sitis.2012.72
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 16445
Kempkes B, Meyer auf der Heide F. Continuous Local Strategies for Robotic Formation Problems. In: Experimental Algorithms. Berlin, Heidelberg; 2012. doi:10.1007/978-3-642-30850-5_2
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 16446
Kempkes B, Kling P, Meyer auf der Heide F. 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. doi:10.1145/2312005.2312009
LibreCat
| DOI
2012 | Book Chapter | LibreCat-ID: 16448
Kempkes B, Meyer auf der Heide F. Local, Self-organizing Strategies for Robotic Formation Problems. In: Algorithms for Sensor Systems. Berlin, Heidelberg; 2012. doi:10.1007/978-3-642-28209-6_2
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 16929
Domik G. Faculty Submitted Student Work at Siggraph 2012. In: Curated Exhibit at Siggraph. Curated exhibit at Siggraph 2012. Los Angeles; 2012.
LibreCat
2012 | Conference Paper | LibreCat-ID: 10636
Boschmann A, Platzner M. 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