@inproceedingsBrangewitz_Jungmann_Petrlic_Platenius_2014, title=Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services, booktitle=Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), author=Brangewitz, Sonja and Jungmann, Alexander and Petrlic, Ronald and Platenius, Marie Christin, year=2014, pages=49–57 
LibreCat: /record/346

@inproceedingsMohr_Walther_2014, series=LNCS, title=Template-based Generation of Semantic Services, DOI=10.1007/978-3-319-14130-5_14, booktitle=Proceedings of the 14th International Conference on Software Reuse (ICSR), author=Mohr, Felix and Walther, Sven, year=2014, pages=188–203, collection=LNCS 
LibreCat: /record/353
DOI: 10.1007/978-3-319-14130-5_14

@inproceedingsArifulina_Becker_Platenius_Walther_2014, title=SeSAME: Modeling and Analyzing High-Quality Service Compositions, DOI=10.1145/2642937.2648621, booktitle=Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), author=Arifulina, Svetlana and Becker, Matthias and Platenius, Marie Christin and Walther, Sven, year=2014, pages=839–842 
LibreCat: /record/364
DOI: 10.1145/2642937.2648621

@inproceedingsPetrlic_Jungmann_Platenius_Schäfer_Sorge_2014, title=Security and Privacy Challenges in On-The-Fly Computing, booktitle=Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014), author=Petrlic, Ronald and Jungmann, Alexander and Platenius, Marie Christin and Schäfer, Wilhelm and Sorge, Christoph, year=2014, pages=131–142 
LibreCat: /record/366

@articlevon Detten_Platenius_Becker_2014, title=Reengineering Component-Based Software Systems with Archimetrix, DOI=10.1007/s10270-013-0341-9, number=4, journal=Journal of Software and Systems Modeling, publisher=Springer, author=von Detten, Markus and Platenius, Marie Christin and Becker, Steffen, year=2014, pages=1239--1268 
LibreCat: /record/375
DOI: 10.1007/s10270-013-0341-9

@inproceedingsWonisch_Schremmer_Wehrheim_2014, series=Lecture Notes in Informatics (LNI), title=Programs from Proofs -- Approach and Applications, booktitle=Proceedings of the Software Engineering Conference (SE), author=Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike, year=2014, pages=67–68, collection=Lecture Notes in Informatics (LNI) 
LibreCat: /record/383

@articleHuma_Gerth_Engels_2014, title=On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains, DOI=10.1007/s00450-014-0254-z, number=3–4, journal=Computer Science - Research and Development, publisher=Springer, author=Huma, Zille and Gerth, Christian and Engels, Gregor, year=2014, pages=333–361 
LibreCat: /record/390
DOI: 10.1007/s00450-014-0254-z

@inproceedingsJungmann_Mohr_Kleinjohann_2014, title=Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services, DOI=10.1109/SERVICES.2014.68, booktitle=Proceedings of the 10th World Congress on Services (SERVICES), author=Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd, year=2014, pages=346–353 
LibreCat: /record/447
DOI: 10.1109/SERVICES.2014.68

@inproceedingsBecker_Platenius_Becker_2014, series=Communications in Computer and Information Science, title=Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!, DOI=10.1007/978-3-319-14886-1_15, booktitle=Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB), author=Becker, Matthias and Platenius, Marie Christin and Becker, Steffen, year=2014, pages=153–159, collection=Communications in Computer and Information Science 
LibreCat: /record/449
DOI: 10.1007/978-3-319-14886-1_15

@inproceedingsJakobs_Wehrheim_2014, series=SPIN 2014, title=Certification for Configurable Program Analysis, DOI=10.1145/2632362.2632372, booktitle=Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), author=Jakobs, Marie-Christine and Wehrheim, Heike, year=2014, pages=30–39, collection=SPIN 2014 
LibreCat: /record/450
DOI: 10.1145/2632362.2632372

@inproceedingsJungmann_Mohr_Kleinjohann_2014, title=Applying Reinforcement Learning for Resolving Ambiguity in Service Composition, DOI=10.1109/SOCA.2014.48, booktitle=Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), author=Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd , year=2014, pages=105–112 
LibreCat: /record/457
DOI: 10.1109/SOCA.2014.48

