Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
367 Publications
2017 | Conference Paper | LibreCat-ID: 115
Jakobs, M.-C., Krämer, J., van Straaten, D., & Lettmann, T. (2017). Certification Matters for Service Markets. In T. P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION) (pp. 7–12).
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 1157
Witschen, L. M. (2017). A Framework for the Synthesis of Approximate Circuits. Universität Paderborn.
LibreCat
2017 | Journal Article | LibreCat-ID: 90
Isenberg, T. (2017). Incremental Inductive Verification of Parameterized Timed Systems. ACM Transactions on Embedded Computing Systems, (2), 47:1-47:24. https://doi.org/10.1145/2984640
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 93
Geierhos, M., & Bäumer, F. S. (2017). Guesswork? Resolving Vagueness in User-Generated Software Requirements. In H. Christiansen, M. D. Jiménez-López, R. Loukanova, & L. S. Moss (Eds.), Partiality and Underspecification in Information, Languages, and Knowledge (1st ed., pp. 65–108). Newcastle upon Tyne, UK: Cambridge Scholars Publishing.
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 5694
Schnitker, N. N. (2017). Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies. Universität Paderborn.
LibreCat
2017 | Conference Paper | LibreCat-ID: 57
Bäumer, F. S., Dollmann, M., & Geierhos, M. (2017). Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements. In F. Sarro, E. Shihab, M. Nagappan, M. C. Platenius, & D. Kaimann (Eds.), Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics (pp. 19–25). New York, NY, USA: ACM. https://doi.org/10.1145/3121264.3121269
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 5724
Hetzer, A., & Tornede, T. (2017). Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction. Universität Paderborn.
LibreCat
2017 | Conference Paper | LibreCat-ID: 5769
Töws, M., & Wehrheim, H. (2017). Policy Dependent and Independent Information Flow Analyses. In Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods (ICFEM 2017) (pp. 362–378). Springer International Publishing. https://doi.org/10.1007/978-3-319-68690-5_22
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 46
Grobbel, F. (2017). Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen. Universität Paderborn.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 47
Theda, M. (2017). Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze. Universität Paderborn.
LibreCat
2017 | Dissertation | LibreCat-ID: 707
Walther, S. (2017). Knowledge-based Verification of Service Compositions. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-307
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 71
Czech, M., Hüllermeier, E., Jakobs, M.-C., & Wehrheim, H. (2017). Predicting Rankings of Software Verification Tools. In Proceedings of the 3rd International Workshop on Software Analytics (pp. 23–26). https://doi.org/10.1145/3121257.3121262
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 72
Czech, M., Hüllermeier, E., Jakobs, M.-C., & Wehrheim, H. (2017). Predicting Rankings of Software Verification Competitions.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 73
Jakobs, M.-C. (2017). PART_PW: From Partial Analysis Results to a Proof Witness. In A. Cimatti & M. Sirjani (Eds.), Software Engineering and Formal Methods (pp. 120–135). https://doi.org/10.1007/978-3-319-66197-1_8
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 84
Platenius, M. C., Arifulina, S., & Schäfer, W. (2017). MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract). In Tagungsband Software Engineering (pp. 81--82).
LibreCat
| Files available
2017 | Dissertation | LibreCat-ID: 89
Bäumer, F. S. (2017). Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-157
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 97
van Rooijen, L., Bäumer, F. S., Platenius, M. C., Geierhos, M., Hamann, H., & Engels, G. (2017). From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process. In 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW) (pp. 379–385). Piscataway, NJ, USA: IEEE. https://doi.org/10.1109/REW.2017.26
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 98
Schwichtenberg, S., Gerth, C., & Engels, G. (2017). From Open API to Semantic Specifications and Code Adapters. In Proceedings of the 24th IEEE International Conference on Web Services (ICWS) (pp. 484--491).
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 99
Wehrheim, H. (2017). Fault localization in service compositions. In Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS).
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 5204
Späth, J., Ali, K., & Bodden, E. (2017). IDEal: Efficient and Precise Alias-aware Dataflow Analysis. In 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH). ACM Press.
LibreCat
| Files available
| Download (ext.)