BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mikucionis:Marius

Contributed to:

CBSE 20152015
TACAS 20152015
ICTSS 20132013
QAPL 20122012
CAV 20112011
ICTSS 20112011
ASE 20042004
FATES 20042004

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.