Bröcher, Henrik. Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn, 2016.

Melnikov, Vitalik, Eyke Hüllermeier, Daniel Kaimann, Berndhttps://doi.org/10.4467/20838476si.16.006.6187__Frick, andhttps://doi.org/10.4467/20838476si.16.006.6187__Prithahttps://doi.org/10.4467/20838476si.16.006.6187__Gupta. “Pairwise versus Pointwise Ranking: A Case Study.”https://doi.org/10.4467/20838476si.16.006.6187__Schedae Informaticae 25 (2016).https://doi.org/10.4467/20838476si.16.006.6187 .

Beringer, Steffen, and Heike Wehrheim. “Verification of AUTOSAR Software Architectures with Timed Automata.”https://doi.org/10.1007/978-3-319-45943-1_13__In 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, edited by Maurice H. ter Beek, Stefania Gnesi, and Alexander Knapp, 189--204. Lecture Notes in Computer Science, 2016.https://doi.org/10.1007/978-3-319-45943-1_13 .

Heck, Eduard. Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace. Universität Paderborn, 2016.

Schwentker, Christoph. Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen. Universität Paderborn, 2016.

Walther, Sven, and Heike Wehrheim. “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs.”https://doi.org/10.1016/j.scico.2016.04.002__Science of Computer Programming, 2016, 2--23.https://doi.org/10.1016/j.scico.2016.04.002 .

Dollmann, Markus, and Michaela Geierhos. “On- and Off-Topic Classification and Semantic Annotation of User-Generated Software Requirements.” In Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), 1807–16. Austin, TX, USA: Association for Computational Linguistics (ACL), 2016.

Platenius, Marie Christin, Ammar Shaker, Matthias Becker, Eyke Hüllermeier, and Wilhelm Schäfer. “Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic.”https://doi.org/10.1109/TSE.2016.2632115__IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017, no. 8 (2016): 739–59.https://doi.org/10.1109/TSE.2016.2632115 .

Geierhos, Michaela, and Frederik Simon Bäumer. “How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement.”https://doi.org/10.1007/978-3-319-41754-7_4__In Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB), edited by Elisabethhttps://doi.org/10.1007/978-3-319-41754-7_4__Métais, Faridhttps://doi.org/10.1007/978-3-319-41754-7_4__Meziane, Mohamadhttps://doi.org/10.1007/978-3-319-41754-7_4__Saraee, Vijayanhttps://doi.org/10.1007/978-3-319-41754-7_4__Sugumaran, and Sunilhttps://doi.org/10.1007/978-3-319-41754-7_4__Vadera, 9612:37–47. Lecture Notes in Computer Science. Cham, Switzerland: Springer, 2016.https://doi.org/10.1007/978-3-319-41754-7_4 .

Reckhorn, Lena. Herausforderungen im Umgang mit unvollständigen Softwareanforderungen durch Semantic Role Labeling. Universität Paderborn, 2016.

Stanco, Stefan. Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen. Universität Paderborn, 2016.

Melnikov, Vitaly, and Eyke Hüllermeier. “Learning to Aggregate Using Uninorms.”https://doi.org/10.1007/978-3-319-46227-1_47__In Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016), 756–71. LNCS, 2016.https://doi.org/10.1007/978-3-319-46227-1_47 .

Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What You Cannot Verify!” In Software Engineering 2016, edited by Uwe Zdun Jens Knoop, 17–18. Lecture Notes in Informatics, 2016.

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

Wiersema, Tobias, Arne Bockhorn, and Marco Platzner. “An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip.”https://doi.org/10.1016/j.compeleceng.2016.04.005__Computers &; Electrical Engineering, 2016, 112--122.https://doi.org/10.1016/j.compeleceng.2016.04.005 .

Krämer, Julia, and Heike Wehrheim. “A Short Survey on Using Software Error Localization for Service Compositions.”https://doi.org/10.1007/978-3-319-44482-6_16__In Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 248--262. LNCS, 2016.https://doi.org/10.1007/978-3-319-44482-6_16 .

