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.
5693 Publications
2024 | Journal Article | LibreCat-ID: 40171 | 
Distributed Control of Partial Differential Equations Using Convolutional Reinforcement Learning
S. Peitz, J. Stenner, V. Chidananda, O. Wallscheid, S.L. Brunton, K. Taira, Physica D: Nonlinear Phenomena 461 (2024) 134096.
LibreCat
| DOI
| Download (ext.)
S. Peitz, J. Stenner, V. Chidananda, O. Wallscheid, S.L. Brunton, K. Taira, Physica D: Nonlinear Phenomena 461 (2024) 134096.
2024 | Bachelorsthesis | LibreCat-ID: 52318
Implementierung eines Algorithmus zur motivbasierten Schnitt-Sparsifizierung
S. Dorociak, Implementierung Eines Algorithmus Zur Motivbasierten Schnitt-Sparsifizierung, 2024.
LibreCat
S. Dorociak, Implementierung Eines Algorithmus Zur Motivbasierten Schnitt-Sparsifizierung, 2024.
2024 | Conference Paper | LibreCat-ID: 52235
Toward an Android Static Analysis Approach for Data Protection
M. Khedkar, E. Bodden, in: Proceedings of the 9th International Conference on Mobile Software Engineering and Systems, 2024.
LibreCat
| Files available
| arXiv
M. Khedkar, E. Bodden, in: Proceedings of the 9th International Conference on Mobile Software Engineering and Systems, 2024.
2024 | Journal Article | LibreCat-ID: 33461 |
Learning Bilinear Models of Actuated Koopman Generators from Partially-Observed Trajectories
S.E. Otto, S. Peitz, C.W. Rowley, SIAM Journal on Applied Dynamical Systems 23 (2024) 885–923.
LibreCat
| DOI
| Download (ext.)
| arXiv
S.E. Otto, S. Peitz, C.W. Rowley, SIAM Journal on Applied Dynamical Systems 23 (2024) 885–923.
2024 | Misc | LibreCat-ID: 52663
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability
A.-K. Wickert, M. Schlichtig, M. Vogel, L. Winter, M. Mezini, E. Bodden, Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability, 2024.
LibreCat
| Download (ext.)
A.-K. Wickert, M. Schlichtig, M. Vogel, L. Winter, M. Mezini, E. Bodden, Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability, 2024.
2024 | Journal Article | LibreCat-ID: 52686
Post-configuration Activation of Hardware Trojans in FPGAs
Q.A. Ahmed, T. Wiersema, M. Platzner, Journal of Hardware and Systems Security (2024).
LibreCat
| DOI
Q.A. Ahmed, T. Wiersema, M. Platzner, Journal of Hardware and Systems Security (2024).
2024 | Conference Paper | LibreCat-ID: 52379
Using Worked Examples for Engaging in Epistemic Programming Projects
S. Hüsing, C. Schulte, S. Sparmann, M. Bolte, in: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1, ACM, 2024.
LibreCat
| DOI
S. Hüsing, C. Schulte, S. Sparmann, M. Bolte, in: Proceedings of the 55th ACM Technical Symposium on Computer Science Education V. 1, ACM, 2024.
2024 | Conference Paper | LibreCat-ID: 52827
Differentially Private Natural Language Models: Recent Advances and Future Directions
L. Hu, I. Habernal, L. Shen, D. Wang, in: Y. Graham, M. Purver (Eds.), Findings of the Association for Computational Linguistics: EACL 2024, St. Julian’s, Malta, March 17-22, 2024, Association for Computational Linguistics, 2024, pp. 478–499.
LibreCat
L. Hu, I. Habernal, L. Shen, D. Wang, in: Y. Graham, M. Purver (Eds.), Findings of the Association for Computational Linguistics: EACL 2024, St. Julian’s, Malta, March 17-22, 2024, Association for Computational Linguistics, 2024, pp. 478–499.
2024 | Conference Paper | LibreCat-ID: 52842
DP-NMT: Scalable Differentially Private Machine Translation
T. Igamberdiev, D.N.L. Vu, F. Kuennecke, Z. Yu, J. Holmer, I. Habernal, in: N. Aletras, O. De Clercq (Eds.), Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations, Association for Computational Linguistics, St. Julians, Malta, 2024, pp. 94–105.
LibreCat
T. Igamberdiev, D.N.L. Vu, F. Kuennecke, Z. Yu, J. Holmer, I. Habernal, in: N. Aletras, O. De Clercq (Eds.), Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations, Association for Computational Linguistics, St. Julians, Malta, 2024, pp. 94–105.
2024 | Conference Paper | LibreCat-ID: 53095
Sponge: Inference Serving with Dynamic SLOs Using In-Place Vertical Scaling
K. Razavi, S. Ghafouri, M. Mühlhäuser, P. Jamshidi, L. Wang, in: Proceedings of the 4th Workshop on Machine Learning and Systems (EuroMLSys), Colocated with EuroSys 2024, ACM, 2024.
LibreCat
K. Razavi, S. Ghafouri, M. Mühlhäuser, P. Jamshidi, L. Wang, in: Proceedings of the 4th Workshop on Machine Learning and Systems (EuroMLSys), Colocated with EuroSys 2024, ACM, 2024.
2024 | Conference Paper | LibreCat-ID: 52231 |
Causal Question Answering with Reinforcement Learning
L. Blübaum, S. Heindorf, in: The World Wide Web Conference (WWW), ACM, n.d.
LibreCat
| Download (ext.)
L. Blübaum, S. Heindorf, in: The World Wide Web Conference (WWW), ACM, n.d.
2024 | Mastersthesis | LibreCat-ID: 53374
A Dispersion Algorithm for Robot Swarms Inside Polygonal Boundary Shapes
C. De Groote, A Dispersion Algorithm for Robot Swarms Inside Polygonal Boundary Shapes, 2024.
LibreCat
C. De Groote, A Dispersion Algorithm for Robot Swarms Inside Polygonal Boundary Shapes, 2024.
2024 | Mastersthesis | LibreCat-ID: 53373
Optimal Drone Strategies For Packet Delivery
R. Doddegowda, Optimal Drone Strategies For Packet Delivery, 2024.
LibreCat
R. Doddegowda, Optimal Drone Strategies For Packet Delivery, 2024.
2024 | Mastersthesis | LibreCat-ID: 53372
Evaluating the Implications
H. Thakur, Evaluating the Implications, 2024.
LibreCat
H. Thakur, Evaluating the Implications, 2024.
2024 | Book Chapter | LibreCat-ID: 52759
On the Potential of Multi-objective Automated Algorithm Configuration on Multi-modal Multi-objective Optimisation Problems
O.L. Preuß, J. Rook, H. Trautmann, in: Applications of Evolutionary Computation, Springer Nature Switzerland, Cham, 2024.
LibreCat
| DOI
O.L. Preuß, J. Rook, H. Trautmann, in: Applications of Evolutionary Computation, Springer Nature Switzerland, Cham, 2024.
2024 | Conference Paper | LibreCat-ID: 52749
Using Reinforcement Learning for Per-Instance Algorithm Configuration on the TSP
M. Vinzent Seiler, J. Rook, J. Heins, O.L. Preuß, J. Bossek, H. Trautmann, in: 2023 IEEE Symposium Series on Computational Intelligence (SSCI), IEEE, 2024.
LibreCat
| DOI
M. Vinzent Seiler, J. Rook, J. Heins, O.L. Preuß, J. Bossek, H. Trautmann, in: 2023 IEEE Symposium Series on Computational Intelligence (SSCI), IEEE, 2024.
2024 | Journal Article | LibreCat-ID: 38031 |
Error bounds for kernel-based approximations of the Koopman operator
F. Philipp, M. Schaller, K. Worthmann, S. Peitz, F. Nüske, Applied and Computational Harmonic Analysis 71 (2024).
LibreCat
| DOI
| Download (ext.)
| arXiv
F. Philipp, M. Schaller, K. Worthmann, S. Peitz, F. Nüske, Applied and Computational Harmonic Analysis 71 (2024).
2024 | Journal Article | LibreCat-ID: 53474
Characterizing Microheterogeneity in Liquid Mixtures via Local Density Fluctuations
M. Lass, T. Kenter, C. Plessl, M. Brehm, Entropy 26 (2024).
LibreCat
| DOI
M. Lass, T. Kenter, C. Plessl, M. Brehm, Entropy 26 (2024).
2024 | Conference Paper | LibreCat-ID: 53503
Optimisation and Evaluation of Breadth First Search with oneAPI/SYCL on Intel FPGAs: from Describing Algorithms to Describing Architectures
K. Olgu, T. Kenter, J. Nunez-Yanez, S. Mcintosh-Smith, in: Proceedings of the 12th International Workshop on OpenCL and SYCL, ACM, 2024.
LibreCat
| DOI
K. Olgu, T. Kenter, J. Nunez-Yanez, S. Mcintosh-Smith, in: Proceedings of the 12th International Workshop on OpenCL and SYCL, ACM, 2024.
2024 | Journal Article | LibreCat-ID: 53531
IPA: Inference Pipeline Adaptation to Achieve High Accuracy and Cost-Efficiency
S. Ghafouri, K. Razavi, M. Salmani, A. Sanaee, T. Lorido Botran, L. Wang, J. Doyle, P. Jamshidi, Journal of Systems Research (JSys) (n.d.).
LibreCat
S. Ghafouri, K. Razavi, M. Salmani, A. Sanaee, T. Lorido Botran, L. Wang, J. Doyle, P. Jamshidi, Journal of Systems Research (JSys) (n.d.).
2024 | Journal Article | LibreCat-ID: 53622
Empowering Students for the Data-Driven World: A Qualitative Study of the Relevance of Learning about Data-Driven Technologies
L. Höper, C. Schulte, Informatics in Education (2024).
LibreCat
| DOI
L. Höper, C. Schulte, Informatics in Education (2024).
2024 | Journal Article | LibreCat-ID: 53663 |
Noctua 2 Supercomputer
C. Bauer, T. Kenter, M. Lass, L. Mazur, M. Meyer, H. Nitsche, H. Riebler, R. Schade, M. Schwarz, N. Winnwa, A. Wiens, X. Wu, C. Plessl, J. Simon, Journal of Large-Scale Research Facilities 9 (2024).
LibreCat
| Files available
| DOI
C. Bauer, T. Kenter, M. Lass, L. Mazur, M. Meyer, H. Nitsche, H. Riebler, R. Schade, M. Schwarz, N. Winnwa, A. Wiens, X. Wu, C. Plessl, J. Simon, Journal of Large-Scale Research Facilities 9 (2024).
2024 | Conference Paper | LibreCat-ID: 53807
A Little Certainty is All We Need: Discovery and Synchronization Acceleration in Battery-Free IoT
G. Liu, V. Nigade, H. Bal, L. Wang, in: Proceedings of the 8th ACM Asia Pacific Workshop on Networking (APNET), 2024.
LibreCat
G. Liu, V. Nigade, H. Bal, L. Wang, in: Proceedings of the 8th ACM Asia Pacific Workshop on Networking (APNET), 2024.
2024 | Journal Article | LibreCat-ID: 50476
TARPS: A Toolbox for Enhancing Privacy and Security for Collaborative AR
S.C. Krings, E. Yigitbas, Proceedings of the ACM on Human-Computer Interaction, EICS 8 (2024) 22.
LibreCat
S.C. Krings, E. Yigitbas, Proceedings of the ACM on Human-Computer Interaction, EICS 8 (2024) 22.
2024 | Conference Paper | LibreCat-ID: 53815
Augmented and Virtual Reality for Diet and Nutritional Education: A Systematic Literature Review
E. Yigitbas, J. Mazur, in: Proceedings of the 17th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA 2024), 2024.
LibreCat
E. Yigitbas, J. Mazur, in: Proceedings of the 17th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA 2024), 2024.
2024 | Journal Article | LibreCat-ID: 53813
Development and Usability Evaluation of Transitional Cross-Reality Interfaces
L. Schmidt, E. Yigitbas, Proceedings of the ACM on Human-Computer Interaction, EICS 8 (2024) 31.
LibreCat
L. Schmidt, E. Yigitbas, Proceedings of the ACM on Human-Computer Interaction, EICS 8 (2024) 31.
2024 | Conference Paper | LibreCat-ID: 53814
Gamification- and Virtual Reality-Based Learning Environment for UML Class Diagram Modeling
E. Yigitbas, M. Schmidt, A. Bucchiarone, S. Bassanelli, G. Engels, in: IEEE Global Engineering Education Conference 2024, 2024.
LibreCat
E. Yigitbas, M. Schmidt, A. Bucchiarone, S. Bassanelli, G. Engels, in: IEEE Global Engineering Education Conference 2024, 2024.
2024 | Conference Paper | LibreCat-ID: 53821
Effects of Human Avatar Representation in Virtual Reality on Inter-Brain Connections
E. Yigitbas, C. Kaltschmidt, in: Proceedings of the 8th International Conference on Artificial Intelligence and Virtual Reality (AIVR’24), Springer, 2024.
LibreCat
E. Yigitbas, C. Kaltschmidt, in: Proceedings of the 8th International Conference on Artificial Intelligence and Virtual Reality (AIVR’24), Springer, 2024.
2024 | Conference Paper | LibreCat-ID: 53818
Interaction Techniques for Remote Maintenance in an AR Shared Environment
S.C. Krings, K. Biermeier, E. Yigitbas, in: Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE’24), 2024.
LibreCat
S.C. Krings, K. Biermeier, E. Yigitbas, in: Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE’24), 2024.
2024 | Conference Paper | LibreCat-ID: 53820
An Exploratory Study of Fear-Inducing Factors in Virtual Reality Experiences
J. Leichtweiß, E. Yigitbas, in: Proceedings of the 12th International Conference on Serious Games and Applications for Health (SeGAH’24), 2024.
LibreCat
J. Leichtweiß, E. Yigitbas, in: Proceedings of the 12th International Conference on Serious Games and Applications for Health (SeGAH’24), 2024.
2024 | Conference Paper | LibreCat-ID: 53817
Prototyping Cross-Reality Escape Rooms
S. Krois, E. Yigitbas, in: Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE’24), 2024.
LibreCat
S. Krois, E. Yigitbas, in: Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE’24), 2024.
2024 | Conference Paper | LibreCat-ID: 53819
Developing a VR Factory Walkthrough for Use in Schools
S.C. Krings, E. Yigitbas, S. Sauer, in: Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE’24), 2024.
LibreCat
S.C. Krings, E. Yigitbas, S. Sauer, in: Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE’24), 2024.
2024 | Preprint | LibreCat-ID: 53858 |
Common pitfalls to avoid while using multiobjective optimization in machine learning
J. Akhter, P.D. Fährmann, K. Sonntag, S. Peitz, ArXiv (2024).
LibreCat
| Download (ext.)
J. Akhter, P.D. Fährmann, K. Sonntag, S. Peitz, ArXiv (2024).
2024 | Journal Article | LibreCat-ID: 52587
Evaluating Security Through Isolation and Defense in Depth
E. Bodden, J. Pottebaum, M. Fockel, I. Gräßler, IEEE Security & Privacy 22 (2024) 69–72.
LibreCat
| DOI
E. Bodden, J. Pottebaum, M. Fockel, I. Gräßler, IEEE Security & Privacy 22 (2024) 69–72.
2024 | Conference Paper | LibreCat-ID: 53938
Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems
K. Karakaya, E. Bodden, in: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, ACM, 2024.
LibreCat
| DOI
K. Karakaya, E. Bodden, in: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, ACM, 2024.
2024 | Book Chapter | LibreCat-ID: 53942
SootUp: A Redesign of the Soot Static Analysis Framework
K. Karakaya, S. Schott, J. Klauke, E. Bodden, M. Schmidt, L. Luo, D. He, in: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature Switzerland, Cham, 2024.
LibreCat
| DOI
K. Karakaya, S. Schott, J. Klauke, E. Bodden, M. Schmidt, L. Luo, D. He, in: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature Switzerland, Cham, 2024.
2024 | Conference Paper | LibreCat-ID: 53958
Detecting Security-Relevant Methods using Multi-label Machine Learning
O. Johnson, G. Piskachev, R. Krishnamurthy, E. Bodden, in: Proceedings of the 46th International Conference on Software Engineering, IDE Workshop, 2024.
LibreCat
| DOI
O. Johnson, G. Piskachev, R. Krishnamurthy, E. Bodden, in: Proceedings of the 46th International Conference on Software Engineering, IDE Workshop, 2024.
2024 | Conference Paper | LibreCat-ID: 53959
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
A.P. Shivarpatna Venkatesh, S. Sabu, J. Wang, A.M. Mir, L. Li, E. Bodden, in: Proceedings of the 46th International Conference on Software Engineering, Tool Demo Track, 2024.
LibreCat
| arXiv
A.P. Shivarpatna Venkatesh, S. Sabu, J. Wang, A.M. Mir, L. Li, E. Bodden, in: Proceedings of the 46th International Conference on Software Engineering, Tool Demo Track, 2024.
2024 | Conference Paper | LibreCat-ID: 53816
Measuring Visual Attention Capacity Across xReality
K. Biermeier, I. Scharlau, E. Yigitbas, in: Proceedings of the 17th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA 2024), 2024.
LibreCat
K. Biermeier, I. Scharlau, E. Yigitbas, in: Proceedings of the 17th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA 2024), 2024.
2023 | Conference Paper | LibreCat-ID: 35083
UpCy: Safely Updating Outdated Dependencies
A.P. Dann, B. Hermann, E. Bodden, (2023).
LibreCat
A.P. Dann, B. Hermann, E. Bodden, (2023).
2023 | Journal Article | LibreCat-ID: 21199 |
On the Universal Transformation of Data-Driven Models to Control Systems
S. Peitz, K. Bieker, Automatica 149 (2023).
LibreCat
| DOI
| Download (ext.)
S. Peitz, K. Bieker, Automatica 149 (2023).
2023 | Conference Paper | LibreCat-ID: 37553
Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering
E. Schrader, R. Bernijazov, M. Foullois, M. Hillebrand, L. Kaiser, R. Dumitrescu, in: 2022 IEEE International Symposium on Systems Engineering (ISSE), IEEE, 2023.
LibreCat
| DOI
E. Schrader, R. Bernijazov, M. Foullois, M. Hillebrand, L. Kaiser, R. Dumitrescu, in: 2022 IEEE International Symposium on Systems Engineering (ISSE), IEEE, 2023.
2023 | Conference Paper | LibreCat-ID: 35426 |
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
C. Richter, J.F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
LibreCat
| DOI
| Download (ext.)
C. Richter, J.F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
2023 | Conference Paper | LibreCat-ID: 36848
Benchmark Fuzzing for Android Taint Analyses
S. Schott, F. Pauck, in: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023.
LibreCat
| DOI
| Download (ext.)
S. Schott, F. Pauck, in: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023.
2023 | Conference Paper | LibreCat-ID: 35427 |
Scaling Arbitrary Android App Analyses
F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
LibreCat
| DOI
| Download (ext.)
F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
2023 | Mastersthesis | LibreCat-ID: 40440
Updatable Privacy-Preserving Reputation System based on Blockchain
M. Pilot, Updatable Privacy-Preserving Reputation System Based on Blockchain, 2023.
LibreCat
M. Pilot, Updatable Privacy-Preserving Reputation System Based on Blockchain, 2023.
2023 | Book Chapter | LibreCat-ID: 40511
Epistemic Programming
S. Hüsing, C. Schulte, F. Winkelnkemper, in: Computer Science Education, Bloomsbury Academic, 2023.
LibreCat
| DOI
S. Hüsing, C. Schulte, F. Winkelnkemper, in: Computer Science Education, Bloomsbury Academic, 2023.
2023 | Journal Article | LibreCat-ID: 33947
Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation
J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, Theoretical Computer Science 939 (2023) 261–291.
LibreCat
| DOI
| arXiv
J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, Theoretical Computer Science 939 (2023) 261–291.
2023 | Conference Paper | LibreCat-ID: 41812
Model Generation For Java Frameworks
L. Luo, G. Piskachev, R. Krishnamurthy, J. Dolby, M. Schäf, E. Bodden, in: IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023.
LibreCat
L. Luo, G. Piskachev, R. Krishnamurthy, J. Dolby, M. Schäf, E. Bodden, in: IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023.
2023 | Conference Paper | LibreCat-ID: 41813
Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis
A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.
LibreCat
A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.