default search action

combined dblp search
author search
venue search
publication search

ask others

Jin Young Choi

Jin-Young Choi

> Home > Persons

This is just a disambiguation page, and is not intended to be the bibliography of an actual person. The links to all actual bibliographies of persons of the same or a similar name can be found below. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.

Person information

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j62]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/KimCC24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/KimCC24a
Hyunjo Kim, Jae-Ho Choi, Jin-Young Choi:
A Novel Scheme for Generating Context-Aware Images Using Generative Artificial Intelligence. IEEE Access 12: 31576-31588 (2024)
[j61]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/KimCYP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/KimCYP24
Young-Mi Kim, Jin-Young Choi, Seunghoon Yoo, Myunghwan Park:
Propagation and Masking Characteristics of Errors During Software Testing in Synchronous Programming. IEEE Access 12: 146009-146021 (2024)
[j60]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/KimCC24b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/KimCC24b
Hyunjo Kim, Jae-Ho Choi, Jin-Young Choi:
A Novel Scheme for Managing Multiple Context Transitions While Ensuring Consistency in Text-to-Image Generative Artificial Intelligence. IEEE Access 12: 150468-150484 (2024)
[j59]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/ChoiHSJK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/ChoiHSJK24
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): 3823 (2024)
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/elinfocom/ChoiKCJS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/elinfocom/ChoiKCJS24
Jin Young Choi, Dong-Goo Kang, Minhye Chang, Kye Young Jeong, Byung Cheol Song:
NIR to LWIR Image Translation for Generating LWIR Image Datasets. ICEIC 2024: 1-2
2023
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/icncc/YoonKC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icncc/YoonKC23
Seongho Yoon, Miyoung Kang, Jin-Young Choi:
Security Attacks Against the Availability of Low Earth Orbit Satellite Networks. ICNCC 2023: 64-69
2022
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/icact/ParkLC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icact/ParkLC22
Woong-Sub Park, Hyuk Lee, Jin-Young Choi:
Formal Modeling of Smart Contract-based Trading System. ICACT 2022: 48-52
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/icact/ChoiLC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icact/ChoiLC22
Hong Jun Choi, Hyuk Lee, Jin-Young Choi:
Is a False Positive really False Positive? ICACT 2022: 145-149
2021
[j58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/KimCOMKAKN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/KimCOMKAKN21
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): 541 (2021)
[j57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/OhLCCKYN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/OhLCCKYN21
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): 1741 (2021)
[j56]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/ChoiCOKCN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/ChoiCOKCN21
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): 1964 (2021)
[j55]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/ChoiKKCN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/ChoiKKCN21
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): 3798 (2021)
[j54]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/OhCLK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/OhCLK21
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): 5774 (2021)
[j53]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/ParkCOK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/ParkCOK21
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): 5911 (2021)
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/icact/ParkLC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icact/ParkLC21
Woong-Sub Park, Hyuk Lee, Jin-Young Choi:
Formal Modeling of Smart Contract-based Trading System. ICACT 2021: 48-52
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/icact/ChoiLC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icact/ChoiLC21
Hong Jun Choi, Hyuk Lee, Jin-Young Choi:
Is a False Positive really False Positive? ICACT 2021: 145-149
2020
[j52]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/KimCH20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/KimCH20a
Dong-Won Kim, Jin-Young Choi, Keun-Hee Han:
Medical Device Safety Management Using Cybersecurity Risk Analysis. IEEE Access 8: 115370-115382 (2020)
[j51]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/LeeC20g
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/LeeC20g
Hyuk Lee, Jin-Young Choi:
Constraint-Based Schedulability Analysis in Multiprocessor Real-Time Systems. IEEE Access 8: 165168-165177 (2020)
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/ijon/MoorthyCJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijon/MoorthyCJ20
Sathishkumar Moorthy, Jin Young Choi, Young Hoon Joo:
Gaussian-response correlation filter for robust visual object tracking. Neurocomputing 411: 78-90 (2020)
[j49]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/midm/KimCH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/midm/KimCH20
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): 106 (2020)
[j48]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/ParkC20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/ParkC20a
Seunghyun Park, Jin-Young Choi:
Hierarchical Anomaly Detection Model for In-Vehicle Networks Using Machine Learning Algorithms. Sensors 20(14): 3934 (2020)
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/icact/ByunLC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icact/ByunLC20
Minjae Byun, Yongjun Lee, Jin-Young Choi:
Analysis of software weakness detection of CBMC based on CWE. ICACT 2020: 171-175

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/icact/ByunLC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icact/ByunLC19
Minjae Byun, Yongjun Lee, Jin-Young Choi:
Risk and avoidance strategy for blocking mechanism of SDN-based security service. ICACT 2019: 187-190
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/tridentcom/KangC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tridentcom/KangC19
Miyoung Kang, Jin-Young Choi:
Formal Modeling and Verification of Software-Defined Networking with Multiple Controllers. TRIDENTCOM 2019: 81-94
2018
[j47]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/LeeC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/LeeC18
Hyuk Lee, Jin-Young Choi:
Constraint Solving Approach to Schedulability Analysis in Real-Time Systems. IEEE Access 6: 58418-58426 (2018)
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/csse/ChaNC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csse/ChaNC18
Reeseo Cha, Wonhong Nam, Jin-Young Choi:
Reliable Approximated Number System with Exact Bounds and Three-Valued Logic. Comput. Syst. Sci. Eng. 33(6): 447-455 (2018)
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/JangC18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/JangC18a
Young-Su Jang, Jin-Young Choi:
Automatic Prevention of Buffer Overflow Vulnerability Using Candidate Code Generation. IEICE Trans. Inf. Syst. 101-D(12): 3005-3018 (2018)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/tsg/ChoiCAW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsg/ChoiCAW18
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): 1292-1300 (2018)
2017
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/jcm/JangC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcm/JangC17
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): 482-488 (2017)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/ParkLSHACK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/ParkLSHACK17
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: 1-18 (2017)
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/dimva/NamNCA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimva/NamNCA17
Myoung Jin Nam, Wonhong Nam, Jin-Young Choi, Periklis Akritidis:
MemPatrol: Reliable Sideline Integrity Monitoring for High-Performance Systems. DIMVA 2017: 48-69
2016
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/KangCKKAS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/KangCKKAS16
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. 99-B(7): 1408-1415 (2016)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/AhnHKC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/AhnHKC16
So Jin Ahn, Dae-Yon Hwang, Miyoung Kang, Jin-Young Choi:
Hierarchical System Schedulability Analysis Framework Using UPPAAL. IEICE Trans. Inf. Syst. 99-D(8): 2172-2176 (2016)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/pr/KimLCC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pr/KimLCC16
Kyounghoon Kim, Helin Lin, Jin Young Choi, Kiyoung Choi:
A design framework for hierarchical ensemble of multiple feature extractors and multiple classifiers. Pattern Recognit. 52: 1-16 (2016)
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/sigbed/Larsen16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigbed/Larsen16
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): 41-48 (2016)
2015
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/KimKCLK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/KimKCLK15
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): 839-859 (2015)
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/ictc/ShinCKPKC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictc/ShinCKPKC15
Myung-Ki Shin, Yunchul Choi, Hee-Hwan Kwak, Sangheon Pack, Miyoung Kang, Jin-Young Choi:
Verification for NFV-enabled network services. ICTC 2015: 810-815
2014
[j36]
- view
  - electronic edition @ acs.org.au (archived)
  - details & citations
