Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Alla
Sedan 2019
Citat
8
8
h-index
2
2
i10-index
0
0
0
4
2
2022
2023
4
4
Offentlig åtkomst
Visa alla
Visa alla
2 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
Ulrik Nyman
Associate Professor, Aalborg University
Verifierad e-postadress på cs.aau.dk
Kim G. Larsen
Director, Professor Aalborg University
Verifierad e-postadress på cs.aau.dk
Följ
Andrej Kiviriga
PhD Student,
Aalborg University
Verifierad e-postadress på cs.aau.dk
Model-checking
randomized verification
Artiklar
Citeras av
Offentlig åtkomst
Medförfattare
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–5
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen