Travelled to:1 × Spain
1 × USA
Collaborated with:E.Song W.Sun A.Shahzad H.Ji P.Kim B.Ko J.Hong
Talks about:properti (1) approach (1) orient (1) execut (1) comput (1) aspect (1) applic (1) verif (1) model (1) mobil (1)
Person: Hanil Kim
DBLP: Kim:Hanil
Contributed to:
20152009Wrote 2 papers:
- SAC-2015-ShahzadJKKKH #execution #in the cloud #mobile
- Application-level task execution issues in mobile cloud computing (AS, HJ, PK, HK, BKK, JH), pp. 2285–2287.
- SAC-2009-SongKS #approach #aspect-oriented #modelling #verification
- A property-based verification approach in aspect-oriented modeling (ES, HK, WS), pp. 545–546.