Bröcher, Henrik. Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn, 2016.
LibreCat: /record/201

Melnikov, Vitalik, et al. “Pairwise versus Pointwise Ranking: A Case Study.”10.4467/20838476si.16.006.6187__Schedae Informaticae, vol. 25, Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego, 2016, doi:10.4467/20838476si.16.006.6187.
LibreCat: /record/3318
DOI: 10.4467/20838476si.16.006.6187

Beringer, Steffen, and Heike Wehrheim. “Verification of AUTOSAR Software Architectures with Timed Automata.”10.1007/978-3-319-45943-1_13__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 et al., 2016, pp. 189--204, doi:10.1007/978-3-319-45943-1_13.
LibreCat: /record/3157
DOI: 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.
LibreCat: /record/173

Schwentker, Christoph. Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen. Universität Paderborn, 2016.
LibreCat: /record/174

Walther, Sven, and Heike Wehrheim. “On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs.”10.1016/j.scico.2016.04.002__Science of Computer Programming, Elsevier, 2016, pp. 2--23, doi:10.1016/j.scico.2016.04.002.
LibreCat: /record/175
DOI: 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.” Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing (EMNLP), Association for Computational Linguistics (ACL), 2016, pp. 1807–16.
LibreCat: /record/176

Platenius, Marie Christin, et al. “Imprecise Matching of Requirements Specifications for Software Services Using Fuzzy Logic.”10.1109/TSE.2016.2632115__IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017, no. 8, IEEE, 2016, pp. 739–59, doi:10.1109/TSE.2016.2632115.
LibreCat: /record/190
DOI: 10.1109/TSE.2016.2632115

Geierhos, Michaela, and Frederik Simon Bäumer. “How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement.”10.1007/978-3-319-41754-7_4__Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB), edited by Elisabeth10.1007/978-3-319-41754-7_4__Métais et al., vol. 9612, Springer, 2016, pp. 37–47, doi:10.1007/978-3-319-41754-7_4.
LibreCat: /record/191
DOI: 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.
LibreCat: /record/192

Stanco, Stefan. Modellierung von domänenspezifischen Ontologien im Anwendungsfall funktionaler Softwareanforderungen. Universität Paderborn, 2016.
LibreCat: /record/181

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

Czech, Mike, et al. “Just Test What You Cannot Verify!” Software Engineering 2016, edited by Uwe Zdun Jens Knoop, 2016, pp. 17–18.
LibreCat: /record/186

Platenius, Marie Christin, et al. An Overview of Service Specification Language and Matching in On-The-Fly Computing (.3). Universität Paderborn, 2016.
LibreCat: /record/221

Wiersema, Tobias, et al. “An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip.”10.1016/j.compeleceng.2016.04.005__Computers &; Electrical Engineering, Elsevier, 2016, pp. 112--122, doi:10.1016/j.compeleceng.2016.04.005.
LibreCat: /record/222
DOI: 10.1016/j.compeleceng.2016.04.005

Krämer, Julia, and Heike Wehrheim. “A Short Survey on Using Software Error Localization for Service Compositions.”10.1007/978-3-319-44482-6_16__Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016), 2016, pp. 248--262, doi:10.1007/978-3-319-44482-6_16.
LibreCat: /record/224
DOI: 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.”10.1109/ETFA.2016.7733522__Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2016, pp. 1--8, doi:10.1109/ETFA.2016.7733522.
LibreCat: /record/225
DOI: 10.1109/ETFA.2016.7733522

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

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

Schwichtenberg, Simon. “Automatized Derivation of Comprehensive Specifications for Black-Box Services.”10.1145/2889160.2889271__Proceedings of the 38th International Conference on Software Engineering Companion (ICSE), 2016, pp. 815–18, doi:10.1145/2889160.2889271.
LibreCat: /record/217
DOI: 10.1145/2889160.2889271

Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Composition of Service-Based Image Processing Applications.”10.1109/SCC.2016.21__Proceedings of the 13th IEEE International Conference on Services Computing (SCC), 2016, pp. 106--113, doi:10.1109/SCC.2016.21.
LibreCat: /record/218
DOI: 10.1109/SCC.2016.21

Späth, Johannes, et al. “Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.” European Conference on Object-Oriented Programming (ECOOP), 2016.
LibreCat: /record/5205

Kühne, Thomas, et al. “Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application.”10.1007/978-3-319-30668-1_18__Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016), 2016, pp. 278--293, doi:10.1007/978-3-319-30668-1_18.
LibreCat: /record/169
DOI: 10.1007/978-3-319-30668-1_18

Jakobs, Marie-Christine, et al. “PAndA 2f: Analyzing Permission Use and Interplay in Android Apps (Tool Paper).” Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, edited by Troubitsyna E Ishikawa F, Romanovsky A, 2016.
LibreCat: /record/170

