Follow
Andrej Kiviriga
Andrej Kiviriga
PhD Student, Aalborg University
Verified email at cs.aau.dk
Title
Cited by
Cited by
Year
Randomized reachability analysis in UPPAAL: fast error detection in timed systems
A Kiviriga, KG Larsen, U Nyman
International Journal on Software Tools for Technology Transfer 24 (6), 1025 …, 2022
52022
Monte Carlo Tree Search for Priced Timed Automata
PG Jensen, A Kiviriga, K Guldstrand Larsen, U Nyman, A Mijačika, ...
International Conference on Quantitative Evaluation of Systems, 381-398, 2022
32022
Randomized refinement checking of timed I/O automata
A Kiviriga, KG Larsen, U Nyman
Dependable Software Engineering. Theories, Tools, and Applications: 6th …, 2020
22020
Efficient model checking: The power of randomness
A Kiviriga
12023
Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems
A Kiviriga, KG Larsen, D Nickovic, U Nyman
International Conference on Formal Modeling and Analysis of Timed Systems …, 2023
2023
Usage-aware Falsification Testing for CPS
A Kiviriga, KG Larsen, D Nickovic, U Nyman
The system can't perform the operation now. Try again later.
Articles 1–6