Follow
Alexander Knüppel
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
482017
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
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
82018
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
82018
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
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
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
Scaling correctness-by-construction
A Knüppel, T Runge, I Schaefer
International Symposium on Leveraging Applications of Formal Methods, 187-207, 2020
32020
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
32020
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
22020
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
22020
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
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
12021
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
12021
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
2022
Tool Support for Confidentiality-by-Construction
T Runge, I Schaefer, A Knüppel, L Cleophas, D Kourie, BW Watson
ACM SIGAda Ada Letters 38 (2), 64-68, 2019
2019
The Role of Complex Constraints in Feature Modeling: Master’s Thesis
A Knüppel
2016
9. Psychologische Systeme-Nichtlineare Dynamik und das „Unerwartete “in der Psychiatrie
A Knüppel, N Oesting
Komplexe Systeme und Nichtlineare Dynamik in Natur und Gesellschaft, 63, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–20