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
Software/Hardware Co-Verification for Custom Instruction Set Processors
M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, T. Wiersema, IEEE Access (2021).
LibreCat | DOI
 

2021 | Conference Paper | LibreCat-ID: 21238
Cooperative Android App Analysis with CoDiDroid
F. Pauck, H. Wehrheim, in: A. Koziolek, I. Schaefer, C. Seidl (Eds.), Software Engineering 2021, Gesellschaft für Informatik e.V., Bonn, 2021, pp. 83–84.
LibreCat | DOI
 

2021 | Conference Paper | LibreCat-ID: 29138
Hardware Trojans in Reconfigurable Computing
Q.A. Ahmed, in: 2021 IFIP/IEEE 29th International Conference on Very Large Scale Integration (VLSI-SoC), 2021.
LibreCat | DOI
 

2021 | Conference Paper | LibreCat-ID: 20681 | OA
Malicious Routing: Circumventing Bitstream-level Verification for FPGAs
Q.A. Ahmed, T. Wiersema, M. Platzner, in: 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021 Design, Automation and Test in Europe Conference (DATE), Alpexpo | Grenoble, France, 2021.
LibreCat | Files available | DOI | Download (ext.)
 

2021 | Conference Paper | LibreCat-ID: 26406
Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++
P. Schubert, B. Hermann, E. Bodden, R. Leer, in: SCAM ’21: IEEE International Working Conference on Source Code Analysis and Manipulation (Engineering Track), 2021.
LibreCat
 

2021 | Conference Paper | LibreCat-ID: 26405
Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++
P. Schubert, F. Sattler, F. Schiebel, B. Hermann, E. Bodden, in: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.
LibreCat
 

2021 | Mastersthesis | LibreCat-ID: 45788
Political Speaker Transfer: Learning to Generate Text in the Styles of Barack Obama and Donald Trump
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
Computational Text Professionalization using Neural Sequence-to-Sequence Models
A. Mishra, Computational Text Professionalization Using Neural Sequence-to-Sequence Models, 2021.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 19656
Automatic Fairness Testing of Machine Learning Models
A. Sharma, H. Wehrheim, in: Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS), Springer, n.d.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 19999
Optimierung von JMCTest beim Testen von Inter Method Contracts
S. Mayer, Optimierung von JMCTest Beim Testen von Inter Method Contracts, Universität Paderborn, 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 17347
Tag Me If You Can: Insights into the Challenges of Supporting Unrestricted P2P News Tagging
F.S. Bäumer, J. Kersting, B. Buff, M. Geierhos, in: L. Audrius, B. Rita, G. Daina, S. Vilma (Eds.), Information and Software Technologies, Springer, 2020, pp. 368--382.
LibreCat | Files available | DOI
 

2020 | Journal Article | LibreCat-ID: 17358
Proof-carrying Approximate Circuits
L.M. Witschen, T. Wiersema, M. Platzner, IEEE Transactions On Very Large Scale Integration Systems 28 (2020) 2084–2088.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17407
Extreme Algorithm Selection with Dyadic Feature Representation
A. Tornede, M.D. Wever, E. Hüllermeier, in: Discovery Science, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 17408
Hybrid Ranking and Regression for Algorithm Selection
J.M. Hanselle, A. Tornede, M.D. Wever, E. Hüllermeier, in: KI 2020: Advances in Artificial Intelligence, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 17424
AutoML for Predictive Maintenance: One Tool to RUL Them All
T. Tornede, A. Tornede, M.D. Wever, F. Mohr, E. Hüllermeier, in: Proceedings of the ECMLPKDD 2020, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 18686
SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH
J. Kersting, F.S. Bäumer, in: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020, IADIS, 2020, pp. 119--123.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 20306
Towards Meta-Algorithm Selection
A. Tornede, M.D. Wever, E. Hüllermeier, in: Workshop MetaLearn 2020 @ NeurIPS 2020, 2020.
LibreCat
 

2020 | Report | LibreCat-ID: 20712
Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries
P. Schubert, E. Bodden, B. Hermann, Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries, 2020.
LibreCat | Files available
 

2020 | Preprint | LibreCat-ID: 20748
Search Space Characterization for AxC Synthesis
L.M. Witschen, T. Wiersema, M. Platzner, Fifth Workshop on Approximate Computing (AxC 2020) (n.d.).
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 18276
Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis
A. Tornede, M.D. Wever, S. Werner, F. Mohr, E. Hüllermeier, in: ACML 2020, 2020.
LibreCat | Download (ext.)
 

Filters and Search Terms

(project=3)

Search

Filter Publications

Display / Sort

Export / Embed