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
Jakobs M-C, Pauck F, Platzner M, Wehrheim H, Wiersema T. Software/Hardware Co-Verification for Custom Instruction Set Processors. IEEE Access. Published online 2021. doi:10.1109/ACCESS.2021.3131213
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 21238
Pauck F, Wehrheim H. Cooperative Android App Analysis with CoDiDroid. In: Koziolek A, Schaefer I, Seidl C, eds. Software Engineering 2021. Gesellschaft für Informatik e.V.; 2021:83-84. doi:10.18420/SE2021_30
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 29138
Ahmed QA. Hardware Trojans in Reconfigurable Computing. In: 2021 IFIP/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC). ; 2021. doi:10.1109/vlsi-soc53125.2021.9606974
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 20681 | 
Ahmed QA, Wiersema T, Platzner M. Malicious Routing: Circumventing Bitstream-level Verification for FPGAs. In: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE). 2021 Design, Automation and Test in Europe Conference (DATE); 2021. doi: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. Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++. In: SCAM ’21: IEEE International Working Conference on Source Code Analysis and Manipulation (Engineering Track). ; 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 26405
Schubert P, Sattler F, Schiebel F, Hermann B, Bodden E. Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++. In: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM). ; 2021.
LibreCat
2021 | Mastersthesis | LibreCat-ID: 45788
Bülling J. Political Speaker Transfer: Learning to Generate Text in the Styles of Barack Obama and Donald Trump.; 2021.
LibreCat
2021 | Mastersthesis | LibreCat-ID: 45787
Mishra A. Computational Text Professionalization Using Neural Sequence-to-Sequence Models.; 2021.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19656
Sharma A, Wehrheim H. Automatic Fairness Testing of Machine Learning Models. In: Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS). LNCS. Springer.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 19999
Mayer S. Optimierung von JMCTest Beim Testen von Inter Method Contracts. Universität Paderborn; 2020.
LibreCat
2020 | Book Chapter | LibreCat-ID: 17347
Bäumer FS, Kersting J, Buff B, Geierhos M. Tag Me If You Can: Insights into the Challenges of Supporting Unrestricted P2P News Tagging. In: Audrius L, Rita B, Daina G, Vilma S, eds. Information and Software Technologies. Vol 1283. Communications in Computer and Information Science. Springer; 2020:368--382. doi:https://doi.org/10.1007/978-3-030-59506-7_30
LibreCat
| Files available
| DOI
2020 | Journal Article | LibreCat-ID: 17358
Witschen LM, Wiersema T, Platzner M. Proof-carrying Approximate Circuits. IEEE Transactions On Very Large Scale Integration Systems. 2020;28(9):2084-2088. doi:10.1109/TVLSI.2020.3008061
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 17407
Tornede A, Wever MD, Hüllermeier E. Extreme Algorithm Selection with Dyadic Feature Representation. In: Discovery Science. ; 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 17408
Hanselle JM, Tornede A, Wever MD, Hüllermeier E. Hybrid Ranking and Regression for Algorithm Selection. In: KI 2020: Advances in Artificial Intelligence. ; 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 17424
Tornede T, Tornede A, Wever MD, Mohr F, Hüllermeier E. AutoML for Predictive Maintenance: One Tool to RUL Them All. In: Proceedings of the ECMLPKDD 2020. ; 2020. doi:10.1007/978-3-030-66770-2_8
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 18686
Kersting J, Bäumer FS. SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH. In: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020. IADIS; 2020:119--123.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 20306
Tornede A, Wever MD, Hüllermeier E. Towards Meta-Algorithm Selection. In: Workshop MetaLearn 2020 @ NeurIPS 2020. ; 2020.
LibreCat
2020 | Report | LibreCat-ID: 20712
Schubert P, Bodden E, Hermann B. Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries.; 2020.
LibreCat
| Files available
2020 | Preprint | LibreCat-ID: 20748
Witschen LM, Wiersema T, Platzner M. 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 MD, Werner S, Mohr F, Hüllermeier E. Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis. In: ACML 2020. ; 2020.
LibreCat
| Download (ext.)