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 | Journal Article | LibreCat-ID: 5209
Fischer, A., Fuhry, B., Kerschbaum, F., & Bodden, E. (2017). Computation on Encrypted Data using Data Flow Authentication. CoRR, abs/1710.00390.
LibreCat
| Files available
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 68
Isenberg, T., Platzner, M., Wehrheim, H., & Wiersema, T. (2017). Proof-Carrying Hardware via Inductive Invariants. ACM Transactions on Design Automation of Electronic Systems, (4), 61:1--61:23. https://doi.org/10.1145/3054743
LibreCat
| Files available
| DOI
2017 | Dissertation | LibreCat-ID: 685
Jakobs, M.-C. (2017). On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-104
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 69
Jakobs, M.-C., & Wehrheim, H. (2017). Programs from Proofs: A Framework for the Safe Execution of Untrusted Software. ACM Transactions on Programming Languages and Systems, (2), 7:1-7:56. https://doi.org/10.1145/3014427
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 106
Krammer, I. (2017). Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz. Universität München.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 109 | 
Pauck, F. (2017). Cooperative static analysis of Android applications. Universität Paderborn.
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 1098
Kim, Y.-S., Lee, S.-W., Dollmann, M., & Geierhos, M. (2017). Semantic Annotation of Software Requirements with Language Frame. International Journal of Software Engineering for Smart Device, 4(2), 1–6.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 1180 |
Wever, M. D., Mohr, F., & Hüllermeier, E. (2017). Automatic Machine Learning: Hierachical Planning Versus Evolutionary Optimization. In 27th Workshop Computational Intelligence. Dortmund.
LibreCat
| Files available
| Download (ext.)
2017 | Mastersthesis | LibreCat-ID: 119 |
Wever, M. D. (2017). Active Learning of User Requirement Specifications in Dynamic Software Service Markets. Universität Paderborn.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 120
Wever, M. D., van Rooijen, L., & Hamann, H. (2017). Active Coevolutionary Learning of Requirements Specifications from Examples. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) (pp. 1327--1334). https://doi.org/10.1145/3071178.3071258
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 100
Sergio Djoum Temdjim, A. (2017). Evaluation of Software Reputation Matching Based on App Reviews. Universität Paderborn.
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 101
Rehmer, L. (2017). Erweiterung eines kontextsensitiven Autovervollständigungstools zur natürlichsprachlichen Softwarespezifikation. Universität Paderborn.
LibreCat
2017 | Dissertation | LibreCat-ID: 102
Becker, M. (2017). Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-133
LibreCat
| DOI
2016 | Dissertation | LibreCat-ID: 195
Platenius, M. C. (2016). Fuzzy Matching of Comprehensive Service Specifications. Universität Paderborn.
LibreCat
| Files available
2016 | Mastersthesis | LibreCat-ID: 197
Dollmann, M. (2016). Frag die Anwender: Extraktion und Klassifikation von funktionalen Softwareanforderungen aus User-Generated-Content. Universität Paderborn.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 201
Bröcher, H. (2016). Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung. Universität Paderborn.
LibreCat
2016 | Journal Article | LibreCat-ID: 3318
Melnikov, V., Hüllermeier, E., Kaimann, D., Frick, B., & Gupta, Pritha . (2016). Pairwise versus Pointwise Ranking: A Case Study. Schedae Informaticae, 25. https://doi.org/10.4467/20838476si.16.006.6187
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
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
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 173
Heck, E. (2016). Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace. Universität Paderborn.
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 174
Schwentker, C. (2016). Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen. Universität Paderborn.
LibreCat