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

Melnikov, V., Hüllermeier, E., Kaimann, D., Frick, B., &; Gupta,https://doi.org/10.4467/20838476si.16.006.6187__Pritha . (2016). Pairwise versus Pointwise Ranking: A Case Study. Schedae Informaticae, 25.https://doi.org/10.4467/20838476si.16.006.6187 

Beringer, S., &; Wehrheim, H. (2016). Verification of AUTOSAR Software Architectures with Timed Automata. In M. H. ter Beek, S. Gnesi, &; A. Knapp (Eds.), 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 (pp. 189--204).https://doi.org/10.1007/978-3-319-45943-1_13 

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

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

Walther, S., &; Wehrheim, H. (2016). On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs. Science of Computer Programming, 2--23.https://doi.org/10.1016/j.scico.2016.04.002 

Dollmann, M., &; Geierhos, M. (2016). 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) (pp. 1807–1816). Austin, TX, USA: Association for Computational Linguistics (ACL).

Platenius, M. C., Shaker, A., Becker, M., Hüllermeier, E., &; Schäfer, W. (2016). Imprecise Matching of Requirements Specifications for Software Services using Fuzzy Logic. IEEE Transactions on Software Engineering (TSE), Presented at ICSE 2017, (8), 739–759.https://doi.org/10.1109/TSE.2016.2632115 

Geierhos, M., &; Bäumer, F. S. (2016). How to Complete Customer Requirements: Using Concept Expansion for Requirement Refinement. In E. Métais, F. Meziane, M. Saraee, V. Sugumaran, &; S. Vadera (Eds.), Proceedings of the 21st International Conference on Applications of Natural Language to Information Systems (NLDB) (Vol. 9612, pp. 37–47). Cham, Switzerland: Springer.https://doi.org/10.1007/978-3-319-41754-7_4 

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

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

Melnikov, V., &; Hüllermeier, E. (2016). Learning to Aggregate Using Uninorms. In Proceedings of the Joint European Conference on Machine Learning and Knowledge Discovery in Databases (ECML/PKDD 2016) (pp. 756–771).https://doi.org/10.1007/978-3-319-46227-1_47 

Czech, M., Jakobs, M.-C., &; Wehrheim, H. (2016). Just test what you cannot verify! In U. Z. Jens Knoop (Ed.), Software Engineering 2016 (pp. 17–18).

Platenius, M. C., Josifovska, K., van Rooijen, L., Arifulina, S., Becker, M., Engels, G., &; Schäfer, W. (2016). An Overview of Service Specification Language and Matching in On-The-Fly Computing (.3). Universität Paderborn.

Wiersema, T., Bockhorn, A., &; Platzner, M. (2016). An Architecture and Design Tool Flow for Embedding a Virtual FPGA into a Reconfigurable System-on-Chip. Computers &; Electrical Engineering, 112--122.https://doi.org/10.1016/j.compeleceng.2016.04.005 

Krämer, J., &; Wehrheim, H. (2016). A short survey on using software error localization for service compositions. In Proceedings of the 5th European Conference on Service-Oriented and Cloud Computing (ESOCC 2016) (pp. 248--262).https://doi.org/10.1007/978-3-319-44482-6_16 

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

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

Töws, M., &; Wehrheim, H. (2016). A CEGAR Scheme for Information Flow Analysis. In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016) (pp. 466--483).https://doi.org/10.1007/978-3-319-47846-3_29 

Schwichtenberg, S. (2016). Automatized Derivation of Comprehensive Specifications for Black-box Services. In Proceedings of the 38th International Conference on Software Engineering Companion (ICSE) (pp. 815–818).https://doi.org/10.1145/2889160.2889271 

Jungmann, A., &; Kleinjohann, B. (2016). Automatic Composition of Service-based Image Processing Applications. In Proceedings of the 13th IEEE International Conference on Services Computing (SCC) (pp. 106--113).https://doi.org/10.1109/SCC.2016.21 

Späth, J., Nguyen Quang Do, L., Ali, K., &; Bodden, E. (2016). Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. In European Conference on Object-Oriented Programming (ECOOP).

