Login / Signup
Sunha Ahn
Publication Activity (10 Years)
Years Active: 1998-2015
Publications (10 Years): 0
Top Topics
Interaction Patterns
Partial Order Reduction
Embedded Systems
Timed Automata
Top Venues
CODES+ISSS
Haifa Verification Conference
</>
Publications
</>
Sunha Ahn
,
Sharad Malik
,
Aarti Gupta
Completeness bounds and sequentialization for model checking of interacting firmware and hardware.
CODES+ISSS
(2015)
Sunha Ahn
,
Sharad Malik
Automated firmware testing using firmware-hardware interaction patterns.
CODES+ISSS
(2014)
Sunha Ahn
,
Sharad Malik
Modeling Firmware as Service Functions and Its Application to Test Generation.
Haifa Verification Conference
(2013)
Daijin Kim
,
Sunha Ahn
,
Dae-Seong Kang
Co-adaptation of self-organizing maps by evolution and learning.
Neurocomputing
30 (1-4) (2000)
Daijin Kim
,
Sunha Ahn
A MS-GS VQ codebook design for wireless image communication using genetic algorithms.
IEEE Trans. Evol. Comput.
3 (1) (1999)
Daijin Kim
,
Sunha Ahn
Two Co-adaptation Schemes of Evolution and Learning for an Optimal VQ Codebook.
ICONIP
(1998)