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.
5692 Publications
2024 | Conference Paper | LibreCat-ID: 53820
J. Leichtweiß and E. Yigitbas, “An Exploratory Study of Fear-Inducing Factors in Virtual Reality Experiences,” 2024.
LibreCat
2024 | Conference Paper | LibreCat-ID: 53817
S. Krois and E. Yigitbas, “Prototyping Cross-Reality Escape Rooms,” 2024.
LibreCat
2024 | Conference Paper | LibreCat-ID: 53819
S. C. Krings, E. Yigitbas, and S. Sauer, “Developing a VR Factory Walkthrough for Use in Schools,” 2024.
LibreCat
2024 | Preprint | LibreCat-ID: 53858 | 
J. Akhter, P. D. Fährmann, K. Sonntag, and S. Peitz, “Common pitfalls to avoid while using multiobjective optimization in machine learning,” arXiv. 2024.
LibreCat
| Download (ext.)
2024 | Journal Article | LibreCat-ID: 52587
E. Bodden, J. Pottebaum, M. Fockel, and I. Gräßler, “Evaluating Security Through Isolation and Defense in Depth,” IEEE Security & Privacy, vol. 22, no. 1, pp. 69–72, 2024, doi: 10.1109/msec.2023.3336028.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 53938
K. Karakaya and E. Bodden, “Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems,” 2024, doi: 10.1145/3597503.3639092.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 53958
O. Johnson, G. Piskachev, R. Krishnamurthy, and E. Bodden, “Detecting Security-Relevant Methods using Multi-label Machine Learning,” 2024, doi: 10.48550/ARXIV.2403.07501.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 35083
A. P. Dann, B. Hermann, and E. Bodden, “UpCy: Safely Updating Outdated Dependencies.” 2023.
LibreCat
2023 | Journal Article | LibreCat-ID: 21199 |
S. Peitz and K. Bieker, “On the Universal Transformation of Data-Driven Models to Control Systems,” Automatica, vol. 149, Art. no. 110840, 2023, doi: 10.1016/j.automatica.2022.110840.
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 37553
E. Schrader, R. Bernijazov, M. Foullois, M. Hillebrand, L. Kaiser, and R. Dumitrescu, “Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering,” 2023, doi: 10.1109/isse54508.2022.10005487.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 35426 |
C. Richter, J. F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, and H. Wehrheim, “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?,” 2023, doi: 10.1145/3551349.3561156.
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 36848
S. Schott and F. Pauck, “Benchmark Fuzzing for Android Taint Analyses,” 2023, doi: 10.1109/scam55253.2022.00007.
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 35427 |
F. Pauck, “Scaling Arbitrary Android App Analyses,” 2023, doi: 10.1145/3551349.3561339.
LibreCat
| DOI
| Download (ext.)
2023 | Mastersthesis | LibreCat-ID: 40440
M. Pilot, Updatable Privacy-Preserving Reputation System based on Blockchain. 2023.
LibreCat
2023 | Journal Article | LibreCat-ID: 33947
J. Castenow, J. Harbig, D. Jung, T. Knollmann, and F. Meyer auf der Heide, “Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation,” Theoretical Computer Science, vol. 939, pp. 261–291, 2023, doi: 10.1016/j.tcs.2022.10.031.
LibreCat
| DOI
| arXiv
2023 | Conference Paper | LibreCat-ID: 41812
L. Luo, G. Piskachev, R. Krishnamurthy, J. Dolby, M. Schäf, and E. Bodden, “Model Generation For Java Frameworks,” 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 41813
A. P. Shivarpatna Venkatesh, J. Wang, L. Li, and E. Bodden, “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis,” 2023.
LibreCat