365 Publications

2023 | Conference Paper | LibreCat-ID: 35426 | OA
Richter, C., Haltermann, J. F., Jakobs, M.-C., Pauck, F., Schott, S., & Wehrheim, H. (2023). Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? 37th IEEE/ACM International Conference on Automated Software Engineering. https://doi.org/10.1145/3551349.3561156
LibreCat | DOI | Download (ext.)
 
2023 | Conference Paper | LibreCat-ID: 35427 | OA
Pauck, F. (2023). Scaling Arbitrary Android App Analyses. 37th IEEE/ACM International Conference on Automated Software Engineering. https://doi.org/10.1145/3551349.3561339
LibreCat | DOI | Download (ext.)
 
2023 | Conference Paper | LibreCat-ID: 44194 | OA
Ahmed, Q. A., Awais, M., & Platzner, M. (2023). MAAS: Hiding Trojans in Approximate Circuits. The 24th International Symposium on Quality Electronic Design (ISQED’23), San Francisco, Califorina USA. The 24th International Symposium on Quality Electronic Design (ISQED’23), San Fransico CA 94023-0607, USA.
LibreCat | Files available
 
2023 | Dissertation | LibreCat-ID: 43108
Pauck, F. (2023). Cooperative Android App Analysis. Paderborn University. https://doi.org/10.17619/UNIPB/1-1698
LibreCat | DOI
 
2023 | Dissertation | LibreCat-ID: 44323
Kersting, J. (2023). Identifizierung quantifizierbarer Bewertungsinhalte und -kategorien mittels Text Mining. Universität der Bundeswehr München .
LibreCat | Files available
 
2023 | Book Chapter | LibreCat-ID: 45888 | OA
Wehrheim, H., Platzner, M., Bodden, E., Schubert, P., Pauck, F., & Jakobs, M.-C. (2023). Verifying Software and Reconfigurable Hardware Services. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, & H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 125–144). Heinz Nixdorf Institut, Universität Paderborn. https://doi.org/10.5281/zenodo.8068583
LibreCat | Files available | DOI
 
2023 | Book Chapter | LibreCat-ID: 45882 | OA
Bäumer, F. S., Chen, W.-F., Geierhos, M., Kersting, J., & Wachsmuth, H. (2023). Dialogue-based Requirement Compensation and Style-adjusted Data-to-text Generation. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, & H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 65–84). Heinz Nixdorf Institut, Universität Paderborn. https://doi.org/10.5281/zenodo.8068456
LibreCat | Files available | DOI
 
2023 | Book Chapter | LibreCat-ID: 45884 | OA
Hanselle, J. M., Hüllermeier, E., Mohr, F., Ngonga Ngomo, A.-C., Sherif, M., Tornede, A., & Wever, M. D. (2023). Configuration and Evaluation. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, & H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 85–104). Heinz Nixdorf Institut, Universität Paderborn. https://doi.org/10.5281/zenodo.8068466
LibreCat | Files available | DOI
 
2023 | Book Chapter | LibreCat-ID: 45886 | OA
Wehrheim, H., Hüllermeier, E., Becker, S., Becker, M., Richter, C., & Sharma, A. (2023). Composition Analysis in Unknown Contexts. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, & H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412, pp. 105–123). Heinz Nixdorf Institut, Universität Paderborn. https://doi.org/10.5281/zenodo.8068510
LibreCat | Files available | DOI
 
2023 | Book Chapter | LibreCat-ID: 46205
Kersting, J., & Geierhos, M. (2023). Towards Comparable Ratings: Quantifying Evaluative Phrases in Physician Reviews. In A. Cuzzocrea, O. Gusikhin, S. Hammoudi, & C. Quix (Eds.), Data Management Technologies and Applications (Vol. 1860, pp. 45–65). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-37890-4_3
LibreCat | Files available | DOI
 
2023 | Dissertation | LibreCat-ID: 45780 | OA
Tornede, A. (2023). Advanced Algorithm Selection with Machine Learning: Handling Large Algorithm Sets, Learning From Censored Data, and Simplyfing Meta Level Decisions. https://doi.org/10.17619/UNIPB/1-1780
LibreCat | Files available | DOI
 
2023 | Book | LibreCat-ID: 45863 | OA
Haake, C.-J., Meyer auf der Heide, F., Platzner, M., Wachsmuth, H., & Wehrheim, H. (2023). On-The-Fly Computing -- Individualized IT-services in dynamic markets (Vol. 412). Heinz Nixdorf Institut, Universität Paderborn. https://doi.org/10.17619/UNIPB/1-1797
LibreCat | Files available | DOI
 
2023 | Dissertation | LibreCat-ID: 47833
König, J. (2023). On the Membership and Correctness Problem for State Serializability and Value Opacity.
LibreCat
 
2022 | Conference Paper | LibreCat-ID: 29945
Witschen, L. M., Wiersema, T., Reuter, L. D., & Platzner, M. (n.d.). Search Space Characterization for Approximate Logic Synthesis . 2022 59th ACM/IEEE Design Automation Conference (DAC). 2022 59th ACM/IEEE Design Automation Conference (DAC), San Francisco, USA.
LibreCat
 
2022 | Conference Paper | LibreCat-ID: 29865
Witschen, L. M., Wiersema, T., Artmann, M., & Platzner, M. (n.d.). MUSCAT: MUS-based Circuit Approximation Technique. Design, Automation and Test in Europe (DATE). Design, Automation and Test in Europe (DATE), Online.
LibreCat
 
2022 | Preprint | LibreCat-ID: 30868
Schede, E., Brandt, J., Tornede, A., Wever, M. D., Bengs, V., Hüllermeier, E., & Tierney, K. (2022). A Survey of Methods for Automated Algorithm Configuration. In arXiv:2202.01651.
LibreCat | arXiv
 
2022 | Conference Paper | LibreCat-ID: 32311
Sharma, A., Melnikov, V., Hüllermeier, E., & Wehrheim, H. (2022). Property-Driven Testing of Black-Box Functions. Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), 113–123.
LibreCat
 
2022 | Conference Paper | LibreCat-ID: 34103
Fehring, L., Hanselle, J. M., & Tornede, A. (2022). HARRIS: Hybrid Ranking and Regression Forests for Algorithm Selection. Workshop on Meta-Learning (MetaLearn 2022) @ NeurIPS 2022. Workshop on Meta-Learning (MetaLearn 2022) @ NeurIPS 2022, Baltimore.
LibreCat | arXiv
 
