logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Marius Mikučionis

aalborg university

25H-index
65Paper Count
2.5KCitation Count
Published Papers 3
Publication Date
logo
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
errREACHABILITY PROBLEMS, RP 2025
IF0
err2026-01-01
err0
PREAI
errBrorholt, Asger Horn; Hoeg-Petersen, Andreas Holck; Jensen, Peter Gjol; Larsen, Kim Guldstrand; Mikucionis, Marius; Schilling, Christian; Wasowski, Andrzej
errShare
errSave
Extended Timed Regular Expressions
errRUNTIME VERIFICATION, RV 2025
IF0
err2026-01-01
err0
PREAI
errMuniz, Marco; Mikucionis, Marius; Larsen, Kim G.
errShare
errSave
An evaluation framework for energy aware buildings using statistical model checking
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2012-12-29
err33
PREAI
errDavid, Alexandre; Du DeHui; Larsen, Kim G.; Mikucionis, Marius; Skou, Arne
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
K
Kim G. Larsen
H-index: 70 · Papers: 854
A
Andrzej Wąsowski
H-index: 43 · Papers: 255
A
Arne Skou
H-index: 23 · Papers: 103
C
Christian Schilling
H-index: 17 · Papers: 144
P
Peter Gjøl Jensen
H-index: 15 · Papers: 81
View more