Many-MADFAct: Concurrently Constructing MADFAs. - Tobias Runge; Ina Schaefer; Loek Cleophas; Bruce W. Watson (Stringology, 2017)

Extractive software product line engineering using model-based delta module generation. - David Wille; Tobias Runge; Christoph Seidl 001; Sandro Schulze (VaMoS, 2017)

Towards Confidentiality-by-Construction. - Ina Schaefer; Tobias Runge; Alexander Knüppel; Loek Cleophas; Derrick G. Kourie; Bruce W. Watson (ISoLA (1), 2018)

A classification of product sampling for software product lines. - Mahsa Varshosaz; Mustafa Al-Hajjaji; Thomas Thüm; Tobias Runge; Mohammad Reza Mousavi 001; Ina Schaefer (SPLC, 2018)

Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. - Tobias Runge; Thomas Thüm; Loek Cleophas; Ina Schaefer; Bruce W. Watson (FM Workshops (2), 2019)

Product sampling for product lines: the scalability challenge. - Tobias Pett; Thomas Thüm; Tobias Runge; Sebastian Krieter; Malte Lochau; Ina Schaefer (SPLC (A), 2019)

Correctness-by-construction for feature-oriented software product lines. - Tabea Bordis; Tobias Runge; Ina Schaefer (GPCE, 2020)

Lattice-Based Information Flow Control-by-Construction for Security-by-Design. - Tobias Runge; Alexander Knüppel; Thomas Thüm; Ina Schaefer (FormaliSE@ICSE, 2020)

Scaling Correctness-by-Construction. - Alexander Knüppel; Tobias Runge; Ina Schaefer (ISoLA (1), 2020)

Variational correctness-by-construction. - Tabea Bordis; Tobias Runge; Alexander Knüppel; Thomas Thüm; Ina Schaefer (VaMoS, 2020)

Skill-Based Verification of Cyber-Physical Systems. - Alexander Knüppel; Inga Jatzkowski; Marcus Nolte; Tobias Runge; Thomas Thüm; Ina Schaefer (Software Engineering, 2021)

Tool Support for Correctness-by-Construction. - Tobias Runge; Ina Schaefer; Loek Cleophas; Thomas Thüm; Derrick G. Kourie; Bruce W. Watson (Software Engineering, 2021)

Tutorial: The Correctness-by-Construction Approach to Programming Using CorC. - Ina Schaefer; Tobias Runge; Loek Cleophas; Bruce W. Watson (SecDev, 2021)

Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience. - Tobias Runge; Tabea Bordis; Thomas Thüm; Ina Schaefer (FMTea, 2021)

Stability of Product-Line Samplingin Continuous Integration. - Tobias Pett; Sebastian Krieter; Tobias Runge; Thomas Thüm; Malte Lochau; Ina Schaefer (VaMoS, 2021)

Model-Based Fault Classification for Automotive Software. - Mike Becker; Roland Meyer 001; Tobias Runge; Ina Schaefer; Sören van der Wall; Sebastian Wolff 001 (APLAS, 2022)

Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. - Tabea Bordis; Loek Cleophas; Alexander Kittelmann; Tobias Runge; Ina Schaefer; Bruce W. Watson (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Traits: Correctness-by-Construction for Free. - Tobias Runge; Alex Potanin; Thomas Thüm; Ina Schaefer (FORTE, 2022)

Runtime Verification of Correct-by-Construction Driving Maneuvers. - Alexander Kittelmann; Tobias Runge; Tabea Bordis; Ina Schaefer (ISoLA (1), 2022)

VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. - Tabea Bordis; Maximilian Kodetzki; Tobias Runge; Ina Schaefer (SEFM Workshops, 2022)

Information Flow Control-by-Construction for an Object-Oriented Language. - Tobias Runge; Alexander Kittelmann; Marco Servetto; Alex Potanin; Ina Schaefer (SEFM, 2022)

Verification Strategies for Feature-Oriented Software Product Lines. - Elias Kuiter; Alexander Knüppel; Tabea Bordis; Tobias Runge; Ina Schaefer (VaMoS, 2022)

Traits for Correct-by-Construction Programming. - Tobias Runge; Alex Potanin; Thomas Thüm; Ina Schaefer (CoRR, 2022)

Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers. - Tobias Runge; Alexander Kittelmann; Marco Servetto; Alex Potanin; Ina Schaefer (CoRR, 2022)

Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines. - Tabea Bordis; Tobias Runge; David Schultz; Ina Schaefer (J. Comput. Lang., 2022)

Flexible Correct-by-Construction Programming. - Tobias Runge; Tabea Bordis; Alex Potanin; Thomas Thüm; Ina Schaefer (Log. Methods Comput. Sci., 2023)

Correctness-by-Construction for Correct and Secure Software Systems. - Tobias Runge (2023)

Immutability and Encapsulation for Sound OO Information Flow Control. - Tobias Runge; Marco Servetto; Alex Potanin; Ina Schaefer (ACM Trans. Program. Lang. Syst., 2023)

Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines. - Maximilian Kodetzki; Tabea Bordis; Tobias Runge; Ina Schaefer (VaMoS, 2024)

Selective Sampling: A Complexity-Aware Sampling Strategy for Combinatorial Scenario-based Testing. - Lukas Birkemeyer; Tobias Pett; Tobias Runge; Ina Schaefer (VaMoS, 2025)