Publikationer pr. år
Publikationer pr. år
Publikation
- 5 resultater
Søgeresultater
-
2014
Statistical Model Checking for Biological Systems
David, A., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 1 jul. 2014, I: International Journal on Software Tools for Technology Transfer. 17, 3, s. 351-367 17 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang38 Citationer (Scopus) -
2015
Schedulability of Herschel revisited using statistical model checking
David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 2015, I: International Journal on Software Tools for Technology Transfer. 17, 2, s. 187-199 13 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
11 Citationer (Scopus) -
Uppaal SMC tutorial
David, A., Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 6 jan. 2015, I: International Journal on Software Tools for Technology Transfer. 17, 4, s. 397-415 19 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil390 Citationer (Scopus)2165 Downloads (Pure) -
2017
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 2017, I: Logical Methods in Computer Science.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
On-the-Fly Computation of Bisimilarity Distances
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2017, I: Logical Methods in Computer Science. 13, 2Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil4 Citationer (Scopus)84 Downloads (Pure)