ProfessorsProfessors of Aalborg UniversitetMarius Mikučionis

Marius Mikučionis

Aalborg Universitet

H-index: 25

Europe-Denmark

About Marius Mikučionis

Marius Mikučionis, With an exceptional h-index of 25 and a recent h-index of 16 (since 2020), a distinguished researcher at Aalborg Universitet, specializes in the field of model-checking, verification, testing, embedded software.

His recent articles reflect a diverse array of research interests and contributions to the field:

An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning

Importance splitting in uppaal

Playing Wordle with Uppaal Stratego

Modeling and analysis for energy-driven computing using statistical model-checking

Fluid model-checking in UPPAAL for Covid-19

Urgent partial order reduction for extended timed automata

Marius Mikučionis Information

University	Aalborg Universitet
Position	Department of Computer Science
Citations(all)	3488
Citations(since 2020)	1253
Cited By	2772
hIndex(all)	25
hIndex(since 2020)	16
i10Index(all)	45
i10Index(since 2020)	21
Email	Access Email
University Profile Page	Aalborg Universitet
Google Scholar	View Google Scholar Profile

Marius Mikučionis Skills & Research Interests

model-checking

verification

testing

embedded software

Top articles of Marius Mikučionis

Title	Journal	Author(s)	Publication Date
An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning	Decision Analytics Journal	Alexander Bilgram Peter G Jensen Kenneth Y Jørgensen Kim G Larsen Marius Mikučionis ...	2022/12/1
Importance splitting in uppaal		Kim Guldstrand Larsen Axel Legay Marius Mikučionis Danny Bøgsted Poulsen	2022/10/17
Playing Wordle with Uppaal Stratego		Peter G Jensen Kim G Larsen Marius Mikučionis	2022/9/7
Modeling and analysis for energy-driven computing using statistical model-checking		Abdoulaye Gamatié Gilles Sassatelli Marius Mikučionis	2021/2/1
Fluid model-checking in UPPAAL for Covid-19		Peter G Jensen Kenneth Y Jørgensen Kim G Larsen Marius Mikučionis Marco Muñiz ...	2020
Urgent partial order reduction for extended timed automata		Kim G Larsen Marius Mikučionis Marco Muñiz Jiří Srba	2020