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, Marie-Christine, et al. “Software/Hardware Co-Verification for Custom Instruction Set Processors.” IEEE Access, IEEE, 2021, doi:10.1109/ACCESS.2021.3131213.
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 21238
Pauck, Felix, and Heike Wehrheim. “Cooperative Android App Analysis with CoDiDroid.” Software Engineering 2021, edited by Anne Koziolek et al., Gesellschaft für Informatik e.V., 2021, pp. 83–84, doi:10.18420/SE2021_30 .
LibreCat
| DOI
2021 | Conference Paper | LibreCat-ID: 29138
Ahmed, Qazi Arbab. “Hardware Trojans in Reconfigurable Computing.” 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, Qazi Arbab, et al. “Malicious Routing: Circumventing Bitstream-Level Verification for FPGAs.” 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, Philipp, et al. “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), 2021.
LibreCat
2021 | Conference Paper | LibreCat-ID: 26405
Schubert, Philipp, et al. “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), 2021.
LibreCat
2021 | Mastersthesis | LibreCat-ID: 45788
Bülling, Jonas. Political Speaker Transfer: Learning to Generate Text in the Styles of Barack Obama and Donald Trump. 2021.
LibreCat
2021 | Mastersthesis | LibreCat-ID: 45787
Mishra, Avishek. Computational Text Professionalization Using Neural Sequence-to-Sequence Models. 2021.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19656
Sharma, Arnab, and Heike Wehrheim. “Automatic Fairness Testing of Machine Learning Models.” Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS), Springer.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 19999
Mayer, Stefan. Optimierung von JMCTest Beim Testen von Inter Method Contracts. Universität Paderborn, 2020.
LibreCat
2020 | Book Chapter | LibreCat-ID: 17347
Bäumer, Frederik Simon, et al. “Tag Me If You Can: Insights into the Challenges of Supporting Unrestricted P2P News Tagging.” Information and Software Technologies, edited by Lopata Audrius et al., vol. 1283, Springer, 2020, pp. 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, Linus Matthias, et al. “Proof-Carrying Approximate Circuits.” IEEE Transactions On Very Large Scale Integration Systems, vol. 28, no. 9, IEEE, 2020, pp. 2084–88, doi:10.1109/TVLSI.2020.3008061.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 17407
Tornede, Alexander, et al. “Extreme Algorithm Selection with Dyadic Feature Representation.” Discovery Science, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 17408
Hanselle, Jonas Manuel, et al. “Hybrid Ranking and Regression for Algorithm Selection.” KI 2020: Advances in Artificial Intelligence, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 17424
Tornede, Tanja, et al. “AutoML for Predictive Maintenance: One Tool to RUL Them All.” Proceedings of the ECMLPKDD 2020, 2020, doi:10.1007/978-3-030-66770-2_8.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 18686
Kersting, Joschka, and Frederik Simon Bäumer. “SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH.” PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020, IADIS, 2020, pp. 119--123.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 20306
Tornede, Alexander, et al. “Towards Meta-Algorithm Selection.” Workshop MetaLearn 2020 @ NeurIPS 2020, 2020.
LibreCat
2020 | Report | LibreCat-ID: 20712
Schubert, Philipp, et al. Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries. 2020.
LibreCat
| Files available
2020 | Preprint | LibreCat-ID: 20748
Witschen, Linus Matthias, et al. “Search Space Characterization for AxC Synthesis.” Fifth Workshop on Approximate Computing (AxC 2020).
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 18276
Tornede, Alexander, et al. “Run2Survive: A Decision-Theoretic Approach to Algorithm Selection Based on Survival Analysis.” ACML 2020, 2020.
LibreCat
| Download (ext.)