Tabea Bordis

According to our database, Tabea Bordis authored at least 12 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines.

Maximilian Kodetzki, Tabea Bordis, Tobias Runge, Ina Schaefer

Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024

Towards AI-Assisted Correctness-by-Construction Software Development.

Maximilian Kodetzki, Tabea Bordis, Michael Kirsten, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

Free Facts: An Alternative to Inefficient Axioms in Dafny.

Tabea Bordis, K. Rustan M. Leino

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Flexible Correct-by-Construction Programming.

Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer

Log. Methods Comput. Sci., 2023

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

Verification Strategies for Feature-Oriented Software Product Lines.

Elias Kuiter, Alexander Knüppel, Tabea Bordis, Tobias Runge, Ina Schaefer

Proceedings of the VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23, 2022

VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction.

Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

Runtime Verification of Correct-by-Construction Driving Maneuvers.

Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 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

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience.

Tobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer

Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021

2020

Variational correctness-by-construction.

Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer

Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020

Correctness-by-construction for feature-oriented software product lines.

Tabea Bordis, Tobias Runge, Ina Schaefer

Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020