Jin-Young Choi

	2011
74		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 Software Engineering Notes 36(1): 1-9 (2011)
73		Miyoung Kang, Hyun Sook Rhee, Jin-Young Choi: Improved User Authentication Scheme with User Anonymity for Wireless Communications. IEICE Transactions 94-A(2): 860-864 (2011)
	2010
72		Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi: A Process Algebraic Framework for Modeling Resource Demand and Supply. FORMATS 2010: 183-197
71		Spyros A. Reveliotis, Elzbieta Roszkowska, Jin-Young Choi: Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies Through Mathematical Programming. IEEE T. Automation Science and Engineering 7(2): 240-248 (2010)
70		Jin Hyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee: Timed and Resource-oriented Statecharts for Embedded Software. IEEE Trans. Industrial Informatics 6(4): 568-578 (2010)
69		Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee: UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture. J. UCS 16(17): 2415-2434 (2010)
	2009
68		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
67		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
66		Hyun Seok Kim, Jin-Young Choi: Enhanced password-based simple three-party key exchange protocol. Computers & Electrical Engineering 35(1): 107-114 (2009)
65		Junkil Park, Jungjae Lee, Jin-Young Choi, Insup Lee: Model Checking of Real-Time Properties of Resource-Bound Process Algebra. IEICE Transactions 92-A(11): 2781-2789 (2009)
64		Yerang Hur, Jae-Hwan Sim, Jesung Kim, Jin-Young Choi: Ensuring Sound Numerical Simulation of Hybrid Automata. JCSE 3(2): 73-87 (2009)
	2008
63		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
62		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
61		Hyun Seok Kim, Seok Seo, Jin-Young Choi: Weaknesses Analysis and Countermeasure of a Verifier-Based Key Agreement Protocol. HPCC 2008: 1015-1018
60		Hyun Seok Kim, Jin-Young Choi: A Lightweight Protocol Analysis and Modification for Secure RFID System. ICCCN 2008: 958-962
59		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
58		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
57		Jin 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)
56		Song-Hee Lee, Nam-Sup Park, Jin-Young Choi: Secure Handover Protocol for Mobile WiMAX Networks. IEICE Transactions 91-D(12): 2875-2879 (2008)
	2007
55		Jung-Hyun Oh, Hyun Seok Kim, Jin-Young Choi: A Secure Communication Protocol for Low-Cost RFID System. CIT 2007: 949-954
54		Hyun Seok Kim, Jin-Young Choi: The Design and Verification of RFID Authentication Protocol for Ubiquitous Computing. DEXA Workshops 2007: 693-697
53		Jin Hyun Kim, Jin-Young Choi: Embedded System Modeling Based on Resource-Oriented Model. ECBS 2007: 203-212
52		Hyun Seok Kim, Jin-Young Choi: Security and Privacy Analysis of RFID Authentication Protocol for Ubiquitous Computing. ICCCN 2007: 1359-1363
51		Spyros A. Reveliotis, Elzbieta Roszkowska, Jin-Young Choi: Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems. ICRA 2007: 991-996
50		Hyun Seok Kim, Jung-Hyun Oh, Jin-Young Choi: RFID Privacy Protection Scheme for Secure Ubiquitous Computing. IWRT 2007: 117-124
49		Jung-Hyun Oh, Hyun Seok Kim, Jin-Young Choi: A Light-weight Security Protocol for RFID System. PWC 2007: 384-395
48		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
	2006
47		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
46		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
45		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
44		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
43		Spyros 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
42		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
41		Song-Hee Lee, Jin-Young Choi: A Medium Access Control Scheme for Providing Reliability in Wireless Ad Hoc Networks. WASA 2006: 341-352
40		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): 353-368 (2006)
39		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)
	2005
38		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
37		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
36		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
35		Jin-Young Choi, Spyros A. Reveliotis: Relative value function approximation for the capacitated re-entrant line scheduling problem. IEEE T. Automation Science and Engineering 2(3): 285-299 (2005)
34		Il-Gon Kim, Jin-Young Choi: Model Checking of RADIUS Protocol in Wireless Networks. IEICE Transactions 88-B(1): 397-398 (2005)
33		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)
32		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 Distrib. Comput. 65(11): 1348-1365 (2005)
31		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. Wireless Networks 11(3): 265-274 (2005)
	2004
30		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
29		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
28		Yerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi: Sound Code Generation from Communicating Hybrid Models. HSCC 2004: 432-447
27		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
26		Young Ah Ahn, Jin-Young Choi: FDR verification of ESANP protocol in Ad hoc Network. SNPD 2004: 141-145
25		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
24		Hee-Jun Yoo, Mino Bai, Jin-Young Choi: Answer Set Semantics for Prioritized Defaults Logic. IEICE Transactions 87-D(12): 2883-2884 (2004)
	2003
23		Sung-Ho Jang, Ki-Seok Bang, Jin-Young Choi: SSR : Statechart with shared resources. HCC 2003: 198-200
22		Hee-Jun Yoo, Jin-Young Choi: Process Algebraic Model of Superscalar Processor Programs for Instruction Level Timing Analysis. PaCT 2003: 180-184
21		Sung-Jae Kim, Jin-Young Choi: Formal Modeling for a Real-Time Scheduler and Schedulability Analysis. PaCT 2003: 253-258
20		Spyros A. Reveliotis, Jin-Young Choi: On the Optimality of Randomized Deadlock Avoidance Policies. Discrete Event Dynamic Systems 13(4): 303-320 (2003)
19		Jin-Young Choi, Spyros A. Reveliotis: A generalized stochastic Petri net model for performance analysis and control of capacitated reentrant lines. IEEE Transactions on Robotics 19(3): 474-480 (2003)
18		Hyun-Wook Jin, Chuck Yoo, Jin-Young Choi: Firmware-Level Latency Analysis on a Gigabit Network. The Journal of Supercomputing 26(1): 59-75 (2003)
	2002
17		Jin-Young Choi, Spyros A. Reveliotis: An Analytical Investigation of the Scheduling Problem for Capacitated Re-Entrant Lines. ICRA 2002: 3193-3198
16		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
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
12		Nojun Kwak, Chong-Ho Choi, Jin-Young Choi: Feature Extraction Using ICA. ICANN 2001: 568-576
11		Ki-Seok Bang, Jin-Young Choi, Chuck Yoo: Comments on 'The Model Checker SPIN'. IEEE Trans. Software Eng. 27(6): 573-576 (2001)
	2000
10		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
9		Jin-Young Choi, Hee-Hwan Kwak, Insup Lee: A Framework for Embedded Real-Time System Design. IPDPS Workshops 2000: 738-742
	1998
8		Hee-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)
	1997
6		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
5		Sung-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)
	1996
3		Min Woong Hwang, Jin-Young Choi: Evolutionary Learning Algorithm for Projection Neural Networks. SEAL 1996: 136-145
	1995
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

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

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page