Florian Lanzinger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2021–2024
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FM | The Java Verification Tool KeY:A Tutorial. | Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hhnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl |
| 2024 | SAC | Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. | Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl |
| 2023 | IFM | Scalable and Precise Refinement Types for Imperative Languages. | Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl |
| 2022 | ISoLA | A Refactoring for Data Minimisation Using Formal Verification. | Florian Lanzinger, Mattias Ulbrich, Alexander Weigl |
| 2021 | ESORICS | Towards a Formal Approach for Data Minimization in Programs (Short Paper). | Florian Lanzinger, Alexander Weigl |