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.
163 Publications
2023 | Conference Paper | LibreCat-ID: 44146
Khedkar, M. (n.d.). Static Analysis for Android GDPR Compliance Assurance. Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23). https://doi.org/10.1109/ICSE-Companion58688.2023.00054
LibreCat
| Files available
| DOI
| arXiv
2023 | Book Chapter | LibreCat-ID: 52662
Nachtigall, M., Schlichtig, M., & Bodden, E. (2023). Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale. In Software Engineering 2023 (pp. 95–96). Gesellschaft für Informatik e.V.
LibreCat
| Download (ext.)
2023 | Book Chapter | LibreCat-ID: 52660
Schlichtig, M., Sassalla, S., Narasimhan, K., & Bodden, E. (2023). Introducing FUM: A Framework for API Usage Constraint and Misuse Classification. In Software Engineering 2023 (pp. 105–106). Gesellschaft für Informatik e.V.
LibreCat
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 53320
Winkler, M. (2023). A quantitative strong parabolic maximum principle and application to a taxis-type migration–consumption model involving signal-dependent degenerate diffusion. Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire. https://doi.org/10.4171/aihpc/73
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53318
Li, G., & Winkler, M. (2023). Refined regularity analysis for a Keller-Segel-consumption system involving signal-dependent motilities. Applicable Analysis, 103(1), 45–64. https://doi.org/10.1080/00036811.2023.2173183
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53324
Ahn, J., & Winkler, M. (2023). A critical exponent for blow-up in a two-dimensional chemotaxis-consumption system. Calculus of Variations and Partial Differential Equations, 62(6), Article 180. https://doi.org/10.1007/s00526-023-02523-5
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53329
Tao, Y., & Winkler, M. (2023). Analysis of a chemotaxis-SIS epidemic model with unbounded infection force. Nonlinear Analysis: Real World Applications, 71, Article 103820. https://doi.org/10.1016/j.nonrwa.2022.103820
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53341
Winkler, M. (2023). Solutions to the Keller–Segel system with non-integrable behavior at spatial infinity. Journal of Elliptic and Parabolic Equations, 9(2), 919–959. https://doi.org/10.1007/s41808-023-00230-y
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53342
Winkler, M., & Yokota, T. (2023). Avoiding critical mass phenomena by arbitrarily mild saturation of cross-diffusive fluxes in two-dimensional Keller-Segel-Navier-Stokes systems. Journal of Differential Equations, 374, 1–28. https://doi.org/10.1016/j.jde.2023.07.029
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53346
Winkler, M. (2023). Absence of collapse into persistent Dirac-type singularities in a Keller-Segel-Navier-Stokes system involving local sensing. Advances in Differential Equations, 28(11/12). https://doi.org/10.57262/ade028-1112-921
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53540
Papageorgiou, E. (2023). Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds. Potential Analysis. https://doi.org/10.1007/s11118-023-10109-1
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53539
Papageorgiou, E. (2023). Asymptotics for the infinite Brownian loop on noncompact symmetric spaces. Journal of Elliptic and Parabolic Equations. https://doi.org/10.1007/s41808-023-00250-8
LibreCat
| DOI
2022 | Misc | LibreCat-ID: 32409
Schlichtig, M., Wickert, A.-K., Krüger, S., Bodden, E., & Mezini, M. (2022). CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite. https://doi.org/10.48550/ARXIV.2204.06447
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
Nachtigall, M., Schlichtig, M., & Bodden, E. (2022). A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools. Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 532–543. https://doi.org/10.1145/3533767
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31133
Schlichtig, M., Sassalla, S., Narasimhan, K., & Bodden, E. (2022). FUM - A Framework for API Usage constraint and Misuse Classification. 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 673–684. https://doi.org/10.1109/SANER53432.2022.00085
LibreCat
| Files available
| DOI
2022 | Journal Article | LibreCat-ID: 30511 | 
Schubert, P., Gazzillo, P., Patterson, Z., Braha, J., Schiebel, F., Hermann, B., Wei, S., & Bodden, E. (2022). Static data-flow analysis for software product lines in C. Automated Software Engineering, 29(1), Article 35. https://doi.org/10.1007/s10515-022-00333-1
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 31054
Kersting, J., & Bäumer, F. S. (2022). Implicit Statements in Healthcare Reviews: A Challenge for Sentiment Analysis. In J. Kersting (Ed.), Proceedings of the Fourteenth International Conference on Pervasive Patterns and Applications (PATTERNS 2022): Special Track AI-DRSWA: Maturing Artificial Intelligence - Data Science for Real-World Applications (pp. 5–9). IARIA.
LibreCat
| Files available
2022 | Journal Article | LibreCat-ID: 32865
Herberg, A., & Kuckling, D. (2022). Branching analysis of β-cyclodextrin-based poly(N-isopropylacrylamide) star polymers using triple detection SEC. International Journal of Polymer Analysis and Characterization, 1–19. https://doi.org/10.1080/1023666x.2022.2110133
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34075
Penner, E., Caylak, I., & Mahnken, R. (2022). A polymorphic uncertainty model for the curing process of transversely fiber-reinforced plastics. Mathematics and Mechanics of Complex Systems, 10(1), 21–50. https://doi.org/10.2140/memocs.2022.10.21
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31691
Gräßler, I., & Hesse, P. (2022). Approach to Sustainability-Based Assessment of Solution Alternatives in Early Stages of Product Engineering. Proceedings of the Design Society, 2, 1001–1010. https://doi.org/10.1017/pds.2022.102
LibreCat
| DOI