2022 | Journal Article | LibreCat-ID: 30511 | OA
Schubert, P., Gazzillo, P., Patterson, Z., Braha, J., Schiebel, F., Hermann, B., Wei, S., & Bodden, E. (2022). Static data-flow analysis for software product lines in C. Automated Software Engineering, 29(1), Article 35. https://doi.org/10.1007/s10515-022-00333-1
LibreCat | DOI | Download (ext.)
 
2022 | Conference Paper | LibreCat-ID: 32590
Richter, C., & Wehrheim, H. (2022). Learning Realistic Mutations: Bug Creation for Neural Bug Detectors. 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 162–173. https://doi.org/10.1109/ICST53961.2022.00027
LibreCat | DOI
 
2022 | Conference Paper | LibreCat-ID: 32591
Richter, C., & Wehrheim, H. (2022). TSSB-3M: Mining single statement bugs at massive scale. 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 418–422. https://doi.org/10.1145/3524842.3528505
LibreCat | DOI
 
2022 | Conference Paper | LibreCat-ID: 31806
Dreßler, K., Sherif, M., & Ngonga Ngomo, A.-C. (2022). ADAGIO - Automated Data Augmentation of Knowledge Graphs Using Multi-expression Learning. Proceedings of the 33rd ACM Conference on Hypertext and Hypermedia. HT ’22: 33rd ACM Conference on Hypertext and Social Media, Barcelona (Spain). https://doi.org/10.1145/3511095.3531287
LibreCat | DOI
 
2022 | Conference Paper | LibreCat-ID: 33274
Chen, W.-F., Chen, M.-H., Mudgal, G., & Wachsmuth, H. (2022). Analyzing Culture-Specific Argument Structures in Learner Essays. Proceedings of the 9th Workshop on Argument Mining (ArgMining 2022), 51–61.
LibreCat
 
2022 | Book Chapter | LibreCat-ID: 32179
Kersting, J., Ahmed, M., & Geierhos, M. (2022). Chatbot-Enhanced Requirements Resolution for Automated Service Compositions. In C. Stephanidis, M. Antona, & S. Ntoa (Eds.), HCI International 2022 Posters (Vol. 1580, pp. 419--426). Springer International Publishing. https://doi.org/10.1007/978-3-031-06417-3_56
LibreCat | Files available | DOI
 
2022 | Conference Paper | LibreCat-ID: 31054
Kersting, J., & Bäumer, F. S. (2022). Implicit Statements in Healthcare Reviews: A Challenge for Sentiment Analysis. In J. Kersting (Ed.), Proceedings of the Fourteenth International Conference on Pervasive Patterns and Applications (PATTERNS 2022): Special Track AI-DRSWA: Maturing Artificial Intelligence - Data Science for Real-World Applications (pp. 5–9). IARIA.
LibreCat | Files available
 
2022 | Conference Abstract | LibreCat-ID: 31068
Chen, M.-H., Mudgal, G., Chen, W.-F., & Wachsmuth, H. (2022). Investigating the argumentation structures of EFL learners from diverse language backgrounds. EUROCALL.
LibreCat
 
2022 | Bachelorsthesis | LibreCat-ID: 33033 | OA
Fehring, L. (2022). Combined Ranking and Regression Trees for Algorithm Selection.
LibreCat | Files available
 
2022 | Preprint | LibreCat-ID: 30867
Tornede, A., Bengs, V., & Hüllermeier, E. (2022). Machine Learning for Online Algorithm Selection under Censored Feedback. In Proceedings of the 36th AAAI Conference on Artificial Intelligence. AAAI.
LibreCat | arXiv
 
2022 | Preprint | LibreCat-ID: 30865
Tornede, A., Gehring, L., Tornede, T., Wever, M. D., & Hüllermeier, E. (2022). Algorithm Selection on a Meta Level. In Machine Learning.
LibreCat | arXiv
 
2022 | Journal Article | LibreCat-ID: 33090
Gevers, K., Tornede, A., Wever, M. D., Schöppner, V., & Hüllermeier, E. (2022). A comparison of heuristic, statistical, and machine learning methods for heated tool butt welding of two different materials. Welding in the World. https://doi.org/10.1007/s40194-022-01339-9
LibreCat | DOI
 
2022 | Dissertation | LibreCat-ID: 34041
Witschen, L. M. (2022). Frameworks and Methodologies for Search-based Approximate Logic Synthesis. https://doi.org/10.17619/UNIPB/1-1649
LibreCat | DOI
 
2022 | Conference Paper | LibreCat-ID: 32342
Ahmed, Q. A., & Platzner, M. (2022). On the Detection and Circumvention of Bitstream-Level Trojans in FPGAs. IEEE Computer Society Annual Symposium on VLSI Aliathon Resort, Pafos, Cyprus.
LibreCat
 
2022 | Mastersthesis | LibreCat-ID: 29000
Ahmed, M. (2022). Knowledge Base Enhanced & User-centric Dialogue Design for OTF Computing.
LibreCat | Files available
 
2022 | Bachelorsthesis | LibreCat-ID: 45790
Palushi, J. (2022). Domain-aware Text Professionalization using Sequence-to-Sequence Neural Networks.
LibreCat
 
2022 | Mastersthesis | LibreCat-ID: 45789
Budanurmath, V. (2022). Propaganda Technique Detection Using Connotation Frames.
LibreCat
 
2022 | Conference Paper | LibreCat-ID: 45248
Dongol, B., Schellhorn, G., & Wehrheim, H. (2022). Weak Progressive Forward Simulation Is Necessary and Sufficient for Strong Observational Refinement. In B. Klin, S. Lasota, & A. Muscholl (Eds.), 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland (Vol. 243, p. 31:1–31:23). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2022.31
LibreCat | DOI
 
2021 | Conference Paper | LibreCat-ID: 28350
Sharma, A., Demir, C., Ngonga Ngomo, A.-C., & Wehrheim, H. (n.d.). MLCHECK–Property-Driven Testing of Machine Learning Classifiers. Proceedings of the 20th IEEE International Conference on Machine Learning and Applications (ICMLA).
LibreCat
 
