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, Mugdha. “Static Analysis for Android GDPR Compliance Assurance.” In Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23), n.d. https://doi.org/10.1109/ICSE-Companion58688.2023.00054.
LibreCat
| Files available
| DOI
| arXiv
2023 | Book Chapter | LibreCat-ID: 52662
Nachtigall, Marcus, Michael Schlichtig, and Eric Bodden. “Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale.” In Software Engineering 2023, 95–96. Bonn: Gesellschaft für Informatik e.V., 2023.
LibreCat
| Download (ext.)
2023 | Book Chapter | LibreCat-ID: 52660
Schlichtig, Michael, Steffen Sassalla, Krishna Narasimhan, and Eric Bodden. “Introducing FUM: A Framework for API Usage Constraint and Misuse Classification.” In Software Engineering 2023, 105–106. Bonn: Gesellschaft für Informatik e.V., 2023.
LibreCat
| Download (ext.)
2023 | Journal Article | LibreCat-ID: 53320
Winkler, Michael. “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. https://doi.org/10.4171/aihpc/73.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53318
Li, Genglin, and Michael Winkler. “Refined Regularity Analysis for a Keller-Segel-Consumption System Involving Signal-Dependent Motilities.” Applicable Analysis 103, no. 1 (2023): 45–64. https://doi.org/10.1080/00036811.2023.2173183.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53324
Ahn, Jaewook, and Michael Winkler. “A Critical Exponent for Blow-up in a Two-Dimensional Chemotaxis-Consumption System.” Calculus of Variations and Partial Differential Equations 62, no. 6 (2023). https://doi.org/10.1007/s00526-023-02523-5.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53329
Tao, Youshan, and Michael Winkler. “Analysis of a Chemotaxis-SIS Epidemic Model with Unbounded Infection Force.” Nonlinear Analysis: Real World Applications 71 (2023). https://doi.org/10.1016/j.nonrwa.2022.103820.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53341
Winkler, Michael. “Solutions to the Keller–Segel System with Non-Integrable Behavior at Spatial Infinity.” Journal of Elliptic and Parabolic Equations 9, no. 2 (2023): 919–59. https://doi.org/10.1007/s41808-023-00230-y.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53342
Winkler, Michael, and Tomomi 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 374 (2023): 1–28. https://doi.org/10.1016/j.jde.2023.07.029.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53346
Winkler, Michael. “Absence of Collapse into Persistent Dirac-Type Singularities in a Keller-Segel-Navier-Stokes System Involving Local Sensing.” Advances in Differential Equations 28, no. 11/12 (2023). https://doi.org/10.57262/ade028-1112-921.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53540
Papageorgiou, Efthymia. “Large-Time Behavior of Two Families of Operators Related to the Fractional Laplacian on Certain Riemannian Manifolds.” Potential Analysis, 2023. https://doi.org/10.1007/s11118-023-10109-1.
LibreCat
| DOI
2023 | Journal Article | LibreCat-ID: 53539
Papageorgiou, Efthymia. “Asymptotics for the Infinite Brownian Loop on Noncompact Symmetric Spaces.” Journal of Elliptic and Parabolic Equations, 2023. https://doi.org/10.1007/s41808-023-00250-8.
LibreCat
| DOI
2022 | Misc | LibreCat-ID: 32409
Schlichtig, Michael, Anna-Katharina Wickert, Stefan Krüger, Eric Bodden, and Mira Mezini. CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite, 2022. https://doi.org/10.48550/ARXIV.2204.06447.
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 32410
Nachtigall, Marcus, Michael Schlichtig, and Eric 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, 532–43. ACM, 2022. https://doi.org/10.1145/3533767.
LibreCat
| Files available
| DOI
2022 | Conference Paper | LibreCat-ID: 31133
Schlichtig, Michael, Steffen Sassalla, Krishna Narasimhan, and Eric Bodden. “FUM - A Framework for API Usage Constraint and Misuse Classification.” In 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 673–84, 2022. https://doi.org/10.1109/SANER53432.2022.00085.
LibreCat
| Files available
| DOI
2022 | Journal Article | LibreCat-ID: 30511 | 
Schubert, Philipp, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, and Eric Bodden. “Static Data-Flow Analysis for Software Product Lines in C.” Automated Software Engineering 29, no. 1 (2022). https://doi.org/10.1007/s10515-022-00333-1.
LibreCat
| DOI
| Download (ext.)
2022 | Conference Paper | LibreCat-ID: 31054
Kersting, Joschka, and Frederik Simon 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, edited by Joschka Kersting, 5–9. Barcelona, Spain: IARIA, 2022.
LibreCat
| Files available
2022 | Journal Article | LibreCat-ID: 32865
Herberg, Artjom, and Dirk Kuckling. “Branching Analysis of β-Cyclodextrin-Based Poly(N-Isopropylacrylamide) Star Polymers Using Triple Detection SEC.” International Journal of Polymer Analysis and Characterization, 2022, 1–19. https://doi.org/10.1080/1023666x.2022.2110133.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 34075
Penner, Eduard, Ismail Caylak, and Rolf Mahnken. “A Polymorphic Uncertainty Model for the Curing Process of Transversely Fiber-Reinforced Plastics.” Mathematics and Mechanics of Complex Systems 10, no. 1 (2022): 21–50. https://doi.org/10.2140/memocs.2022.10.21.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 31691
Gräßler, Iris, and Philipp Hesse. “Approach to Sustainability-Based Assessment of Solution Alternatives in Early Stages of Product Engineering.” Proceedings of the Design Society 2 (2022): 1001–10. https://doi.org/10.1017/pds.2022.102.
LibreCat
| DOI