Kühne, T., Hamann, H., Arifulina, S., &; Engels, G. (2016). Patterns for Constructing Mutation Operators: Limiting the Search Space in a Software Engineering Application. In Proceedings of the 19th European Conference on Genetic Programming (EuroGP 2016) (pp. 278--293).https://doi.org/10.1007/978-3-319-30668-1_18 

Jakobs, M.-C., Töws, M., &; Pauck, F. (2016). PAndA 2f: Analyzing Permission Use and Interplay in Android Apps (Tool Paper). In T. E. Ishikawa F, Romanovsky A (Ed.), Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems.

Isenberg, T. (2016). Induction-based Verification of Timed Systems. Universität Paderborn.

Bäumer, F. S., &; Geierhos, M. (2016). Running out of Words: How Similar User Stories Can Help to Elaborate Individual Natural Language Requirement Descriptions. In G. Dregvaite &; R. Damasevicius (Eds.), Proceedings of the 22nd International Conference on Information and Software Technologies (ICIST) (Vol. 639, pp. 549–558). Cham, Switzerland: Springer.https://doi.org/10.1007/978-3-319-46254-7_44 

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

van Rooijen, L., &; Hamann, H. (2016). Requirements Specification-by-Example Using a Multi-Objective Evolutionary Algorithm. In Proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016) (pp. 3--9).https://doi.org/10.1109/REW.2016.015 

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

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

Jungmann, A. (2016). Towards On-The-Fly Image Processing. Universität Paderborn.

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

Wiersema, T., &; Platzner, M. (2016). Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware. In Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016) (pp. 1--8).https://doi.org/10.1109/ReCoSoC.2016.7533910 

Dewender, M. (2016). Verifikation von Service Kompositionen mit Spin. Universität Paderborn.

Heinisch, P. (2016). Verifikation von Service Kompositionen mit Prolog. Universität Paderborn.

Vollmers, D. (2016). Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen. Universität Paderborn.

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

Arifulina, S., Platenius, M. C., Mohr, F., Engels, G., &; Schäfer, W. (2015). Market-Specific Service Compositions: Specification and Matching. In Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet (pp. 333--340).https://doi.org/10.1109/SERVICES.2015.58 

Czech, M., Jakobs, M.-C., &; Wehrheim, H. (2015). Just test what you cannot verify! In A. Egyed &; I. Schaefer (Eds.), Fundamental Approaches to Software Engineering (pp. 100–114).https://doi.org/10.1007/978-3-662-46675-9_7 

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

Becker, M., Lehrig, S., &; Becker, S. (2015). Systematically Deriving Quality Metrics for Cloud Computing Systems. In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering (pp. 169--174). New York, NY, USA.https://doi.org/10.1145/2668930.2688043 

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

Brosig, F., Meier, P., Becker, S., Koziolek, A., Koziolek, H., &; Kounev, S. (2015). Quantitative Evaluation of Model-Driven Performance Analysis and Simulation of Component-based Architectures. Transactions on Software Engineering, (2), 157--175.https://doi.org/10.1109/TSE.2014.2362755 

Jakobs, M.-C., &; Wehrheim, H. (2015). Programs from Proofs of Predicated Dataflow Analyses. In Proceedings of the 30th Annual ACM Symposium on Applied Computing (pp. 1729–1736).https://doi.org/10.1145/2695664.2695690 

Wiersema, T., Wu, S., &; Platzner, M. (2015). On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach. In Proceedings of the International Symposium in Reconfigurable Computing (ARC) (pp. 365--372).https://doi.org/10.1007/978-3-319-16214-0_32 

Jungmann, A., &; Mohr, F. (2015). An approach towards adaptive service composition in markets of composed services. Journal of Internet Services and Applications, (1), 1–18.https://doi.org/10.1186/s13174-015-0022-8 

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

Bubeck, U., &; Kleine Büning, H. (2015). Learning Boolean Specifications. Artificial Intelligence, 246–257.https://doi.org/10.1016/j.artint.2015.09.003 

Besova, G., Steenken, D., &; Wehrheim, H. (2015). Grammar-based model transformations: Definition, execution, and quality properties. Computer Languages, Systems &; Structures, 116–138.https://doi.org/10.1016/j.cl.2015.05.003 

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