Florian Lanzinger

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Knowledge Sharing And Reuse

Formal Verification

Arabic Language

Intelligent Software

Top Venues

Proc. ACM Program. Lang.

Publications

Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. CoRR (2024)
Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. SAC (2024)
Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl
Scalable and Precise Refinement Types for Imperative Languages. iFM (2023)
Florian Lanzinger, Mattias Ulbrich, Alexander Weigl
A Refactoring for Data Minimisation Using Formal Verification. ISoLA (2) (2022)
Jonas Klamroth, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich
The Karlsruhe Java Verification Suite. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Florian Lanzinger, Alexander Weigl, Mattias Ulbrich, Werner Dietl
Scalability and precision by combining expressive type systems and deductive verification. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Florian Lanzinger, Alexander Weigl
Towards a Formal Approach for Data Minimization in Programs (Short Paper). DPM/CBT@ESORICS (2021)