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.
74 Publications
2023 | Journal Article | LibreCat-ID: 44077
Online load balancing on uniform machines with limited migration
M. Maack, Operations Research Letters 51 (2023) 220–225.
LibreCat
| DOI
M. Maack, Operations Research Letters 51 (2023) 220–225.
2023 | Journal Article | LibreCat-ID: 44382
Methodology for Certification-Compliant Effect-Chain Modeling
I. Gräßler, D. Wiechel, A.-S. Koch, T. Sturm, T. Markfelder, Systems 11 (2023).
LibreCat
| DOI
I. Gräßler, D. Wiechel, A.-S. Koch, T. Sturm, T. Markfelder, Systems 11 (2023).
2023 | Journal Article | LibreCat-ID: 46264
Workload-Aware Periodic Interconnect BIST
S. Sadeghi-Kohan, S. Hellebrand, H.-J. Wunderlich, IEEE Design & Test (2023) 1–1.
LibreCat
| DOI
| Download (ext.)
S. Sadeghi-Kohan, S. Hellebrand, H.-J. Wunderlich, IEEE Design & Test (2023) 1–1.
2023 | Journal Article | LibreCat-ID: 45361 | 
Breaking the exascale barrier for the electronic structure problem in ab-initio molecular dynamics
R. Schade, T. Kenter, H. Elgabarty, M. Lass, T. Kühne, C. Plessl, The International Journal of High Performance Computing Applications (2023).
LibreCat
| DOI
| Download (ext.)
R. Schade, T. Kenter, H. Elgabarty, M. Lass, T. Kühne, C. Plessl, The International Journal of High Performance Computing Applications (2023).
2023 | Journal Article | LibreCat-ID: 46816
Runtime Verification of Crypto APIs: An Empirical Study
A. Torres, P. Costa, L. Amaral, J. Pastro, R. Bonifácio, M. d’Amorim, O. Legunsen, E. Bodden, E. Dias Canedo, IEEE Transactions on Software Engineering (2023) 1–16.
LibreCat
| DOI
A. Torres, P. Costa, L. Amaral, J. Pastro, R. Bonifácio, M. d’Amorim, O. Legunsen, E. Bodden, E. Dias Canedo, IEEE Transactions on Software Engineering (2023) 1–16.
2022 | Conference Paper | LibreCat-ID: 29842 |
Model-driven Continuous Experimentation on Component-based Software Architectures
S. Gottschalk, E. Yigitbas, G. Engels, in: Proceedings of the 18th International Conference on Software Architecture Companion , IEEE, 2022.
LibreCat
| Files available
| DOI
S. Gottschalk, E. Yigitbas, G. Engels, in: Proceedings of the 18th International Conference on Software Architecture Companion , IEEE, 2022.
2022 | Conference Paper | LibreCat-ID: 32410
A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools
M. Nachtigall, M. Schlichtig, E. Bodden, in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–543.
LibreCat
| Files available
| DOI
M. Nachtigall, M. Schlichtig, E. Bodden, in: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2022, pp. 532–543.
2022 | Journal Article | LibreCat-ID: 30511 |
Static data-flow analysis for software product lines in C
P. Schubert, P. Gazzillo, Z. Patterson, J. Braha, F. Schiebel, B. Hermann, S. Wei, E. Bodden, Automated Software Engineering 29 (2022).
LibreCat
| DOI
| Download (ext.)
P. Schubert, P. Gazzillo, Z. Patterson, J. Braha, F. Schiebel, B. Hermann, S. Wei, E. Bodden, Automated Software Engineering 29 (2022).
2022 | Journal Article | LibreCat-ID: 31071
Early timing analysis based on scenario requirements and platform models
J. Holtmann, J. Deantoni, M. Fockel, Software and Systems Modeling (2022).
LibreCat
| DOI
J. Holtmann, J. Deantoni, M. Fockel, Software and Systems Modeling (2022).
2022 | Journal Article | LibreCat-ID: 33835
An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities
I. Sayar, A. Bartel, E. Bodden, Y. Le Traon, ACM Transactions on Software Engineering and Methodology (2022).
LibreCat
| DOI
I. Sayar, A. Bartel, E. Bodden, Y. Le Traon, ACM Transactions on Software Engineering and Methodology (2022).
2022 | Journal Article | LibreCat-ID: 34414 |
Robust estimation of clinch joint characteristics based on data-driven methods
C. Zirngibl, B. Schleich, S. Wartzack, The International Journal of Advanced Manufacturing Technology (2022).
LibreCat
| DOI
| Download (ext.)
C. Zirngibl, B. Schleich, S. Wartzack, The International Journal of Advanced Manufacturing Technology (2022).
2022 | Conference Paper | LibreCat-ID: 32309
Towards Situation-specific Software Support for Cross-organizational Design Thinking Processes
S. Gottschalk, E. Yigitbas, A. Nowosad, G. Engels, in: Proceedings of the 5th International Workshop on Software-Intensive Business (IWSiB’22) , ACM, 2022.
LibreCat
S. Gottschalk, E. Yigitbas, A. Nowosad, G. Engels, in: Proceedings of the 5th International Workshop on Software-Intensive Business (IWSiB’22) , ACM, 2022.
2022 | Journal Article | LibreCat-ID: 45847
A parameterized view on the complexity of dependence and independence logic
J. Kontinen, A. Meier, Y. Mahmood, Journal of Logic and Computation 32 (2022) 1624–1644.
LibreCat
| DOI
J. Kontinen, A. Meier, Y. Mahmood, Journal of Logic and Computation 32 (2022) 1624–1644.
2022 | Journal Article | LibreCat-ID: 33684 |
Towards electronic structure-based ab-initio molecular dynamics simulations with hundreds of millions of atoms
R. Schade, T. Kenter, H. Elgabarty, M. Lass, O. Schütt, A. Lazzaro, H. Pabst, S. Mohr, J. Hutter, T. Kühne, C. Plessl, Parallel Computing 111 (2022).
LibreCat
| DOI
| Download (ext.)
R. Schade, T. Kenter, H. Elgabarty, M. Lass, O. Schütt, A. Lazzaro, H. Pabst, S. Mohr, J. Hutter, T. Kühne, C. Plessl, Parallel Computing 111 (2022).
2021 | Conference Paper | LibreCat-ID: 26049
IN OTHER WORDS: A NAIVE APPROACH TO TEXT SPINNING
F.S. Bäumer, J. Kersting, S. Denisov, M. Geierhos, in: PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021, IADIS, 2021, pp. 221--225.
LibreCat
| Files available
F.S. Bäumer, J. Kersting, S. Denisov, M. Geierhos, in: PROCEEDINGS OF THE INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021, IADIS, 2021, pp. 221--225.
2021 | Journal Article | LibreCat-ID: 30907
Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs
A. Rodriguez, A. Otero, M. Platzner, E. De la Torre, IEEE Transactions on Computers (2021) 1–1.
LibreCat
| DOI
A. Rodriguez, A. Otero, M. Platzner, E. De la Torre, IEEE Transactions on Computers (2021) 1–1.
2021 | Journal Article | LibreCat-ID: 31132
Identifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite
A.P. Dann, H. Plate, B. Hermann, S.E. Ponta, E. Bodden, IEEE Transactions on Software Engineering (2021) 1–1.
LibreCat
| DOI
A.P. Dann, H. Plate, B. Hermann, S.E. Ponta, E. Bodden, IEEE Transactions on Software Engineering (2021) 1–1.
2021 | Journal Article | LibreCat-ID: 37146
Collaborating with Virtual Assistants in Organizations: Analyzing Social Loafing Tendencies and Responsibility Attribution
S. Stieglitz, M. Mirbabaie, N.R.J. Möllmann, J. Rzyski, Information Systems Frontiers 24 (2021) 745–770.
LibreCat
| DOI
S. Stieglitz, M. Mirbabaie, N.R.J. Möllmann, J. Rzyski, Information Systems Frontiers 24 (2021) 745–770.
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
M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, T. Wiersema, IEEE Access (2021).
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
J. Kersting, F.S. Bäumer, in: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020, IADIS, 2020, pp. 119--123.