Alexander Knüppel

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 18

Top Topics

Abductive Inference

Top Venues

Software Engineering

Publications

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