Marius Mikucionis

View Scopus Profile

Marius Mikucionis

Ph.D. in Computer Science

  • Selma Lagerløfs Vej 300, 1-2-14

    9220 Aalborg Ø

    Denmark

20032022

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Keywords

  • Work and Labour Market
  • embedded systems
  • formal methods
  • real-time systems
  • software validation
  • testing
  • timed automata

Fingerprint

The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
  • 1 Similar Profiles
View full fingerprint

Network

Dive into details by clicking on the dots.
Explore network further
View all 10 projects

  • 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, In: Decision Analytics Journal. 5, 100141.

    Research output: Contribution to journal › Journal article › Research › peer-review

    Open Access
    File
    15 Downloads (Pure)

  • Importance Splitting in Uppaal

    Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022. Margaria, T. & Steffen, B. (eds.). p. 433-447 15 p. (Lecture Notes in Computer Science, Vol. 13703).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • PlayingWORDLE with UPPAAL STRATEGO

    Jensen, P. G., Larsen, K. G. & Mikučionis, M., 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, p. 283-305 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13560 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking

    Gamatie, A., Sassatelli, G. & Mikucionis, M., 1 Feb 2021, Proceedings of the 2021 Design, Automation and Test in Europe, DATE 2021. IEEE, p. 980-985 6 p. 9474224. (Proceedings -Design, Automation and Test in Europe, DATE, Vol. 2021-February).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    2 Citations (Scopus)

  • Fluid Model-Checking in UPPAAL for Covid-19

    Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Poulsen, D. B., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 385-403 19 p. (Lecture Notes in Computer Science, Vol. 12476).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)
View all 57 research outputs