Alexander Knüppel

19 papers B 2C 2Journal 1Unranked 13
YearRankTypeTitle / Venue / Authors
2022 — conf
Verification Strategies for Feature-Oriented Software Product Lines.
VaMoS
Elias Kuiter, Alexander Knüppel, Tabea Bordis, Tobias Runge, Ina Schaefer
2021 — conf
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers.
FormaliSE@ICSE
Alexander Knüppel, Thomas Thüm, Ina Schaefer
2021 — conf
How much Specification is Enough? Mutation Analysis for Software Contracts.
FormaliSE@ICSE
Alexander Knüppel, Leon Schaer, Ina Schaefer
2021 C conf
Skill-Based Verification of Cyber-Physical Systems.
Software Engineering
Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Tobias Runge, Thomas Thüm, Ina Schaefer
2020 — conf
Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink.
SPLC (A)
Alexander Schlie, Alexander Knüppel, Christoph Seidl, Ina Schaefer
2020 — conf
Lattice-Based Information Flow Control-by-Construction for Security-by-Design.
FormaliSE@ICSE
Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer
2020 — conf
Scaling Correctness-by-Construction.
ISoLA (1)
Alexander Knüppel, Tobias Runge, Ina Schaefer
2020 B conf
Skill-Based Verification of Cyber-Physical Systems.
FASE
Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer
2020 — ch.
Using Abstract Contracts for Verifying Evolving Features and Their Interactions.
20 Years of KeY
Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer
2020 — conf
Variational correctness-by-construction.
VaMoS
Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer
2019 — conf
Feature-oriented contract composition.
SPLC (A)
Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer
2019 J jnl
Feature-oriented contract composition.
J. Syst. Softw.
Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer
2019 — conf
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY.
SE/SWM
Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer
2018 — conf
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY.
F-IDE@FLoC
Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer
2018 C conf
Is There a Mismatch between Real-World Feature Models and Product-Line Research?
Software Engineering
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer
2018 — conf
Scalability of Deductive Verification Depends on Method Call Treatment.
ISoLA (4)
Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer
2018 — conf
Towards Confidentiality-by-Construction.
ISoLA (1)
Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson
2018 B conf
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY.
ITP
Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer
2017 — conf
Is there a mismatch between real-world feature models and product-line research?
ESEC/SIGSOFT FSE
Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer