@bookBröcher_2016, title=Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung, publisher=Universität Paderborn, author=Bröcher, Henrik, year=2016 

@articleMelnikov_Hüllermeier_Kaimann_Frick_Gupta_2016, title=Pairwise versus Pointwise Ranking: A Case Study, volume=25, DOI=10.4467/20838476si.16.006.6187, journal=Schedae Informaticae, publisher=Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego, author=Melnikov, Vitalik and Hüllermeier, Eyke and Kaimann, Daniel and Frick, Bernd10.4467/20838476si.16.006.6187__and Gupta,10.4467/20838476si.16.006.6187__Pritha , year=2016 

@inproceedingsBeringer_Wehrheim_2016, series=Lecture Notes in Computer Science, title=Verification of AUTOSAR Software Architectures with Timed Automata, DOI=10.1007/978-3-319-45943-1_13, booktitle=Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, author=Beringer, Steffen and Wehrheim, Heike, editor=H. ter Beek, Maurice and Gnesi, Stefania and Knapp, AlexanderEditors, year=2016, pages=189--204, collection=Lecture Notes in Computer Science 

@bookHeck_2016, title=Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace, publisher=Universität Paderborn, author=Heck, Eduard, year=2016 

@bookSchwentker_2016, title=Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen, publisher=Universität Paderborn, author=Schwentker, Christoph, year=2016 

@articleWalther_Wehrheim_2016, title=On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs, DOI=10.1016/j.scico.2016.04.002, journal=Science of Computer Programming, publisher=Elsevier, author=Walther, Sven and Wehrheim, Heike, year=2016, pages=2--23 

@inproceedingsDollmann_Geierhos_2016, place=Austin, TX, USA, title=On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements, booktitle=Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), publisher=Association for Computational Linguistics (ACL), author=Dollmann, Markus and Geierhos, Michaela, year=2016, pages=1807–1816 

@articlePlatenius_Shaker_Becker_Hüllermeier_Schäfer_2016, title=Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic, DOI=10.1109/TSE.2016.2632115, number=8, journal=IEEE Transactions on Software Engineering (TSE), presented at ICSE 2017, publisher=IEEE, author=Platenius, Marie Christin and Shaker, Ammar and Becker, Matthias and Hüllermeier, Eyke and Schäfer, Wilhelm, year=2016, pages=739–759 

@inproceedingsGeierhos_Bäumer_2016, place=Cham, Switzerland, series=Lecture Notes in Computer Science, title=How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement, volume=9612, DOI=10.1007/978-3-319-41754-7_4, booktitle=Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB), publisher=Springer, author=Geierhos, Michaela and Bäumer, Frederik Simon, editor=Métais, Elisabeth10.1007/978-3-319-41754-7_4__and Meziane, Farid10.1007/978-3-319-41754-7_4__and Saraee, Mohamad10.1007/978-3-319-41754-7_4__and Sugumaran, Vijayan10.1007/978-3-319-41754-7_4__and Vadera, Sunil Editors, year=2016, pages=37–47, collection=Lecture Notes in Computer Science 

@bookReckhorn_2016, title=Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling, publisher=Universität Paderborn, author=Reckhorn, Lena, year=2016 

@bookStanco_2016, title=Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen, publisher=Universität Paderborn, author=Stanco, Stefan, year=2016 

@inproceedingsMelnikov_Hüllermeier_2016, series=LNCS, title=Learning to Aggregate Using Uninorms, DOI=10.1007/978-3-319-46227-1_47, booktitle=Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), author=Melnikov, Vitaly and Hüllermeier, Eyke, year=2016, pages=756–771, collection=LNCS 

@inproceedingsCzech_Jakobs_Wehrheim_2016, series=Lecture Notes in Informatics, title=Just test what you cannot verify!, booktitle=Software Engineering 2016, author=Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike, editor=Jens Knoop, Uwe ZdunEditor, year=2016, pages=17–18, collection=Lecture Notes in Informatics 

@bookPlatenius_Josifovska_van Rooijen_Arifulina_Becker_Engels_Schäfer_2016, title=An Overview of Service Specification Language and Matching in On-The-Fly Computing (.3), publisher=Universität Paderborn, author=Platenius, Marie Christin and Josifovska, Klementina and van Rooijen, Lorijn and Arifulina, Svetlana and Becker, Matthias and Engels, Gregor and Schäfer, Wilhelm, year=2016 

