VLDB 2026 Research / reviewers in the wild / expert
Andrej Kiviriga
dblp:278/3313
· DBLP profile ↗
3ranked-venue papers
3as first author
2since 2021 · last 2022
0000-0003-1992-6690ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021Theory of computation · 1 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Randomized reachability analysis in UPPAAL: fast error detection in timed systems
Andrej Kiviriga, Kim G. Larsen, Ulrik Nyman |
Int. J. Softw. Tools Technol. Transf. | 1 |
| 2021 | Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems
Andrej Kiviriga, Kim G. Larsen, Ulrik Nyman |
FMICS | 1 |
| 2020 | Randomized Refinement Checking of Timed I/O Automata
Andrej Kiviriga, Kim G. Larsen, Ulrik Nyman |
SETTA | 1 |