2021 | Conference Paper | LibreCat-ID: 26049
Bäumer, F. S., Kersting, J., Denisov, S., & Geierhos, M. (2021). IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING. PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021, 221--225.
LibreCat | Files available
 
2021 | Dissertation | LibreCat-ID: 26746 | OA
Wiersema, T. (2021). Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware. Paderborn University.
LibreCat | Download (ext.)
 
2021 | Journal Article | LibreCat-ID: 27045 | OA
Luo, L., Pauck, F., Piskachev, G., Benz, M., Pashchenko, I., Mory, M., Bodden, E., Hermann, B., & Massacci, F. (2021). TaintBench: Automatic real-world malware benchmarking of Android taint analyses. Empirical Software Engineering. https://doi.org/10.1007/s10664-021-10013-5
LibreCat | DOI | Download (ext.)
 
2021 | Journal Article | LibreCat-ID: 21004
Wever, M. D., Tornede, A., Mohr, F., & Hüllermeier, E. (2021). AutoML for Multi-Label Classification: Overview and Empirical Evaluation. IEEE Transactions on Pattern Analysis and Machine Intelligence, 1–1. https://doi.org/10.1109/tpami.2021.3051276
LibreCat | DOI
 
2021 | Journal Article | LibreCat-ID: 21092
Mohr, F., Wever, M. D., Tornede, A., & Hüllermeier, E. (n.d.). Predicting Machine Learning Pipeline Runtimes in the Context of Automated Machine Learning. IEEE Transactions on Pattern Analysis and Machine Intelligence.
LibreCat
 
2021 | Conference Paper | LibreCat-ID: 21570
Tornede, T., Tornede, A., Wever, M. D., & Hüllermeier, E. (2021). Coevolution of Remaining Useful Lifetime Estimation Pipelines for Automated Predictive Maintenance. Proceedings of the Genetic and Evolutionary Computation Conference. Genetic and Evolutionary Computation Conference.
LibreCat
 
2021 | Book Chapter | LibreCat-ID: 17905
Kersting, J., & Geierhos, M. (2021). Towards Aspect Extraction and Classification for Opinion Mining with Deep Sequence Networks. In R. Loukanova (Ed.), Natural Language Processing in Artificial Intelligence -- NLPinAI 2020 (Vol. 939, pp. 163--189). Cham: Springer. https://doi.org/10.1007/978-3-030-63787-3_6
LibreCat | Files available | DOI
 
2021 | Mastersthesis | LibreCat-ID: 22304 | OA
Schott, S. (2021). Android App Analysis Benchmark Case Generation. Paderborn.
LibreCat | Files available
 
2021 | Conference Paper | LibreCat-ID: 22913
Hüllermeier, E., Mohr, F., Tornede, A., & Wever, M. D. (2021). Automated Machine Learning, Bounded Rationality, and Rational Metareasoning. ECML/PKDD Workshop on Automating Data Science, Bilbao (Virtual).
LibreCat
 
2021 | Conference Paper | LibreCat-ID: 22927
Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., & Wehrheim, H. (n.d.). On Strong Observational Refinement and Forward Simulation. In Proceedings of the 35th International Symposium on Distributed Computing (DISC). Schloß Dagstuhl.
LibreCat
 
2021 | Conference Paper | LibreCat-ID: 22051
Kersting, J., & Geierhos, M. (2021). Well-being in Plastic Surgery: Deep Learning Reveals Patients’ Evaluations. Proceedings of the 10th International Conference on Data Science, Technology and Applications (DATA 2021), 275--284.
LibreCat
 
2021 | Conference Paper | LibreCat-ID: 21953
Witschen, L. M., Wiersema, T., Raeisi Nafchi, M., Bockhorn, A., & Platzner, M. (n.d.). Timing Optimization for Virtual FPGA Configurations. In F. Hannig, S. Derrien, P. Diniz, & D. Chillet (Eds.), Proceedings of International Symposium on Applied Reconfigurable Computing (ARC’21). Springer Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-030-79025-7_4
LibreCat | DOI
 
2021 | Conference Paper | LibreCat-ID: 21598 | OA
Schubert, P., Hermann, B., & Bodden, E. (2021). Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. European Conference on Object-Oriented Programming (ECOOP).
LibreCat | Download (ext.)
 
2021 | Preprint | LibreCat-ID: 30866
Tornede, T., Tornede, A., Hanselle, J. M., Wever, M. D., Mohr, F., & Hüllermeier, E. (2021). Towards Green Automated Machine Learning: Status Quo and Future Directions. In arXiv:2111.05850.
LibreCat | arXiv
 
2021 | Dissertation | LibreCat-ID: 27284 | OA
Wever, M. D. (2021). Automated Machine Learning for Multi-Label Classification. https://doi.org/10.17619/UNIPB/1-1302
LibreCat | Files available | DOI
 
2021 | Book Chapter | LibreCat-ID: 22052
Kersting, J., & Geierhos, M. (2021). Human Language Comprehension in Aspect Phrase Extraction with Importance Weighting. In E. Kapetanios, H. Horacek, E. Métais, & F. Meziane (Eds.), Natural Language Processing and Information Systems (Vol. 12801, pp. 231--242). Springer.
LibreCat | Files available
 
2021 | Conference Paper | LibreCat-ID: 28199
Pauck, F., & Wehrheim, H. (2021). Jicer: Simplifying Cooperative Android App Analysis Tasks. 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM). https://doi.org/10.1109/scam52516.2021.00031
LibreCat | DOI
 
2021 | Conference Paper | LibreCat-ID: 21178
Alshomary, M., Chen, W.-F., Gurcke, T., & Wachsmuth, H. (2021). Belief-based Generation of Argumentative Claims. Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: Main Volume, 224–223.
LibreCat | Download (ext.)
 
2021 | Conference Paper | LibreCat-ID: 23709
Chen, W.-F., Al Khatib, K., Stein, B., & Wachsmuth, H. (2021). Controlled Neural Sentence-Level Reframing of News Articles. Findings of the Association for Computational Linguistics: EMNLP 2021, 2683–2693.
LibreCat | Download (ext.)
 
