Alexander Knüppel
Technische Universität Braunschweig
H-index: 8
Europe-Germany
Top articles of Alexander Knüppel
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Re-CorC-ing KeY: correct-by-construction software development based on KeY | Tabea Bordis Loek Cleophas Alexander Kittelmann Tobias Runge Ina Schaefer | 2022/7/4 | |
A Maneuver-Centric Formal Engineering Approach for Cyber-Physical Systems | Alexander Kittelmann | 2022/5/18 | |
Verification strategies for feature-oriented software product lines | Elias Kuiter Alexander Knüppel Tabea Bordis Tobias Runge Ina Schaefer | 2022/2/23 | |
Runtime verification of correct-by-construction driving maneuvers | Alexander Kittelmann Tobias Runge Tabea Bordis Ina Schaefer | 2022/10/17 | |
Information flow control-by-construction for an object-oriented language | Tobias Runge Alexander Kittelmann Marco Servetto Alex Potanin Ina Schaefer | 2022/9/26 | |
How much specification is enough? Mutation analysis for software contracts | Alexander Knüppel Leon Schaer Ina Schaefer | 2021/5/17 | |
GUIDO: automated guidance for the configuration of deductive program verifiers | Alexander Knüppel Thomas Thüm Ina Schaefer | 2021/5/17 | |
Skill-based verification of cyber-physical systems | Alexander Knüppel Inga Jatzkowski Marcus Nolte Thomas Thüm Tobias Runge | 2020 | |
Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink | Alexander Schlie Alexander Knüppel Christoph Seidl Ina Schaefer | 2020/10/19 | |
Lattice-based information flow control-by-construction for security-by-design | Tobias Runge Alexander Knüppel Thomas Thüm Ina Schaefer | 2020/10/7 | |
Variational correctness-by-construction | Tabea Bordis Tobias Runge Alexander Knüppel Thomas Thüm Ina Schaefer | 2020/2/5 | |
Scaling correctness-by-construction | Alexander Knüppel Tobias Runge Ina Schaefer | 2020 | |
Using Abstract Contracts for Verifying Evolving Features and Their Interactions | Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY | Alexander Knüppel Stefan Krüger Thomas Thüm Richard Bubel Sebastian Krieter | 2020 |