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 | Dissertation | LibreCat-ID: 89
Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen
F.S. Bäumer, Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen, Universität Paderborn, 2017.
LibreCat
| DOI
F.S. Bäumer, Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 97
From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process
L. van Rooijen, F.S. Bäumer, M.C. Platenius, M. Geierhos, H. Hamann, G. Engels, in: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, Piscataway, NJ, USA, 2017, pp. 379–385.
LibreCat
| Files available
| DOI
L. van Rooijen, F.S. Bäumer, M.C. Platenius, M. Geierhos, H. Hamann, G. Engels, in: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), IEEE, Piscataway, NJ, USA, 2017, pp. 379–385.
2017 | Conference Paper | LibreCat-ID: 98
From Open API to Semantic Specifications and Code Adapters
S. Schwichtenberg, C. Gerth, G. Engels, in: Proceedings of the 24th IEEE International Conference on Web Services (ICWS), 2017, pp. 484--491.
LibreCat
| Files available
S. Schwichtenberg, C. Gerth, G. Engels, in: Proceedings of the 24th IEEE International Conference on Web Services (ICWS), 2017, pp. 484--491.
2017 | Conference Paper | LibreCat-ID: 99
Fault localization in service compositions
H. Wehrheim, in: Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS), 2017.
LibreCat
| Files available
H. Wehrheim, in: Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS), 2017.
2017 | Conference Paper | LibreCat-ID: 5204
IDEal: Efficient and Precise Alias-aware Dataflow Analysis
J. Späth, K. Ali, E. Bodden, in: 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), ACM Press, 2017.
LibreCat
| Files available
| Download (ext.)
J. Späth, K. Ali, E. Bodden, in: 2017 International Conference on Object-Oriented Programming, Languages and Applications (OOPSLA/SPLASH), ACM Press, 2017.
2017 | Journal Article | LibreCat-ID: 5209
Computation on Encrypted Data using Data Flow Authentication
A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, CoRR abs/1710.00390 (2017).
LibreCat
| Files available
| Download (ext.)
A. Fischer, B. Fuhry, F. Kerschbaum, E. Bodden, CoRR abs/1710.00390 (2017).
2017 | Journal Article | LibreCat-ID: 68
Proof-Carrying Hardware via Inductive Invariants
T. Isenberg, M. Platzner, H. Wehrheim, T. Wiersema, ACM Transactions on Design Automation of Electronic Systems (2017) 61:1--61:23.
LibreCat
| Files available
| DOI
T. Isenberg, M. Platzner, H. Wehrheim, T. Wiersema, ACM Transactions on Design Automation of Electronic Systems (2017) 61:1--61:23.
2017 | Dissertation | LibreCat-ID: 685
On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring
M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, Universität Paderborn, 2017.
LibreCat
| Files available
| DOI
M.-C. Jakobs, On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring, Universität Paderborn, 2017.
2017 | Journal Article | LibreCat-ID: 69
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software
M.-C. Jakobs, H. Wehrheim, ACM Transactions on Programming Languages and Systems (2017) 7:1-7:56.
LibreCat
| Files available
| DOI
M.-C. Jakobs, H. Wehrheim, ACM Transactions on Programming Languages and Systems (2017) 7:1-7:56.
2017 | Mastersthesis | LibreCat-ID: 106
Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz
I. Krammer, Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz, Universität München, 2017.
LibreCat
I. Krammer, Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz, Universität München, 2017.
2017 | Mastersthesis | LibreCat-ID: 109 | 
Cooperative static analysis of Android applications
F. Pauck, Cooperative Static Analysis of Android Applications, Universität Paderborn, 2017.
LibreCat
| Files available
F. Pauck, Cooperative Static Analysis of Android Applications, Universität Paderborn, 2017.
2017 | Journal Article | LibreCat-ID: 1098
Semantic Annotation of Software Requirements with Language Frame
Y.-S. Kim, S.-W. Lee, M. Dollmann, M. Geierhos, International Journal of Software Engineering for Smart Device 4 (2017) 1–6.
LibreCat
| Files available
Y.-S. Kim, S.-W. Lee, M. Dollmann, M. Geierhos, International Journal of Software Engineering for Smart Device 4 (2017) 1–6.
2017 | Conference Paper | LibreCat-ID: 1180 |
Automatic Machine Learning: Hierachical Planning Versus Evolutionary Optimization
M.D. Wever, F. Mohr, E. Hüllermeier, in: 27th Workshop Computational Intelligence, Dortmund, 2017.
LibreCat
| Files available
| Download (ext.)
M.D. Wever, F. Mohr, E. Hüllermeier, in: 27th Workshop Computational Intelligence, Dortmund, 2017.
2017 | Mastersthesis | LibreCat-ID: 119 |
Active Learning of User Requirement Specifications in Dynamic Software Service Markets
M.D. Wever, Active Learning of User Requirement Specifications in Dynamic Software Service Markets, Universität Paderborn, 2017.
LibreCat
| Files available
M.D. Wever, Active Learning of User Requirement Specifications in Dynamic Software Service Markets, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 120
Active Coevolutionary Learning of Requirements Specifications from Examples
M.D. Wever, L. van Rooijen, H. Hamann, in: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 2017, pp. 1327--1334.
LibreCat
| Files available
| DOI
M.D. Wever, L. van Rooijen, H. Hamann, in: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 2017, pp. 1327--1334.
2017 | Mastersthesis | LibreCat-ID: 100
Evaluation of Software Reputation Matching Based on App Reviews
A. Sergio Djoum Temdjim, Evaluation of Software Reputation Matching Based on App Reviews, Universität Paderborn, 2017.
LibreCat
A. Sergio Djoum Temdjim, Evaluation of Software Reputation Matching Based on App Reviews, Universität Paderborn, 2017.
2017 | Bachelorsthesis | LibreCat-ID: 101
Erweiterung eines kontextsensitiven Autovervollständigungstools zur natürlichsprachlichen Softwarespezifikation
L. Rehmer, Erweiterung eines kontextsensitiven Autovervollständigungstools zur natürlichsprachlichen Softwarespezifikation, Universität Paderborn, 2017.
LibreCat
L. Rehmer, Erweiterung eines kontextsensitiven Autovervollständigungstools zur natürlichsprachlichen Softwarespezifikation, Universität Paderborn, 2017.
2017 | Dissertation | LibreCat-ID: 102
Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction
M. Becker, Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction, Universität Paderborn, 2017.
LibreCat
| DOI
M. Becker, Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction, Universität Paderborn, 2017.
2016 | Dissertation | LibreCat-ID: 195
Fuzzy Matching of Comprehensive Service Specifications
M.C. Platenius, Fuzzy Matching of Comprehensive Service Specifications, Universität Paderborn, 2016.
LibreCat
| Files available
M.C. Platenius, Fuzzy Matching of Comprehensive Service Specifications, Universität Paderborn, 2016.
2016 | Mastersthesis | LibreCat-ID: 197
Frag die Anwender: Extraktion und Klassifikation von funktionalen Softwareanforderungen aus User-Generated-Content
M. Dollmann, Frag die Anwender: Extraktion und Klassifikation von funktionalen Softwareanforderungen aus User-Generated-Content, Universität Paderborn, 2016.
LibreCat
M. Dollmann, Frag die Anwender: Extraktion und Klassifikation von funktionalen Softwareanforderungen aus User-Generated-Content, Universität Paderborn, 2016.