Brangewitz, S., Jungmann, A., Petrlic, R., &; Platenius, M. C. (2014). Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION) (pp. 49–57).

Mohr, F., &; Walther, S. (2014). Template-based Generation of Semantic Services. In Proceedings of the 14th International Conference on Software Reuse (ICSR) (pp. 188–203).https://doi.org/10.1007/978-3-319-14130-5_14 

Arifulina, S., Becker, M., Platenius, M. C., &; Walther, S. (2014). SeSAME: Modeling and Analyzing High-Quality Service Compositions. In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) (pp. 839–842).https://doi.org/10.1145/2642937.2648621 

Petrlic, R., Jungmann, A., Platenius, M. C., Schäfer, W., &; Sorge, C. (2014). Security and Privacy Challenges in On-The-Fly Computing. In Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014) (pp. 131–142).

von Detten, M., Platenius, M. C., &; Becker, S. (2014). Reengineering Component-Based Software Systems with Archimetrix. Journal of Software and Systems Modeling, (4), 1239--1268.https://doi.org/10.1007/s10270-013-0341-9 

Wonisch, D., Schremmer, A., &; Wehrheim, H. (2014). Programs from Proofs -- Approach and Applications. In Proceedings of the Software Engineering Conference (SE) (pp. 67–68).

Huma, Z., Gerth, C., &; Engels, G. (2014). On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains. Computer Science - Research and Development, (3–4), 333–361.https://doi.org/10.1007/s00450-014-0254-z 

Jungmann, A., Mohr, F., &; Kleinjohann, B. (2014). Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services. In Proceedings of the 10th World Congress on Services (SERVICES) (pp. 346–353).https://doi.org/10.1109/SERVICES.2014.68 

Becker, M., Platenius, M. C., &; Becker, S. (2014). Cloud Computing Reduces Uncertainties in Quality-of-Service Matching! In Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB) (pp. 153–159).https://doi.org/10.1007/978-3-319-14886-1_15 

Jakobs, M.-C., &; Wehrheim, H. (2014). Certification for Configurable Program Analysis. In Proceedings of the 21st International Symposium on Model Checking of Software (SPIN) (pp. 30–39).https://doi.org/10.1145/2632362.2632372 

Jungmann, A., Mohr, F., &; Kleinjohann, B. (2014). Applying Reinforcement Learning for Resolving Ambiguity in Service Composition. In Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA) (pp. 105–112).https://doi.org/10.1109/SOCA.2014.48 

Schwichtenberg, S., Gerth, C., Huma, Z., &; Engels, G. (2014). Normalizing Heterogeneous Service Description Models with Generated QVT Transformations. In Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA) (pp. 180–195).https://doi.org/10.1007/978-3-319-09195-2_12 

Wiersema, T., Drzevitzky, S., &; Platzner, M. (2014). Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring. In Proceedings of the International Conference on Field-Programmable Technology (FPT) (pp. 167–174).https://doi.org/10.1109/FPT.2014.7082771 

Platenius, M. C., Arifulina, S., Petrlic, R., &; Schäfer, W. (2014). Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet (pp. 6–17).https://doi.org/10.1007/978-3-319-14886-1_2 

Arifulina, S., Platenius, M. C., Gerth, C., Becker, S., Engels, G., &; Schäfer, W. (2014). Market-optimized Service Specification and Matching. In X. Franch, A. Ghose, G. Lewis, &; S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014) (pp. 543–550).https://doi.org/10.1007/978-3-662-45391-9_47 

Mohr, F. (2014). Issues of Automated Software Composition in AI Planning. In Proceedings of the 29th International Conference on Automated Software Engineering (ASE) (pp. 895--898).https://doi.org/10.1145/2642937.2653470 

Jakobs, M.-C., Platzner, M., Wiersema, T., &; Wehrheim, H. (2014). Integrating Software and Hardware Verification. In E. Albert &; E. Sekerinski (Eds.), Proceedings of the 11th International Conference on Integrated Formal Methods (iFM) (pp. 307–322).https://doi.org/10.1007/978-3-319-10181-1_19 

Platenius, M. C., Becker, S., &; Schäfer, W. (2014). Integrating Service Matchers into a Service Market Architecture. In P. Avgeriou &; U. Zdun (Eds.), Proceedings of the 8th European Conference on Software Architecture (ECSA 2014) (pp. 210–217).https://doi.org/10.1007/978-3-319-09970-5_19 

Jungmann, A., Brangewitz, S., Petrlic, R., &; Platenius, M. C. (2014). Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services. International Journal On Advances in Intelligent Systems (IntSys), 7(3&;4), 572--594.

Besova, G., Steenke, D., &; Wehrheim, H. (2014). Grammar-based model transformations. In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD) (pp. 1601–1610).https://doi.org/10.1016/j.cl.2015.05.003