Follow
Alexander Knüppel
Alexander Knüppel
Other namesAlexander Kittelmann
Unknown affiliation
Verified email at volkswagen.de
Title
Cited by
Cited by
Year
Is there a mismatch between real-world feature models and product-line research?
A Knüppel, T Thüm, S Mennicke, J Meinicke, I Schaefer
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
1142017
Towards confidentiality-by-construction
I Schaefer, T Runge, A Knüppel, L Cleophas, D Kourie, BW Watson
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
172018
Lattice-based information flow control-by-construction for security-by-design
T Runge, A Knüppel, T Thüm, I Schaefer
Proceedings of the 8th International Conference on Formal Methods in …, 2020
162020
Feature-oriented contract composition
T Thüm, A Knüppel, S Krüger, S Bolle, I Schaefer
Journal of Systems and Software 152, 83-107, 2019
132019
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
A Knüppel, T Thüm, C Pardylla, I Schaefer
arXiv preprint arXiv:1811.10818, 2018
132018
Re-CorC-ing KeY: correct-by-construction software development based on KeY
T Bordis, L Cleophas, A Kittelmann, T Runge, I Schaefer, BW Watson
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …, 2022
122022
Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink
A Schlie, A Knüppel, C Seidl, I Schaefer
Proceedings of the 24th ACM Conference on Systems and Software Product Line …, 2020
112020
Variational correctness-by-construction
T Bordis, T Runge, A Knüppel, T Thüm, I Schaefer
Proceedings of the 14th International Working Conference on Variability …, 2020
112020
Scaling correctness-by-construction
A Knüppel, T Runge, I Schaefer
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
102020
Scalability of deductive verification depends on method call treatment
A Knüppel, T Thüm, C Padylla, I Schaefer
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
92018
The role of complex constraints in feature modeling
A Knüppel
Institut für Softwaretechnik und Fahrzeuginformatik, 2017
92017
Verification strategies for feature-oriented software product lines
E Kuiter, A Knüppel, T Bordis, T Runge, I Schaefer
Proceedings of the 16th International Working Conference on Variability …, 2022
82022
Running high level architecture in real-time for flight simulator integration
T Gerlach, U Durak, A Knüppel, T Rambau
AIAA Modeling and Simulation Technologies Conference, 4130, 2016
82016
Understanding parameters of deductive verification: An empirical investigation of keY
A Knüppel, T Thüm, CI Pardylla, I Schaefer
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018
72018
How much specification is enough? Mutation analysis for software contracts
A Knüppel, L Schaer, I Schaefer
2021 IEEE/ACM 9th International Conference on Formal Methods in Software …, 2021
62021
GUIDO: automated guidance for the configuration of deductive program verifiers
A Knüppel, T Thüm, I Schaefer
2021 IEEE/ACM 9th International Conference on Formal Methods in Software …, 2021
62021
Skill-based verification of cyber-physical systems
A Knüppel, I Jatzkowski, M Nolte, T Thüm, T Runge, I Schaefer
Fundamental Approaches to Software Engineering: 23rd International …, 2020
62020
Using Abstract Contracts for Verifying Evolving Features and Their Interactions
A Knüppel, S Krüger, T Thüm, R Bubel, S Krieter, E Bodden, I Schaefer
Deductive Software Verification: Future Perspectives: Reflections on the …, 2020
52020
Runtime verification of correct-by-construction driving maneuvers
A Kittelmann, T Runge, T Bordis, I Schaefer
International Symposium on Leveraging Applications of Formal Methods, 242-263, 2022
32022
Information flow control-by-construction for an object-oriented language
T Runge, A Kittelmann, M Servetto, A Potanin, I Schaefer
International Conference on Software Engineering and Formal Methods, 209-226, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20