2021 | Conference Paper | LibreCat-ID: 22229
Alshomary, M., Syed, S., Potthast, M., & Wachsmuth, H. (2021). Argument Undermining: Counter-Argument Generation by Attacking Weak Premises. Proceedings of the Joint Conference of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing (ACL-IJCNLP 2021), 1816–1827. https://doi.org/10.18653/v1/2021.findings-acl.159
LibreCat | DOI | Download (ext.)
 
2021 | Conference Paper | LibreCat-ID: 21198
Hanselle, J. M., Tornede, A., Wever, M. D., & Hüllermeier, E. (2021). Algorithm Selection as Superset Learning: Constructing Algorithm Selectors from Imprecise Performance Data. The 25th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD-2021), Delhi, India.
LibreCat
 
2021 | Journal Article | LibreCat-ID: 27841
Jakobs, M.-C., Pauck, F., Platzner, M., Wehrheim, H., & Wiersema, T. (2021). Software/Hardware Co-Verification for Custom Instruction Set Processors. IEEE Access. https://doi.org/10.1109/ACCESS.2021.3131213
LibreCat | DOI
 
2021 | Conference Paper | LibreCat-ID: 21238
Pauck, F., & Wehrheim, H. (2021). Cooperative Android App Analysis with CoDiDroid. In A. Koziolek, I. Schaefer, & C. Seidl (Eds.), Software Engineering 2021 (pp. 83–84). Gesellschaft für Informatik e.V. https://doi.org/10.18420/SE2021_30
LibreCat | DOI
 
2021 | Conference Paper | LibreCat-ID: 29138
Ahmed, Q. A. (2021). Hardware Trojans in Reconfigurable Computing. 2021 IFIP/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC). https://doi.org/10.1109/vlsi-soc53125.2021.9606974
LibreCat | DOI
 
2021 | Conference Paper | LibreCat-ID: 20681 | OA
Ahmed, Q. A., Wiersema, T., & Platzner, M. (2021). Malicious Routing: Circumventing Bitstream-level Verification for FPGAs. 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE). Design, Automation and Test in Europe Conference (DATE’21), Alpexpo | Grenoble, France. https://doi.org/10.23919/DATE51398.2021.9474026
LibreCat | Files available | DOI | Download (ext.)
 
2021 | Conference Paper | LibreCat-ID: 26406
Schubert, P., Hermann, B., Bodden, E., & Leer, R. (2021). Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++. SCAM ’21: IEEE International Working Conference on Source Code Analysis and Manipulation (Engineering Track).
LibreCat
 
2021 | Conference Paper | LibreCat-ID: 26405
Schubert, P., Sattler, F., Schiebel, F., Hermann, B., & Bodden, E. (2021). Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++. 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM).
LibreCat
 
2021 | Mastersthesis | LibreCat-ID: 45788
Bülling, J. (2021). Political Speaker Transfer: Learning to Generate Text in the Styles of Barack Obama and Donald Trump.
LibreCat
 
2021 | Mastersthesis | LibreCat-ID: 45787
Mishra, A. (2021). Computational Text Professionalization using Neural Sequence-to-Sequence Models.
LibreCat
 
2020 | Conference Paper | LibreCat-ID: 19656
Sharma, A., & Wehrheim, H. (n.d.). Automatic Fairness Testing of Machine Learning Models. In Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS). Springer.
LibreCat
 
2020 | Bachelorsthesis | LibreCat-ID: 19999
Mayer, S. (2020). Optimierung von JMCTest beim Testen von Inter Method Contracts. Universität Paderborn.
LibreCat
 
2020 | Book Chapter | LibreCat-ID: 17347
Bäumer, F. S., Kersting, J., Buff, B., & Geierhos, M. (2020). Tag Me If You Can: Insights into the Challenges of Supporting Unrestricted P2P News Tagging. In L. Audrius, B. Rita, G. Daina, & S. Vilma (Eds.), Information and Software Technologies (Vol. 1283, pp. 368--382). Kaunas, Litauen: Springer. https://doi.org/10.1007/978-3-030-59506-7_30
LibreCat | Files available | DOI
 
2020 | Journal Article | LibreCat-ID: 17358
Witschen, L. M., Wiersema, T., & Platzner, M. (2020). Proof-carrying Approximate Circuits. IEEE Transactions On Very Large Scale Integration Systems, 28(9), 2084–2088. https://doi.org/10.1109/TVLSI.2020.3008061
LibreCat | DOI
 
2020 | Conference Paper | LibreCat-ID: 17407
Tornede, A., Wever, M. D., & Hüllermeier, E. (2020). Extreme Algorithm Selection with Dyadic Feature Representation. Discovery Science. Discovery Science 2020.
LibreCat
 
2020 | Conference Paper | LibreCat-ID: 17408
Hanselle, J. M., Tornede, A., Wever, M. D., & Hüllermeier, E. (2020). Hybrid Ranking and Regression for Algorithm Selection. KI 2020: Advances in Artificial Intelligence. 43rd German Conference on Artificial Intelligence.
LibreCat
 
2020 | Conference Paper | LibreCat-ID: 17424
Tornede, T., Tornede, A., Wever, M. D., Mohr, F., & Hüllermeier, E. (2020). AutoML for Predictive Maintenance: One Tool to RUL Them All. Proceedings of the ECMLPKDD 2020. IOTStream Workshop @ ECMLPKDD 2020. https://doi.org/10.1007/978-3-030-66770-2_8
LibreCat | DOI
 
2020 | Conference Paper | LibreCat-ID: 18686
Kersting, J., & Bäumer, F. S. (2020). SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020, 119--123.
LibreCat | Files available
 
2020 | Conference Paper | LibreCat-ID: 20306
Tornede, A., Wever, M. D., & Hüllermeier, E. (2020). Towards Meta-Algorithm Selection. Workshop MetaLearn 2020 @ NeurIPS 2020. Workshop MetaLearn 2020 @ NeurIPS 2020, Online.
LibreCat
 
2020 | Report | LibreCat-ID: 20712
Schubert, P., Bodden, E., & Hermann, B. (2020). Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries.
LibreCat | Files available
 
2020 | Preprint | LibreCat-ID: 20748
Witschen, L. M., Wiersema, T., & Platzner, M. (n.d.). Search Space Characterization for AxC Synthesis. Fifth Workshop on Approximate Computing (AxC 2020).
LibreCat | Files available
 
