Alexander Kittelmann

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 4

Top Topics

Formal Analysis

Information Flow Control

Language Learning

Top Venues

The Logic of Software. A Tasting Menu of Formal Methods

Publications

Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer
Information Flow Control-by-Construction for an Object-Oriented Language. SEFM (2022)
Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers. CoRR (2022)
Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer
Runtime Verification of Correct-by-Construction Driving Maneuvers. ISoLA (1) (2022)
Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. The Logic of Software. A Tasting Menu of Formal Methods (2022)