| A classification of product sampling for software product lines M Varshosaz, M Al-Hajjaji, T Thüm, T Runge, MR Mousavi, I Schaefer Proceedings of the 22nd International Systems and Software Product Line …, 2018 | 94 | 2018 |
| Product sampling for product lines: the scalability challenge T Pett, T Thüm, T Runge, S Krieter, M Lochau, I Schaefer Proceedings of the 23rd International Systems and Software Product Line …, 2019 | 74 | 2019 |
| Tool support for correctness-by-construction T Runge, I Schaefer, L Cleophas, T Thüm, D Kourie, BW Watson Fundamental Approaches to Software Engineering: 22nd International …, 2019 | 35 | 2019 |
| Extractive software product line engineering using model-based delta module generation D Wille, T Runge, C Seidl, S Schulze Proceedings of the 11th International Workshop on Variability Modelling of …, 2017 | 32 | 2017 |
| Stability of product-line samplingin continuous integration T Pett, S Krieter, T Runge, T Thüm, M Lochau, I Schaefer Proceedings of the 15th International Working Conference on Variability …, 2021 | 23 | 2021 |
| 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 |
| Comparing correctness-by-construction with post-hoc verification—a qualitative user study T Runge, T Thüm, L Cleophas, I Schaefer, BW Watson Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020 | 14 | 2020 |
| Correctness-by-construction for feature-oriented software product lines T Bordis, T Runge, I Schaefer Proceedings of the 19th ACM SIGPLAN International Conference on Generative …, 2020 | 12 | 2020 |
| 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 | 10 | 2022 |
| Scaling correctness-by-construction A Knüppel, T Runge, I Schaefer Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 10 | 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 | 9 | 2020 |
| 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 | 7 | 2022 |
| 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 |
| Immutability and Encapsulation for Sound OO Information Flow Control T Runge, M Servetto, A Potanin, I Schaefer ACM Transactions on Programming Languages and Systems 45 (1), 1-35, 2023 | 5 | 2023 |
| Correctness-by-Construction: An Overview of the CorC Ecosystem T Bordis, T Runge, A Kittelmann, I Schaefer ACM SIGAda Ada Letters 42 (2), 75-78, 2023 | 4 | 2023 |
| Teaching correctness-by-construction and post-hoc verification–the online experience T Runge, T Bordis, T Thüm, I Schaefer Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021 …, 2021 | 4 | 2021 |
| 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 |
| Traits: Correctness-by-Construction for Free T Runge, A Potanin, T Thüm, I Schaefer International Conference on Formal Techniques for Distributed Objects …, 2022 | 3 | 2022 |
| Family-based and product-based development of correct-by-construction software product lines T Bordis, T Runge, D Schultz, I Schaefer Journal of Computer Languages 70, 101119, 2022 | 3 | 2022 |
Ina SchaeferKarlsruhe Institute of Technology (KIT)Verifierad e-postadress på kit.edu