- export record
  dblp key:
  - journals/acj/BangKLC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acj/BangKLC14
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)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/JangC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/JangC14
Young-Su Jang, Jin-Young Choi:
Detecting SQL injection attacks using query result size. Comput. Secur. 44: 104-118 (2014)
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/AhnLCLA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/AhnLCLA14
Youngjung Ahn, Yongsuk Lee, Jin-Young Choi, Gyungho Lee, Dongkyun Ahn:
Monitoring Translation Lookahead Buffers to Detect Code Injection Attacks. Computer 47(7): 66-72 (2014)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/cviu/ChoiKC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cviu/ChoiKC14
Hong-Seok Choi, In-Su Kim, Jin Young Choi:
Combining histogram-wise and pixel-wise matchings for kernel tracking through constrained optimization. Comput. Vis. Image Underst. 118: 61-70 (2014)
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/isgt/ParkCW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isgt/ParkCW14
Sung-Hwan Park, Jin-Young Choi, Dong-Jun Won:
Cooperative control between the distributed energy resources in AC/DC hybrid microgrid. ISGT 2014: 1-5
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/pkdd/ParkKC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pkdd/ParkKC14
Mijeong Park, Miyoung Kang, Jin-Young Choi:
The Research on Vulnerability Analysis in OpenADR for Smart Grid. DARE 2014: 54-60
2013
[j32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/MinCC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/MinCC13
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): 53-77 (2013)
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/KangKHKNSC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/KangKHKNSC13
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: 481-482
2012
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/tjs/LeePC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tjs/LeePC12
Song-Hee Lee, Nam-Sup Park, Jin-Young Choi:
Secure communication in IPTV broadcasting. J. Supercomput. 62(1): 42-52 (2012)
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/cfi/KangNPSSC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cfi/KangNPSSC12
Miyoung Kang, Ki-Hyuk Nam, Junkil Park, Myung-Ki Shin, Jeehoon Shin, Jin-Young Choi:
Formal specifications for software-defined networking. CFI 2012: 51
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/cicsyn/KangPCNS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cicsyn/KangPCNS12
Miyoung Kang, Junkil Park, Jin-Young Choi, Ki-Hyuk Nam, Myung-Ki Shin:
Process Algebraic Specification of Software Defined Networks. CICSyN 2012: 359-363
2011
[j30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/cs/ChoiP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cs/ChoiP11
Jin Young Choi, Choongkoo Park:
A Thyristor-Only Input ESD Protection Scheme for CMOS RF ICs. Circuits Syst. 2(3): 170-182 (2011)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/KangRC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/KangRC11
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. 94-A(2): 860-864 (2011)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/jirs/YooCLAC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jirs/YooCLAC11
Dong-Young Yoo, Jin Young Choi, Jae Kyu Lee, Seong-Jin Ahn, Jin-Wook Chung:
Spatial Modelling for Mobile Robot's Vision-based Navigation. J. Intell. Robotic Syst. 63(1): 131-147 (2011)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/KimCKL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/KimCKL11
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): 1-9 (2011)
2010
[j26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/comnet/Choi10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comnet/Choi10
Jin Young Choi:
A Comparison Study of Input ESD Protection Schemes Utilizing NMOS, Thyristor, and Diode Devices. Commun. Netw. 2(1): 11-25 (2010)
[j25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/KimCKL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/KimCKL10
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): 2415-2434 (2010)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/KimKCL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/KimKCL10
Jin Hyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee:
Timed and Resource-oriented Statecharts for Embedded Software. IEEE Trans. Ind. Informatics 6(4): 568-578 (2010)
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/PhilippouLSC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/PhilippouLSC10
Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi:
A Process Algebraic Framework for Modeling Resource Demand and Supply. FORMATS 2010: 183-197
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/icpr/SultaniC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpr/SultaniC10
Waqas Sultani, Jin Young Choi:
Abnormal Traffic Detection Using Intelligent Driver Model. ICPR 2010: 324-327
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/ictc/LeeCHNCK010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictc/LeeCHNCK010
Jungjae Lee, Reeseo Cha, Younghun Han, Wonhong Nam, Jin-Young Choi, Wontae Kim, Seung-Min Park:
Modeling autonomous military robots using hybrid system framework. ICTC 2010: 429-430
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/interaction/KimSC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/interaction/KimSC10
Hyun-Seok Kim, Suk Seo, Jin-Young Choi:
Security analysis of smart card based password authentication schemes. ICIS 2010: 352-356

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/cee/KimC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cee/KimC09
Hyun Seok Kim, Jin-Young Choi:
Enhanced password-based simple three-party key exchange protocol. Comput. Electr. Eng. 35(1): 107-114 (2009)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/ParkLCL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/ParkLCL09
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. 92-A(11): 2781-2789 (2009)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/jcse/HurSKC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcse/HurSKC09
Yerang Hur, Jae-Hwan Sim, Jesung Kim, Jin-Young Choi:
Ensuring Sound Numerical Simulation of Hybrid Automata. J. Comput. Sci. Eng. 3(2): 73-87 (2009)
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/ncm/ParkCHC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ncm/ParkCHC09
Min-Woo Park, Jin-Young Choi, Young-Ju Han, Tai-Myoung Chung:
An Energy Efficient Concentric Clustering Scheme in Wireless Sensor Networks. NCM 2009: 58-61
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/sersc-isa/LeePKC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sersc-isa/LeePKC09
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: 797-803
2008
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/LeePC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/LeePC08
Song-Hee Lee, Nam-Sup Park, Jin-Young Choi:
Secure Handover Protocol for Mobile WiMAX Networks. IEICE Trans. Inf. Syst. 91-D(12): 2875-2879 (2008)
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/apnoms/ChoiJHC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apnoms/ChoiJHC08
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: 187-196
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcc/KimSC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcc/KimSC08
Hyun Seok Kim, Seok Seo, Jin-Young Choi:
Weaknesses Analysis and Countermeasure of a Verifier-Based Key Agreement Protocol. HPCC 2008: 1015-1018
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/icccn/KimC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icccn/KimC08
Hyun Seok Kim, Jin-Young Choi:
A Lightweight Protocol Analysis and Modification for Secure RFID System. ICCCN 2008: 958-962
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/ncm/ChoiOLC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ncm/ChoiOLC08
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: 8-13
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/ncm/KimOKJC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ncm/KimOKJC08
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: 470-477
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/2008
Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan:
Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings. Lecture Notes in Computer Science 5311, Springer 2008, ISBN 978-3-540-88386-9 [contents]
2007
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcit/OhKC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcit/OhKC07
Jung-Hyun Oh, Hyun Seok Kim, Jin-Young Choi:
A Secure Communication Protocol for Low-Cost RFID System. CIT 2007: 949-954
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/KimC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/KimC07
Hyun Seok Kim, Jin-Young Choi:
The Design and Verification of RFID Authentication Protocol for Ubiquitous Computing. DEXA Workshops 2007: 693-697
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/ecbs/KimC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecbs/KimC07
Jin Hyun Kim, Jin-Young Choi:
Embedded System Modeling Based on Resource-Oriented Model. ECBS 2007: 203-212
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/icccn/KimC07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icccn/KimC07a
Hyun Seok Kim, Jin-Young Choi:
Security and Privacy Analysis of RFID Authentication Protocol for Ubiquitous Computing. ICCCN 2007: 1359-1363
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip6-8/OhKC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip6-8/OhKC07
Jung-Hyun Oh, Hyun Seok Kim, Jin-Young Choi:
A Light-weight Security Protocol for RFID System. PWC 2007: 384-395
[c39]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iwrt/KimOC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwrt/KimOC07
Hyun Seok Kim, Jung-Hyun Oh, Jin-Young Choi:
RFID Privacy Protection Scheme for Secure Ubiquitous Computing. IWRT 2007: 117-124
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/micad/LeeKKKCKS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/micad/LeeKKKCKS07
June-Goo Lee, Se Hyung Kim, Jong Hyo Kim, Namkug Kim, Jin Young Choi, KwangGi Kim, Jong-Mo Seo:
A novel algorithm for polyp detection using Eigen decomposition of Hessian-matrix for CT colonography CAD: validation with physical phantom study. Computer-Aided Diagnosis 2007: 65142K
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/KimSKC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/KimSKC07
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: 244-249
[c36]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KimSC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KimSC08
Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi:
Resource-Oriented Design Framework for Embedded System Components. FACS 2007: 171-189
2006
[j19]
- view
  - electronic edition @ cai.sk (open access)
  - details & citations
- export record
  dblp key:
  - journals/cai/KimKCZKZK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cai/KimKCZKZK06
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): 353-368 (2006)
[j18]
- view
  - electronic edition @ sinica.edu.tw (archived)
  - details & citations