2020 | Conference Paper | LibreCat-ID: 18276
Tornede, A., Wever, M. D., Werner, S., Mohr, F., & Hüllermeier, E. (2020). Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis. ACML 2020. 12th Asian Conference on Machine Learning, Bangkok, Thailand.
LibreCat | Download (ext.)
 
2020 | Conference Paper | LibreCat-ID: 16724
Sharma, A., & Wehrheim, H. (n.d.). Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). ACM.
LibreCat
 
2020 | Journal Article | LibreCat-ID: 16725
Richter, C., Hüllermeier, E., Jakobs, M.-C., & Wehrheim, H. (n.d.). Algorithm Selection for Software Validation Based on Graph Kernels. Journal of Automated Software Engineering.
LibreCat
 
2020 | Conference Paper | LibreCat-ID: 15580
Kersting, J., & Geierhos, M. (2020). Aspect Phrase Extraction in Sentiment Analysis with Deep Learning. In Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020) --  Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2020) (pp. 391--400). Setúbal, Portugal: SCITEPRESS.
LibreCat | Files available
 
2020 | Conference Paper | LibreCat-ID: 15582
Buff, B., Kersting, J., & Geierhos, M. (2020). Detection of Privacy Disclosure in the Medical Domain: A Survey. In Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods (ICPRAM 2020) (pp. 630--637). Setúbal, Portugal: SCITEPRESS.
LibreCat | Files available
 
2020 | Conference Paper | LibreCat-ID: 15629
Wever, M. D., Tornede, A., Mohr, F., & Hüllermeier, E. (n.d.). LiBRe: Label-Wise Selection of Base Learners in Binary Relevance for Multi-Label Classification. Symposium on Intelligent Data Analysis, Konstanz, Germany.
LibreCat
 
2020 | Conference Paper | LibreCat-ID: 15635
Kersting, J., & Geierhos, M. (2020). Neural Learning for Aspect Phrase Extraction and Classification in Sentiment Analysis. In Proceedings of the 33rd International Florida Artificial Intelligence Research Symposium (FLAIRS) Conference (pp. 282--285). North Miami Beach, FL, USA: AAAI.
LibreCat | Files available
 
2020 | Journal Article | LibreCat-ID: 15025
Wever, M. D., van Rooijen, L., & Hamann, H. (2020). Multi-Oracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets. Evolutionary Computation, 28(2), 165–193. https://doi.org/10.1162/evco_a_00266
LibreCat | Files available | DOI
 
2020 | Conference Paper | LibreCat-ID: 15256
Kersting, J., & Geierhos, M. (2020). What Reviews in Local Online Labour Markets Reveal about the Performance of Multi-Service Providers. In Proceedings of the 9th International Conference on Pattern Recognition Applications and Methods (pp. 263--272). Setúbal, Portugal: SCITEPRESS.
LibreCat | Files available
 
2020 | Dissertation | LibreCat-ID: 16935
Moussalem, D. C. (2020). Knowledge Graphs for Multilingual Language Translation and Generation. https://doi.org/10.17619/UNIPB/1-980
LibreCat | DOI
 
2020 | Journal Article | LibreCat-ID: 13770
Karl, H., Kundisch, D., Meyer auf der Heide, F., & Wehrheim, H. (2020). A Case for a New IT Ecosystem: On-The-Fly Computing. Business & Information Systems Engineering, 62(6), 467–481. https://doi.org/10.1007/s12599-019-00627-x
LibreCat | Files available | DOI
 
2020 | Conference Paper | LibreCat-ID: 3776
Chen, W.-F., Al-Khatib, K., Wachsmuth, H., & Stein, B. (2020). Analyzing Political Bias and Unfairness in News Articles at Different Levels of Granularity. Proceedings of the Fourth Workshop on Natural Language Processing and Computational Social Science, 149–154.
LibreCat | Download (ext.)
 
2020 | Conference Paper | LibreCat-ID: 20137
Syed, S., Chen, W.-F., Hagen, M., Stein, B., Wachsmuth, H., & Potthast, M. (2020). Task Proposal: Abstractive Snippet Generation for Web Pages. Proceedings of the 13th International Conference on Natural Language Generation (INLG 2020), 237–241.
LibreCat | Download (ext.)
 
2020 | Conference Paper | LibreCat-ID: 3818
Chen, W.-F., Al-Khatib, K., Stein, B., & Wachsmuth, H. (2020). Detecting Media Bias in News Articles using Gaussian Bias Distributions. Findings of the Association for Computational Linguistics: EMNLP 2020, 4290–4300.
LibreCat | Download (ext.)
 
2020 | Conference Paper | LibreCat-ID: 15826
Chen, W.-F., Syed, S., Stein, B., Hagen, M., & Potthast, M. (2020). Abstractive Snippet Generation. Proceedings of the Web Conference 2020, 1309–1319.
LibreCat | Download (ext.)
 
2020 | Conference Paper | LibreCat-ID: 16868
Alshomary, M., Syed, S., Potthast, M., & Wachsmuth, H. (2020). Target Inference in Argument Conclusion Generation. Proceedings of 58th Annual Meeting of the Association for Computational Linguistics (ACL 2020), 4334–4345.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 3287 | OA
Schneider, S. B., Sharma, A., Karl, H., & Wehrheim, H. (2019). Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. In 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM) (pp. 116--124). Washington, DC, USA: IFIP.
LibreCat | Files available | Download (ext.)
 
2019 | Journal Article | LibreCat-ID: 3585
Witschen, L. M., Wiersema, T., Ghasemzadeh Mohammadi, H., Awais, M., & Platzner, M. (2019). CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation. Microelectronics Reliability, 99, 277–290. https://doi.org/10.1016/j.microrel.2019.04.003
LibreCat | DOI
 
2019 | Conference Abstract | LibreCat-ID: 7752
Sharma, A., & Wehrheim, H. (2019). Testing Balancedness of ML Algorithms. In Proceedings of the Software Engineering Conference (SE) (Vol. P-292, pp. 157–158). Stuttgart: Gesellschaft für Informatik e.V. (GI).
LibreCat
 
2019 | Encyclopedia Article | LibreCat-ID: 8312 | OA
Bäumer, F. S., & Geierhos, M. (2019). Requirements Engineering in OTF-Computing. In encyclopedia.pub. Basel, Switzerland: MDPI.
LibreCat | Download (ext.)
 
