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