@articleWiersema_Bockhorn_Platzner_2016, title=An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip, DOI=10.1016/j.compeleceng.2016.04.005, journal=Computers &; Electrical Engineering, publisher=Elsevier, author=Wiersema, Tobias and Bockhorn, Arne and Platzner, Marco, year=2016, pages=112--122 

@inproceedingsKrämer_Wehrheim_2016, series=LNCS, title=A short survey on using software error localization for service compositions, DOI=10.1007/978-3-319-44482-6_16, booktitle=Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), author=Krämer, Julia and Wehrheim, Heike, year=2016, pages=248--262, collection=LNCS 

@inproceedingsJungmann_Kleinjohann_2016, title=A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality, DOI=10.1109/ETFA.2016.7733522, booktitle=Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), author=Jungmann, Alexander and Kleinjohann, Bernd, year=2016, pages=1--8 

@inproceedingsKrämer_Wehrheim_2016, series=LNCS, title=A Formal Approach to Error Localization and Correction in Service Compositions, DOI=10.1007/978-3-319-50230-4_35, booktitle=Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), author=Krämer, Julia and Wehrheim, Heike, year=2016, pages=445--457, collection=LNCS 

@inproceedingsTöws_Wehrheim_2016, series=LNCS, title=A CEGAR Scheme for Information Flow Analysis, DOI=10.1007/978-3-319-47846-3_29, booktitle=Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), author=Töws, Manuel and Wehrheim, Heike, year=2016, pages=466--483, collection=LNCS 

@inproceedingsSchwichtenberg_2016, title=Automatized Derivation of Comprehensive Specifications for Black-box Services, DOI=10.1145/2889160.2889271, booktitle=Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), author=Schwichtenberg, Simon, year=2016, pages=815–818 

@inproceedingsJungmann_Kleinjohann_2016, title=Automatic Composition of Service-based Image Processing Applications, DOI=10.1109/SCC.2016.21, booktitle=Proceedings of the 13th IEEE International Conference on Services Computing (SCC), author=Jungmann, Alexander and Kleinjohann, Bernd, year=2016, pages=106--113 

@inproceedingsSpäth_Nguyen Quang Do_Ali_Bodden_2016, title=Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java, booktitle=European Conference on Object-Oriented Programming (ECOOP), author=Späth, Johannes and Nguyen Quang Do, Lisa and Ali, Karim and Bodden, Eric, year=2016 

@inproceedingsKühne_Hamann_Arifulina_Engels_2016, series=LNCS 9594, title=Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application, DOI=10.1007/978-3-319-30668-1_18, booktitle=Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016), author=Kühne, Thomas and Hamann, Heiko and Arifulina, Svetlana and Engels, Gregor, year=2016, pages=278--293, collection=LNCS 9594 

@inproceedingsJakobs_Töws_Pauck_2016, series=School of Computing Science Technical Report Series, title=PAndA 2f: Analyzing Permission Use and Interplay in Android Apps (Tool Paper), booktitle=Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, author=Jakobs, Marie-Christine and Töws, Manuel and Pauck, Felix, editor=Ishikawa F, Romanovsky A, Troubitsyna EEditor, year=2016, collection=School of Computing Science Technical Report Series 

@bookIsenberg_2016, title=Induction-based Verification of Timed Systems, publisher=Universität Paderborn, author=Isenberg, Tobias, year=2016 

@inproceedingsBäumer_Geierhos_2016, place=Cham, Switzerland, series=Communications in Computer and Information Science, title=Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions, volume=639, DOI=10.1007/978-3-319-46254-7_44, booktitle=Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST), publisher=Springer, author=Bäumer, Frederik Simon and Geierhos, Michaela, editor=Dregvaite, Giedre10.1007/978-3-319-46254-7_44__and Damasevicius, Robertas Editors, year=2016, pages=549–558, collection=Communications in Computer and Information Science 

@bookArifulina_2016, title=Solving Heterogeneity for a Successful Service Market, DOI=10.17619/UNIPB/1-13, publisher=Universität Paderborn, author=Arifulina, Svetlana, year=2016 

@inproceedingsvan Rooijen_Hamann_2016, title=Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm, DOI=10.1109/REW.2016.015, booktitle=Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), author=van Rooijen, Lorijn and Hamann, Heiko, year=2016, pages=3--9 

@bookZhang_2016, title=Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions, publisher=Universität Paderborn, author=Zhang, Guangli, year=2016 

@bookCzech_2016, title=Predicting Rankings of Software Verification Tools Using Kernels for Structured Data, publisher=Universität Paderborn, author=Czech, Mike, year=2016 

@bookJungmann_2016, title=Towards On-The-Fly Image Processing, publisher=Universität Paderborn, author=Jungmann, Alexander, year=2016 

