Įkeliama...
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Šaltinių per metus
Dubliuoti šaltiniai
Toliau nurodyti straipsniai sujungti Mokslinčiuje. Jų
suderinti šaltiniai
skaičiuojami tik pirmajam straipsniui.
Sujungti šaltiniai
Į grafą „Cituota“ įeina šaltiniai į toliau nurodytus straipsnius Mokslinčiuje. Pažymėti
*
gali skirtis nuo straipsnių profilyje.
Pridėti bendraautorius
Bendraautoriai
Stebėti
Nauji šio autoriaus straipsniai
Nauji šio autoriaus šaltiniai
Nauji su šio autoriaus tyrimu susiję straipsniai
El. pašto adresas atnaujinimams
Baigta
Mano profilis
Mano biblioteka
Metrika
Įspėjimai
Nustatymai
Registruotis
Registruotis
Gauti savo profilį
Cituota
Visi
Nuo 2019
Šaltiniai
8
8
h-rodyklė
2
2
i10-rodyklė
0
0
0
4
2
2022
2023
4
4
Viešas pasiekiamumas
Peržiūrėti viską
Peržiūrėti viską
2 straipsniai
0 straipsnių
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
Ulrik Nyman
Associate Professor, Aalborg University
Patvirtintas el. paštas cs.aau.dk
Kim G. Larsen
Director, Professor Aalborg University
Patvirtintas el. paštas cs.aau.dk
Stebėti
Andrej Kiviriga
PhD Student,
Aalborg University
Patvirtintas el. paštas cs.aau.dk
Model-checking
randomized verification
Straipsniai
Cituota
Viešas pasiekiamumas
Bendraautoriai
Pavadinimas
Rūšiuoti
Rūšiuoti pagal šaltinius
Rūšiuoti pagal metus
Rūšiuoti pagal pavadinimą
Cituota
Cituota
Metai
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
4
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
2
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
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
Efficient Model Checking: The Power of Randomness
A Kiviriga
Aalborg Universitetsforlag
, 2023
2023
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–5
Rodyti daugiau
Privatumas
Sąlygos
Pagalba
Apie Mokslinčių
Paieškos pagalba