Tabea Bordis
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Alex Potaninonce
- Ina Schaeferonce
- Maximilian Kodetzkionce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| X-by-Construction: Towards Ensuring Non-Functional Properties in by-Construction(…) | Onward! 2025 | 2025-10-12 |
Proposes generalizing X-by-Construction to non-functional properties, defines six concrete requirements for a property to fit into by-construction workflows… | ||
| Correctness-by-Construction for Feature-Oriented Software Product Lines | GPCE 2020 | 2020-11-16 |
Claims a construction method that computes relevant feature sequences for both original and variational method calls, defines CBC refinement rules for them… | ||
| nothing matches | ||