Brangewitz, Sonja, et al. “Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services.” Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.
LibreCat: /record/346

Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.”10.1007/978-3-319-14130-5_14__Proceedings of the 14th International Conference on Software Reuse (ICSR), 2014, pp. 188–203, doi:10.1007/978-3-319-14130-5_14.
LibreCat: /record/353
DOI: 10.1007/978-3-319-14130-5_14

Arifulina, Svetlana, et al. “SeSAME: Modeling and Analyzing High-Quality Service Compositions.”10.1145/2642937.2648621__Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 2014, pp. 839–42, doi:10.1145/2642937.2648621.
LibreCat: /record/364
DOI: 10.1145/2642937.2648621

Petrlic, Ronald, et al. “Security and Privacy Challenges in On-The-Fly Computing.” Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014, pp. 131–42.
LibreCat: /record/366

von Detten, Markus, et al. “Reengineering Component-Based Software Systems with Archimetrix.”10.1007/s10270-013-0341-9__Journal of Software and Systems Modeling, no. 4, Springer, 2014, pp. 1239--1268, doi:10.1007/s10270-013-0341-9.
LibreCat: /record/375
DOI: 10.1007/s10270-013-0341-9

Wonisch, Daniel, et al. “Programs from Proofs -- Approach and Applications.” Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.
LibreCat: /record/383

Huma, Zille, et al. “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains.”10.1007/s00450-014-0254-z__Computer Science - Research and Development, no. 3–4, Springer, 2014, pp. 333–61, doi:10.1007/s00450-014-0254-z.
LibreCat: /record/390
DOI: 10.1007/s00450-014-0254-z

Jungmann, Alexander, et al. “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services.”10.1109/SERVICES.2014.68__Proceedings of the 10th World Congress on Services (SERVICES), 2014, pp. 346–53, doi:10.1109/SERVICES.2014.68.
LibreCat: /record/447
DOI: 10.1109/SERVICES.2014.68

Becker, Matthias, et al. “Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!”10.1007/978-3-319-14886-1_15__Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB), 2014, pp. 153–59, doi:10.1007/978-3-319-14886-1_15.
LibreCat: /record/449
DOI: 10.1007/978-3-319-14886-1_15

Jakobs, Marie-Christine, and Heike Wehrheim. “Certification for Configurable Program Analysis.”10.1145/2632362.2632372__Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 2014, pp. 30–39, doi:10.1145/2632362.2632372.
LibreCat: /record/450
DOI: 10.1145/2632362.2632372

Jungmann, Alexander, et al. “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition.”10.1109/SOCA.2014.48__Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 2014, pp. 105–12, doi:10.1109/SOCA.2014.48.
LibreCat: /record/457
DOI: 10.1109/SOCA.2014.48

Schwichtenberg, Simon, et al. “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations.”10.1007/978-3-319-09195-2_12__Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 2014, pp. 180–95, doi:10.1007/978-3-319-09195-2_12.
LibreCat: /record/394
DOI: 10.1007/978-3-319-09195-2_12

Wiersema, Tobias, et al. “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring.”10.1109/FPT.2014.7082771__Proceedings of the International Conference on Field-Programmable Technology (FPT), 2014, pp. 167–74, doi:10.1109/FPT.2014.7082771.
LibreCat: /record/399
DOI: 10.1109/FPT.2014.7082771

Platenius, Marie Christin, et al. “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching.”10.1007/978-3-319-14886-1_2__Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17, doi:10.1007/978-3-319-14886-1_2.
LibreCat: /record/401
DOI: 10.1007/978-3-319-14886-1_2

Arifulina, Svetlana, et al. “Market-Optimized Service Specification and Matching.”10.1007/978-3-662-45391-9_47__Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), edited by Xavier Franch et al., 2014, pp. 543–50, doi:10.1007/978-3-662-45391-9_47.
LibreCat: /record/402
DOI: 10.1007/978-3-662-45391-9_47

Mohr, Felix. “Issues of Automated Software Composition in AI Planning.”10.1145/2642937.2653470__Proceedings of the 29th International Conference on Automated Software Engineering (ASE), 2014, pp. 895--898, doi:10.1145/2642937.2653470.
LibreCat: /record/407
DOI: 10.1145/2642937.2653470

Jakobs, Marie-Christine, et al. “Integrating Software and Hardware Verification.”10.1007/978-3-319-10181-1_19__Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), edited by Elvira Albert and Emil Sekerinski, 2014, pp. 307–22, doi:10.1007/978-3-319-10181-1_19.
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

Platenius, Marie Christin, et al. “Integrating Service Matchers into a Service Market Architecture.”10.1007/978-3-319-09970-5_19__Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), edited by Paris Avgeriou and Uwe Zdun, 2014, pp. 210–17, doi:10.1007/978-3-319-09970-5_19.
LibreCat: /record/409
DOI: 10.1007/978-3-319-09970-5_19

Jungmann, Alexander, et al. “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services.” International Journal On Advances in Intelligent Systems (IntSys), vol. 7, no. 3&;4, IARIA, 2014, pp. 572--594.
LibreCat: /record/410

Besova, Galina, et al. “Grammar-Based Model Transformations.”10.1016/j.cl.2015.05.003__Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014, pp. 1601–10, doi:10.1016/j.cl.2015.05.003.
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003