Travelled to:1 × Canada
1 × Estonia
1 × France
1 × Turkey
1 × USA
1 × United Kingdom
2 × Austria
Collaborated with:K.G.Larsen B.Nielsen K.G.Larsen A.David A.Legay Z.Wang G.Frehse P.G.Jensen J.H.Taankvist O.Nguena-Timo A.Rollet P.E.Bulychev D.B.Poulsen J.H.Kim A.Boudjadar U.Nyman A.Skou I.Lee L.T.X.Phan
Talks about:time (7) uppaal (4) system (4) test (4) model (3) real (3) statist (2) onlin (2) check (2) stratego (1)
Person: Marius Mikucionis
DBLP: Mikucionis:Marius
Contributed to:
2015
2015
2013
2012
20112011
2004
2004Wrote 8 papers:
- CBSE-2015-KimBNMLSLP #analysis #probability #scheduling
- Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context (JHK, AB, UN, MM, KGL, AS, IL, LTXP), pp. 91–100.
- TACAS-2015-DavidJLMT #stratego
- Uppaal Stratego (AD, PGJ, KGL, MM, JHT), pp. 206–211.
- ICTSS-2013-DavidLMNR #specification #testing
- Remote Testing of Timed Specifications (AD, KGL, MM, ONT, AR), pp. 65–81.
- QAPL-2012-BulychevDLMPLW #automaton #model checking #named #statistics
- UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata (PEB, AD, KGL, MM, DBP, AL, ZW), pp. 1–16.
- CAV-2011-DavidLLMW #model checking #realtime #statistics
- Time for Statistical Model Checking of Real-Time Systems (AD, KGL, AL, MM, ZW), pp. 349–355.
- ICTSS-2011-FrehseLMN #aspect-oriented #monitoring #testing
- Monitoring Dynamical Signals While Testing Timed Aspects of a System (GF, KGL, MM, BN), pp. 115–130.
- ASE-2004-MikucionisLN #modelling #named #online #realtime #testing
- T-UPPAAL: Online Model-based Testing of Real-Time Systems (MM, KGL, BN), pp. 396–397.
- FATES-2004-LarsenMN #online #realtime #testing #using
- Online Testing of Real-time Systems Using Uppaal (KGL, MM, BN), pp. 79–94.