Florian Lanzinger
Florian Lanzinger, M.Sc. — Wissenschaftlicher Mitarbeiter / Doktorand | |
Am Fasanengarten 5 Building 50.34 Office 227 76131 Karlsruhe Germany |
📞 + 49 721 608-43856 |
Projekte
Publikationen
Titel | Autor(en) | Quelle |
---|---|---|
A Refactoring for Data Minimisation Using Formal Verification | Florian Lanzinger Mattias Ulbrich Alexander Weigl | 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering (ISoLA 2022) |
The Karlsruhe Java Verification Suite | Jonas Klamroth Florian Lanzinger Wolfram Pfeifer Mattias Ulbrich | The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday |
Towards a Formal Approach for Data Minimization in Programs | Florian Lanzinger Alexander Weigl | Data Privacy Management, Cryptocurrencies and Blockchain Technology |
Titel | Autor(en) | Quelle |
---|---|---|
Scalability and Precision by Combining Expressive Type Systems and Deductive Verification | Florian Lanzinger Alexander Weigl Mattias Ulbrich Werner Dietl | Proceedings of the ACM on programming languages 5(OOPSLA) |
Property Types in Java: Combining Type Systems and Deductive Verification | Florian Lanzinger | Karlsruher Institut für Technologie (Februar 2021) |
Titel | Autor(en) | Quelle |
---|---|---|
A Divide-and-Conquer Strategy with Block and Loop Contracts for Deductive Program Verification | Florian Lanzinger | Karlsruher Institut für Technologie (April 2018) |
Betreute Abschlussarbeiten
Titel | Typ | Status | Student | Jahr |
---|---|---|---|---|
Closing the Gap between Models and Programs | MA / PdF | offen | — | — |
Modellierung von Angriffen für quantitative Sicherheitsanalysen | MA | offen | — | — |
Semantische Datenminimierung | offen | — | — | |
LiquidRust: Refinement Types for Imperative Languages with Ownership | MA | abgeschlossen | Carsten Csiky | 2022 |
Mutability for Property Types in Java | MA | abgeschlossen | Joshua Bachmeier | 2022 |
Abhängige Eigenschaftstypen in Java | BA | abgeschlossen | Liudmila Fomenko | 2022 |
Methode zur Datenminimierung mittels syntaktischer Programmpartitionierung | BA | abgeschlossen | Simon Gerst | 2021 |
Lehre
Veranstaltung | Typ | Semester |
---|---|---|
Anwendung Formaler Methoden | Seminar | Wintersemester 2021/2022 |
Anwendung Formaler Methoden | Seminar | Sommersemester 2021 |