Jin-Young Choi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

59EESong-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
58 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 Springer 2008
57EEJin-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
56EEHyun Seok Kim, Seok Seo, Jin-Young Choi: Weaknesses Analysis and Countermeasure of a Verifier-Based Key Agreement Protocol. HPCC 2008: 1015-1018
55EEHyun Seok Kim, Jin-Young Choi: A Lightweight Protocol Analysis and Modification for Secure RFID System. ICCCN 2008: 958-962
54EEJin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi: Resource-Oriented Design Framework for Embedded System Components. Electr. Notes Theor. Comput. Sci. 215: 171-189 (2008)
53EESong-Hee Lee, Nam-Sup Park, Jin-Young Choi: Secure Handover Protocol for Mobile WiMAX Networks. IEICE Transactions 91-D(12): 2875-2879 (2008)
52EEJung-Hyun Oh, Hyun Seok Kim, Jin-Young Choi: A Secure Communication Protocol for Low-Cost RFID System. CIT 2007: 949-954
51EEHyun Seok Kim, Jin-Young Choi: The Design and Verification of RFID Authentication Protocol for Ubiquitous Computing. DEXA Workshops 2007: 693-697
50EEJin Hyun Kim, Jin-Young Choi: Embedded System Modeling Based on Resource-Oriented Model. ECBS 2007: 203-212
49EEHyun Seok Kim, Jin-Young Choi: Security and Privacy Analysis of RFID Authentication Protocol for Ubiquitous Computing. ICCCN 2007: 1359-1363
48EESpyros A. Reveliotis, Elzbieta Roszkowska, Jin-Young Choi: Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems. ICRA 2007: 991-996
47 Hyun Seok Kim, Jung-Hyun Oh, Jin-Young Choi: RFID Privacy Protection Scheme for Secure Ubiquitous Computing. IWRT 2007: 117-124
46EEJung-Hyun Oh, Hyun Seok Kim, Jin-Young Choi: A Light-weight Security Protocol for RFID System. PWC 2007: 384-395
45EEJin 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
44EEIl-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
43EEHyun 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
42EEHyun Seok Kim, Jeong-Hyun Oh, Jin-Young Choi: Security Analysis of RFID Authentication for Pervasive Systems using Model Checking. COMPSAC (2) 2006: 195-202
41EEHyun 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
40EESpyros A. Reveliotis, Jin-Young Choi: Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions. ICATPN 2006: 322-341
39 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
38EESong-Hee Lee, Jin-Young Choi: A Medium Access Control Scheme for Providing Reliability in Wireless Ad Hoc Networks. WASA 2006: 341-352
37 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. Computers and Artificial Intelligence 25(5): (2006)
36EEKeun-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)
35EEChul-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
34EEHyun 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
33EEIl-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
32EEIl-Gon Kim, Jin-Young Choi: Model Checking of RADIUS Protocol in Wireless Networks. IEICE Transactions 88-B(1): 397-398 (2005)
31EEKi-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)
30EEHyun-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 Distrib. Comput. 65(11): 1348-1365 (2005)
29EEHojung 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. Wireless Networks 11(3): 265-274 (2005)
28EEIl-Gon Kim, Jin-Young Choi: Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking. AINA (2) 2004: 264-269
27EEJin 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
26EEYerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi: Sound Code Generation from Communicating Hybrid Models. HSCC 2004: 432-447
25EEKi-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
24 Young Ah Ahn, Jin-Young Choi: FDR verification of ESANP protocol in Ad hoc Network. SNPD 2004: 141-145
23 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
22 Sung-Ho Jang, Ki-Seok Bang, Jin-Young Choi: SSR : Statechart with shared resources. HCC 2003: 198-200
21EEHee-Jun Yoo, Jin-Young Choi: Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis. PaCT 2003: 180-184
20EESung-Jae Kim, Jin-Young Choi: Formal Modeling for a Real-Time Scheduler and Schedulability Analysis. PaCT 2003: 253-258
19EESpyros A. Reveliotis, Jin-Young Choi: On the Optimality of Randomized Deadlock Avoidance Policies. Discrete Event Dynamic Systems 13(4): 303-320 (2003)
18EEHyun-Wook Jin, Chuck Yoo, Jin-Young Choi: Firmware-Level Latency Analysis on a Gigabit Network. The Journal of Supercomputing 26(1): 59-75 (2003)
17 Jin-Young Choi, Spyros A. Reveliotis: An Analytical Investigation of the Scheduling Problem for Capacitated Re-Entrant Lines. ICRA 2002: 3193-3198
16EEHyun-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
15 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
14 Jin-Young Choi, Hee Yong Youn, Soonuk Seol, Chuck Yoo: Distributed Test using Logical Clock. FORTE 2001: 69-84
13 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
12EENojun Kwak, Chong-Ho Choi, Jin-Young Choi: Feature Extraction Using ICA. ICANN 2001: 568-576
11EEKi-Seok Bang, Jin-Young Choi, Chuck Yoo: Comments on 'The Model Checker SPIN'. IEEE Trans. Software Eng. 27(6): 573-576 (2001)
10EEMyung-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
9EEJin-Young Choi, Hee-Hwan Kwak, Insup Lee: A Framework for Embedded Real-Time System Design. IPDPS Workshops 2000: 738-742
8EEHee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky: Symbolic Schedulability Analysis of Real-Time Systems. IEEE Real-Time Systems Symposium 1998: 409-
7 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 Systems 15(3): 189-219 (1998)
6EEChul-Jin Ahn, Seong-Uk Choi, Myong-Soon Park, Jin-Young Choi: The Design and Evaluation of Policy-Controllable Buffer Cache. ICPADS 1997: 764-771
5EESung-Mook Lim, Jin-Young Choi: Specification and verification of real-time systems using ACSR-VP. RTCSA 1997: 135-142
4 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)
3 Min Woong Hwang, Jin-Young Choi: Evolutionary Learning Algorithm for Projection Neural Networks. SEAL 1996: 136-145
2 Jin-Young Choi, Insup Lee, Hong-liang Xie: The Specification and Schedulability Analysis of Real-Time Systems using ACSR. IEEE Real-Time Systems Symposium 1995: 266-275
1 Hanêne Ben-Abdallah, Insup Lee, Jin-Young Choi: A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. IEEE Real-Time Systems Symposium 1995: 276-287

