BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
Collaborated with:
I.Lee O.Sokolsky L.Feng L.T.X.Phan H.I.Hwang T.Park S.H.Son D.You S.Rayadurgam M.P.E.Heimdahl J.Komp
Talks about:
implement (3) model (3) base (3) platform (2) specif (2) time (2) test (2) framework (1) approach (1) execut (1)

Person: BaekGyu Kim

DBLP DBLP: Kim:BaekGyu

Contributed to:

DATE 20152015
DATE 20142014
ASE 20152015

Wrote 3 papers:

DATE-2015-KimFPSL #framework #implementation #modelling #platform #verification
Platform-specific timing verification framework in model-based implementation (BK, LF, LTXP, OS, IL), pp. 235–240.
DATE-2014-KimHPSL #approach #implementation #modelling #testing
A layered approach for testing timing in the model-based implementation (BK, HIH, TP, SHS, IL), pp. 1–4.
ASE-2015-YouRHKKS #implementation #modelling #testing
Executing Model-Based Tests on Platform-Specific Implementations (T) (DY, SR, MPEH, JK, BK, OS), pp. 418–428.

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.