@bookMohr_2016, title=Towards Automated Service Composition Under Quality Constraints, DOI=10.17619/UNIPB/1-171, publisher=Universität Paderborn, author=Mohr, Felix, year=2016 

@inproceedingsWiersema_Platzner_2016, title=Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware, DOI=10.1109/ReCoSoC.2016.7533910, booktitle=Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016), author=Wiersema, Tobias and Platzner, Marco, year=2016, pages=1--8 

@bookDewender_2016, title=Verifikation von Service Kompositionen mit Spin, publisher=Universität Paderborn, author=Dewender, Markus, year=2016 

@bookHeinisch_2016, title=Verifikation von Service Kompositionen mit Prolog, publisher=Universität Paderborn, author=Heinisch, Philipp, year=2016 

@bookVollmers_2016, title=Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen, publisher=Universität Paderborn, author=Vollmers, Daniel, year=2016 

@inproceedingsJakobs_2015, series=LNCS, title=Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning, DOI=10.1007/978-3-319-22969-0_12, booktitle=Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), author=Jakobs, Marie-Christine, year=2015, pages=159--174, collection=LNCS 

@inproceedingsArifulina_Platenius_Mohr_Engels_Schäfer_2015, title=Market-Specific Service Compositions: Specification and Matching, DOI=10.1109/SERVICES.2015.58, booktitle=Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet, author=Arifulina, Svetlana and Platenius, Marie Christin and Mohr, Felix and Engels, Gregor and Schäfer, Wilhelm, year=2015, pages=333--340 

@inproceedingsCzech_Jakobs_Wehrheim_2015, series=Lecture Notes in Computer Science, title=Just test what you cannot verify!, DOI=10.1007/978-3-662-46675-9_7, booktitle=Fundamental Approaches to Software Engineering, author=Czech, Mike and Jakobs, Marie-Christine and Wehrheim, Heike, editor=Egyed, Alexander and Schaefer, InaEditors, year=2015, pages=100–114, collection=Lecture Notes in Computer Science 

@inproceedingsIsenberg_2015, title=Incremental Inductive Verification of Parameterized Timed Systems, DOI=10.1109/ACSD.2015.13, booktitle=Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), author=Isenberg, Tobias, year=2015, pages=1–9 

@inproceedingsBecker_Lehrig_Becker_2015, place=New York, NY, USA, series=ICPE ’15, title=Systematically Deriving Quality Metrics for Cloud Computing Systems, DOI=10.1145/2668930.2688043, booktitle=Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, author=Becker, Matthias and Lehrig, Sebastian and Becker, Steffen, year=2015, pages=169--174, collection=ICPE ’15 

@bookBesova_2015, title=Systematic Development and Re-Use of Model Tranformations, publisher=Universität Paderborn, author=Besova, Galina, year=2015 

@articleBrosig_Meier_Becker_Koziolek_Koziolek_Kounev_2015, title=Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures, DOI=10.1109/TSE.2014.2362755, number=2, journal=Transactions on Software Engineering, publisher=IEEE, author=Brosig, Fabian and Meier, Philipp and Becker, Steffen and Koziolek, Anne and Koziolek, Heiko and Kounev, Samuel, year=2015, pages=157--175 

@inproceedingsJakobs_Wehrheim_2015, series=SAC ’15, title=Programs from Proofs of Predicated Dataflow Analyses, DOI=10.1145/2695664.2695690, booktitle=Proceedings of the 30th Annual ACM Symposium on Applied Computing, author=Jakobs, Marie-Christine and Wehrheim, Heike, year=2015, pages=1729–1736, collection=SAC ’15 

@inproceedingsWiersema_Wu_Platzner_2015, series=LNCS, title=On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach, DOI=10.1007/978-3-319-16214-0_32, booktitle=Proceedings of the International Symposium in Reconfigurable Computing (ARC), author=Wiersema, Tobias and Wu, Sen and Platzner, Marco, year=2015, pages=365--372, collection=LNCS 

@articleJungmann_Mohr_2015, title=An approach towards adaptive service composition in markets of composed services, DOI=10.1186/s13174-015-0022-8, number=1, journal=Journal of Internet Services and Applications, publisher=Springer, author=Jungmann, Alexander and Mohr, Felix, year=2015, pages=1–18 

@inproceedingsMohr_2015, series=LNCS, title=A Metric for Functional Reusability of Services, DOI=10.1007/978-3-319-14130-5_21, booktitle=Proceedings of the 14th International Conference on Software Reuse (ICSR), author=Mohr, Felix, year=2015, pages=298--313, collection=LNCS 