Jungmann, Alexander, and Bernd Kleinjohann. “A Holistic and Adaptive Approach for Automated Prototyping of Image Processing Functionality.”https://doi.org/10.1109/ETFA.2016.7733522__In Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 1--8, 2016.https://doi.org/10.1109/ETFA.2016.7733522 .

Krämer, Julia, and Heike Wehrheim. “A Formal Approach to Error Localization and Correction in Service Compositions.”https://doi.org/10.1007/978-3-319-50230-4_35__In Proceedings of the 1st International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016), 445--457. LNCS, 2016.https://doi.org/10.1007/978-3-319-50230-4_35 .

Töws, Manuel, and Heike Wehrheim. “A CEGAR Scheme for Information Flow Analysis.”https://doi.org/10.1007/978-3-319-47846-3_29__In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), 466--483. LNCS, 2016.https://doi.org/10.1007/978-3-319-47846-3_29 .

Schwichtenberg, Simon. “Automatized Derivation of Comprehensive Specifications for Black-Box Services.”https://doi.org/10.1145/2889160.2889271__In Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 815–18, 2016.https://doi.org/10.1145/2889160.2889271 .

Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Composition of Service-Based Image Processing Applications.”https://doi.org/10.1109/SCC.2016.21__In Proceedings of the 13th IEEE International Conference on Services Computing (SCC), 106--113, 2016.https://doi.org/10.1109/SCC.2016.21 .

Späth, Johannes, Lisa Nguyen Quang Do, Karim Ali, and Eric Bodden. “Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.” In European Conference on Object-Oriented Programming (ECOOP), 2016.

Kühne, Thomas, Heiko Hamann, Svetlana Arifulina, and Gregor Engels. “Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application.”https://doi.org/10.1007/978-3-319-30668-1_18__In Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016), 278--293. LNCS 9594, 2016.https://doi.org/10.1007/978-3-319-30668-1_18 .

Jakobs, Marie-Christine, Manuel Töws, and Felix Pauck. “PAndA 2f: Analyzing Permission Use and Interplay in Android Apps (Tool Paper).” In Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, edited by Troubitsyna E Ishikawa F, Romanovsky A. School of Computing Science Technical Report Series, 2016.

Isenberg, Tobias. Induction-Based Verification of Timed Systems. Universität Paderborn, 2016.

Bäumer, Frederik Simon, and Michaela Geierhos. “Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions.”https://doi.org/10.1007/978-3-319-46254-7_44__In Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST), edited by Giedrehttps://doi.org/10.1007/978-3-319-46254-7_44__Dregvaite and Robertashttps://doi.org/10.1007/978-3-319-46254-7_44__Damasevicius, 639:549–58. Communications in Computer and Information Science. Cham, Switzerland: Springer, 2016.https://doi.org/10.1007/978-3-319-46254-7_44 .

Arifulina, Svetlana. Solving Heterogeneity for a Successful Service Market. Universität Paderborn, 2016.https://doi.org/10.17619/UNIPB/1-13 .

Rooijen, Lorijn van, and Heiko Hamann. “Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm.”https://doi.org/10.1109/REW.2016.015__In Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), 3--9, 2016.https://doi.org/10.1109/REW.2016.015 .

Zhang, Guangli. Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions. Universität Paderborn, 2016.

Czech, Mike. Predicting Rankings of Software Verification Tools Using Kernels for Structured Data. Universität Paderborn, 2016.

Jungmann, Alexander. Towards On-The-Fly Image Processing. Universität Paderborn, 2016.

Mohr, Felix. Towards Automated Service Composition Under Quality Constraints. Universität Paderborn, 2016.https://doi.org/10.17619/UNIPB/1-171 .

