Sachoun Park

According to our database, Sachoun Park authored at least 12 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

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, Junseok Yang, Taesub Jung, Howoo Park, Bumsuk Kim, Kyungho Lee, Jesuk Lee

Proceedings of the IEEE Symposium on VLSI Technology and Circuits 2024, 2024

2022

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, Seunghwan Lee, Jungbin Yun, Eun Sub Shim, Heetak Han, Eunkyung Park, Haesick Sul, Sehyeon Kang, Kyungho Lee, JungChak Ahn, Duckhyun Chang

Proceedings of the IEEE International Solid-State Circuits Conference, 2022

2014

Formal Verification for Inter-Partitions Communication of RTOS Supporting IMA.

Sachoun Park, Gihwon Kwon

Proceedings of the Frontier and Innovation in Future Computing and Communications, 2014

2011

Applying Lightweight Formal Approach to Automatic Configuration Inspection.

Sachoun Park, Gihwon Kwon

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

2010

OCL Evaluation on AUTOSAR Model.

Sachoun Park, Taeman Han, Hyoungju Lim, Gihwon Kwon

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Formal Verification of UML 2.0 Sequence Diagram.

Sachoun Park, Taeman Han, Gihwon Kwon

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

2008

Japanese Puzzle as a SAT Problem.

Sachoun Park, Gihwon Kwon

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Using Boolean Cardinality Constraint for LTS Bounded Model Checking.

Sachoun Park, Gihwon Kwon

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

2007

SAT based Verification Tool for Labeled Transition System.

Sachoun Park, Gihwon Kwon

Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007

2006

Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model.

Sachoun Park, Gihwon Kwon

Proceedings of the Computational Science and Its Applications, 2006

2005

Formalization of <i>f</i>FSM Model and Its Verification.

Sachoun Park, Gihwon Kwon, Soonhoi Ha

Proceedings of the Embedded Software and Systems, Second International Conference, 2005

Verification of UML-Based Security Policy Model.

Sachoun Park, Gihwon Kwon

Proceedings of the Computational Science and Its Applications, 2005