@articleBubeck_Kleine Büning_2015, title=Learning Boolean Specifications, DOI=10.1016/j.artint.2015.09.003, journal=Artificial Intelligence, publisher=Elsevier, author=Bubeck, Uwe and Kleine Büning, Hans, year=2015, pages=246–257 

@articleBesova_Steenken_Wehrheim_2015, title=Grammar-based model transformations: Definition, execution, and quality properties, DOI=10.1016/j.cl.2015.05.003, journal=Computer Languages, Systems &; Structures, publisher=Elsevier, author=Besova, Galina and Steenken, Dominik and Wehrheim, Heike, year=2015, pages=116–138 

@bookBörding_2015, title=Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen, publisher=Universität Paderborn, author=Börding, Paul, year=2015 

@inbookGeierhos_Bäumer_Schulze_Stuß_2015, place=Cham, Switzerland, series=Lecture Notes in Artificial Intelligence, title=Filtering Reviews by Random Individual Error, volume=9101, DOI=10.1007/978-3-319-19066-2_30, booktitle=Proceedings of the 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2015), publisher=Springer, author=Geierhos, Michaela and Bäumer, Frederik Simon and Schulze, Sabine and Stuß, Valentina, editor=Ali, Moonis10.1007/978-3-319-19066-2_30__and Kwon, Young Sig and Lee, Chang-Hwan and Kim, Juntae10.1007/978-3-319-19066-2_30__and Kim, Yongdai Editors, year=2015, pages=305–315, collection=Lecture Notes in Artificial Intelligence 

@bookNeumann_2015, title=Ein Framework für Fuzzy Service Matching basierend auf Fuzzy Sets, publisher=Universität Paderborn, author=Neumann, Conrad, year=2015 

@bookBruns_2015, title=Design of an Evaluation Strategy for Fuzzy Service Matching, publisher=Universität Paderborn, author=Bruns, Melanie, year=2015 

@inproceedingsBörding_Bruns_Platenius_2015, title=Comprehensive Service Matching with MatchBox, DOI=10.1145/2786805.2803181, booktitle=10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15), author=Börding, Paul and Bruns, Melanie and Platenius, Marie Christin, year=2015, pages=974--977 

@inproceedingsJungmann_Jatzkowski_Kleinjohann_2015, title=Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study, booktitle=Proceedings of the 5th IFIP International Embedded Systems Symposium, author=Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd, year=2015 

@articleZiegert_Wehrheim_2015, title=Temporal plans for software architecture reconfiguration, DOI=10.1007/s00450-014-0259-7, number=3–4, journal=Computer Science - R &; D, author=Ziegert, Steffen and Wehrheim, Heike, year=2015, pages=303--320 

@bookHuma_2015, title=Automatic Service Discovery and Composition for heterogeneous service partners, publisher=Universität Paderborn, author=Huma, Zille, year=2015 

@inproceedingsMohr_Jungmann_Kleine Büning_2015, title=Automated Online Service Composition, DOI=10.1109/SCC.2015.18, booktitle=Proceedings of the 12th IEEE International Conference on Services Computing (SCC), author=Mohr, Felix and Jungmann, Alexander and Kleine Büning, Hans, year=2015, pages=57--64 

@inproceedingsJungmann_2015, title=On Adaptivity for Automated Composition of Service Functionality, DOI=10.1109/SERVICES.2015.57, booktitle=Proceedings of the IEEE 11th World Congress on Services (SERVICES), author=Jungmann, Alexander, year=2015, pages=329--332 

@inproceedingsPlatenius_Arifulina_Schäfer_2015, title=MatchBox: A Framework for Dynamic Configuration of Service Matching Processes, DOI=10.1145/2737166.2737174, booktitle=Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15), author=Platenius, Marie Christin and Arifulina, Svetlana and Schäfer, Wilhelm, year=2015, pages=75–84 

@inproceedingsGeierhos_Schulze_Bäumer_2015, place=Setúbal, Portugal, title=What did you mean? Facing the Challenges of User-generated Software Requirements, DOI=10.5220/0005346002770283, booktitle=Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART), Special Session on Partiality, Underspecification, and Natural Language Processing (PUaNLP 2015), publisher=SciTePress - Science and Technology Publications, author=Geierhos, Michaela and Schulze, Sabine and Bäumer, Frederik Simon, editor=Loiseau, Stephane10.5220/0005346002770283__and Filipe, Joaquim10.5220/0005346002770283__and Duval, Béatrice10.5220/0005346002770283__and van den Herik, JaapEditors, year=2015, pages=277–283 

