Get started
Author

Tabea Bordis

Observed name: Bordis, Tabea
Institution: ABB (Germany)
ORCID: 0009-0003-2886-0862
Observed ORCID: 0009-0003-2886-0862
OpenAlex ID: A5024416404
Correctness-by-Construction: An Overview of the CorC Ecosystem
2023 · Tabea Bordis, Tobias Runge, et al. · ACM SIGAda Ada Letters · 14
PDF
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY
2022 · Tabea Bordis, Loek Cleophas, et al. · Lecture notes in computer science · 14
PDF
Correctness-by-construction for feature-oriented software product lines
2020 · Tabea Bordis, Tobias Runge, et al. · ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE) · 10
Variational correctness-by-construction
2020 · Tabea Bordis, Tobias Runge, et al. · International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS) · 10
Verification Strategies for Feature-Oriented Software Product Lines
2022 · Elias Kuiter, Alexander Knüppel, et al. · International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS) · 9
PDF
Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines
2022 · Tabea Bordis, Tobias Runge, et al. · Journal of Computer Languages · 8
From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design
2024 · Tabea Bordis, Maximilian Kodetzki, et al. · Computer · 6
Teaching Correctness-by-Construction and Post-hoc Verification – The Online Experience
2021 · Tobias Runge, Tabea Bordis, et al. · Lecture notes in computer science · 6
Free Facts: An Alternative to Inefficient Axioms in Dafny
2024 · Tabea Bordis, K. Rustan M. Leino · Lecture notes in computer science · 5
PDF
Runtime Verification of Correct-by-Construction Driving Maneuvers
2022 · Alexander Kittelmann, Tobias Runge, et al. · Lecture notes in computer science · 5
PDF
Towards AI-Assisted Correctness-by-Construction Software Development
2024 · Maximilian Kodetzki, Tabea Bordis, et al. · Lecture notes in computer science · 4
PDF
Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines
2024 · Maximilian Kodetzki, Tabea Bordis, et al. · International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS) · 4
PDF
Scaling Information Flow Control By-Construction to Component-Based Software Architectures
2025 · Rasmus C. Rønneberg, Tabea Bordis, et al. · Lecture notes in computer science · 3
Flexible Correct-by-Construction Programming
2023 · Tobias Runge, Tabea Bordis, et al. · Logical Methods in Computer Science · 3
PDF
VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction
2023 · Tabea Bordis, Maximilian Kodetzki, et al. · Lecture notes in computer science · 3
PDF
X-by-Construction: Towards Ensuring Non-functional Properties in by-Construction Engineering
2025 · Maximilian Kodetzki, Tabea Bordis, et al. · ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!) · 1
Flexible Correct-by-Construction Programming
2022 · Runge, Tobias, Bordis, Tabea, et al. · arXiv (Cornell University) · 1
PDF
Automatic Deductive Verification of Event Sequence Properties
2026 · Asmae Heydari Tabar, Tabea Bordis, et al. · Lecture notes in computer science
PDF
DiagEx: Zero-Shot P&ID-to-DEXPI Digitization with a Vision-Language Agent
2026 · Heiko Koziolek, Thilo Braun, et al. · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
Spec2ControlSequence: An LLM Pipeline for Robust IEC 61131-3 SFCs Generation from Natural Language Specifications
2026 · Tabea Bordis, Thilo Braun, et al. · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
DiagEx — supplementary archive: per-run transcripts, DEXPI 2.0 outputs, and tile crops
2026 · Koziolek, Heiko, Braun, Thilo, et al.
DiagEx — reproducibility package for zero-shot P&ID-to-DEXPI digitization with a vision-language agent
2026 · Koziolek, Heiko, Braun, Thilo, et al. · Zenodo (CERN European Organization for Nuclear Research)
Flexible Correct-by-Construction Programming
2023 · Runge, Tobias, Bordis, Tabea, et al. · KITopen
Works count: 29
Citation count: 106
H-index: 6
I10-index: 4
Year
Topic
Type