- export record
  dblp key:
  - journals/jise/HanKLCJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jise/HanKLCJ06
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): 889-907 (2006)
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/IEEEcit/KimOCK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/IEEEcit/KimOCK06
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: 152
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/KimKLCK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/KimKLCK06
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: 979-984
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/KimOC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/KimOC06
Hyun Seok Kim, Jeong-Hyun Oh, Jin-Young Choi:
Security Analysis of RFID Authentication for Pervasive Systems using Model Checking. COMPSAC (2) 2006: 195-202
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcc/KimKHC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcc/KimKHC06
Hyun Seok Kim, Il-Gon Kim, Keun-Hee Han, Jin-Young Choi:
Security and Privacy Analysis of RFID Systems Using Model Checking. HPCC 2006: 495-504
[c31]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/serp/KimC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serp/KimC06
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: 405-414
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/wasa/LeeC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wasa/LeeC06
Song-Hee Lee, Jin-Young Choi:
A Medium Access Control Scheme for Providing Reliability in Wireless Ad Hoc Networks. WASA 2006: 341-352
2005
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/ieicet/KimC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/KimC05
Il-Gon Kim, Jin-Young Choi:
Model Checking of RADIUS Protocol in Wireless Networks. IEICE Trans. Commun. 88-B(1): 397-398 (2005)
[j16]
- view
  - electronic edition @ informatica.si (open access)
  - details & citations