2019 | Mastersthesis | LibreCat-ID: 7623
Zhang, S. (2019). Combining Android Apps for Analysis Purposes. Universität Paderborn.
LibreCat
 
2019 | Bachelorsthesis | LibreCat-ID: 7628
Selbach, N. (2019). Modeling Crypto API usages in OpenSSL’s EVP library. Universität Paderborn.
LibreCat
 
2019 | Conference Paper | LibreCat-ID: 7635
Sharma, A., & Wehrheim, H. (2019). Testing Machine Learning Algorithms for Balanced Data Usage. In IEEE International Conference on Software Testing, Verification and Validation (ICST) (pp. 125--135). Xi’an, China: IEEE.
LibreCat | Files available
 
2019 | Journal Article | LibreCat-ID: 8424 | OA
Bäumer, F. S., Kersting, J., & Geierhos, M. (2019). Natural Language Processing in OTF Computing: Challenges and the Need for Interactive Approaches. Computers, 8(1). https://doi.org/10.3390/computers8010022
LibreCat | Files available | DOI | Download (ext.)
 
2019 | Conference Abstract | LibreCat-ID: 8868
Wever, M. D., Mohr, F., Hüllermeier, E., & Hetzer, A. (2019). Towards Automated Machine Learning for Multi-Label Classification. Presented at the European Conference on Data Analytics (ECDA), Bayreuth, Germany.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 15838
Pauck, F., & Zhang, S. (2019). Android App Merging for Benchmark Speed-Up and Analysis Lift-Up. In 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW). https://doi.org/10.1109/asew.2019.00019
LibreCat | Files available | DOI
 
2019 | Mastersthesis | LibreCat-ID: 15920
Keerthipati, M. (2019). A Bitstream-Level Proof-Carrying Hardware Technique for Information Flow Tracking. Universität Paderborn.
LibreCat
 
2019 | Journal Article | LibreCat-ID: 14896
Dann, A., Hermann, B., & Bodden, E. (2019). ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/tse.2019.2931331
LibreCat | DOI
 
2019 | Conference Paper | LibreCat-ID: 15007 | OA
Melnikov, V., & Hüllermeier, E. (2019). Learning to Aggregate: Tackling the Aggregation/Disaggregation Problem for OWA. In Proceedings ACML, Asian Conference on Machine Learning (Proceedings of Machine Learning Research, 101). https://doi.org/10.1016/j.jmva.2019.02.017
LibreCat | Files available | DOI
 
2019 | Conference Paper | LibreCat-ID: 15011 | OA
Tornede, A., Wever, M. D., & Hüllermeier, E. (2019). Algorithm Selection as Recommendation: From Collaborative Filtering to Dyad Ranking. In F. Hoffmann, E. Hüllermeier, & R. Mikut (Eds.), Proceedings - 29. Workshop Computational Intelligence, Dortmund, 28. - 29. November 2019 (pp. 135–146). Dortmund: KIT Scientific Publishing, Karlsruhe.
LibreCat | Files available
 
2019 | Dissertation | LibreCat-ID: 13126
Khaluf, L. (2019). Organic Programming of Dynamic Real-Time Applications. Universität Paderborn.
LibreCat
 
2019 | Conference Abstract | LibreCat-ID: 13132
Mohr, F., Wever, M. D., Tornede, A., & Hüllermeier, E. (2019). From Automated to On-The-Fly Machine Learning. In INFORMATIK 2019: 50 Jahre Gesellschaft für Informatik – Informatik für Gesellschaft (pp. 273–274). Bonn: Gesellschaft für Informatik e.V.
LibreCat
 
2019 | Bachelorsthesis | LibreCat-ID: 13435
Friesen, E. (2019). Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis. Universität Paderborn.
LibreCat
 
2019 | Conference Paper | LibreCat-ID: 10093
Beyer, D., Jakobs, M.-C., Lemberger, T., & Wehrheim, H. (2019). Combining Verifiers in Conditional Model Checking via Reducers. In S. Becker, I. Bogicevic, G. Herzwurm, & S. Wagner (Eds.), Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019 (Vol. P-292, pp. 151--152). GI. https://doi.org/10.18420/se2019-46
LibreCat | Files available | DOI
 
2019 | Conference Paper | LibreCat-ID: 10095
Richter, C., & Wehrheim, H. (2019). PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). In D. Beyer, M. Huisman, F. Kordon, & B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III} (Vol. 11429, pp. 229–233). Springer. https://doi.org/10.1007/978-3-030-17502-3_19
LibreCat | Files available | DOI
 
2019 | Mastersthesis | LibreCat-ID: 10105
Haltermann, J. (2019). Analyzing Data Usage in Array Programs. Universität Paderborn.
LibreCat
 
2019 | Conference Paper | LibreCat-ID: 10232 | OA
Wever, M. D., Mohr, F., Tornede, A., & Hüllermeier, E. (2019). Automating Multi-Label Classification Extending ML-Plan. Presented at the 6th ICML Workshop on Automated Machine Learning (AutoML 2019), Long Beach, CA, USA.
LibreCat | Files available
 
2019 | Conference Paper | LibreCat-ID: 7626 | OA
Schubert, P., Hermann, B., & Bodden, E. (2019). PhASAR: An Inter-Procedural Static Analysis Framework for C/C++. Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), II, 393–410. https://doi.org/10.1007/978-3-030-17465-1_22
LibreCat | Files available | DOI | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 13259
Chen, W.-F., Al-Khatib, K., Hagen, M., Wachsmuth, H., & Stein, B. (2019). Unraveling the Search Space of Abusive Language in Wikipedia with Dynamic Lexicon Acquisition. Proceedings of the Second Workshop on Natural Language Processing for Internet Freedom, 76–82.
LibreCat | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 10108
Pauck, F., & Wehrheim, H. (2019). Together Strong: Cooperative Android App Analysis. Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 374–384. https://doi.org/10.1145/3338906.3338915
LibreCat | Files available | DOI
 
2019 | Conference Paper | LibreCat-ID: 13874
Isenberg, T., Jakobs, M.-C., Pauck, F., & Wehrheim, H. (2019). When Are Software Verification Results Valid for Approximate Hardware? Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 3–20. https://doi.org/10.1007/978-3-030-31157-5_1
LibreCat | DOI
 
