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.
2021 | Journal Article | LibreCat-ID: 21598
P. Schubert, B. Hermann, and E. Bodden, “Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis,” European Conference on Object-Oriented Programming (ECOOP), 2021.LibreCat
2021 | Journal Article | LibreCat-ID: 21599
R. Bonifacio, S. Krüger, K. Narasimhan, E. Bodden, and M. Mezini, “Dealing with Variability in API Misuse Specification,” European Conference on Object-Oriented Programming (ECOOP), 2021.LibreCat
2020 | Conference Paper | LibreCat-ID: 20518
T. Koch, S. Dziwok, J. Holtmann, and E. Bodden, “Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers,” in ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20), 2020.LibreCat | DOI
2020 | Conference Paper | LibreCat-ID: 20510
M. Benz, E. Krogh Kristensen, L. Luo, N. P. Borges Jr., E. Bodden, and A. Zeller, “Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis,” in International Conference for Software Engineering (ICSE), 2020.LibreCat