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

Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

1 Citationer (Scopus)

33 Downloads (Pure)

1 Citationer
1 Konferenceartikel i proceeding
1 Ph.d.-afhandling

2 resultater

Konferenceartikel i proceeding
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. (red.). Springer Science+Business Media, s. 149-166 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12863 LNCS).
Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

Åben adgang
Fil
1 Citationer (Scopus)

100 Downloads (Pure)
Ph.d.-afhandling

Efficient Model Checking: The Power of Randomness
Kiviriga, A., 2023, Aalborg Universitetsforlag. 153 s.
Publikation: Ph.d.-afhandling

Åben adgang
Fil

101 Downloads (Pure)