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, Marie-Christine, Julia Krämer, Dirk van Straaten, and Theodor Lettmann. “Certification Matters for Service Markets.” In The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), edited by Thomas Prinz Marcelo De Barros, Janusz Klink,Tadeus Uhl, 7–12, 2017.
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 1157
Witschen, Linus Matthias. A Framework for the Synthesis of Approximate Circuits. Universität Paderborn, 2017.
LibreCat
2017 | Journal Article | LibreCat-ID: 90
Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” ACM Transactions on Embedded Computing Systems, no. 2 (2017): 47:1-47:24. https://doi.org/10.1145/2984640.
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 93
Geierhos, Michaela, and Frederik Simon Bäumer. “Guesswork? Resolving Vagueness in User-Generated Software Requirements.” In Partiality and Underspecification in Information, Languages, and Knowledge, edited by Henning Christiansen, M. Dolores Jiménez-López, Roussanka Loukanova, and Lawrence S. Moss, 1st ed., 65–108. Newcastle upon Tyne, UK: Cambridge Scholars Publishing, 2017.
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 5694
Schnitker, Nino Noel. Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 57
Bäumer, Frederik Simon, Markus Dollmann, and Michaela Geierhos. “Studying Software Descriptions in SourceForge and App Stores for a Better Understanding of Real-Life Requirements.” In Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics, edited by Federica Sarro, Emad Shihab, Meiyappan Nagappan, Marie Christin Platenius, and Daniel Kaimann, 19–25. New York, NY, USA: ACM, 2017. https://doi.org/10.1145/3121264.3121269.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 5724
Hetzer, Alexander, and Tanja Tornede. Solving the Container Pre-Marshalling Problem Using Reinforcement Learning and Structured Output Prediction. Universität Paderborn, 2017.
LibreCat
2017 | Conference Paper | LibreCat-ID: 5769
Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information Flow Analyses.” In Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods (ICFEM 2017), 362–78. Springer International Publishing, 2017. https://doi.org/10.1007/978-3-319-68690-5_22.
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 46
Grobbel, Florian. Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen. Universität Paderborn, 2017.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 47
Theda, Mona. Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze. Universität Paderborn, 2017.
LibreCat
2017 | Dissertation | LibreCat-ID: 707
Walther, Sven. Knowledge-Based Verification of Service Compositions. Universität Paderborn, 2017. https://doi.org/10.17619/UNIPB/1-307.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 71
Czech, Mike, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. “Predicting Rankings of Software Verification Tools.” In Proceedings of the 3rd International Workshop on Software Analytics, 23–26. SWAN’17, 2017. https://doi.org/10.1145/3121257.3121262.
LibreCat
| Files available
| DOI
2017 | Report | LibreCat-ID: 72
Czech, Mike, Eyke Hüllermeier, Marie-Christine Jakobs, and Heike Wehrheim. Predicting Rankings of Software Verification Competitions, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 73
Jakobs, Marie-Christine. “PART_PW: From Partial Analysis Results to a Proof Witness.” In Software Engineering and Formal Methods, edited by Alessandro Cimatti and Marjan Sirjani, 120–35. Lecture Notes in Computer Science, 2017. https://doi.org/10.1007/978-3-319-66197-1_8.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 84
Platenius, Marie Christin, Svetlana Arifulina, and Wilhelm Schäfer. “MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract).” In Tagungsband Software Engineering, 81--82. Lecture Notes in Informatics (LNI), 2017.
LibreCat
| Files available
2017 | Dissertation | LibreCat-ID: 89
Bäumer, Frederik Simon. Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen. Universität Paderborn, 2017. https://doi.org/10.17619/UNIPB/1-157.
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 97
Rooijen, Lorijn van, Frederik Simon Bäumer, Marie Christin Platenius, Michaela Geierhos, Heiko Hamann, and Gregor Engels. “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), 379–85. Piscataway, NJ, USA: IEEE, 2017. https://doi.org/10.1109/REW.2017.26.
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 98
Schwichtenberg, Simon, Christian Gerth, and Gregor Engels. “From Open API to Semantic Specifications and Code Adapters.” In Proceedings of the 24th IEEE International Conference on Web Services (ICWS), 484--491, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 99
Wehrheim, Heike. “Fault Localization in Service Compositions.” In Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS). LNCS, 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 5204
Späth, Johannes, Karim Ali, and Eric Bodden. “IDEal: Efficient and Precise Alias-Aware Dataflow Analysis.” In 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH). ACM Press, 2017.
LibreCat
| Files available
| Download (ext.)