Jiri Srba
where else to find them
what they talk about
where they keep going back
- VMCAI2 editions2022–2025
on a stage with
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks | VMCAI 2025 | 2025-01-20 |
ExpectAll encodes all Routing and Spectrum Allocation solutions into binary decision diagrams and answers failure queries orders of magnitude faster than ILP… | ||
| Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking | VMCAI 2022 | 2022-01-16 |
Paper implements automata-driven stubborn sets and a heuristically guided search inside TAPAAL 3.9, reusing progression formulas from the Büchi automaton to… | ||
| nothing matches | ||