Jin-Young Choi

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 29

Top Venues

Sensors

ICACT

IEEE Access

IEICE Trans. Inf. Syst.

Publications

Jin-Young Choi, Eunju Ha, Minji Son, Jean-Hong Jeon, Jong-Wook Kim
Human Joint Angle Estimation Using Deep Learning-Based Three-Dimensional Human Pose Estimation for Application in a Real Environment. Sensors 24 (12) (2024)
Seongho Yoon, Miyoung Kang, Jin-Young Choi
Security Attacks Against the Availability of Low Earth Orbit Satellite Networks. ICNCC (2023)
Hong Jun Choi, Hyuk Lee, Jin-Young Choi
Is a False Positive really False Positive? ICACT (2022)
Woong-Sub Park, Hyuk Lee, Jin-Young Choi
Formal Modeling of Smart Contract-based Trading System. ICACT (2022)
Song Hee Oh, Sae Rom Lee, Jin-Young Choi, Yong Suk Choi, Seong-Hun Kim, Hong Cheol Yoon, Gerald Nelson
Detection of Dental Caries and Cracks with Quantitative Light-Induced Fluorescence in Comparison to Radiographic and Visual Examination: A Retrospective Case Study. Sensors 21 (5) (2021)
Jin-Young Choi, Min-Jung Kim, Seong-Hun Kim, Kyu-Rhim Chung, Gerald Nelson
Effect of Different Head Hole Position on the Rotational Resistance and Stability of Orthodontic Miniscrews: A Three-Dimensional Finite Element Study. Sensors 21 (11) (2021)
Song Hee Oh, Jin-Young Choi, Sae Rom Lee, Seong-Hun Kim
Evaluation of Periodontal Risk Factors with Quantitative Light-Induced Fluorescence Based Fluorescent Plaque Index, in Comparison to Radiographic and Oral Health Habit Scoring: A Retrospective Case Study. Sensors 21 (17) (2021)
Jin-Young Choi, Jaehee Cho, Song Hee Oh, Seong-Hun Kim, Kyu-Rhim Chung, Gerald Nelson
Effect of Different Surface Designs on the Rotational Resistance and Stability of Orthodontic Miniscrews: A Three-Dimensional Finite Element Study. Sensors 21 (6) (2021)
Kyoung Yeon Kim, Jin-Young Choi, Song Hee Oh, Hyung-Wook Moon, Seong-Hun Kim, Hyo-Won Ahn, Kyung A. Kim, Gerald Nelson
Computerized Assessment of Occlusion and Muscle Activity during Use of a Multilayer Clear Retainer: A Preliminary Study. Sensors 21 (2) (2021)
Woong-Sub Park, Hyuk Lee, Jin-Young Choi
Formal Modeling of Smart Contract-based Trading System. ICACT (2021)
Hong Jun Choi, Hyuk Lee, Jin-Young Choi
Is a False Positive really False Positive? ICACT (2021)
Jae-Hyun Park, Jin-Young Choi, Song Hee Oh, Seong-Hun Kim
Three-Dimensional Digital Superimposition of Orthodontic Bracket Position by Using a Computer-Aided Transfer Jig System: An Accuracy Analysis. Sensors 21 (17) (2021)
Hyuk Lee, Jin-Young Choi
Constraint-Based Schedulability Analysis in Multiprocessor Real-Time Systems. IEEE Access 8 (2020)
Minjae Byun, Yongjun Lee, Jin-Young Choi
Analysis of software weakness detection of CBMC based on CWE. ICACT (2020)
Seunghyun Park, Jin-Young Choi
Hierarchical Anomaly Detection Model for In-Vehicle Networks Using Machine Learning Algorithms. Sensors 20 (14) (2020)
Dong-Won Kim, Jin-Young Choi, Keun-Hee Han
Risk management-based security evaluation model for telemedicine systems. BMC Medical Informatics Decis. Mak. 20 (1) (2020)
Dong-Won Kim, Jin-Young Choi, Keun-Hee Han
Medical Device Safety Management Using Cybersecurity Risk Analysis. IEEE Access 8 (2020)
Minjae Byun, Yongjun Lee, Jin-Young Choi
Risk and avoidance strategy for blocking mechanism of SDN-based security service. ICACT (2019)
Miyoung Kang, Jin-Young Choi
Formal Modeling and Verification of Software-Defined Networking with Multiple Controllers. TRIDENTCOM (2019)
Hyuk Lee, Jin-Young Choi
Constraint Solving Approach to Schedulability Analysis in Real-Time Systems. IEEE Access 6 (2018)
Jin-Young Choi, In-Sun Choi, Geon-Ho Ahn, Dong-Jun Won
Advanced Power Sharing Method to Improve the Energy Efficiency of Multiple Battery Energy Storages System. IEEE Trans. Smart Grid 9 (2) (2018)
Young-Su Jang, Jin-Young Choi
Automatic Prevention of Buffer Overflow Vulnerability Using Candidate Code Generation. IEICE Trans. Inf. Syst. (12) (2018)
Reeseo Cha, Wonhong Nam, Jin-Young Choi
Reliable Approximated Number System with Exact Bounds and Three-Valued Logic. Comput. Syst. Sci. Eng. 33 (6) (2018)
Junkil Park, Insup Lee, Oleg Sokolsky, Dae-Yon Hwang, So Jin Ahn, Jin-Young Choi, Inhye Kang
A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. J. Log. Algebraic Methods Program. 92 (2017)
Joon-Ha Jang, Jin-Young Choi
Formal Specification and Verification of System of Systems Using UPPAAL: A Case Study of a Defensive Missile Systems. J. Commun. 12 (8) (2017)
Myoung Jin Nam, Wonhong Nam, Jin-Young Choi, Periklis Akritidis
MemPatrol: Reliable Sideline Integrity Monitoring for High-Performance Systems. DIMVA (2017)
Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi
Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. 13 (3) (2016)
So Jin Ahn, Dae-Yon Hwang, Miyoung Kang, Jin-Young Choi
Hierarchical System Schedulability Analysis Framework Using UPPAAL. IEICE Trans. Inf. Syst. (8) (2016)
Miyoung Kang, Jin-Young Choi, Inhye Kang, Hee-Hwan Kwak, So Jin Ahn, Myung-Ki Shin
A Verification Method of SDN Firewall Applications. IEICE Trans. Commun. (7) (2016)
Jinhyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee, Sungwon Kang
Formal synthesis of application and platform behaviors of embedded software systems. Softw. Syst. Model. 14 (2) (2015)
Myung-Ki Shin, Yunchul Choi, Hee-Hwan Kwak, Sangheon Pack, Miyoung Kang, Jin-Young Choi
Verification for NFV-enabled network services. ICTC (2015)
Ki-Seok Bang, Il-Gon Kim, Ji-Yeon Lee, Jin-Young Choi
Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems. J. Res. Pract. Inf. Technol. 46 (2-3) (2014)
Sung-Hwan Park, Jin-Young Choi, Dong-Jun Won
Cooperative control between the distributed energy resources in AC/DC hybrid microgrid. ISGT (2014)
Young-Su Jang, Jin-Young Choi
Detecting SQL injection attacks using query result size. Comput. Secur. 44 (2014)
Youngjung Ahn, Yongsuk Lee, Jin-Young Choi, Gyungho Lee, Dongkyun Ahn
Monitoring Translation Lookahead Buffers to Detect Code Injection Attacks. Computer 47 (7) (2014)
Mijeong Park, Miyoung Kang, Jin-Young Choi
The Research on Vulnerability Analysis in OpenADR for Smart Grid. DARE (2014)
Hyun-seok Min, Sang-Mun Chung, Jin-Young Choi
Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project. J. Univers. Comput. Sci. 19 (1) (2013)
Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi
Formal Modeling and Verification of SDN-OpenFlow. ICST (2013)
Miyoung Kang, Ki-Hyuk Nam, Junkil Park, Myung-Ki Shin, Jeehoon Shin, Jin-Young Choi
Formal specifications for software-defined networking. CFI (2012)
Song-Hee Lee, Nam-Sup Park, Jin-Young Choi
Secure communication in IPTV broadcasting. J. Supercomput. 62 (1) (2012)
Miyoung Kang, Junkil Park, Jin-Young Choi, Ki-Hyuk Nam, Myung-Ki Shin
Process Algebraic Specification of Software Defined Networks. CICSyN (2012)
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee
Generating composite behavior of embedded software components based on UML behavioral model and process algebra. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Miyoung Kang, Hyun Sook Rhee, Jin-Young Choi
Improved User Authentication Scheme with User Anonymity for Wireless Communications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2011)
Jungjae Lee, Reeseo Cha, Younghun Han, Wonhong Nam, Jin-Young Choi, Won-Tae Kim, Seung-Min Park
Modeling autonomous military robots using hybrid system framework. ICTC (2010)
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture. J. Univers. Comput. Sci. 16 (17) (2010)
Jin Hyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee
Timed and Resource-oriented Statecharts for Embedded Software. IEEE Trans. Ind. Informatics 6 (4) (2010)
Hyun-Seok Kim, Suk Seo, Jin-Young Choi
Security analysis of smart card based password authentication schemes. ICIS (2010)
Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi
A Process Algebraic Framework for Modeling Resource Demand and Supply. FORMATS (2010)
Junkil Park, Jungjae Lee, Jin-Young Choi, Insup Lee
Model Checking of Real-Time Properties of Resource-Bound Process Algebra. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (11) (2009)
Song-Hee Lee, Nam-Sup Park, Soo-Kyun Kim, Jin-Young Choi
Cryptanalysis of Secure Key Exchange Protocol between STB and Smart Card in IPTV Broadcasting. ISA (2009)
Hyun Seok Kim, Jin-Young Choi
Enhanced password-based simple three-party key exchange protocol. Comput. Electr. Eng. 35 (1) (2009)
Min-Woo Park, Jin-Young Choi, Young-Ju Han, Tai-Myoung Chung
An Energy Efficient Concentric Clustering Scheme in Wireless Sensor Networks. NCM (2009)
Yerang Hur, Jae-Hwan Sim, Jesung Kim, Jin-Young Choi
Ensuring Sound Numerical Simulation of Hybrid Automata. J. Comput. Sci. Eng. 3 (2) (2009)
Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi
Resource-Oriented Design Framework for Embedded System Components. Electron. Notes Theor. Comput. Sci. 215 (2008)
Hyun Seok Kim, Seok Seo, Jin-Young Choi
Weaknesses Analysis and Countermeasure of a Verifier-Based Key Agreement Protocol. HPCC (2008)
Jungrhan Choi, Jinho On, Moonkun Lee, Jin-Young Choi
A Calculus to Reduce Spatial and Temporal Complexity for Specification and Analysis of Complex Real-Time Systems. NCM (1) (2008)
Jin-Young Choi, Sung-Min Jung, Young-Ju Han, Tai-Myoung Chung
Extended Concentric-Clustering Routing Scheme Adapted to Various Environments of Sensor Networks. APNOMS (2008)
Song-Hee Lee, Nam-Sup Park, Jin-Young Choi
Secure Handover Protocol for Mobile WiMAX Networks. IEICE Trans. Inf. Syst. (12) (2008)
Hyun Seok Kim, Jung-Hyun Oh, Ju-Bae Kim, Yeon-Oh Jeong, Jin-Young Choi
Formal Verification of Cryptographic Protocol for Secure RFID System. NCM (2) (2008)
Hyun Seok Kim, Jin-Young Choi
A Lightweight Protocol Analysis and Modification for Secure RFID System. ICCCN (2008)
Jung-Hyun Oh, Hyun Seok Kim, Jin-Young Choi
A Light-weight Security Protocol for RFID System. PWC (2007)
Jin Hyun Kim, Jin-Young Choi
Embedded System Modeling Based on Resource-Oriented Model. ECBS (2007)
Jung-Hyun Oh, Hyun Seok Kim, Jin-Young Choi
A Secure Communication Protocol for Low-Cost RFID System. CIT (2007)
Hyun Seok Kim, Jin-Young Choi
The Design and Verification of RFID Authentication Protocol for Ubiquitous Computing. DEXA Workshops (2007)
Hyun Seok Kim, Jin-Young Choi
Security and Privacy Analysis of RFID Authentication Protocol for Ubiquitous Computing. ICCCN (2007)
Jin Hyun Kim, Jae-Hwan Sim, Chang-Jin Kim, Jin-Young Choi
Formal Embedded Operating System Model Based on Resource-Based Design Framework. QSIC (2007)
Hyun Seok Kim, Jung-Hyun Oh, Jin-Young Choi
RFID Privacy Protection Scheme for Secure Ubiquitous Computing. IWRT (2007)
Il-Gon Kim, Miyoung Kang, Jin-Young Choi, Peter D. Zegzhda, Maxim O. Kalinin, Dmitry P. Zegzhda, Inhye Kang
Formal Verification of Security Model Using SPR Tool. Comput. Artif. Intell. 25 (5) (2006)
Chang-Jin Kim, Jin-Young Choi
Transformation of the Ravenscar Profile Based Ada Real-time Application to the Verification-ready Statecharts: Reverse Engineering and Statemate approach. Software Engineering Research and Practice (2006)
Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi
Security and Privacy Analysis of RFID Systems Using Model Checking. HPCC (2006)
Hyun Seok Kim, Jung-Hyun Oh, Jin-Young Choi, Jin-Woo Kim
The Vulnerabilities Analysis and Design of the Security Protocol for RFID System. CIT (2006)
Keun-Hee Han, Il-Gon Kim, Kang-Won Lee, Jin-Young Choi, Sang-Hun Jeon
Threat Evaluation Method for Distributed Network Environment. J. Inf. Sci. Eng. 22 (4) (2006)
Song-Hee Lee, Jin-Young Choi
Networks. WASA (2006)
Hyun Seok Kim, Jeong-Hyun Oh, Jin-Young Choi
Security Analysis of RFID Authentication for Pervasive Systems using Model Checking. COMPSAC (2) (2006)
Il-Gon Kim, Hyun Seok Kim, Ji-Yeon Lee, Jin-Young Choi, Inhye Kang
Secrecy Analysis of Purchase Transaction in Electronic Purses. AINA (1) (2006)
Hyun Seok Kim, Il-Gon Kim, Jin-Young Choi
Analysis of Security Protocols with Certificate over Open Networks: Electronic Payment System. ICDCS Workshops (2005)
Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi
Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR. AINA (2005)
Il-Gon Kim, Young-Joo Moon, Inhye Kang, Ji-Yeon Lee, Keun-Hee Han, Jin-Young Choi
Model-Based Analysis of Money Accountability in Electronic Purses. WINE (2005)
Il-Gon Kim, Jin-Young Choi
Model Checking of RADIUS Protocol in Wireless Networks. IEICE Trans. Commun. (1) (2005)
Hyun-Wook Jin, Pavan Balaji, Chuck Yoo, Jin-Young Choi, Dhabaleswar K. Panda
Exploiting NIC architectural support for enhancing IP-based protocols on high-performance networks. J. Parallel Distributed Comput. 65 (11) (2005)
Hojung Cha, Jongmin Lee, Jongho Nang, Sungyong Park, Jin-Hwan Jeong, Chuck Yoo, Jin-Young Choi
A Video Streaming System for Mobile Phones: Practice and Experience. Wirel. Networks 11 (3) (2005)
Ki-Seok Bang, Hyun-Wook Jin, Chuck Yoo, Jin-Young Choi
System Resource Utilization Analysis Based on Model Checking Method. Informatica (Slovenia) 29 (2) (2005)
Yerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi
Sound Code Generation from Communicating Hybrid Models. HSCC (2004)
Hee-Jun Yoo, Jin-Young Choi, Mino Bai
Formal Specification of Business Rules using Z. CCCT (1) (2004)
Il-Gon Kim, Jin-Young Choi
Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking. AINA (2) (2004)
Young Ah Ahn, Jin-Young Choi
FDR verification of ESANP protocol in Ad hoc Network. SNPD (2004)
Hee-Jun Yoo, Mino Bai, Jin-Young Choi
Answer Set Semantics for Prioritized Defaults Logic. IEICE Trans. Inf. Syst. (12) (2004)
Ki-Seok Bang, Jin-Young Choi, Sung-Ho Jang
Formal Specification and Verification of Embedded System with Shared Resources. IEEE International Workshop on Rapid System Prototyping (2004)
Il-Gon Kim, Jin-Young Choi
New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR. VVEIS (2004)
Jin Hyun Kim, Su-Young Lee, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi
Development of RTOS for PLC Using Formal Methods. ATVA (2004)
Hee-Jun Yoo, Jin-Young Choi
Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis. PaCT (2003)
Hyun-Wook Jin, Chuck Yoo, Jin-Young Choi
Firmware-Level Latency Analysis on a Gigabit Network. J. Supercomput. 26 (1) (2003)
Sung-Ho Jang, Ki-Seok Bang, Jin-Young Choi
SSR : Statechart with shared resources. HCC (2003)
Sung-Jae Kim, Jin-Young Choi
Formal Modeling for a Real-Time Scheduler and Schedulability Analysis. PaCT (2003)
Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha
Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach. SPIN (2002)
Jin-Young Choi, Hee Yong Youn, Soonuk Seol, Chuck Yoo
Distributed Test using Logical Clock. FORTE (2001)
Young-Ho Kim, Jin Hyun Kim, Ji-Young Kim, Jee-In Kim, Jin-Young Choi, Chang Woo Pyo
A visual component based tool for developing embedded application software. HCI (2001)
Nojun Kwak, Chong-Ho Choi, Jin-Young Choi
Feature Extraction Using ICA. ICANN (2001)
Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky
A Family of Resource-Bound Real-Time Process Algebras. FORTE (2001)
Ki-Seok Bang, Jin-Young Choi, Chuck Yoo
Comments on 'The Model Checker SPIN'. IEEE Trans. Software Eng. 27 (6) (2001)

Jin-Young Choi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jin-Young Choi