@articleSenge_Hüllermeier_2015, title=Fast Fuzzy Pattern Tree Learning for Classification, volume=23, DOI=10.1109/tfuzz.2015.2396078, number=6, journal=IEEE Transactions on Fuzzy Systems, publisher=Institute of Electrical and Electronics Engineers (IEEE), author=Senge, Robin and Hüllermeier, Eyke, year=2015, pages=2024–2033 

@inproceedingsLi_Bartel_Bissyande_Klein_Le Traon_Arzt_Rasthofer_Bodden_Octeau_McDaniel_2015, title=IccTA: Detecting Inter-Component Privacy Leaks in Android Apps, booktitle=2015 International Conference on Software Engineering (ICSE), author=Li, Li and Bartel, Alexandre and Bissyande, Tegawende F. and Klein, Jacques and Le Traon, Yves and Arzt, Steven and Rasthofer, Siegfried and Bodden, Eric and Octeau, Damien and McDaniel, Patrick, year=2015, pages=280–291 

@bookMeißner_2015, title=Konzept und Implementation einer Benutzeroberfläche zur Generierung virtueller FPGAs, publisher=Universität Paderborn, author=Meißner, Roland, year=2015 

@bookWu_2014, title=Webcam application using virtual FPGA, publisher=Universität Paderborn, author=Wu, Sen, year=2014 

@bookOsterbrink_2014, title=Visualisierung von SMT-Solver-Ausgaben, publisher=Universität Paderborn, author=Osterbrink, Sebastian, year=2014 

@inproceedingsWalther_Wehrheim_2014, series=LNCS, title=Verified Service Compositions by Template-Based Construction, DOI=10.1007/978-3-319-15317-9_3, booktitle=Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), author=Walther, Sven and Wehrheim, Heike, editor=Lanese, Ivan and Madelaine, EricEditors, year=2014, pages=31–48, collection=LNCS 

@bookKorth_2014, title=Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs”, publisher=Universität Paderborn, author=Korth, Philipp, year=2014 

@bookKlauke_2014, title=Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen, publisher=Universität Paderborn, author=Klauke, Christoph, year=2014 

@inproceedingsBecker_Becker_Besova_Walther_Wehrheim_2014, title=Towards Systematic Configuration for Architecture Validation, booktitle=Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), author=Becker, Matthias and Becker, Steffen and Besova, Galina and Walther, Sven and Wehrheim, Heike, year=2014 

@inproceedingsJungmann_Kleinjohann_2014, title=Towards Context-Sensitive Service Composition for Service-Oriented Image Processing, DOI=10.1109/CloudCom.2014.154, booktitle=Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom), author=Jungmann, Alexander and Kleinjohann, Bernd, year=2014, pages=755–758 

@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 

@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 

@bookTöws_2014, title=Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB, publisher=Universität Paderborn, author=Töws, Manuel, year=2014 

@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 

@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 

@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 

@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) 

@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 

@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 

@bookGao_2014, title=Combination of Service Matching Steps in Consideration of Efficiency and Fuzziness, publisher=Universität Paderborn, author=Gao, Yuan, year=2014 

@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 

@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 

@bookHeldt_2014, title=Automated Service Composition: Adaption of the ASTRO Approach, publisher=Universität Paderborn, author=Heldt, Waleri, year=2014 

@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 

@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 

@bookBano_2014, title=Modeling and Matching of Reputation of Services in On-The-Fly Computing, publisher=Universität Paderborn, author=Bano, Dorina, year=2014 

@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 

@bookBunse_2014, title=Measuring Transformation-induced Uncertainty in Service Matching: A Feasibility Study, publisher=Universität Paderborn, author=Bunse, Mirko, year=2014 

@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 

@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 

@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 

@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 

@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 

@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 

@bookTaherinajafabadi_2014, title=Improving Service Specifications for the Service Matching on a Service Market, publisher=Universität Paderborn, author=Taherinajafabadi, Vahide, year=2014 

@bookVijapurwala_2014, title=Handling Incomplete Service Specifications using Fuzzy Matching, publisher=Universität Paderborn, author=Vijapurwala, Shafi, year=2014 

@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 

@bookPauck_2014, title=Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, publisher=Universität Paderborn, author=Pauck, Felix, year=2014 

@bookMerschjohann_2014, title=Fuzzy Matching of Service Price Specifications, publisher=Universität Paderborn, author=Merschjohann, Sven, year=2014