Travelled to:1 × Spain
1 × Taiwan
1 × USA
Collaborated with:S.Ryu H.Roh S.Lee
Talks about:javascript (1) properti (1) fortress (1) multipl (1) generic (1) automat (1) tempor (1) system (1) specif (1) formal (1)
Person: Seonghoon Kang
DBLP: Kang:Seonghoon
Contributed to:
2012
2011
2000Wrote 3 papers:
- OOPSLA-2012-KangR #javascript #specification
- Formal specification of a JavaScript module system (SK, SR), pp. 621–638.
- SAC-2011-KangR #automation #named #testing
- FortressCheck: automatic testing for generic properties (SK, SR), pp. 1290–1296.
- ICPR-v4-2000-RohKL #modelling #multi #people #using
- Multiple People Tracking Using an Appearance Model Based on Temporal Color (HKR, SK, SWL), pp. 4643–4646.