Wiersema, Tobias, and Marco Platzner. “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules Using Proof-Carrying Hardware.”https://doi.org/10.1109/ReCoSoC.2016.7533910__In Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016), 1--8, 2016.https://doi.org/10.1109/ReCoSoC.2016.7533910 .

Dewender, Markus. Verifikation von Service Kompositionen mit Spin. Universität Paderborn, 2016.

Heinisch, Philipp. Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016.

Vollmers, Daniel. Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen. Universität Paderborn, 2016.

Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning.”https://doi.org/10.1007/978-3-319-22969-0_12__In Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 159--174. LNCS, 2015.https://doi.org/10.1007/978-3-319-22969-0_12 .

Arifulina, Svetlana, Marie Christin Platenius, Felix Mohr, Gregor Engels, and Wilhelm Schäfer. “Market-Specific Service Compositions: Specification and Matching.”https://doi.org/10.1109/SERVICES.2015.58__In Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet, 333--340, 2015.https://doi.org/10.1109/SERVICES.2015.58 .

Czech, Mike, Marie-Christine Jakobs, and Heike Wehrheim. “Just Test What You Cannot Verify!”https://doi.org/10.1007/978-3-662-46675-9_7__In Fundamental Approaches to Software Engineering, edited by Alexander Egyed and Ina Schaefer, 100–114. Lecture Notes in Computer Science, 2015.https://doi.org/10.1007/978-3-662-46675-9_7 .

Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.”https://doi.org/10.1109/ACSD.2015.13__In Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 1–9, 2015.https://doi.org/10.1109/ACSD.2015.13 .

Becker, Matthias, Sebastian Lehrig, and Steffen Becker. “Systematically Deriving Quality Metrics for Cloud Computing Systems.”https://doi.org/10.1145/2668930.2688043__In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, 169--174. ICPE ’15. New York, NY, USA, 2015.https://doi.org/10.1145/2668930.2688043 .

Besova, Galina. Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015.

Brosig, Fabian, Philipp Meier, Steffen Becker, Anne Koziolek, Heiko Koziolek, and Samuel Kounev. “Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-Based Architectures.”https://doi.org/10.1109/TSE.2014.2362755__Transactions on Software Engineering, no. 2 (2015): 157--175.https://doi.org/10.1109/TSE.2014.2362755 .

Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs of Predicated Dataflow Analyses.”https://doi.org/10.1145/2695664.2695690__In Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1729–36. SAC ’15, 2015.https://doi.org/10.1145/2695664.2695690 .

Wiersema, Tobias, Sen Wu, and Marco Platzner. “On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach.”https://doi.org/10.1007/978-3-319-16214-0_32__In Proceedings of the International Symposium in Reconfigurable Computing (ARC), 365--372. LNCS, 2015.https://doi.org/10.1007/978-3-319-16214-0_32 .

Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service Composition in Markets of Composed Services.”https://doi.org/10.1186/s13174-015-0022-8__Journal of Internet Services and Applications, no. 1 (2015): 1–18.https://doi.org/10.1186/s13174-015-0022-8 .

Mohr, Felix. “A Metric for Functional Reusability of Services.”https://doi.org/10.1007/978-3-319-14130-5_21__In Proceedings of the 14th International Conference on Software Reuse (ICSR), 298--313. LNCS, 2015.https://doi.org/10.1007/978-3-319-14130-5_21 .

Bubeck, Uwe, and Hans Kleine Büning. “Learning Boolean Specifications.”https://doi.org/10.1016/j.artint.2015.09.003__Artificial Intelligence, 2015, 246–57.https://doi.org/10.1016/j.artint.2015.09.003 .

Besova, Galina, Dominik Steenken, and Heike Wehrheim. “Grammar-Based Model Transformations: Definition, Execution, and Quality Properties.”https://doi.org/10.1016/j.cl.2015.05.003__Computer Languages, Systems &; Structures, 2015, 116–38.https://doi.org/10.1016/j.cl.2015.05.003 .

Börding, Paul. Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen. Universität Paderborn, 2015.