Tabea Bordis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2020–2025
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FORTE | Scaling Information Flow Control By-Construction to Component-Based Software Architectures. | Rasmus C. Rnneberg, Tabea Bordis, Christopher Gerking, Asmae Heydari Tabar, Ina Schaefer |
| 2024 | FM | Free Facts: An Alternative to Inefficient Axioms in Dafny. | Tabea Bordis, K. Rustan M. Leino |
| 2024 | ISoLA | Towards AI-Assisted Correctness-by-Construction Software Development. | Maximilian Kodetzki, Tabea Bordis, Michael Kirsten, Ina Schaefer |
| 2022 | ISoLA | Runtime Verification of Correct-by-Construction Driving Maneuvers. | Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer |
| 2022 | SEFM | VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. | Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer |
| 2020 | GPCE | Correctness-by-construction for feature-oriented software product lines. | Tabea Bordis, Tobias Runge, Ina Schaefer |