Efficient Model Checking: The Power of Randomness

Andrej Kiviriga

doi:10.54337/aau534292082

Efficient Model Checking: The Power of Randomness

Research output: PhD thesis

158 Downloads (Pure)

Original language	English
Supervisors	Larsen, Kim Guldstrand, Principal supervisor Nyman, Ulrik, Co-supervisor
Publisher	Aalborg Universitetsforlag
Electronic ISBNs	978-87-7573-740-6
DOIs	https://doi.org/10.54337/aau534292082
Publication status	Published - 2023

Bibliographical note

PhD supervisor:
Professor Kim Guldstrand Larsen, Aalborg University

PhD Co-supervisor:
Associate Professor Ulrik Nyman, Aalborg University

Keywords

Model checking
Verification
Timed Automata
Randomization
Falsification
UPPAAL

Access to Document

10.54337/aau534292082

PHD_AKFinal published version, 2.72 MB

AUB Link

Search for the material in Aalborg University Library's search engine

3 Article in proceeding
1 Conference article in Journal

Monte Carlo Tree Search for Priced Timed Automata
Jensen, P. G., Kiviriga, A., Guldstrand Larsen, K., Nyman, U., Mijačika, A. & Høiriis Mortensen, J., 2022, Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Proceedings. Ábrahám, E. & Paolieri, M. (eds.). Springer, p. 381-398 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13479 LNCS).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Open Access
File
1 Citation (Scopus)

135 Downloads (Pure)
Randomized reachability analysis in UPPAAL: fast error detection in timed systems*
Kiviriga, A., Larsen, K. G. & Nyman, U., 17 Nov 2022, In: International Journal on Software Tools for Technology Transfer. 24, 6, p. 1025-1042 18 p.
Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Open Access
File
3 Citations (Scopus)

55 Downloads (Pure)
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems
Kiviriga, A., Larsen, K. G. & Nyman, U., 2021, Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Proceedings. Lluch Lafuente, A. & Mavridou, A. (eds.). Springer Science+Business Media, p. 149-166 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12863 LNCS).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Open Access
File
1 Citation (Scopus)

128 Downloads (Pure)

Cite this

@misc{b5b15e76dd8143e68eba9351b9fefd59,

title = "Efficient Model Checking: The Power of Randomness",

keywords = "Model checking, Verification, Timed Automata, Randomization, Falsification, UPPAAL",

author = "Andrej Kiviriga",

note = "PhD supervisor: Professor Kim Guldstrand Larsen, Aalborg University PhD Co-supervisor: Associate Professor Ulrik Nyman, Aalborg University",

year = "2023",

doi = "10.54337/aau534292082",

language = "English",

series = "Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet",

publisher = "Aalborg Universitetsforlag",

}

TY - GEN

T1 - Efficient Model Checking: The Power of Randomness

AU - Kiviriga, Andrej

N1 - PhD supervisor: Professor Kim Guldstrand Larsen, Aalborg University PhD Co-supervisor: Associate Professor Ulrik Nyman, Aalborg University

PY - 2023

Y1 - 2023

KW - Model checking

KW - Verification

KW - Timed Automata

KW - Randomization

KW - Falsification

KW - UPPAAL

U2 - 10.54337/aau534292082

DO - 10.54337/aau534292082

M3 - PhD thesis

T3 - Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet

PB - Aalborg Universitetsforlag

ER -

Efficient Model Checking: The Power of Randomness

Bibliographical note

Keywords

Access to Document

AUB Link

Research output

Monte Carlo Tree Search for Priced Timed Automata

Randomized reachability analysis in UPPAAL: fast error detection in timed systems*

Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems

Cite this