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 | 114 | 2017 |
Towards confidentiality-by-construction I Schaefer, T Runge, A Knüppel, L Cleophas, D Kourie, BW Watson Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 17 | 2018 |
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 | 16 | 2020 |
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 | 13 | 2019 |
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 | 13 | 2018 |
Re-CorC-ing KeY: correct-by-construction software development based on KeY T Bordis, L Cleophas, A Kittelmann, T Runge, I Schaefer, BW Watson The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …, 2022 | 12 | 2022 |
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 | 11 | 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 | 11 | 2020 |
Scaling correctness-by-construction A Knüppel, T Runge, I Schaefer Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 10 | 2020 |
Scalability of deductive verification depends on method call treatment A Knüppel, T Thüm, C Padylla, I Schaefer Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 9 | 2018 |
The role of complex constraints in feature modeling A Knüppel Institut für Softwaretechnik und Fahrzeuginformatik, 2017 | 9 | 2017 |
Verification strategies for feature-oriented software product lines E Kuiter, A Knüppel, T Bordis, T Runge, I Schaefer Proceedings of the 16th International Working Conference on Variability …, 2022 | 8 | 2022 |
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 | 8 | 2016 |
Understanding parameters of deductive verification: An empirical investigation of keY A Knüppel, T Thüm, CI Pardylla, I Schaefer Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018 | 7 | 2018 |
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 | 6 | 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 | 6 | 2021 |
Skill-based verification of cyber-physical systems A Knüppel, I Jatzkowski, M Nolte, T Thüm, T Runge, I Schaefer Fundamental Approaches to Software Engineering: 23rd International …, 2020 | 6 | 2020 |
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: Reflections on the …, 2020 | 5 | 2020 |
Runtime verification of correct-by-construction driving maneuvers A Kittelmann, T Runge, T Bordis, I Schaefer International Symposium on Leveraging Applications of Formal Methods, 242-263, 2022 | 3 | 2022 |
Information flow control-by-construction for an object-oriented language T Runge, A Kittelmann, M Servetto, A Potanin, I Schaefer International Conference on Software Engineering and Formal Methods, 209-226, 2022 | 2 | 2022 |