2019 | Conference Paper | LibreCat-ID: 9913 | OA
Ahmed, Q. A., Wiersema, T., & Platzner, M. (2019). Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan. In C. Hochberger, B. Nelson, A. Koch, R. Woods, & P. Diniz (Eds.), Applied Reconfigurable Computing (Vol. 11444, pp. 127–136). Springer International Publishing. https://doi.org/10.1007/978-3-030-17227-5_10
LibreCat | Files available | DOI | Download (ext.)
 
2019 | Conference Paper | LibreCat-ID: 14898
Schubert, P., Leer, R., Hermann, B., & Bodden, E. (2019). Know your analysis: how instrumentation aids understanding static analysis. Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis  - SOAP 2019. https://doi.org/10.1145/3315568.3329965
LibreCat | DOI
 
2018 | Conference Paper | LibreCat-ID: 2479 | OA
Mohr, F., Wever, M. D., Hüllermeier, E., & Faez, A. (2018). (WIP) Towards the Automated Composition of Machine Learning Services. In SCC. San Francisco, CA, USA: IEEE. https://doi.org/10.1109/SCC.2018.00039
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 2857 | OA
Mohr, F., Lettmann, T., Hüllermeier, E., & Wever, M. D. (2018). Programmatic Task Network Planning. In Proceedings of the 1st ICAPS Workshop on Hierarchical Planning (pp. 31–39). Delft, Netherlands: AAAI.
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 2471 | OA
Mohr, F., Wever, M. D., & Hüllermeier, E. (2018). On-The-Fly Service Construction with Prototypes. In SCC. San Francisco, CA, USA: IEEE Computer Society. https://doi.org/10.1109/SCC.2018.00036
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Bachelorsthesis | LibreCat-ID: 3320
Rautenberg, K. (2018). Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 3373
Hansmeier, T., Platzner, M., & Andrews, D. (2018). An FPGA/HMC-Based Accelerator for Resolution Proof Checking. In ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications (Vol. 10824, pp. 153–165). Santorini, Greece: Springer International Publishing. https://doi.org/10.1007/978-3-319-78890-6_13
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 3402
Melnikov, V., & Hüllermeier, E. (2018). On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis. Machine Learning. https://doi.org/10.1007/s10994-018-5733-1
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 3414
Börding, P., Haltermann, J. F., Jakobs, M.-C., & Wehrheim, H. (2018). JMCTest: Automatically Testing Inter-Method Contracts in Java. In Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018) (Vol. 11146, pp. 39--55). Cádiz, Spain: Springer.
LibreCat | Files available
 
2018 | Journal Article | LibreCat-ID: 3510 | OA
Mohr, F., Wever, M. D., & Hüllermeier, E. (2018). ML-Plan: Automated Machine Learning via Hierarchical Planning. Machine Learning, 1495–1515. https://doi.org/10.1007/s10994-018-5735-z
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 3552 | OA
Mohr, F., Wever, M. D., & Hüllermeier, E. (n.d.). Reduction Stumps for Multi-Class Classification. In Proceedings of the Symposium on Intelligent Data Analysis. ‘s-Hertogenbosch, the Netherlands. https://doi.org/10.1007/978-3-030-01768-2_19
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Preprint | LibreCat-ID: 3586
Witschen, L. M., Wiersema, T., Ghasemzadeh Mohammadi, H., Awais, M., & Platzner, M. (n.d.). CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation. Third Workshop on Approximate Computing (AxC 2018).
LibreCat | Files available
 
2018 | Dissertation | LibreCat-ID: 3720
Ho, N. (2018). FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-376
LibreCat | DOI
 
2018 | Conference Paper | LibreCat-ID: 3852 | OA
Wever, M. D., Mohr, F., & Hüllermeier, E. (2018). ML-Plan for Unlimited-Length Machine Learning Pipelines. In ICML 2018 AutoML Workshop. Stockholm, Sweden.
LibreCat | Files available | Download (ext.)
 
2018 | Preprint | LibreCat-ID: 2711
Pauck, F., Bodden, E., & Wehrheim, H. (2018). Do Android Taint Analysis Tools Keep their Promises? ArXiv:1804.02903.
LibreCat | Files available
 
2018 | Preprint | LibreCat-ID: 1165
Witschen, L. M., Wiersema, T., & Platzner, M. (2018). Making the Case for Proof-carrying Approximate Circuits. 4th Workshop On Approximate Computing (WAPCO 2018).
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 2109 | OA
Wever, M. D., Mohr, F., & Hüllermeier, E. (2018). Ensembles of Evolved Nested Dichotomies for Classification. In Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2018, Kyoto, Japan, July 15-19, 2018. Kyoto, Japan: ACM. https://doi.org/10.1145/3205455.3205562
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Preprint | LibreCat-ID: 17713 | OA
Wever, M. D., Mohr, F., & Hüllermeier, E. (2018). Automated Multi-Label Classification based on ML-Plan. Arxiv.
LibreCat | Download (ext.)
 
2018 | Preprint | LibreCat-ID: 17714 | OA
Mohr, F., Wever, M. D., & Hüllermeier, E. (2018). Automated machine learning service composition.
LibreCat | Download (ext.)
 
2018 | Book Chapter | LibreCat-ID: 2322
Bäumer, F. S., & Geierhos, M. (2018). How to Deal with Inaccurate Service Descriptions in On-The-Fly Computing: Open Challenges. In M. Silberztein, F. Atigui, E. Kornyshova, E. Métais, & F. Meziane (Eds.), Proceedings of the 23rd International Conference on Natural Language and Information Systems (Vol. 10859, pp. 509–513). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-91947-8_53
LibreCat | Files available | DOI
 
2018 | Journal Article | LibreCat-ID: 2331
Kim, Y., Lee, S., Dollmann, M., & Geierhos, M. (2018). Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure. International Journal of Advanced Science and Technology, 112, 123–136. https://doi.org/10.14257/ijast.2018.112.12
LibreCat | Files available | DOI
 
2018 | Bachelorsthesis | LibreCat-ID: 5693
Graf, H. (2018). Ranking of Classification Algorithms in AutoML. Universität Paderborn.
LibreCat
 
