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
2021 | Journal Article | LibreCat-ID: 27841
M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, and T. Wiersema, “Software/Hardware Co-Verification for Custom Instruction Set Processors,” IEEE Access, 2021, doi: 10.1109/ACCESS.2021.3131213.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 21238
F. Pauck and H. Wehrheim, “Cooperative Android App Analysis with CoDiDroid,” in Software Engineering 2021, 2021, pp. 83–84, doi: 10.18420/SE2021_30 .
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 29138
Q. A. Ahmed, “Hardware Trojans in Reconfigurable Computing,” 2021, doi: 10.1109/vlsi-soc53125.2021.9606974.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 20681 | 
Q. A. Ahmed, T. Wiersema, and M. Platzner, “Malicious Routing: Circumventing Bitstream-level Verification for FPGAs,” presented at the Design, Automation and Test in Europe Conference (DATE’21), Alpexpo | Grenoble, France, 2021, doi: 10.23919/DATE51398.2021.9474026.
LibreCat
| Files available
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 26406
P. Schubert, B. Hermann, E. Bodden, and R. Leer, “Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++,” 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 26405
P. Schubert, F. Sattler, F. Schiebel, B. Hermann, and E. Bodden, “Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++,” 2021.
LibreCat
2021 | Mastersthesis | LibreCat-ID: 45788
J. Bülling, Political Speaker Transfer: Learning to Generate Text in the Styles of Barack Obama and Donald Trump. 2021.
LibreCat
2021 | Mastersthesis | LibreCat-ID: 45787
A. Mishra, Computational Text Professionalization using Neural Sequence-to-Sequence Models. 2021.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19656
A. Sharma and H. Wehrheim, “Automatic Fairness Testing of Machine Learning Models,” in Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS).
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 19999
S. Mayer, Optimierung von JMCTest beim Testen von Inter Method Contracts. Universität Paderborn, 2020.
LibreCat
2020 | Book Chapter | LibreCat-ID: 17347
F. S. Bäumer, J. Kersting, B. Buff, and M. Geierhos, “Tag Me If You Can: Insights into the Challenges of Supporting Unrestricted P2P News Tagging,” in Information and Software Technologies, vol. 1283, L. Audrius, B. Rita, G. Daina, and S. Vilma, Eds. Springer, 2020, pp. 368--382.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 17407
A. Tornede, M. D. Wever, and E. Hüllermeier, “Extreme Algorithm Selection with Dyadic Feature Representation,” presented at the Discovery Science 2020, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 17408
J. M. Hanselle, A. Tornede, M. D. Wever, and E. Hüllermeier, “Hybrid Ranking and Regression for Algorithm Selection,” presented at the 43rd German Conference on Artificial Intelligence, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 17424
T. Tornede, A. Tornede, M. D. Wever, F. Mohr, and E. Hüllermeier, “AutoML for Predictive Maintenance: One Tool to RUL Them All,” presented at the IOTStream Workshop @ ECMLPKDD 2020, 2020, doi: 10.1007/978-3-030-66770-2_8.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 18686
J. Kersting and F. S. Bäumer, “SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH,” in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020, Lisbon, Portugal, 2020, pp. 119--123.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 20306
A. Tornede, M. D. Wever, and E. Hüllermeier, “Towards Meta-Algorithm Selection,” presented at the Workshop MetaLearn 2020 @ NeurIPS 2020, Online, 2020.
LibreCat
2020 | Report | LibreCat-ID: 20712
P. Schubert, E. Bodden, and B. Hermann, Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries. 2020.
LibreCat
| Files available
2020 | Preprint | LibreCat-ID: 20748
L. M. Witschen, T. Wiersema, and M. Platzner, “Search Space Characterization for AxC Synthesis,” Fifth Workshop on Approximate Computing (AxC 2020). .
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 18276
A. Tornede, M. D. Wever, S. Werner, F. Mohr, and E. Hüllermeier, “Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis,” presented at the 12th Asian Conference on Machine Learning, Bangkok, Thailand, 2020.
LibreCat
| Download (ext.)