Tabea Bordis

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 11

Top Topics

Software Development

False Acceptance

Learning Methodologies

Top Venues

J. Comput. Lang.

Publications

Maximilian Kodetzki, Tabea Bordis, Tobias Runge, Ina Schaefer
Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines. VaMoS (2024)
Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
Flexible Correct-by-Construction Programming. Log. Methods Comput. Sci. 19 (2) (2023)
Tabea Bordis, Tobias Runge, David Schultz, Ina Schaefer
Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines. J. Comput. Lang. 70 (2022)
Elias Kuiter, Alexander Knüppel, Tabea Bordis, Tobias Runge, Ina Schaefer
Verification Strategies for Feature-Oriented Software Product Lines. VaMoS (2022)
Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer
VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. SEFM Workshops (2022)
Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
Flexible Correct-by-Construction Programming. CoRR (2022)
Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer
Runtime Verification of Correct-by-Construction Driving Maneuvers. ISoLA (1) (2022)
Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Tobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer
Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience. FMTea (2021)
Tabea Bordis, Tobias Runge, Ina Schaefer
Correctness-by-construction for feature-oriented software product lines. GPCE (2020)
Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer
Variational correctness-by-construction. VaMoS (2020)