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
Leichtweiß, Justus, and Enes Yigitbas. “An Exploratory Study of Fear-Inducing Factors in Virtual Reality Experiences.” In Proceedings of the 12th International Conference on Serious Games and Applications for Health (SeGAH’24), 2024.
LibreCat
2024 | Conference Paper | LibreCat-ID: 53817
Krois, Sebastian, and Enes Yigitbas. “Prototyping Cross-Reality Escape Rooms.” In Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE’24), 2024.
LibreCat
2024 | Conference Paper | LibreCat-ID: 53819
Krings, Sarah Claudia, Enes Yigitbas, and Stefan Sauer. “Developing a VR Factory Walkthrough for Use in Schools.” In Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE’24), 2024.
LibreCat
2024 | Preprint | LibreCat-ID: 53858 | 
Akhter, Junaid, Paul David Fährmann, Konstantin Sonntag, and Sebastian Peitz. “Common Pitfalls to Avoid While Using Multiobjective Optimization in Machine Learning.” ArXiv, 2024.
LibreCat
| Download (ext.)
2024 | Journal Article | LibreCat-ID: 52587
Bodden, Eric, Jens Pottebaum, Markus Fockel, and Iris Gräßler. “Evaluating Security Through Isolation and Defense in Depth.” IEEE Security & Privacy 22, no. 1 (2024): 69–72. https://doi.org/10.1109/msec.2023.3336028.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 53938
Karakaya, Kadiray, and Eric Bodden. “Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems.” In Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. ACM, 2024. https://doi.org/10.1145/3597503.3639092.
LibreCat
| DOI
2024 | Book Chapter | LibreCat-ID: 53942
Karakaya, Kadiray, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo, and Dongjie He. “SootUp: A Redesign of the Soot Static Analysis Framework.” In Tools and Algorithms for the Construction and Analysis of Systems. Cham: Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-57246-3_13.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 53958
Johnson, Oshando, Goran Piskachev, Ranjith Krishnamurthy, and Eric Bodden. “Detecting Security-Relevant Methods Using Multi-Label Machine Learning.” In Proceedings of the 46th International Conference on Software Engineering, IDE Workshop, 2024. https://doi.org/10.48550/ARXIV.2403.07501.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 53959
Shivarpatna Venkatesh, Ashwin Prasad, Samkutty Sabu, Jiawei Wang, Amir M. Mir, Li Li, and Eric Bodden. “TypeEvalPy: A Micro-Benchmarking Framework for Python Type Inference Tools.” In Proceedings of the 46th International Conference on Software Engineering, Tool Demo Track, 2024.
LibreCat
| arXiv
2023 | Conference Paper | LibreCat-ID: 35083
Dann, Andreas Peter, Ben Hermann, and Eric Bodden. “UpCy: Safely Updating Outdated Dependencies.” International Conference on Software Engineering (ICSE), 2023.
LibreCat
2023 | Journal Article | LibreCat-ID: 21199 |
Peitz, Sebastian, and Katharina Bieker. “On the Universal Transformation of Data-Driven Models to Control Systems.” Automatica 149 (2023). https://doi.org/10.1016/j.automatica.2022.110840.
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 37553
Schrader, Elena, Ruslan Bernijazov, Marc Foullois, Michael Hillebrand, Lydia Kaiser, and Roman Dumitrescu. “Examples of AI-Based Assistance Systems in Context of Model-Based Systems Engineering.” In 2022 IEEE International Symposium on Systems Engineering (ISSE). IEEE, 2023. https://doi.org/10.1109/isse54508.2022.10005487.
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 35426 |
Richter, Cedric, Jan Frederik Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, and Heike Wehrheim. “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?” In 37th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2023. https://doi.org/10.1145/3551349.3561156.
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 36848
Schott, Stefan, and Felix Pauck. “Benchmark Fuzzing for Android Taint Analyses.” In 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE, 2023. https://doi.org/10.1109/scam55253.2022.00007.
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 35427 |
Pauck, Felix. “Scaling Arbitrary Android App Analyses.” In 37th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2023. https://doi.org/10.1145/3551349.3561339.
LibreCat
| DOI
| Download (ext.)
2023 | Mastersthesis | LibreCat-ID: 40440
Pilot, Matthias. Updatable Privacy-Preserving Reputation System Based on Blockchain, 2023.
LibreCat
2023 | Book Chapter | LibreCat-ID: 40511
Hüsing, Sven, Carsten Schulte, and Felix Winkelnkemper. “Epistemic Programming.” In Computer Science Education. Bloomsbury Academic, 2023. https://doi.org/10.5040/9781350296947.ch-022.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 33947
Castenow, Jannik, Jonas Harbig, Daniel Jung, Till Knollmann, and Friedhelm Meyer auf der Heide. “Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation.” Theoretical Computer Science 939 (2023): 261–91. https://doi.org/10.1016/j.tcs.2022.10.031.
LibreCat
| DOI
| arXiv
2023 | Conference Paper | LibreCat-ID: 41812
Luo, Linghui, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Martin Schäf, and Eric Bodden. “Model Generation For Java Frameworks.” In IEEE International Conference on Software Testing, Verification and Validation (ICST), 2023.
LibreCat
2023 | Conference Paper | LibreCat-ID: 41813
Shivarpatna Venkatesh, Ashwin Prasad, Jiawei Wang, Li Li, and Eric Bodden. “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.” In IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.
LibreCat