Alexander Knppel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
2018–2021
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICSE | How much Specification is Enough? Mutation Analysis for Software Contracts. | Alexander Knppel, Leon Schaer, Ina Schaefer |
| 2021 | ICSE | GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers. | Alexander Knppel, Thomas Thm, Ina Schaefer |
| 2020 | FASE | Skill-Based Verification of Cyber-Physical Systems. | Alexander Knppel, Inga Jatzkowski, Marcus Nolte, Thomas Thm, Tobias Runge, Ina Schaefer |
| 2020 | ICSE | Lattice-Based Information Flow Control-by-Construction for Security-by-Design. | Tobias Runge, Alexander Knppel, Thomas Thm, Ina Schaefer |
| 2020 | ISoLA | Scaling Correctness-by-Construction. | Alexander Knppel, Tobias Runge, Ina Schaefer |
| 2020 | SPLC | Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink. | Alexander Schlie, Alexander Knppel, Christoph Seidl, Ina Schaefer |
| 2019 | SPLC | Feature-oriented contract composition. | Thomas Thm, Alexander Knppel, Stefan Krger, Stefanie Bolle, Ina Schaefer |
| 2018 | ISoLA | Scalability of Deductive Verification Depends on Method Call Treatment. | Alexander Knppel, Thomas Thm, Carsten Pardylla, Ina Schaefer |
| 2018 | ISoLA | Towards Confidentiality-by-Construction. | Ina Schaefer, Tobias Runge, Alexander Knppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson |
| 2018 | ITP | Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. | Alexander Knppel, Thomas Thm, Carsten Immanuel Pardylla, Ina Schaefer |