Verification of UML-Based Security Policy Model. - Sachoun Park; Gihwon Kwon (ICCSA (3), 2005)

Formalization of fFSM Model and Its Verification. - Sachoun Park; Gihwon Kwon; Soonhoi Ha (ICESS, 2005)

Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. - Sachoun Park; Gihwon Kwon (ICCSA (5), 2006)

SAT based Verification Tool for Labeled Transition System. - Sachoun Park; Gihwon Kwon (SERA, 2007)

Using Boolean Cardinality Constraint for LTS Bounded Model Checking. - Sachoun Park; Gihwon Kwon (SEKE, 2008)

Japanese Puzzle as a SAT Problem. - Sachoun Park; Gihwon Kwon (SEKE, 2008)

Formal Verification of UML 2.0 Sequence Diagram. - Sachoun Park; Taeman Han; Gihwon Kwon (SEKE, 2010)

OCL Evaluation on AUTOSAR Model. - Sachoun Park; Taeman Han; Hyoungju Lim; Gihwon Kwon (SEKE, 2010)

Applying Lightweight Formal Approach to Automatic Configuration Inspection. - Sachoun Park; Gihwon Kwon (SEKE, 2011)

Formal Verification for Inter-Partitions Communication of RTOS Supporting IMA. - Sachoun Park; Gihwon Kwon (FCC, 2014)

A 1/1.57-inch 50Mpixel CMOS Image Sensor With 1.0μm All-Directional Dual Pixel by 0.5μm-Pitch Full-Depth Deep-Trench Isolation Technology. - Taesub Jung; Masato Fujita; Jeongjin Cho; Kyungduck Lee; Doosik Seol; Sungmin An; Chanhee Lee; Youjin Jeong; Minji Jung; Sachoun Park; Seungki Baek; Seungki Jung; et al. (ISSCC, 2022)

A Temporal Noise Reduction via 40% Enhanced Conversion Gain in Dual-Pixel CMOS Image Sensor with Full-Depth Deep-Trench Isolation and Locally Lowered-Stack Technology. - Seunghwan Lee; Jeongjin Cho; Shinyoung Choi; Sung Yoon Min; Eunjung Lee; Minji Jung; Kyoungmok Son; Hyunchaul Jeong; Heetak Han; Sachoun Park; Sanghyuck Moon; Seungki Jung; et al. (VLSI Technology and Circuits, 2024)