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. (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 | 
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.)