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.
367 Publications
2013 | Conference Paper | LibreCat-ID: 484
Platenius MC, von Detten M, Gerth C, Schäfer W, Engels G. Service Matching under Consideration of Explicitly Specified Service Variants. In: IEEE 20th International Conference on Web Services (ICWS 2013). ; 2013:613-614. doi:10.1109/ICWS.2013.98
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 485
Mohr F, Kleine Büning H. Semi-Automated Software Composition Through Generated Components. In: Proceedings of the 15th International Conference on Information Integration and Web-Based Applications & Services (IiWAS). ; 2013:676-680. doi:10.1145/2539150.2539235
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 494
von Detten M. Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn; 2013.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 495
Mohr F, Lettmann T, Kleine Büning H. Reducing Nondeterminism in Automated Service Composition. In: Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA). ; 2013:154-161. doi:10.1109/SOCA.2013.25
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 498
Wonisch D, Schremmer A, Wehrheim H. Programs from Proofs – A PCC Alternative. In: Proceedings of the 25th International Conference on Computer Aided Verification (CAV). LNCS. ; 2013:912-927. doi:10.1007/978-3-642-39799-8_65
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 7569
Soltenborn C. Quality Assurance with Dynamic Meta Modeling. Universität Paderborn; 2013. doi:http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 502
Becker M, Luckey M, Becker S. Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time. In: Proceedings of the 9th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13). ; 2013:43-52. doi:10.1145/2465478.2465489
LibreCat
| Files available
| DOI
2013 | Mastersthesis | LibreCat-ID: 504
Schwichtenberg S. Ontology-Based Normalization and Matching of Rich Service Descriptions. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 506
Engels G. On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft. In: Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013). LNI. ; 2013:17-18.
LibreCat
| Files available
2013 | Journal Article | LibreCat-ID: 515
Jungmann A, Kleinjohann B, Kleinjohann E. Learning Service Recommendations. International Journal of Business Process Integration and Management. 2013;(4):284-297. doi:10.1504/IJBPIM.2013.059135
LibreCat
| Files available
| DOI
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 516
Jungmann A, Kleinjohann B. Learning Recommendation System for Automated Service Composition. In: Proceedings of the 10th IEEE International Conference on Services Computing (SCC). ; 2013:97-104. doi:10.1109/SCC.2013.66
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 517
Walther S, Wehrheim H. Knowledge-Based Verification of Service Compositions - An SMT approach. In: Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS). ; 2013:24-32. doi:10.1109/ICECCS.2013.14
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 518
Petrausch V. Klassifizierung unterschiedlicher Ansätze zum Matching von Services. Universität Paderborn; 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 527
Christin Platenius M. Fuzzy Service Matching in On-The-Fly Computing. In: Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE). ; 2013:715-718. doi:10.1145/2491411.2492405
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 529
Heinzemann C, Becker S. Executing Reconfigurations in Hierarchical Component Architectures. In: Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE). ; 2013:3-12. doi:10.1145/2465449.2465452
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 530
Buse D. Entwurf Kooperativer Verhaltensweisen Heterogener Roboter. Universität Paderborn; 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 533
Borkowski R. Entwicklung eines Hybriden Planers zur verhaltensorientierten Selbstoptimierung. Universität Paderborn; 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 543
Jagannath K. Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services. Universität Paderborn; 2013.
LibreCat
2013 | Dissertation | LibreCat-ID: 547
Gerth C. Business Process Models - Change Management. Universität Paderborn; 2013. doi:10.1007/978-3-642-38604-6
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 551
Huma Z, Gerth C, Engels G, Juwig O. Automated Service Composition for On-the-Fly SOAs. In: Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13). LNCS. ; 2013:524--532. doi:10.1007/978-3-642-45005-1_42
LibreCat
| Files available
| DOI