Sanghyun Yoon

发表

Formal verification of ECML hybrid models with spaceex

Junbeom Yoo, Sanghyun Yoon, Junbeom Yoo, 2017, Inf. Softw. Technol..

SQAF-DS: A Software Quality Assessment Framework for Dependable Systems

Junbeom Yoo, Sanghyun Yoon, Junbeom Yoo, 2013, 2013 IEEE 37th Annual Computer Software and Applications Conference.

Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS

Junbeom Yoo, Taeho Kim, Sanghyun Yoon, 2017, IEICE Trans. Inf. Syst..

A Study on 3D Indoor mapping for as-built BIM creation by using Graph-based SLAM

Jaehoon Jung, Sanghyun Yoon, Joon Heo, 2016 .

Automated 3D Wireframe Modeling of Indoor Structures from Point Clouds Using Constrained Least-Squares Adjustment for As-Built BIM

Jaehoon Jung, Jeonghyun Kim, Sanghyun Yoon, 2016, J. Comput. Civ. Eng..

Soft Robotics: A Review of Recent Developments of Pneumatic Soft Actuators

Sanghyun Yoon, Minchul Shin, James Walker, 2020, Actuators.

An ETRI CPS Modeling Language for Specifying Hybrid Systems

Won-Tae Kim, Junbeom Yoo, Ingeol Chun, 2015 .

Spatial computing goes to education and beyond: can semantic trajectory characterize students?

Joon Heo, Sanghyun Yoon, Sungha Ju, 2016, BigSpatial '16.

Robot System Design Capable of Motion Recognition and Tracking the Operator's Motion

Dong Hwan Kim, Yonguk Choi, Junsik Kim, 2015 .

Development of Kinematic 3D Laser Scanning System for Indoor Mapping and As-Built BIM Using Constrained SLAM

Jaehoon Jung, Joon Heo, Sanghyun Yoon, 2015, Sensors.

Spatio-temporal Factor Analysis of Characterizing Mass Protest Events Using Taxi Trajectory in Seoul, Korea

Joon Heo, Sanghyun Yoon, Hieu Minh Nguyen, 2017, LENS@SIGSPATIAL.

Spatial-Data-Driven Student Characterization in Higher Education

Joon Heo, Sanghyun Yoon, Sungha Ju, 2017, PredictGIS@SIGSPATIAL.

A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems

Junbeom Yoo, Sanghyun Yoon, Jae Yeon Jo, 2011, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement - Companion.

Image-Based Automatic Detection of Construction Helmets Using R-FCN and Transfer Learning

Sanghyun Yoon, Joon Heo, Sangyoon Park, 2019 .

Practical implementation of semi-automated as-built BIM creation for complex indoor environments

Jaehoon Jung, Sanghyun Yoon, Joon Heo, 2015 .

Bore-Sight Calibration of Multiple Laser Range Finders for Kinematic 3D Laser Scanning Systems

Jaehoon Jung, Changjae Kim, Joon Heo, 2015, Sensors.

Taxi cab service optimization using spatio-temporal implementation to hot-spot analysis with taxi trajectories: a case study in Seoul, Korea

Joon Heo, Sanghyun Yoon, Sungha Ju, 2016, MobiGIS.

Synthesis of High-washable Phthalimide-based Azo Disperse Dyes and the Application of These Dyes on Cellulose Diacetate Fibers

Sanghyun Yoon, Joonseok Koh, Eunkyo Lee, 2020 .

An efficient data structure approach for BIM-to-point-cloud change detection using modifiable nested octree

Joon Heo, Sanghyun Yoon, Sungha Ju, 2021, Automation in Construction.