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
@article{Fischer_Fuhry_Kerschbaum_Bodden_2017, title={Computation on Encrypted Data using Data Flow Authentication}, volume={abs/1710.00390}, journal={CoRR}, author={Fischer, Andreas and Fuhry, Benny and Kerschbaum, Florian and Bodden, Eric}, year={2017} }
LibreCat
| Files available
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 68
@article{Isenberg_Platzner_Wehrheim_Wiersema_2017, title={Proof-Carrying Hardware via Inductive Invariants}, DOI={10.1145/3054743}, number={4}, journal={ACM Transactions on Design Automation of Electronic Systems}, publisher={ACM}, author={Isenberg, Tobias and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias}, year={2017}, pages={61:1--61:23} }
LibreCat
| Files available
| DOI
2017 | Dissertation | LibreCat-ID: 685
@book{Jakobs_2017, title={On-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring}, DOI={10.17619/UNIPB/1-104}, publisher={Universität Paderborn}, author={Jakobs, Marie-Christine}, year={2017} }
LibreCat
| Files available
| DOI
2017 | Journal Article | LibreCat-ID: 69
@article{Jakobs_Wehrheim_2017, title={Programs from Proofs: A Framework for the Safe Execution of Untrusted Software}, DOI={10.1145/3014427}, number={2}, journal={ACM Transactions on Programming Languages and Systems}, publisher={ACM}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2017}, pages={7:1-7:56} }
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 106
@book{Krammer_2017, title={Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz}, publisher={Universität München}, author={Krammer, Isabel}, year={2017} }
LibreCat
2017 | Mastersthesis | LibreCat-ID: 109 | 
@book{Pauck_2017, title={Cooperative static analysis of Android applications}, publisher={Universität Paderborn}, author={Pauck, Felix}, year={2017} }
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 1098
@article{Kim_Lee_Dollmann_Geierhos_2017, title={Semantic Annotation of Software Requirements with Language Frame}, volume={4}, number={2}, journal={International Journal of Software Engineering for Smart Device}, publisher={Global Vision School Publication}, author={Kim, Yeong-Su and Lee, Seung-Woo and Dollmann, Markus and Geierhos, Michaela}, year={2017}, pages={1–6} }
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 1180 |
@inproceedings{Wever_Mohr_Hüllermeier_2017, place={Dortmund}, title={Automatic Machine Learning: Hierachical Planning Versus Evolutionary Optimization}, booktitle={27th Workshop Computational Intelligence}, author={Wever, Marcel Dominik and Mohr, Felix and Hüllermeier, Eyke}, year={2017} }
LibreCat
| Files available
| Download (ext.)
2017 | Mastersthesis | LibreCat-ID: 119 |
@book{Wever_2017, title={Active Learning of User Requirement Specifications in Dynamic Software Service Markets}, publisher={Universität Paderborn}, author={Wever, Marcel Dominik}, year={2017} }
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 120
@inproceedings{Wever_van Rooijen_Hamann_2017, title={Active Coevolutionary Learning of Requirements Specifications from Examples}, DOI={10.1145/3071178.3071258}, booktitle={Proceedings of the Genetic and Evolutionary Computation Conference (GECCO)}, author={Wever, Marcel Dominik and van Rooijen, Lorijn and Hamann, Heiko}, year={2017}, pages={1327--1334} }
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 100
@book{Sergio Djoum Temdjim_2017, title={Evaluation of Software Reputation Matching Based on App Reviews}, publisher={Universität Paderborn}, author={Sergio Djoum Temdjim, Albin}, year={2017} }
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 101
@book{Rehmer_2017, title={Erweiterung eines kontextsensitiven Autovervollständigungstools zur natürlichsprachlichen Softwarespezifikation}, publisher={Universität Paderborn}, author={Rehmer, Lennart}, year={2017} }
LibreCat
2017 | Dissertation | LibreCat-ID: 102
@book{Becker_2017, title={Engineering Self-Adaptive Systems with Simulation-Based Performence Prediction}, DOI={10.17619/UNIPB/1-133}, publisher={Universität Paderborn}, author={Becker, Matthias}, year={2017} }
LibreCat
| DOI
2016 | Dissertation | LibreCat-ID: 195
@book{Platenius_2016, title={Fuzzy Matching of Comprehensive Service Specifications}, publisher={Universität Paderborn}, author={Platenius, Marie Christin}, year={2016} }
LibreCat
| Files available
2016 | Mastersthesis | LibreCat-ID: 197
@book{Dollmann_2016, title={Frag die Anwender: Extraktion und Klassifikation von funktionalen Softwareanforderungen aus User-Generated-Content}, publisher={Universität Paderborn}, author={Dollmann, Markus}, year={2016} }
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 201
@book{Bröcher_2016, title={Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung}, publisher={Universität Paderborn}, author={Bröcher, Henrik}, year={2016} }
LibreCat
2016 | Journal Article | LibreCat-ID: 3318
@article{Melnikov_Hüllermeier_Kaimann_Frick_Gupta_2016, title={Pairwise versus Pointwise Ranking: A Case Study}, volume={25}, DOI={10.4467/20838476si.16.006.6187}, journal={Schedae Informaticae}, publisher={Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego}, author={Melnikov, Vitalik and Hüllermeier, Eyke and Kaimann, Daniel and Frick, Bernd and Gupta, Pritha }, year={2016} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 3157
@inproceedings{Beringer_Wehrheim_2016, series={Lecture Notes in Computer Science}, title={Verification of AUTOSAR Software Architectures with Timed Automata}, DOI={10.1007/978-3-319-45943-1_13}, booktitle={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}, author={Beringer, Steffen and Wehrheim, Heike}, editor={H. ter Beek, Maurice and Gnesi, Stefania and Knapp, AlexanderEditors}, year={2016}, pages={189--204}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2016 | Bachelorsthesis | LibreCat-ID: 173
@book{Heck_2016, title={Ontologie-Erstellung mittels Text-Mining aus App-Marktplätzen am Beispiel des Google Marketplace}, publisher={Universität Paderborn}, author={Heck, Eduard}, year={2016} }
LibreCat
2016 | Bachelorsthesis | LibreCat-ID: 174
@book{Schwentker_2016, title={Ontologie-basierte Extraktion funktionaler Softwareanforderungen am Fallbeispiel mobiler Kommunikationsapplikationen}, publisher={Universität Paderborn}, author={Schwentker, Christoph}, year={2016} }
LibreCat