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