Nalaganje ...
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Št. navedb na leto
Podvojene navedbe
Naslednji članki v Učenjaku so združeni. Pri teh se za
skupno število navedb
upošteva le prvi članek.
Združene navedbe
Ta števec navedb vsebuje navedbe naslednjih člankov v Učenjaku. Tisti, ki so označeni z
*
, se morda razlikujejo od člankov v profilu.
Dodajanje soavtorjev
Soavtorji
Spremljaj
Novi članki tega avtorja
Novi navedki člankov tega avtorja
Novi članki, povezani z raziskavami tega avtorja
E-poštni naslov za obvestila
Končano
Moj profil
Moja knjižnica
Podatki o navedbah
Opozorila
Nastavitve
Prijava
Prijava
Ustvarite profil
Navedeno
Vse
Od leta 2019
Navedbe
8
8
indeks h
2
2
indeks i10
0
0
0
4
2
2022
2023
4
4
Javni dostop
Prikaži vse
Prikaži vse
2 članka
0 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
Ulrik Nyman
Associate Professor, Aalborg University
Preverjeni e-poštni naslov na cs.aau.dk
Kim G. Larsen
Director, Professor Aalborg University
Preverjeni e-poštni naslov na cs.aau.dk
Spremljaj
Andrej Kiviriga
PhD Student,
Aalborg University
Preverjeni e-poštni naslov na cs.aau.dk
Model-checking
randomized verification
Članki
Navedeno
Javni dostop
Soavtorji
Naslov
Razvrsti
Razvrsti po navedbah
Razvrsti po letniku
Razvrsti po naslovu
Navedeno
Navedeno
Leto
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
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–5
Pokaži več
Zasebnost
Pogoji
Pomoč
O Učenjaku
Pomoč za Iskanje Google