- export record
  dblp key:
  - journals/informaticaSI/BangJYC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/informaticaSI/BangJYC05
Ki-Seok Bang, Hyun-Wook Jin, Chuck Yoo, Jin-Young Choi:
System Resource Utilization Analysis Based on Model Checking Method. Informatica (Slovenia) 29(2): 219-226 (2005)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/JinBYCP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/JinBYCP05
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): 1348-1365 (2005)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/winet/ChaLNPJYC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/winet/ChaLNPJYC05
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): 265-274 (2005)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/JeonKC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/JeonKC05
Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi:
Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR. AINA 2005: 507-510
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcsw/KimKC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcsw/KimKC05
Hyun Seok Kim, Il-Gon Kim, Jin-Young Choi:
Analysis of Security Protocols with Certificate over Open Networks: Electronic Payment System. ICDCS Workshops 2005: 217-223
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/wine/KimMKLHC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wine/KimMKLHC05
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: 346-355
2004
[j13]
- view
  - electronic edition @ ieice.org
  - details & citations
- export record
  dblp key:
  - journals/ieicet/YooBC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieicet/YooBC04
Hee-Jun Yoo, Mino Bai, Jin-Young Choi:
Answer Set Semantics for Prioritized Defaults Logic. IEICE Trans. Inf. Syst. 87-D(12): 2883-2884 (2004)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/KimC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/KimC04
Il-Gon Kim, Jin-Young Choi:
Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking. AINA (2) 2004: 264-269
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/DoBC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/DoBC04
Hyun Min Do, Tamer Basar, Jin Young Choi:
An anti-windup design for single input adaptive control systems in strict feedback form. ACC 2004: 2551-2556
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/KimLASYLC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/KimLASYLC04
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: 479-482
[c23]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ccct/YooCB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccct/YooCB04
Hee-Jun Yoo, Jin-Young Choi, Mino Bai:
Formal Specification of Business Rules using Z. CCCT (1) 2004: 92-95
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HurKLC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HurKLC04
Yerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi:
Sound Code Generation from Communicating Hybrid Models. HSCC 2004: 432-447
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/BangCJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/BangCJ04
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: 8-14
[c20]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/snpd/AhnC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snpd/AhnC04
Young Ah Ahn, Jin-Young Choi:
FDR verification of ESANP protocol in Ad hoc Network. SNPD 2004: 141-145
[c19]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/vveis/KimC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vveis/KimC04
Il-Gon Kim, Jin-Young Choi:
New S/Key System against Dictionary Attack: A Case Study in Casper and CSP/FDR. VVEIS 2004: 75-77
2003
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/tjs/JinYC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tjs/JinYC03
Hyun-Wook Jin, Chuck Yoo, Jin-Young Choi:
Firmware-Level Latency Analysis on a Gigabit Network. J. Supercomput. 26(1): 59-75 (2003)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/pact/YooC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pact/YooC03
Hee-Jun Yoo, Jin-Young Choi:
Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis. PaCT 2003: 180-184
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/pact/KimC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pact/KimC03
Sung-Jae Kim, Jin-Young Choi:
Formal Modeling for a Real-Time Scheduler and Schedulability Analysis. PaCT 2003: 253-258
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/JangBC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/JangBC03
Sung-Ho Jang, Ki-Seok Bang, Jin-Young Choi:
SSR : Statechart with shared resources. HCC 2003: 198-200
2002
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tie/JeonOC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tie/JeonOC02
Seok Ho Jeon, Kwang-Kyo Oh, Jin Young Choi:
Flux observer with online tuning of stator and rotor resistances for induction motors. IEEE Trans. Ind. Electron. 49(3): 653-664 (2002)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/JinBYCC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/JinBYCC02
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: 170-186
2001
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BangCY01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BangCY01
Ki-Seok Bang, Jin-Young Choi, Chuck Yoo:
Comments on 'The Model Checker SPIN'. IEEE Trans. Software Eng. 27(6): 573-576 (2001)
[c14]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/ChoiYSY01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/ChoiYSY01
Jin-Young Choi, Hee Yong Youn, Soonuk Seol, Chuck Yoo:
Distributed Test using Logical Clock. FORTE 2001: 69-84
[c13]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/LeeCKPS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/LeeCKPS01
Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky:
A Family of Resource-Bound Real-Time Process Algebras. FORTE 2001: 443-458
[c12]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/hci/KimKKKCP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/KimKKKCP01
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: 180-184
2000
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ijsysc/ChoiP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsysc/ChoiP00
Jin Young Choi, Hyun Joo Park:
Use of neural networks in iterative learning control systems. Int. J. Syst. Sci. 31(10): 1227-1239 (2000)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/cec/HwangKC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cec/HwangKC00
Min Woong Hwang, Mun Hyuk Kim, Jin-Young Choi:
Second-order multilayer perceptrons and its optimization with genetic algorithms. CEC 2000: 652-658
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/ChoiKL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/ChoiKL00
Jin-Young Choi, Hee-Hwan Kwak, Insup Lee:
A Framework for Embedded Real-Time System Design. IPDPS Workshops 2000: 738-742
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/rsp/ParkBCK00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsp/ParkBCK00
Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang:
Equivalence Checking of Two Statechart Specifications. IEEE International Workshop on Rapid System Prototyping 2000: 46-51

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[j8]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/npsc/ChoiP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/npsc/ChoiP98
Jin Young Choi, Hyun Joo Park:
Neural Iterative Learning Control for Unknown Nonlinear Systems. Neural Parallel Sci. Comput. 6(4): 501-512 (1998)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/Ben-AbdallahCCKLX98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/Ben-AbdallahCCKLX98
Hanêne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young-Si Kim, Insup Lee, Hong-liang Xie:
A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. Real Time Syst. 15(3): 189-219 (1998)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/KwakLPCS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/KwakLPCS98
Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky:
Symbolic Schedulability Analysis of Real-Time Systems. RTSS 1998: 409-418
1997
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Bremond-GregoireCL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Bremond-GregoireCL97
Patrice Brémond-Grégoire, Jin-Young Choi, Insup Lee:
A Complete Axiomatization of Finite-State ACSR Processes. Inf. Comput. 138(2): 124-159 (1997)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icpads/AhnCPC97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpads/AhnCPC97
Chul-Jin Ahn, Seong-Uk Choi, Myong-Soon Park, Jin-Young Choi:
The Design and Evaluation of Policy-Controllable Buffer Cache. ICPADS 1997: 764-771
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/rtcsa/LimC97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtcsa/LimC97
Sung-Mook Lim, Jin-Young Choi:
Specification and verification of real-time systems using ACSR-VP. RTCSA 1997: 135-142
1996
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jifs/OhCL96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jifs/OhCL96
Deock-Gil Oh, Jin Young Choi, Choong Woong Lee:
Computationally Efficient Fuzzy Adaptive Equalizer for Nonlinear Channels. J. Intell. Fuzzy Syst. 4(1): 65-73 (1996)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/seal/HwangC96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seal/HwangC96
Min Woong Hwang, Jin-Young Choi:
Evolutionary Learning Algorithm for Projection Neural Networks. SEAL 1996: 136-145
1995
[j4]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - journals/npsc/ChoiC95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/npsc/ChoiC95
Jin-Young Choi, Chong-Ho Choi:
Partially trained neural networks with self-localizing capability for function approximations. Neural Parallel Sci. Comput. 3(1): 35-49 (1995)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigpro/OhCL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigpro/OhCL95
Deock-Gil Oh, Jin Young Choi, Choong Woong Lee:
Adaptive nonlinear equalizer with reduced computational complexity. Signal Process. 47(3): 307-317 (1995)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icnn/ChoiP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icnn/ChoiP95
Jin Young Choi, Hyun Joo Park:
Adaptive learning control of affine nonlinear systems using piecewise linearly trained networks. ICNN 1995: 2338-2341
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/ChoiLX95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/ChoiLX95
Jin-Young Choi, Insup Lee, Hong-liang Xie:
The Specification and Schedulability Analysis of Real-Time Systems using ACSR. RTSS 1995: 266-275
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/Ben-AbdallahLC95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/Ben-AbdallahLC95
Hanêne Ben-Abdallah, Insup Lee, Jin-Young Choi:
A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. RTSS 1995: 276-286
1994
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tnn/ChoiC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tnn/ChoiC94
Chong-Ho Choi, Jin-Young Choi:
Constructive neural networks with piecewise interpolation capabilities for function approximations. IEEE Trans. Neural Networks 5(6): 936-944 (1994)
1993
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icnn/ChoiC93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icnn/ChoiC93
Chong-Ho Choi, Jin Young Choi:
Construction of neural networks for piecewise approximation of continuous functions. ICNN 1993: 428-433
1992
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tnn/ChoiC92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tnn/ChoiC92
Jin-Young Choi, Chong-Ho Choi:
Sensitivity analysis of multilayer perceptron with differentiable activation functions. IEEE Trans. Neural Networks 3(1): 101-107 (1992)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.