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: 516
Jungmann, Alexander, and Bernd Kleinjohann. “Learning Recommendation System for Automated Service Composition.” Proceedings of the 10th IEEE International Conference on Services Computing (SCC), 2013, pp. 97–104, doi:10.1109/SCC.2013.66.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 517
Walther, Sven, and Heike Wehrheim. “Knowledge-Based Verification of Service Compositions - An SMT Approach.” Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2013, pp. 24–32, doi:10.1109/ICECCS.2013.14.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 518
Petrausch, Vanessa. Klassifizierung unterschiedlicher Ansätze zum Matching von Services. Universität Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 527
Christin Platenius, Marie. “Fuzzy Service Matching in On-The-Fly Computing.” 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, pp. 715–18, doi:10.1145/2491411.2492405.
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 529
Heinzemann, Christian, and Steffen Becker. “Executing Reconfigurations in Hierarchical Component Architectures.” Proceedings of the 16th International ACM SigSoft Symposium on Component-Based Software Engineering (CBSE), 2013, pp. 3–12, doi:10.1145/2465449.2465452.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 530
Buse, Dominik. Entwurf Kooperativer Verhaltensweisen Heterogener Roboter. Universität Paderborn, 2013.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 533
Borkowski, Richard. Entwicklung eines Hybriden Planers zur verhaltensorientierten Selbstoptimierung. Universität Paderborn, 2013.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 543
Jagannath, Kavitha. 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, Christian. 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, Zille, et al. “Automated Service Composition for On-the-Fly SOAs.” Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13), 2013, pp. 524--532, doi:10.1007/978-3-642-45005-1_42.
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 556
Nickel, Tobias. Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking. Universität Paderborn, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 560
Platenius, Marie, et al. “A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing.” Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–52, doi:10.1145/2465449.2465454.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 568
Jungmann, Alexander, and Bernd Kleinjohann. “Towards the Application of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated Service Composition.” Proceedings of the 9th IEEE International Conference on Service Computing (SCC), 2012, pp. 701–02, doi:10.1109/SCC.2012.76.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 569
Becker, Steffen, et al. “Towards Modeling Reconfiguration in Hierarchical Component Architectures.” Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE), 2012, pp. 23--28, doi:10.1145/2304736.2304742.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 571
Jungmann, Alexander, and Bernd Kleinjohann. “Towards an Integrated Service Rating and Ranking Methodology for Quality Based Service Selection in Automatic Service Composition.” Proceedings of the 4th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2012, pp. 43–47.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 572
Huma, Zille, et al. “Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions.” Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS), 2012, pp. 709--725, doi:10.1007/978-3-642-33666-9_45.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 573
Arifulina, Svetlana. “Towards a Framework for the Integration of Modeling Languages.” Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)), edited by Ulrich W. Eisenecker and Christian Bucholdt, 2012, pp. 23--26.
LibreCat
| Files available
2012 | Dissertation | LibreCat-ID: 586 | 
Drzevitzky, Stephanie. Proof-Carrying Hardware: A Novel Approach to Reconfigurable Hardware Security. Universität Paderborn, 2012.
LibreCat
| Files available
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 590
Wonisch, Daniel, and Heike Wehrheim. “Predicate Analysis with Block-Abstraction Memoization.” Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–47, doi:10.1007/978-3-642-34281-3_24.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 596
Becker, Matthias, et al. “Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey.” Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12), 2012, pp. 117–22, doi:10.1145/2304696.2304716.
LibreCat
| Files available
| DOI