Follow
Alexander Knüppel
Alexander Knüppel
Other namesAlexander Kittelmann
Verified email at kit.edu
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
592017
Towards confidentiality-by-construction
I Schaefer, T Runge, A Knüppel, L Cleophas, D Kourie, BW Watson
International Symposium on Leveraging Applications of Formal Methods, 502-515, 2018
142018
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
112019
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
102020
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
92018
Scalability of deductive verification depends on method call treatment
A Knüppel, T Thüm, C Padylla, I Schaefer
International Symposium on Leveraging Applications of Formal Methods, 159-175, 2018
82018
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
62016
Scaling correctness-by-construction
A Knüppel, T Runge, I Schaefer
International Symposium on Leveraging Applications of Formal Methods, 187-207, 2020
52020
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
52020
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, 80-104, 2022
42022
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
42020
Understanding parameters of deductive verification: an empirical investigation of KeY
A Knüppel, T Thüm, CI Pardylla, I Schaefer
International Conference on Interactive Theorem Proving, 342-361, 2018
42018
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
32021
Skill-based verification of cyber-physical systems
A Knüppel, I Jatzkowski, M Nolte, T Thüm, T Runge, I Schaefer
International Conference on Fundamental Approaches to Software Engineering …, 2020
32020
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, 122-148, 2020
22020
The role of complex constraints in feature modeling
A Knüppel
Institut für Softwaretechnik und Fahrzeuginformatik, 2017
22017
Maneuver-Centric Formal Engineering Approach for Cyber-Physical SystemsA
A Kittelmann
12022
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
12022
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
12022
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
12022
The system can't perform the operation now. Try again later.
Articles 1–20