Isenberg, Tobias. Induction-Based Verification of Timed Systems. Universität Paderborn, 2016.
LibreCat: /record/1190

Bäumer, Frederik Simon, and Michaela Geierhos. “Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions.”10.1007/978-3-319-46254-7_44__Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST), edited by Giedre10.1007/978-3-319-46254-7_44__Dregvaite and Robertas10.1007/978-3-319-46254-7_44__Damasevicius, vol. 639, Springer, 2016, pp. 549–58, doi:10.1007/978-3-319-46254-7_44.
LibreCat: /record/158
DOI: 10.1007/978-3-319-46254-7_44

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

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

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

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

Jungmann, Alexander. Towards On-The-Fly Image Processing. Universität Paderborn, 2016.
LibreCat: /record/140

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

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

Dewender, Markus. Verifikation von Service Kompositionen mit Spin. Universität Paderborn, 2016.
LibreCat: /record/133

Heinisch, Philipp. Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016.
LibreCat: /record/134

Vollmers, Daniel. Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen. Universität Paderborn, 2016.
LibreCat: /record/136

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

Arifulina, Svetlana, et al. “Market-Specific Service Compositions: Specification and Matching.”10.1109/SERVICES.2015.58__Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet, 2015, pp. 333--340, doi:10.1109/SERVICES.2015.58.
LibreCat: /record/280
DOI: 10.1109/SERVICES.2015.58

Czech, Mike, et al. “Just Test What You Cannot Verify!”10.1007/978-3-662-46675-9_7__Fundamental Approaches to Software Engineering, edited by Alexander Egyed and Ina Schaefer, 2015, pp. 100–14, doi:10.1007/978-3-662-46675-9_7.
LibreCat: /record/283
DOI: 10.1007/978-3-662-46675-9_7

Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.”10.1109/ACSD.2015.13__Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD), 2015, pp. 1–9, doi:10.1109/ACSD.2015.13.
LibreCat: /record/285
DOI: 10.1109/ACSD.2015.13

Becker, Matthias, et al. “Systematically Deriving Quality Metrics for Cloud Computing Systems.”10.1145/2668930.2688043__Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, 2015, pp. 169--174, doi:10.1145/2668930.2688043.
LibreCat: /record/245
DOI: 10.1145/2668930.2688043

Besova, Galina. Systematic Development and Re-Use of Model Tranformations. Universität Paderborn, 2015.
LibreCat: /record/246

Brosig, Fabian, et al. “Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-Based Architectures.”10.1109/TSE.2014.2362755__Transactions on Software Engineering, no. 2, IEEE, 2015, pp. 157--175, doi:10.1109/TSE.2014.2362755.
LibreCat: /record/260
DOI: 10.1109/TSE.2014.2362755

Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs of Predicated Dataflow Analyses.”10.1145/2695664.2695690__Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015, pp. 1729–36, doi:10.1145/2695664.2695690.
LibreCat: /record/262
DOI: 10.1145/2695664.2695690

Wiersema, Tobias, et al. “On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach.”10.1007/978-3-319-16214-0_32__Proceedings of the International Symposium in Reconfigurable Computing (ARC), 2015, pp. 365--372, doi:10.1007/978-3-319-16214-0_32.
LibreCat: /record/269
DOI: 10.1007/978-3-319-16214-0_32

Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service Composition in Markets of Composed Services.”10.1186/s13174-015-0022-8__Journal of Internet Services and Applications, no. 1, Springer, 2015, pp. 1–18, doi:10.1186/s13174-015-0022-8.
LibreCat: /record/323
DOI: 10.1186/s13174-015-0022-8

Mohr, Felix. “A Metric for Functional Reusability of Services.”10.1007/978-3-319-14130-5_21__Proceedings of the 14th International Conference on Software Reuse (ICSR), 2015, pp. 298--313, doi:10.1007/978-3-319-14130-5_21.
LibreCat: /record/324
DOI: 10.1007/978-3-319-14130-5_21

Bubeck, Uwe, and Hans Kleine Büning. “Learning Boolean Specifications.”10.1016/j.artint.2015.09.003__Artificial Intelligence, Elsevier, 2015, pp. 246–57, doi:10.1016/j.artint.2015.09.003.
LibreCat: /record/3343
DOI: 10.1016/j.artint.2015.09.003

Besova, Galina, et al. “Grammar-Based Model Transformations: Definition, Execution, and Quality Properties.”10.1016/j.cl.2015.05.003__Computer Languages, Systems &; Structures, Elsevier, 2015, pp. 116–38, doi:10.1016/j.cl.2015.05.003.
LibreCat: /record/290
DOI: 10.1016/j.cl.2015.05.003

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