Tabea Bordis

16 papers B 1C 1Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — —
Scaling Correctness-by-Construction.
Tabea Bordis
2025 C conf
Scaling Information Flow Control By-Construction to Component-Based Software Architectures.
FORTE
Rasmus C. Rønneberg, Tabea Bordis, Christopher Gerking, Asmae Heydari Tabar, Ina Schaefer
2024 — conf
Free Facts: An Alternative to Inefficient Axioms in Dafny.
FM (1)
Tabea Bordis, K. Rustan M. Leino
2024 J jnl
From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design.
Computer
Tabea Bordis, Maximilian Kodetzki, Ina Schaefer
2024 — conf
Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines.
VaMoS
Maximilian Kodetzki, Tabea Bordis, Tobias Runge, Ina Schaefer
2024 — conf
Towards AI-Assisted Correctness-by-Construction Software Development.
ISoLA (4)
Maximilian Kodetzki, Tabea Bordis, Michael Kirsten, Ina Schaefer
2023 J jnl
Flexible Correct-by-Construction Programming.
Log. Methods Comput. Sci.
Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
2022 J jnl
Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines.
J. Comput. Lang.
Tabea Bordis, Tobias Runge, David Schultz, Ina Schaefer
2022 J jnl
Flexible Correct-by-Construction Programming.
CoRR
Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer
2022 — conf
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY.
The Logic of Software. A Tasting Menu of Formal Methods
Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson
2022 — conf
Runtime Verification of Correct-by-Construction Driving Maneuvers.
ISoLA (1)
Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer
2022 — conf
VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction.
SEFM Workshops
Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer
2022 — conf
Verification Strategies for Feature-Oriented Software Product Lines.
VaMoS
Elias Kuiter, Alexander Knüppel, Tabea Bordis, Tobias Runge, Ina Schaefer
2021 — conf
Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience.
FMTea
Tobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer
2020 B conf
Correctness-by-construction for feature-oriented software product lines.
GPCE
Tabea Bordis, Tobias Runge, Ina Schaefer
2020 — conf
Variational correctness-by-construction.
VaMoS
Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer