Marius Mikucionis

Vis Scopus-profil

Fastnet2625 5233, 9356 2099
E-mailmariuscs.aaudk

Selma Lagerløfs Vej 300, 2-2-59
9220 Aalborg Ø
Danmark

Publikationer pr. år

31 Konferenceartikel i proceeding
9 Tidsskriftartikel
6 Bidrag til bog/antologi
6 Konferenceartikel i tidsskrift
Mere

9 resultater

Filter

An Evaluation Framework for Energy Aware Buildings using Statistical Model Checking
David, A., Du, D., Larsen, K. G., Mikučionis, M. & Skou, A., dec. 2012, I: Science in China. Series F: Information Sciences. 55, 12, s. 2694-2707 14 s.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
38 Citationer (Scopus)
An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning
Bilgram, A., Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Muñiz, M., Poulsen, D. B. & Taankvist, P., dec. 2022, I: Decision Analytics Journal. 5, 100141.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
Fil
3 Citationer (Scopus)

60 Downloads (Pure)
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling
Boudjadar, A., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. M. & Skou, A. J., 1 dec. 2015, I: Science of Computer Programming. 113, 3, s. 236–260 24 s.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Åben adgang
Fil

7 Citationer (Scopus)

373 Downloads (Pure)
Schedulability Analysis Using Uppaal: Herschel-Planck Case Study
Mikucionis, M., Larsen, K. G., Nielsen, B., Rasmussen, J. I., Skou, A., Palm, S. U., Pedersen, J. S. & Hougaard, P., okt. 2010, I: Lecture Notes in Computer Science. 6416, 2010, s. 175-190
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

36 Citationer (Scopus)
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)
Statistical and exact schedulability analysis of hierarchical scheduling systems
Boudjadar, A., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 27 maj 2016, I: Science of Computer Programming. 127, s. 103-130 28 s.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Fil
17 Citationer (Scopus)

297 Downloads (Pure)
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 adgang
38 Citationer (Scopus)
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata
David, A., Larsen, K. G., Mikucionis, M., Poulsen, D. B., Vliet, J. V., Legay, A. & Wang, Z., 2011, I: CoRR. abs/1106.3961, 10 s.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
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

Fil
388 Citationer (Scopus)

2154 Downloads (Pure)

Marius Mikucionis

Publikationer

Søgeresultater