Brangewitz, Sonja, Alexander Jungmann, Ronald Petrlic, and Marie Christin Platenius. “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), 49–57, 2014.
LibreCat: /record/346

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

Arifulina, Svetlana, Matthias Becker, Marie Christin Platenius, and Sven Walther. “SeSAME: Modeling and Analyzing High-Quality Service Compositions.”https://doi.org/10.1145/2642937.2648621__In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 839–42, 2014.https://doi.org/10.1145/2642937.2648621 .
LibreCat: /record/364
DOI: 10.1145/2642937.2648621

Petrlic, Ronald, Alexander Jungmann, Marie Christin Platenius, Wilhelm Schäfer, and Christoph Sorge. “Security and Privacy Challenges in On-The-Fly Computing.” In Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 131–42, 2014.
LibreCat: /record/366

Detten, Markus von, Marie Christin Platenius, and Steffen Becker. “Reengineering Component-Based Software Systems with Archimetrix.”https://doi.org/10.1007/s10270-013-0341-9__Journal of Software and Systems Modeling, no. 4 (2014): 1239--1268.https://doi.org/10.1007/s10270-013-0341-9 .
LibreCat: /record/375
DOI: 10.1007/s10270-013-0341-9

Wonisch, Daniel, Alexander Schremmer, and Heike Wehrheim. “Programs from Proofs -- Approach and Applications.” In Proceedings of the Software Engineering Conference (SE), 67–68. Lecture Notes in Informatics (LNI), 2014.
LibreCat: /record/383

Huma, Zille, Christian Gerth, and Gregor Engels. “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains.”https://doi.org/10.1007/s00450-014-0254-z__Computer Science - Research and Development, no. 3–4 (2014): 333–61.https://doi.org/10.1007/s00450-014-0254-z .
LibreCat: /record/390
DOI: 10.1007/s00450-014-0254-z

Jungmann, Alexander, Felix Mohr, and Bernd Kleinjohann. “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services.”https://doi.org/10.1109/SERVICES.2014.68__In Proceedings of the 10th World Congress on Services (SERVICES), 346–53, 2014.https://doi.org/10.1109/SERVICES.2014.68 .
LibreCat: /record/447
DOI: 10.1109/SERVICES.2014.68

Becker, Matthias, Marie Christin Platenius, and Steffen Becker. “Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!”https://doi.org/10.1007/978-3-319-14886-1_15__In Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB), 153–59. Communications in Computer and Information Science, 2014.https://doi.org/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.”https://doi.org/10.1145/2632362.2632372__In Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 30–39. SPIN 2014, 2014.https://doi.org/10.1145/2632362.2632372 .
LibreCat: /record/450
DOI: 10.1145/2632362.2632372

Jungmann, Alexander, Felix Mohr, and Berndhttps://doi.org/10.1109/SOCA.2014.48__Kleinjohann. “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition.”https://doi.org/10.1109/SOCA.2014.48__In Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), 105–12, 2014.https://doi.org/10.1109/SOCA.2014.48 .
LibreCat: /record/457
DOI: 10.1109/SOCA.2014.48

Schwichtenberg, Simon, Christian Gerth, Zille Huma, and Gregor Engels. “Normalizing Heterogeneous Service Description Models with Generated QVT Transformations.”https://doi.org/10.1007/978-3-319-09195-2_12__In Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), 180–95. LNCS, 2014.https://doi.org/10.1007/978-3-319-09195-2_12 .
LibreCat: /record/394
DOI: 10.1007/978-3-319-09195-2_12

Wiersema, Tobias, Stephanie Drzevitzky, and Marco Platzner. “Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring.”https://doi.org/10.1109/FPT.2014.7082771__In Proceedings of the International Conference on Field-Programmable Technology (FPT), 167–74, 2014.https://doi.org/10.1109/FPT.2014.7082771 .
LibreCat: /record/399
DOI: 10.1109/FPT.2014.7082771

Platenius, Marie Christin, Svetlana Arifulina, Ronald Petrlic, and Wilhelm Schäfer. “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching.”https://doi.org/10.1007/978-3-319-14886-1_2__In Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 6–17. Communications in Computer and Information Science, 2014.https://doi.org/10.1007/978-3-319-14886-1_2 .
LibreCat: /record/401
DOI: 10.1007/978-3-319-14886-1_2

Arifulina, Svetlana, Marie Christin Platenius, Christian Gerth, Steffen Becker, Gregor Engels, and Wilhelm Schäfer. “Market-Optimized Service Specification and Matching.”https://doi.org/10.1007/978-3-662-45391-9_47__In Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), edited by Xavier Franch, AdityaK. Ghose, GraceA. Lewis, and Sami Bhiri, 543–50. LNCS, 2014.https://doi.org/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.”https://doi.org/10.1145/2642937.2653470__In Proceedings of the 29th International Conference on Automated Software Engineering (ASE), 895--898, 2014.https://doi.org/10.1145/2642937.2653470 .
LibreCat: /record/407
DOI: 10.1145/2642937.2653470

Jakobs, Marie-Christine, Marco Platzner, Tobias Wiersema, and Heike Wehrheim. “Integrating Software and Hardware Verification.”https://doi.org/10.1007/978-3-319-10181-1_19__In Proceedings of the 11th International Conference on Integrated Formal Methods (IFM), edited by Elvira Albert and Emil Sekerinski, 307–22. LNCS, 2014.https://doi.org/10.1007/978-3-319-10181-1_19 .
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

Platenius, Marie Christin, Steffen Becker, and Wilhelm Schäfer. “Integrating Service Matchers into a Service Market Architecture.”https://doi.org/10.1007/978-3-319-09970-5_19__In Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), edited by Paris Avgeriou and Uwe Zdun, 210–17. LNCS, 2014.https://doi.org/10.1007/978-3-319-09970-5_19 .
LibreCat: /record/409
DOI: 10.1007/978-3-319-09970-5_19

Jungmann, Alexander, Sonja Brangewitz, Ronald Petrlic, and Marie Christin Platenius. “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services.” International Journal On Advances in Intelligent Systems (IntSys) 7, no. 3&;4 (2014): 572--594.
LibreCat: /record/410

Besova, Galina, Dominik Steenke, and Heike Wehrheim. “Grammar-Based Model Transformations.”https://doi.org/10.1016/j.cl.2015.05.003__In Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), 1601–10, 2014.https://doi.org/10.1016/j.cl.2015.05.003 .
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003