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. On the Universal Transformation of Data-Driven Models to Control Systems. Automatica. 2023;149. doi: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. Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering. In: 2022 IEEE International Symposium on Systems Engineering (ISSE). IEEE; 2023. doi:10.1109/isse54508.2022.10005487
LibreCat
| DOI
2023 | Conference Paper | LibreCat-ID: 35426 |
Richter C, Haltermann JF, Jakobs M-C, Pauck F, Schott S, Wehrheim H. Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? In: 37th IEEE/ACM International Conference on Automated Software Engineering. ACM; 2023. doi:10.1145/3551349.3561156
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 36848
Schott S, Pauck F. Benchmark Fuzzing for Android Taint Analyses. In: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE; 2023. doi:10.1109/scam55253.2022.00007
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 35427 |
Pauck F. Scaling Arbitrary Android App Analyses. In: 37th IEEE/ACM International Conference on Automated Software Engineering. ACM; 2023. doi:10.1145/3551349.3561339
LibreCat
| DOI
| Download (ext.)
2023 | Mastersthesis | LibreCat-ID: 40440
Pilot M. Updatable Privacy-Preserving Reputation System Based on Blockchain.; 2023.
LibreCat
2023 | Book Chapter | LibreCat-ID: 40511
Hüsing S, Schulte C, Winkelnkemper F. Epistemic Programming. In: Computer Science Education. Bloomsbury Academic; 2023. doi: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. Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation. Theoretical Computer Science. 2023;939:261-291. doi: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. 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 AP, Wang J, Li L, Bodden E. Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. In: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). ; 2023.
LibreCat