| 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 | 5 | 2022 |
| 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 | 3 | 2022 |
| Randomized refinement checking of timed I/O automata A Kiviriga, KG Larsen, U Nyman Dependable Software Engineering. Theories, Tools, and Applications: 6th …, 2020 | 2 | 2020 |
| Efficient model checking: The power of randomness A Kiviriga | 1 | 2023 |
| 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 | | |
Ulrik NymanAssociate Professor, Aalborg UniversityПотвърден имейл адрес: cs.aau.dk
