| 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 | 22 | 2018 |
| Extractive software product line engineering using model-based delta module generation D Wille, T Runge, C Seidl, S Schulze Proceedings of the Eleventh International Workshop on Variability Modelling …, 2017 | 14 | 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 | 4 | 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 | 3 | 2019 |
| 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 | | 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 | | 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 |
| Tool support for correctness-by-construction T Runge, I Schaefer, L Cleophas, T Thüm, D Kourie, BW Watson International Conference on Fundamental Approaches to Software Engineering …, 2019 | | 2019 |
| Many-MADFAct: Concurrently Constructing MADFAs. T Runge, I Schaefer, L Cleophas, BW Watson Stringology, 126-142, 2017 | | 2017 |
| Prague Stringology Conference 2017 T Runge, I Schaefer, L Cleophas, BWW Many-MADFAct, CC MADFA | | |
