| 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 | 43 | 2017 |
| 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 | 8 | 2018 |
| 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 | 7 | 2019 |
| 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 | 6 | 2018 |
| 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 | 5 | 2016 |
| 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 | 4 | 2018 |
| 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 | 4 | 2018 |
| 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 | 2 | 2020 |
| 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 | 2 | 2020 |
| The role of complex constraints in feature modeling A Knüppel Institut für Softwaretechnik und Fahrzeuginformatik, 2017 | 2 | 2017 |
| Scaling correctness-by-construction A Knüppel, T Runge, I Schaefer International Symposium on Leveraging Applications of Formal Methods, 187-207, 2020 | 1 | 2020 |
| 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 | 1 | 2020 |
| 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 | 1 | 2020 |
| 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 | | 2021 |
| 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 | | 2021 |
| 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 | | 2020 |
| 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 |
| Thüm, Thomas 124 DF Aranha, L Armborst, G Belmonte, MM Bersani, J Boudjadar, G Broccia, ... | | |