Coauthor Index

1Chul-Jin Ahn [6]
2Young Ah Ahn [24] [27]
3Pavan Balaji [30]
4Ki-Seok Bang [10] [11] [16] [22] [25] [31]
5Hanêne Ben-Abdallah [1] [7]
6Patrice Brémond-Grégoire [4]
7Hojung Cha [16] [29]
8Sung Deok Cha [58]
9Chong-Ho Choi [12]
10Seong-Uk Choi [6]
11Tai-Myung Chung (Tai-Myoung Chung) [57]
12Duncan Clarke [7]
13Keun-Hee Han [33] [36] [41]
14Young-Ju Han [57]
15Yerang Hur [26]
16Min Woong Hwang [3]
17Sung-Ho Jang [22] [25]
18Chul-Wuk Jeon [35]
19Sang-Hun Jeon [36]
20Jin-Hwan Jeong [29]
21Hyun-Wook Jin [16] [18] [30] [31]
22Sung-Min Jung [57]
23Maxim O. Kalinin [37]
24Inhye Kang [10] [33] [37] [44]
25Miyoung Kang [37]
26Chang Jin Kim [39] [45]
27Hyun Seok Kim [34] [41] [42] [43] [44] [46] [47] [49] [51] [52] [55] [56]
28Il-Gon Kim [23] [28] [32] [33] [34] [35] [36] [37] [41] [44]
29Jee-In Kim [13]
30Jesung Kim [26]
31Ji-Young Kim [13]
32Jin Hyun Kim [13] [27] [45] [50] [54]
33Jin-Woo Kim [43]
34Moonzoo Kim [58]
35Soo-Kyun Kim [59]
36Sung-Jae Kim [20]
37Young-Ho Kim [13]
38Young-Si Kim [7]
39Hee-Hwan Kwak [8] [9] [15]
40Nojun Kwak [12]
41Insup Lee [1] [2] [4] [7] [8] [9] [15] [26] [58]
42Ji-Yeon Lee [33] [44]
43Jongmin Lee [29]
44Kang-Won Lee [36]
45Na-Young Lee [27]
46Song-Hee Lee [38] [53] [59]
47Su-Young Lee [27]
48Sung-Mook Lim [5]
49Young-Joo Moon [33]
50Jongho Nang [29]
51Jeong-Hyun Oh [42]
52Jung-Hyun Oh [43] [46] [47] [52]
53Dhabaleswar K. Panda [30]
54Myong-Soon Park [6]
55Myung-Hwan Park [10]
56Nam-Sup Park [53] [59]
57Sungyong Park [29]
58Anna Philippou [8] [15]
59Chang Woo Pyo [13]
60Spyros A. Reveliotis [17] [19] [40] [48]
61Elzbieta Roszkowska [48]
62Seok Seo [56]
63Soonuk Seol [14]
64Jae-Hwan Sim [27] [45] [54]
65Oleg Sokolsky [8] [15]
66Mahesh Viswanathan [58]
67Hong-liang Xie [2] [7]
68Jin Seok Yang [27]
69Chuck Yoo [11] [14] [16] [18] [29] [30] [31]
70Hee-Jun Yoo [21]
71Hee Yong Youn [14]
72Dmitry P. Zegzhda [37]
73Peter D. Zegzhda [37]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)