Alexander Knüppel
Alexander Knüppel
PhD Student, TU Braunschweig
Verified email at tu-bs.de - Homepage
TitleCited byYear
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
222017
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
42016
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
32018
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
32018
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
22018
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
22018
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
12019
The role of complex constraints in feature modeling
A Knüppel
Master’s thesis, Institute of Software Engineering and Automotive …, 2016
12016
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
Feature-oriented contract composition:[journal first]
T Thüm, A Knüppel, S Krüger, S Bolle, I Schaefer
Proceedings of the 23rd International Systems and Software Product Line …, 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–12