Sachoun Park

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 1

Top Topics

Clustering Algorithm

Processing Capabilities

Top Venues

Publications

Taesub Jung, Masato Fujita, Jeongjin Cho, Kyungduck Lee, Doosik Seol, Sungmin An, Chanhee Lee, Youjin Jeong, Minji Jung, Sachoun Park, Seungki Baek, Seungki Jung, Seunghwan Lee, Jungbin Yun, Eun Sub Shim, Heetak Han, Eunkyung Park, Haesick Sul, Sehyeon Kang, Kyungho Lee, JungChak Ahn, Duckhyun Chang
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. ISSCC (2022)
Sachoun Park, Gihwon Kwon
Formal Verification for Inter-Partitions Communication of RTOS Supporting IMA. FCC (2014)
Sachoun Park, Gihwon Kwon
Applying Lightweight Formal Approach to Automatic Configuration Inspection. SEKE (2011)
Sachoun Park, Taeman Han, Hyoungju Lim, Gihwon Kwon
OCL Evaluation on AUTOSAR Model. SEKE (2010)
Sachoun Park, Taeman Han, Gihwon Kwon
Formal Verification of UML 2.0 Sequence Diagram. SEKE (2010)
Sachoun Park, Gihwon Kwon
Japanese Puzzle as a SAT Problem. SEKE (2008)
Sachoun Park, Gihwon Kwon
Using Boolean Cardinality Constraint for LTS Bounded Model Checking. SEKE (2008)
Sachoun Park, Gihwon Kwon
SAT based Verification Tool for Labeled Transition System. SERA (2007)
Sachoun Park, Gihwon Kwon
Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. ICCSA (5) (2006)
Sachoun Park, Gihwon Kwon
Verification of UML-Based Security Policy Model. ICCSA (3) (2005)
Sachoun Park, Gihwon Kwon, Soonhoi Ha
FSM Model and Its Verification. ICESS (2005)