Travelled to:1 × Czech Republic
1 × South Korea
1 × United Kingdom
Collaborated with:P.Schobbens ∅ J.Suryadevara C.C.Seceleanu P.Pettersson
Talks about:system (3) abstract (2) analysi (2) embed (2) interpret (1) implement (1) parametr (1) approxim (1) support (1) schedul (1)
Person: Eun-Young Kang
DBLP: Kang:Eun=Young
Contributed to:
2014
2010
2004Wrote 3 papers:
- SAC-2014-KangS #analysis #implementation #scheduling
- Schedulability analysis support for automotive systems: from requirement to implementation (EYK, PYS), pp. 1080–1085.
- CBSE-2010-SuryadevaraKSP #embedded #modelling #semantic gap
- Bridging the Semantic Gap between Abstract Models of Embedded Systems (JS, EYK, CCS, PP), pp. 55–73.
- ICSE-2004-Kang #analysis #approximate #embedded #parametricity #realtime
- Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation (EYK), pp. 39–41.