The Generation Circulation Method to Generalized Reed-Muller Coefficients over GF(3). - Chol-U Lee; Gi-Young Byun; Bu-Sik Shin; Jae-Hwan Sim; Heung-Soo Kim (ISMVL, 2003)

Development of RTOS for PLC Using Formal Methods. - Jin Hyun Kim; Su-Young Lee 001; Young Ah Ahn; Jae-Hwan Sim; Jin Seok Yang; Na-Young Lee; Jin-Young Choi (ATVA, 2004)

Formal Embedded Operating System Model Based on Resource-Based Design Framework. - Jin Hyun Kim; Jae-Hwan Sim; Chang-Jin Kim 002; Jin-Young Choi (QSIC, 2007)

Resource-Oriented Design Framework for Embedded System Components. - Jin Hyun Kim; Jae-Hwan Sim; Jin-Young Choi (FACS, 2007)

Ensuring Sound Numerical Simulation of Hybrid Automata. - Yerang Hur; Jae-Hwan Sim; Jesung Kim; Jin-Young Choi (J. Comput. Sci. Eng., 2009)