2018 | Conference Paper | LibreCat-ID: 5774
Töws, M., & Wehrheim, H. (2018). Information Flow Certificates. In Theoretical Aspects of Computing – ICTAC 2018 (pp. 435–454). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-030-02508-3_23
LibreCat | Files available | DOI
 
2018 | Bachelorsthesis | LibreCat-ID: 5936
Scheibl, M. (2018). Learning about learning curves from dataset properties. Universität Paderborn.
LibreCat
 
2018 | Book Chapter | LibreCat-ID: 6423
Schäfer, D., & Hüllermeier, E. (2018). Preference-Based Reinforcement Learning Using Dyad Ranking. In Discovery Science (pp. 161–175). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-030-01771-2_11
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 4339
Bäumer, F. S., & Geierhos, M. (2018). NLP in OTF Computing: Current Approaches and Open Challenges. In R. Damaševičius & G. Vasiljevienė (Eds.), Proceedings of the 24th International Conference on Information and Software Technologies (ICIST 2018) (Vol. 920, pp. 559–570). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-99972-2_46
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 44 | OA
Bäumer, F. S., & Geierhos, M. (2018). Flexible Ambiguity Resolution and Incompleteness Detection in Requirements Descriptions via an Indicator-based Configuration of Text Analysis Pipelines. In Proceedings of the 51st Hawaii International Conference on System Sciences (pp. 5746–5755). Big Island, Waikoloa Village. https://doi.org/10125/50609
LibreCat | Files available | DOI | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 4999
Pauck, F., Bodden, E., & Wehrheim, H. (2018). Do Android taint analysis tools keep their promises? In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018. ACM Press. https://doi.org/10.1145/3236024.3236029
LibreCat | Files available | DOI
 
2018 | Conference Paper | LibreCat-ID: 5203
Krüger, S., Späth, J., Ali, K., Bodden, E., & Mezini, M. (2018). CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. In European Conference on Object-Oriented Programming (ECOOP) (pp. 10:1-10:27).
LibreCat | Files available | Download (ext.)
 
2018 | Journal Article | LibreCat-ID: 1043
Isenberg, T., Jakobs, M.-C., Pauck, F., & Wehrheim, H. (2018). Validity of Software Verification Results on Approximate Hardware. IEEE Embedded Systems Letters, 22–25. https://doi.org/10.1109/LES.2017.2758200
LibreCat | Files available | DOI
 
2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer, R. (2018). Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis. Universität Paderborn.
LibreCat | Files available
 
2018 | Bachelorsthesis | LibreCat-ID: 1045
Strüwer, J. N. (2018). Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 1096
Beyer, D., Jakobs, M.-C., Lemberger, T., & Wehrheim, H. (2018). Reducer-Based Construction of Conditional Verifiers. In Proceedings of the 40th International Conference on Software Engineering (ICSE) (pp. 1182--1193). Gothenburg, Sweden: ACM.
LibreCat | Files available
 
2018 | Bachelorsthesis | LibreCat-ID: 1097
Jentzsch, F. P. (2018). Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn.
LibreCat
 
2018 | Book Chapter | LibreCat-ID: 1104
Geierhos, M. (2018). Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen. In S. Freitag, M. Geierhos, R. Asmani, & J. I. Haug (Eds.), Unschärfe - Der Umgang mit fehlender Eindeutigkeit (1st ed., pp. 111–128). Paderborn, Germany: Ferdinand Schöningh.
LibreCat | Files available
 
2018 | Conference Paper | LibreCat-ID: 1181 | OA
Bäumer, F. S., & Geierhos, M. (2018). How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas. In K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018) (Vol. 2075). Utrecht, The Netherlands: CEUR-WS.org.
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 1182 | OA
Friesen, E., Bäumer, F. S., & Geierhos, M. (2018). CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface. In K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018) (Vol. 2075). Utrecht, The Netherlands: CEUR-WS.org.
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 1183 | OA
Caron, M., Bäumer, F. S., & Geierhos, M. (2018). Back to Basics: Extracting Software Requirements with a Syntactic Approach. In K. Schmid, P. Spoletini, E. Ben Charrada, Y. Chisik, F. Dalpiaz, A. Ferrari, … A. Zamansky (Eds.), Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018) (Vol. 2075). Utrecht, The Netherlands: CEUR-WS.org.
LibreCat | Files available | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 11710
Chen, W.-F., Wachsmuth, H., Al Khatib, K., & Stein, B. (2018). Learning to Flip the Bias of News Headlines. Proceedings of the 11th International Conference on Natural Language Generation, 79–88.
LibreCat | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 14873
Chen, W.-F., Hagen, M., Stein, B., & Potthast, M. (2018). A User Study on Snippet Generation: Text Reuse vs. Paraphrases. Proceedings of the 41st International ACM SIGIR Conference on Research & Development in Information Retrieval, 1033–1036.
LibreCat | Download (ext.)
 
2018 | Conference Paper | LibreCat-ID: 14885
Potthast, M., Chen, W.-F., Hagen, M., & Stein, B. (2018). A Plan for Ancillary Copyright: Original Snippets. Proceedings of the Second International Workshop on Recent Trends in News Information Retrieval, 3–5.
LibreCat | Download (ext.)
 
2017 | Conference Paper | LibreCat-ID: 3325
Melnikov, V., & Hüllermeier, E. (2017). Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics. In Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017. KIT Scientific Publishing. https://doi.org/10.5445/KSP/1000074341
LibreCat | Files available | DOI
 
2017 | Mastersthesis | LibreCat-ID: 3512
Börding, P. (2017). Testing Java Method Contracts. Universität Paderborn.
LibreCat
 
2017 | Bachelorsthesis | LibreCat-ID: 3580
Hansmeier, T. (2017). An FPGA Accelerator for Checking Resolution Proofs. Universität Paderborn.
LibreCat
 
2017 | Conference Paper | LibreCat-ID: 114
Jakobs, M.-C., & Wehrheim, H. (2017). Compact Proof Witnesses. In C. Barrett, M. Davies, & T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium (pp. 389–403). https://doi.org/10.1007/978-3-319-57288-8_28
LibreCat | Files available | DOI
 
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.)
 
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 | OA
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 | OA
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 | OA
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
 

Filters and Search Terms

project=3

Search

Filter Publications

Display / Sort

Citation Style: APA

Export