@inproceedingsSchwichtenberg_Gerth_Huma_Engels_2014, series=LNCS, title=Normalizing Heterogeneous Service Description Models with Generated QVT Transformations, DOI=10.1007/978-3-319-09195-2_12, booktitle=Proceedings of the 10th European Conference on Modelling Foundations and Applications (ECMFA), author=Schwichtenberg, Simon and Gerth, Christian and Huma, Zille and Engels, Gregor, year=2014, pages=180–195, collection=LNCS 
LibreCat: /record/394
DOI: 10.1007/978-3-319-09195-2_12

@inproceedingsWiersema_Drzevitzky_Platzner_2014, title=Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring, DOI=10.1109/FPT.2014.7082771, booktitle=Proceedings of the International Conference on Field-Programmable Technology (FPT), author=Wiersema, Tobias and Drzevitzky, Stephanie and Platzner, Marco, year=2014, pages=167–174 
LibreCat: /record/399
DOI: 10.1109/FPT.2014.7082771

@inproceedingsPlatenius_Arifulina_Petrlic_Schäfer_2014, series=Communications in Computer and Information Science, title=Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching, DOI=10.1007/978-3-319-14886-1_2, booktitle=Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, author=Platenius, Marie Christin and Arifulina, Svetlana and Petrlic, Ronald and Schäfer, Wilhelm, year=2014, pages=6–17, collection=Communications in Computer and Information Science 
LibreCat: /record/401
DOI: 10.1007/978-3-319-14886-1_2

@inproceedingsArifulina_Platenius_Gerth_Becker_Engels_Schäfer_2014, series=LNCS, title=Market-optimized Service Specification and Matching, DOI=10.1007/978-3-662-45391-9_47, booktitle=Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), author=Arifulina, Svetlana and Platenius, Marie Christin and Gerth, Christian and Becker, Steffen and Engels, Gregor and Schäfer, Wilhelm, editor=Franch, Xavier and Ghose, AdityaK. and Lewis, GraceA. and Bhiri, SamiEditors, year=2014, pages=543–550, collection=LNCS 
LibreCat: /record/402
DOI: 10.1007/978-3-662-45391-9_47

@inproceedingsMohr_2014, title=Issues of Automated Software Composition in AI Planning, DOI=10.1145/2642937.2653470, booktitle=Proceedings of the 29th International Conference on Automated Software Engineering (ASE), author=Mohr, Felix, year=2014, pages=895--898 
LibreCat: /record/407
DOI: 10.1145/2642937.2653470

@inproceedingsJakobs_Platzner_Wiersema_Wehrheim_2014, series=LNCS, title=Integrating Software and Hardware Verification, DOI=10.1007/978-3-319-10181-1_19, booktitle=Proceedings of the 11th International Conference on Integrated Formal Methods (iFM), author=Jakobs, Marie-Christine and Platzner, Marco and Wiersema, Tobias and Wehrheim, Heike, editor=Albert, Elvira and Sekerinski, EmilEditors, year=2014, pages=307–322, collection=LNCS 
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

@inproceedingsPlatenius_Becker_Schäfer_2014, series=LNCS, title=Integrating Service Matchers into a Service Market Architecture, DOI=10.1007/978-3-319-09970-5_19, booktitle=Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), author=Platenius, Marie Christin and Becker, Steffen and Schäfer, Wilhelm, editor=Avgeriou, Paris and Zdun, UweEditors, year=2014, pages=210–217, collection=LNCS 
LibreCat: /record/409
DOI: 10.1007/978-3-319-09970-5_19

@articleJungmann_Brangewitz_Petrlic_Platenius_2014, title=Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services, volume=7, number=3&;4, journal=International Journal On Advances in Intelligent Systems (IntSys), publisher=IARIA, author=Jungmann, Alexander and Brangewitz, Sonja and Petrlic, Ronald and Platenius, Marie Christin, year=2014, pages=572--594 
LibreCat: /record/410

@inproceedingsBesova_Steenke_Wehrheim_2014, title=Grammar-based model transformations, DOI=10.1016/j.cl.2015.05.003, booktitle=Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD), author=Besova, Galina and Steenke, Dominik and Wehrheim, Heike, year=2014, pages=1601–1610 
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003