Sachoun Park

12 papers C 6Unranked 6
YearRankTypeTitle / Venue / Authors
2024 — conf
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.
VLSI Technology and Circuits
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, Junseok Yang, Taesub Jung, Howoo Park, Bumsuk Kim, Kyungho Lee, Jesuk Lee
2022 — conf
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
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
2014 — conf
Formal Verification for Inter-Partitions Communication of RTOS Supporting IMA.
FCC
Sachoun Park, Gihwon Kwon
2011 C conf
Applying Lightweight Formal Approach to Automatic Configuration Inspection.
SEKE
Sachoun Park, Gihwon Kwon
2010 C conf
Formal Verification of UML 2.0 Sequence Diagram.
SEKE
Sachoun Park, Taeman Han, Gihwon Kwon
2010 C conf
OCL Evaluation on AUTOSAR Model.
SEKE
Sachoun Park, Taeman Han, Hyoungju Lim, Gihwon Kwon
2008 C conf
Japanese Puzzle as a SAT Problem.
SEKE
Sachoun Park, Gihwon Kwon
2008 C conf
Using Boolean Cardinality Constraint for LTS Bounded Model Checking.
SEKE
Sachoun Park, Gihwon Kwon
2007 C conf
SAT based Verification Tool for Labeled Transition System.
SERA
Sachoun Park, Gihwon Kwon
2006 — conf
Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model.
ICCSA (5)
Sachoun Park, Gihwon Kwon
2005 — conf
Formalization of
ICESS
Sachoun Park, Gihwon Kwon, Soonhoi Ha
2005 — conf
Verification of UML-Based Security Policy Model.
ICCSA (3)
Sachoun Park, Gihwon Kwon