Marius Mikucionis
发表
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2015,
International Journal on Software Tools for Technology Transfer.
K. Larsen,
Axel Legay,
A. David,
2011
.
Marius Mikucionis,
Axel Legay,
Sean Sedwards,
2016
.
Hernan Baro Graf,
H. Hermanns,
B. Nielsen,
2011
.
Marius Mikucionis,
Egle Sasnauskaite,
2002
.
K. Larsen,
D. B. Poulsen,
P. G. Jensen,
2022,
Decision Analytics Journal.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2013,
NASA Formal Methods.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
HSB.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2011,
FORMATS.
Kim G. Larsen,
Marius Mikucionis,
Kenneth Yrke Jørgensen,
2020,
ISoLA.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2011,
CAV.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
ISoLA.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
IWIGP.
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen,
2005,
EMSOFT.
Kim G. Larsen,
Marius Mikucionis,
Thomas A. Henzinger,
2019,
Computing and Software Science.
Kim G. Larsen,
Marius Mikucionis,
Arne Skou,
2016,
Sci. Comput. Program..
Kim G. Larsen,
Marius Mikucionis,
Arne Skou,
2015,
Sci. Comput. Program..
Kim G. Larsen,
Axel Legay,
Alexandre David,
2015,
International Journal on Software Tools for Technology Transfer.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
ISoLA.
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen,
2010,
ISoLA.
Kim G. Larsen,
Marius Mikucionis,
Jirí Srba,
2020,
ATVA.
Kim G. Larsen,
Marius Mikucionis,
Jakob Haahr Taankvist,
2015,
Correct System Design.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2012,
QAPL.
K. Larsen,
B. Nielsen,
Marius Mikucionis,
2004,
FATES.
Kim G. Larsen,
Marius Mikucionis,
Axel Legay,
2011,
PDMC.
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen,
2008,
Formal Methods and Testing.
Marius Mikucionis,
Sergiy Bogomolov,
Kim Guldstrand Larsen,
2015
.
Kim G. Larsen,
Marius Mikucionis,
Arne Skou,
2012,
Science China Information Sciences.
Marius Mikucionis,
Brian Nielsen,
Kim Guldstrand Larsen,
2008
.
Abdoulaye Gamatié,
Gilles Sassatelli,
Marius Mikučionis,
2021,
2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen,
2004,
Proceedings. 19th International Conference on Automated Software Engineering, 2004..
Kim G. Larsen,
Marius Mikucionis,
Brian Nielsen,
2015,
Haifa Verification Conference.
K. Larsen,
Axel Legay,
Zheng Wang,
2011,
ArXiv.
Peter E. Bulychev,
K. Larsen,
Axel Legay,
2011
.
Marius Mikucionis,
Insup Lee,
Arne Skou,
2015,
2015 IEEE 18th International Symposium on Real-Time Distributed Computing.
Marius Mikucionis,
Brian Nielsen,
Kim Guldstrand Larsen,
2003
.
T. Henzinger,
R. Alur,
K. Larsen,
2010
.
K. Larsen,
B. Nielsen,
Marius Mikucionis,
2022
.