Digital Library

Search: "[ keyword: Safety ]" (16)
    LSTM(Long Short-Term Memory)-Based AbnormalBehavior Recognition Using AlphaPose
    Hyun-Jae Bae, Gyu-Jin Jang, Young-Hun Kim, Jin-Pyung Kim KIPS Transactions on Software and Data Engineering, Vol. 10, No. 5, pp. 187-194, May. 2021
    https://doi.org/10.3745/KTSDE.2021.10.5.187  
    Keywords: Safety management, Action Recognition, Pose Estimation, LSTM, Deep Learning


    Comparing the Usages of Vocabulary by Medias for Disaster Safety Terminology Construction
    Jung-Eun Lee, Tae-Young Kim, Hyo-Jung Oh KIPS Transactions on Software and Data Engineering, Vol. 7, No. 6, pp. 229-238, Jun. 2018
    10.3745/KTSDE.2018.7.6.229
    Keywords: Disaster Safety, Terminology Resource, Word Dictionary, Standardization


    Using Model Checking to Verify an Automotive Electric Parking Brake System
    Jun Yeol Choi, Joon Hyung Cho, Yun Ja Choi KIPS Transactions on Software and Data Engineering, Vol. 6, No. 4, pp. 167-176, Apr. 2017
    10.3745/KTSDE.2017.6.4.167
    Keywords: Model Checking, Automotive Verification, Formal Verification, Safety Requirement


    A Safety Score Prediction Model in Urban Environment Using Convolutional Neural Network
    Hyeon-Woo Kang, Hang-Bong Kang KIPS Transactions on Software and Data Engineering, Vol. 5, No. 8, pp. 393-400, Aug. 2016
    10.3745/KTSDE.2016.5.8.393
    Keywords: Urban Safety, Convolutional Neural Network, Crime Prediction, Visual Perception


    Code Slicing Tool for Effective Software Verification
    Ming Yu Park , Dong Woo Kim , Yun Ja Choi KIPS Transactions on Software and Data Engineering, Vol. 4, No. 1, pp. 1-8, Jan. 2015
    10.3745/KTSDE.2015.4.1.1


    A Collision Analysis Technique for Prevention Actions of Accident in Safety Critical System
    Jang Jin Kwon , Jang Eui Hong KIPS Transactions on Software and Data Engineering, Vol. 2, No. 10, pp. 661-668, Oct. 2013
    10.3745/KTSDE.2013.2.10.661


Forms



Category Search

Publications


Old Journals


Indexing


All publications of KTSDE is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

KTSDE is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Organization


Related Journals