Florian Lanzinger

According to our database, Florian Lanzinger authored at least 7 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.

Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 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

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Scalable and Precise Refinement Types for Imperative Languages.

Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl

Proceedings of the iFM 2023 - 18th International Conference, 2023

2022

A Refactoring for Data Minimisation Using Formal Verification.

Florian Lanzinger, Mattias Ulbrich, Alexander Weigl

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

The Karlsruhe Java Verification Suite.

Jonas Klamroth, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

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

Towards a Formal Approach for Data Minimization in Programs (Short Paper).

Florian Lanzinger, Alexander Weigl

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2021