Marius Mikučionis
Aalborg University(DK)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Real-Time Systems Scheduling, Embedded Systems Design Techniques
Most-Cited Works
- → Uppaal SMC tutorial(2015)456 cited
- → Testing Real-Time Systems Using UPPAAL(2008)205 cited
- → Uppaal Stratego(2015)165 cited
- → Statistical Model Checking for Networks of Priced Timed Automata(2011)150 cited
- → UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata(2012)146 cited
- → Testing real-time embedded software using UPPAAL-TRON(2005)145 cited
- → Time for Statistical Model Checking of Real-Time Systems(2011)144 cited
- → Online Testing of Real-time Systems Using Uppaal(2005)128 cited
- → Statistical Model Checking for Stochastic Hybrid Systems(2012)83 cited
- → Schedulability Analysis Using Uppaal: Herschel-Planck Case Study(2010)58 cited