Towards a Formal Approach for Data Minimization in Programs (Short Paper). - Florian Lanzinger; Alexander Weigl (DPM/CBT@ESORICS, 2021)

Scalability and precision by combining expressive type systems and deductive verification. - Florian Lanzinger; Alexander Weigl; Mattias Ulbrich; Werner Dietl (Proc. ACM Program. Lang., 2021)

The Karlsruhe Java Verification Suite. - Jonas Klamroth; Florian Lanzinger; Wolfram Pfeifer; Mattias Ulbrich (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

A Refactoring for Data Minimisation Using Formal Verification. - Florian Lanzinger; Mattias Ulbrich; Alexander Weigl (ISoLA (2), 2022)

Scalable and Precise Refinement Types for Imperative Languages. - Florian Lanzinger; Joshua Bachmeier; Mattias Ulbrich; Werner Dietl (iFM, 2023)

The Java Verification Tool KeY:A Tutorial. - Bernhard Beckert; Richard Bubel; Daniel Drodt; Reiner Hähnle; Florian Lanzinger; Wolfram Pfeifer; Mattias Ulbrich; Alexander Weigl (FM (2), 2024)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. - Florian Lanzinger; Christian Martin; Frederik Reiche; Samuel Teuber; Robert Heinrich; Alexander Weigl (SAC, 2024)

The Java Verification Tool KeY: A Tutorial. - Bernhard Beckert; Richard Bubel; Daniel Drodt; Reiner Hähnle; Florian Lanzinger; Wolfram Pfeifer; Mattias Ulbrich; Alexander Weigl (Zenodo, 2024)

Insights and Lessons Learned from a Realistic Smart Grid Testbed for Cybersecurity Research. - Ghada Elbez; Gustavo Sánchez; Sine Canbolat; Sophie Corallo; Clemens Fruböse; Florian Lanzinger; Nicolai Kellerer; Gustav Keppler; Felix Neumeister; Bernhard Beckert; Anne Koziolek; Martina Zitterbart; et al. (e-Energy, 2025)