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.

920 Publications


2014 | Journal Article | LibreCat-ID: 7270
M. Grieger, S. Sauer, and M. Klenke, “Architectural Restructuring by Semi-Automatic Clustering to Facilitate Migration towards a Service-oriented Architecture,” Softwaretechnik-Trends, Proceedings of the 2nd Workshop Model-Based and Model-Driven Software Modernization (MMSM), vol. 34, no. 2, pp. 44–45, 2014.
LibreCat
 

2014 | Mastersthesis | LibreCat-ID: 8842
I. Jovanovikj, Detection and Resolution of Data-Flow Differences in Business Process Models. 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 394
S. Schwichtenberg, C. Gerth, Z. Huma, and G. Engels, “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations,” in Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–195.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 401
M. C. Platenius, S. Arifulina, R. Petrlic, and W. Schäfer, “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching,” in Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 402
S. Arifulina, M. C. Platenius, C. Gerth, S. Becker, G. Engels, and W. Schäfer, “Market-optimized Service Specification and Matching,” in Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.
LibreCat | Files available | DOI
 

2014 | Dissertation | LibreCat-ID: 6727
L. van Rooijen, A combinatorial approach to the separation problem for regular languages. (Une approche combinatoire du problème de séparation pour les langages réguliers). University of Bordeaux, France, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 6728
T. Place, L. van Rooijen, and M. Zeitoun, “On Separation by Locally Testable and Locally Threshold Testable Languages,” Logical Methods in Computer Science, vol. 10, no. 3, 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 6741
D. Bokermann, C. Gerth, and G. Engels, “Use Your Best Device! Enabling Device Changes at Runtime,” in 12th International Conference on Business Process Management (BPM 2014), 2014, vol. 8659, pp. 357–365.
LibreCat | DOI
 

2013 | Conference (Editor) | LibreCat-ID: 7762
M. Fazal-Baqaie, Ed., Vorgehensmodelle 2013: Vorgehensmodelle - Anspruch und Wirklichkeit - Proceedings der 20. Tagung der Fachgruppe Vorgehensmodelle im Fachgebiet Wirtschaftsinformatik (WI-VM) der Gesellschaft für Informatik e.V., Lörrach (Germany), vol. P-224. GI, Köllen Druck+Verlag GmbH, Bonn, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8057
B. Nagel, C. Gerth, J. Post, and G. Engels, “Ensuring Consistency Among Business Goals and Business Process Models,” in Proceedings of the 17th IEEE International EDOC Conference (EDOC’13), 2013, pp. 17–26.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8058
C. Schumacher, G. Engels, B. Güldali, M. Niehammer, and M. Hamburg, “Modellbasierte Bewertung von Testprozessen nach TPI NEXT® mit Geschäftsprozess-Mustern,” in Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2013), Aachen (Germany), 2013, vol. P-213, pp. 331–344.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8059
G. Engels, “On-the-Fly Computing - Das Entwicklungs- und Betriebsparadigma für Softwaresysteme der Zukunft,” in Software Engineering 2013, 2013, vol. P-213, pp. 17–18.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8060
Z. Huma, C. Gerth, G. Engels, and O. Juwig, “Automated Service Composition for On-the-Fly SOAs,” in Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13), 2013, vol. 8274, pp. 524–532.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8061
M. Luckey and G. Engels, “High-­Quality Specification of Self-­Adaptive Software Systems,” in Proceeding of the 8th international symposium on Software engineering for adaptive and self-managing systems, 2013, pp. 143–152.
LibreCat | Files available
 

2013 | Conference Paper | LibreCat-ID: 8062
F. Brüseke, S. Becker, and G. Engels, “Decision Support via Automated Metric Comparison for the Palladio-based Performance Blame Analysis,” in Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague (Czech Republic), 2013, pp. 77–88.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 8063
M. Becker, M. Luckey, and S. Becker, “Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time,” in Ninth International ACM Sigsoft Conference on the Quality of Software Architectures, 2013, pp. 43–52.
LibreCat
 

2013 | Report | LibreCat-ID: 8222
J. Küster, D. Kovács, E. Bauer, and C. Gerth, Integrating Coverage Analysis into Test-driven Development of Model Transformations. Zurich: IBM Research, 2013.
LibreCat
 

2013 | Report | LibreCat-ID: 8223
Z. Huma, C. Gerth, and G. Engels, Automated Service Discovery and Composition for On-the-Fly SOAs. University of Paderborn, Germany, 2013.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 5752
E. Yigitbas, C. Gerth, and S. Sauer, “Konzeption modellbasierter Benutzungsschnittstellen für verteilte Selbstbedienungssysteme,” in Informatik 2013, 43. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Informatik angepasst an Mensch, Organisation und Umwelt, 16.-20. September 2013, Koblenz, Deutschland, 2013, pp. 2714–2723.
LibreCat
 

2013 | Book Chapter | LibreCat-ID: 6276
F. Klompmaker, V. Paelke, and H. G. Fischer, “A Taxonomy-Based Approach towards NUI Interaction Design,” in Distributed, Ambient, and Pervasive Interactions, vol. 8028, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 32–41.
LibreCat | DOI
 

Filters and Search Terms

department=66

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed