Jiyoung Song

Publications

117

Citations

H-Index

1997

Active since

Affiliations

Korea Advanced Institute of Science and Technology(Current)

Jiyoung Song is an author at Korea Advanced Institute of Science and Technology specializing in engineering, systems engineering, and computer science.

ORCID

Top concepts

EngineeringComputer ScienceSystems EngineeringData ModelingFormal MethodsSoftware DesignFormal VerificationReliability EngineeringEducationSemantics

Publications per year

1997–2023

Publications

An intelligent tutoring system for introductory C language course

Jiyoung Song, Stefan Hahn, Kajal Tak et al. · Computers & Education · 1997 · 44 citations

Intelligent Tutoring Systems, Engineering, Computational Linguistics +7

A meta-model for representing system-of-systems ontologies

Youngmin Baek, Jiyoung Song, Yong-Jun Shin et al. · 2018 · 27 citations

Ontological Analysis, Sos Ontologies, Engineering +14

Image retrieval model based on weighted visual features determined by relevance feedback

Woocheol Kim, Jiyoung Song, Seung‐Woo Kim et al. · Information Sciences · 2008 · 23 citations

Image Retrieval Model, Machine Vision, Image Analysis +11

Modeling and verification for different types of system of systems using PRISM

Dong-Won Seo, Donghwan Shin, Youngmin Baek et al. · 2016 · 13 citations

Engineering, Verification, Safety Science +24

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–5 of 5