A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems. - Sanghyun Yoon; Jae Yeon Jo; Junbeom Yoo (SSIRI (Companion), 2011)

SQAF-DS: A Software Quality Assessment Framework for Dependable Systems. - Junbeom Yoo; Sanghyun Yoon (COMPSAC, 2013)

Bore-Sight Calibration of Multiple Laser Range Finders for Kinematic 3D Laser Scanning Systems. - Jaehoon Jung; Jeonghyun Kim; Sanghyun Yoon; Sangmin Kim; Hyoungsig Cho; Changjae Kim; Joon Heo (Sensors, 2015)

Development of Kinematic 3D Laser Scanning System for Indoor Mapping and As-Built BIM Using Constrained SLAM. - Jaehoon Jung; Sanghyun Yoon; Sungha Ju; Joon Heo (Sensors, 2015)

Spatial computing goes to education and beyond: can semantic trajectory characterize students? - Joon Heo; Sanghyun Yoon; Won Seob Oh; Jong Won Ma; Sungha Ju; Sung Bum Yun (BigSpatial@SIGSPATIAL, 2016)

Taxi cab service optimization using spatio-temporal implementation to hot-spot analysis with taxi trajectories: a case study in Seoul, Korea. - Sung Bum Yun; Sanghyun Yoon; Sungha Ju; Won Seob Oh; Jong Won Ma; Joon Heo (MobiGIS, 2016)

Automated 3D Wireframe Modeling of Indoor Structures from Point Clouds Using Constrained Least-Squares Adjustment for As-Built BIM. - Jaehoon Jung; Sungchul Hong; Sanghyun Yoon; Jeonghyun Kim; Joon Heo (J. Comput. Civ. Eng., 2016)

Spatial-Data-Driven Student Characterization in Higher Education. - Joon Heo; Kyong-Mee Chung; Sanghyun Yoon; Sung Bum Yun; Jong Won Ma; Sungha Ju (PredictGIS@SIGSPATIAL, 2017)

Spatio-temporal Factor Analysis of Characterizing Mass Protest Events Using Taxi Trajectory in Seoul, Korea. - Jong Won Ma; Sungha Ju; Hieu Minh Nguyen; Sung Bum Yun; Sanghyun Yoon; Joon Heo (LENS@SIGSPATIAL, 2017)

Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS. - Sanghyun Yoon; Dong-Ah Lee; Eunji Pak; Taeho Kim; Junbeom Yoo (IEICE Trans. Inf. Syst., 2017)

Formal verification of ECML hybrid models with spaceex. - Sanghyun Yoon; Junbeom Yoo (Inf. Softw. Technol., 2017)

A demonstration of B-EagleV Visualizing massive point cloud directly from HDFS. - Minh Hieu Nguyen; Sanghyun Yoon; Sangyoon Park; Joon Heo (IEEE BigData, 2019)

B-EagleV: Visualization of Big Point Cloud Datasets in Civil Engineering Using a Distributed Computing Solution. - Minh Hieu Nguyen; Sanghyun Yoon; Sungha Ju; Sangyoon Park; Joon Heo (J. Comput. Civ. Eng., 2022)

Automated Point Cloud Registration Approach Optimized for a Stop-and-Go Scanning System. - Sangyoon Park; Sungha Ju; Minh Hieu Nguyen; Sanghyun Yoon; Joon Heo (Sensors, 2024)