載入中…
系統目前無法執行作業,請稍後再試。
每年的引文數
重複引用
Google 學術搜尋已經合併下列文章。系統只會計算第一篇文章的
合併引用次數
。
合併引文
「引用次數」包含 Google 學術搜尋服務中以下文章的引用次數。文章旁如有
*
標示,代表可能與個人學術檔案中的文章不同。
新增共同作者
共同作者
追蹤
這位作者的新文章
其他人引用這位作者的最新情形
與這位作者的研究相關的新文章
接收最新動態的電子郵件地址
完成
我的個人學術檔案
我的圖書館
指標
快訊
設定
登入
登入
建立我自己的個人學術檔案
引用次數
全部
自 2019 年
引文
8
8
H 指數
2
2
i10 指數
0
0
0
4
2
2022
2023
4
4
公開取用
查看全部
查看全部
2 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
Ulrik Nyman
Associate Professor, Aalborg University
在 cs.aau.dk 的電子郵件地址已通過驗證
Kim G. Larsen
Director, Professor Aalborg University
在 cs.aau.dk 的電子郵件地址已通過驗證
追蹤
Andrej Kiviriga
PhD Student,
Aalborg University
在 cs.aau.dk 的電子郵件地址已通過驗證
Model-checking
randomized verification
文章
引用次數
公開取用
共同作者
標題
排序
按引用次數排序
按年份排序
按標題排序
引用次數
引用次數
年份
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
系統目前無法執行作業,請稍後再試。
文章 1–5
顯示更多結果
隱私權
服務條款
說明
關於學術搜尋
Google 搜尋說明