Sangwon Hyun

Publications

Citations

H-Index

2020

Active since

Affiliations

Korea Advanced Institute of Science and Technology(Current)

Sangwon Hyun is an author at Korea Advanced Institute of Science and Technology specializing in systems engineering, engineering, and formal verification.

ORCID

Top concepts

EngineeringSystems EngineeringDesignRoboticsAutomationMechatronicsFormal MethodsComplex SystemsComputer ScienceFormal Verification

Publications per year

2020–2023

Publications

Platooning LEGOs: An Open Physical Exemplar for Engineering Self-Adaptive Cyber-Physical Systems-of-Systems

Yong-Jun Shin, Lingjun Liu, Sangwon Hyun et al. · 2021 · 18 citations

Industrial Cpsos, Engineering, Complex Systems +19

SIMVA-SoS: Simulation-based Verification and Analysis for System-of-Systems

Sumin Park, Yong-Jun Shin, Sangwon Hyun et al. · 2020 · 12 citations

Timed pattern-based analysis of collaboration failures in system-of-systems

Sangwon Hyun, Jiyoung Song, Eunkyoung Jee et al. · Journal of Systems and Software · 2023 · 10 citations

Reliability Engineering, Engineering, Fault Management +7

Rows per page

1–3 of 3