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
2023 | Journal Article | LibreCat-ID: 21199 | 
Peitz, S., & Bieker, K. (2023). On the Universal Transformation of Data-Driven Models to Control Systems. Automatica, 149, Article 110840. https://doi.org/10.1016/j.automatica.2022.110840
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 37553
Schrader, E., Bernijazov, R., Foullois, M., Hillebrand, M., Kaiser, L., & Dumitrescu, R. (2023). Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering. 2022 IEEE International Symposium on Systems Engineering (ISSE). https://doi.org/10.1109/isse54508.2022.10005487
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 35426 |
Richter, C., Haltermann, J. F., Jakobs, M.-C., Pauck, F., Schott, S., & Wehrheim, H. (2023). Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? 37th IEEE/ACM International Conference on Automated Software Engineering. https://doi.org/10.1145/3551349.3561156
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 36848
Schott, S., & Pauck, F. (2023). Benchmark Fuzzing for Android Taint Analyses. 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM). https://doi.org/10.1109/scam55253.2022.00007
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 35427 |
Pauck, F. (2023). Scaling Arbitrary Android App Analyses. 37th IEEE/ACM International Conference on Automated Software Engineering. https://doi.org/10.1145/3551349.3561339
LibreCat
| DOI
| Download (ext.)
2023 | Mastersthesis | LibreCat-ID: 40440
Pilot, M. (2023). Updatable Privacy-Preserving Reputation System based on Blockchain.
LibreCat
2023 | Book Chapter | LibreCat-ID: 40511
Hüsing, S., Schulte, C., & Winkelnkemper, F. (2023). Epistemic Programming. In Computer Science Education. Bloomsbury Academic. https://doi.org/10.5040/9781350296947.ch-022
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 33947
Castenow, J., Harbig, J., Jung, D., Knollmann, T., & Meyer auf der Heide, F. (2023). Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation. Theoretical Computer Science, 939, 261–291. https://doi.org/10.1016/j.tcs.2022.10.031
LibreCat
| DOI
| arXiv
2023 | Conference Paper | LibreCat-ID: 41812
Luo, L., Piskachev, G., Krishnamurthy, R., Dolby, J., Schäf, M., & Bodden, E. (2023). Model Generation For Java Frameworks. IEEE International Conference on Software Testing, Verification and Validation (ICST).
LibreCat
2023 | Conference Paper | LibreCat-ID: 41813
Shivarpatna Venkatesh, A. P., Wang, J., Li, L., & Bodden, E. (2023). Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER).
LibreCat