• 446 Citations
  • 12 h-Index
1994 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2020

Malware Detection in Self-Driving Vehicles Using Machine Learning Algorithms

Park, S. & Choi, J. Y., 2020 Jan 1, In : Journal of Advanced Transportation. 2020, 3035741.

Research output: Contribution to journalArticle

Open Access
2019

Improving TCP performance in vehicle-to-grid (V2G) communication

Park, J., Kim, H. & Choi, J. Y., 2019 Nov, In : Electronics (Switzerland). 8, 11, 1206.

Research output: Contribution to journalArticle

Open Access
2018

Automatic prevention of buffer overflow vulnerability using candidate code generation

Jang, Y. S. & Choi, J. Y., 2018 Dec 1, In : IEICE Transactions on Information and Systems. E101D, 12, p. 3005-3018 14 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Constraint solving approach to schedulability analysis in real-time systems

Lee, H. & Choi, J. Y., 2018 Jan 1, In : IEEE Access. 6, p. 58418-58426 9 p., 8485678.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Reliable approximated number system with exact bounds and three-valued logic

Cha, R., Nam, W. & Choi, J. Y., 2018 Nov 1, In : Computer Systems Science and Engineering. 33, 6, p. 447-455 9 p.

Research output: Contribution to journalArticle

2017

Formal specification and verification of system of systems using UPPAAL: A case study of a defensive missile systems

Jang, J. H. & Choi, J. Y., 2017, In : Journal of Communications. 12, 8, p. 482-488 7 p.

Research output: Contribution to journalArticle

2016

A verification method of SDN firewall applications

Kang, M., Choi, J. Y., Kang, I., Kwak, H. H., Ahn, S. J. & Shin, M. K., 2016 Jul 1, In : IEICE Transactions on Communications. E99B, 7, p. 1408-1415 8 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

Hierarchical system schedulability analysis framework using UPPAAL

Ahn, S. J., Hwang, D. Y., Kang, M. & Choi, J. Y., 2016 Aug 1, In : IEICE Transactions on Information and Systems. E99D, 8, p. 2172-2176 5 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
2015

Formal synthesis of application and platform behaviors of embedded software systems

Kim, J., Kang, I., Choi, J. Y., Lee, I. & Kang, S., 2015 May 1, In : Software and Systems Modeling. 14, 2, p. 839-859 21 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)
2014

Detecting SQL injection attacks using query result size

Jang, Y. S. & Choi, J. Y., 2014 Jan 1, In : Computers and Security. 44, p. 104-118 15 p.

Research output: Contribution to journalArticle

18 Citations (Scopus)

Monitoring translation lookahead buffers to detect code injection attacks

Ahn, Y., Lee, Y., Choi, J. Y., Lee, K. H. & Ahn, D., 2014 Jan 1, In : Computer. 47, 7, p. 66-72 7 p., 6560060.

Research output: Contribution to journalArticle

4 Citations (Scopus)
2 Citations (Scopus)

Using a process algebraic approach of verifying access control in XML-based healthcare systems

Lee, J. Y., Choi, J. Y., Kim, I. G. & Bang, K. S., 2014 Aug 1, In : Journal of Research and Practice in Information Technology. 46, 2-3, p. 107-117 11 p.

Research output: Contribution to journalArticle

2013

Deriving system behavior from UML state machine diagram: Applied to Missile project

Min, H. S., Chung, S. M. & Choi, J. Y., 2013 Apr 5, In : Journal of Universal Computer Science. 19, 1, p. 53-77 25 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
2012

Secure communication in IPTV broadcasting

Lee, S. H., Park, N. S. & Choi, J. Y., 2012 Oct 1, In : Journal of Supercomputing. 62, 1, p. 42-52 11 p.

Research output: Contribution to journalArticle

2011

Improved user authentication scheme with user anonymity forwireless communications

Kang, M., Rhee, H. S. & Choi, J. Y., 2011 Feb 1, In : IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E94-A, 2, p. 860-864 5 p.

Research output: Contribution to journalArticle

15 Citations (Scopus)

Spatial modelling for mobile robot's vision-based navigation

Yoo, D. Y., Choi, J. Y., Lee, J. K., Ahn, S. & Chung, J. W., 2011 Jul 1, In : Journal of Intelligent and Robotic Systems: Theory and Applications. 63, 1, p. 131-147 17 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)
2010

A novel meta predictor design for hybrid branch prediction

Jung Ahn, Y., Yon Hwang, D., Suk Lee, Y., Choi, J. Y. & Lee, K. H., 2010 Feb 1, In : WSEAS Transactions on Computers. 9, 2, p. 144-153 10 p.

Research output: Contribution to journalArticle

Timed and Resource-oriented Statecharts for embedded software

Kim, J., Kang, I., Choi, J. Y. & Lee, I., 2010 Nov 1, In : IEEE Transactions on Industrial Informatics. 6, 4, p. 568-578 11 p., 5546925.

Research output: Contribution to journalArticle

18 Citations (Scopus)

UML behavior models of real-time embedded software for Model-Driven Architecture

Kim, J., Choi, J. Y., Kang, I. & Lee, I., 2010 Dec 23, In : Journal of Universal Computer Science. 16, 17, p. 2415-2434 20 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)
2009

Anisotropic domain-wall dynamics in proton-irradiated KH2PO4

Kim, S. H., Oh, B. H., Han, J. H., Lee, C. E., Choi, J. Y., Hahn, K. D., Jang, C. Y., Youn, B. H. & Kim, J., 2009 Nov 1, In : Current Applied Physics. 9, 6, p. 1307-1309 3 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

Cooperative regulation of ADE3 transcription by Gcn4p and Bas1p in Saccharomyces cerevisiae

Joo, Y. J., Kim, J. A., Baek, J. H., Seong, K. M., Han, K. D., Song, J. M., Choi, J. Y. & Kim, J., 2009 Aug 1, In : Eukaryotic Cell. 8, 8, p. 1268-1277 10 p.

Research output: Contribution to journalArticle

10 Citations (Scopus)

Efficient organic photovoltaic cells with nano-domain control of the interpenetrating network morphology through post-thermal treatment

Kim, N., Oh, I. H., Yoon, S., Lee, C. E., Choi, J. Y., Youn, B. H., Jang, C. Y. & Kim, J., 2009 Dec 1, In : Journal of the Korean Physical Society. 55, 6 PART. 1, p. 2654-2658 5 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Enhanced password-based simple three-party key exchange protocol

Kim, H. S. & Choi, J. Y., 2009 Jan 1, In : Computers and Electrical Engineering. 35, 1, p. 107-114 8 p.

Research output: Contribution to journalArticle

51 Citations (Scopus)

Model checking of real-time properties of resource-bound process algebra

Park, J., Lee, J., Choi, J. Y. & Lee, I., 2009 Nov, In : IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. E92-A, 11, p. 2781-2789 9 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
2008

Formal implementation of a performance evaluation model for the face recognition system

Shin, Y. N., Kim, J., Lee, Y. J., Shin, W. & Choi, J. Y., 2008 Feb 4, In : Journal of Biomedicine and Biotechnology. 2008, 1, 742504.

Research output: Contribution to journalArticle

1 Citation (Scopus)

Resource-Oriented Design Framework for Embedded System Components

Kim, J. H., Sim, J. H. & Choi, J. Y., 2008 Jun 29, In : Electronic Notes in Theoretical Computer Science. 215, C, p. 171-189 19 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Secure handover protocol for mobile WiMAX networks

Lee, S. H., Park, N. S. & Choi, J. Y., 2008 Jan 1, In : IEICE Transactions on Information and Systems. E91-D, 12, p. 2875-2879 5 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
2007

Interface Mn nanoclusters in YMnO3/Si ferroelectric gate structures revealed by electron magnetic resonance

Lee, C. H., Kim, S. H., Choi, J. Y. & Kim, J., 2007 Jan 1, In : Current Applied Physics. 7, 1, p. 10-12 3 p.

Research output: Contribution to journalArticle

Low-frequency critical dynamics in (CnH2n+1NH3)2SnCl6 model biomembrane systems

Lee, K. W., Lee, C. E., Choi, J. Y. & Kim, J., 2007 Jan 1, In : Current Applied Physics. 7, 1, p. 31-33 3 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)
2006

Formal verification of security model using SPR tool

Kim, I. G., Kang, M., Choi, J. Y., Zegzhda, P. D., Kalinin, M. O., Zegzhda, D. P. & Kang, I., 2006 Dec 8, In : Computing and Informatics. 25, 5, p. 353-368 16 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Genomic structure and transcriptional studies on the mouse ribosomal protein S3 gene: Expression of U15 small nucleolar RNA

Lee, S. M., Kim, M., Moon, E. P., Lee, B. J., Choi, J. Y. & Kim, J., 2006 Mar 1, In : Gene. 368, 1-2, p. 12-20 9 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

Threat evaluation method for distributed network environment

Han, K. H., Kim, I. G., Lee, K. W., Choi, J. Y. & Jeon, S. H., 2006 Jul 1, In : Journal of Information Science and Engineering. 22, 4, p. 889-902 14 p.

Research output: Contribution to journalArticle

2005

A video streaming system for mobile phones: Practice and experience

Cha, H., Lee, J., Nang, J., Park, S. Y., Jeong, J. H., Yoo, C. & Choi, J. Y., 2005 May 1, In : Wireless Networks. 11, 3, p. 265-274 10 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)

Development of threat evaluation tool for distributed network environment

Han, K. H., Kim, I. G., Lee, K. W., Choi, J. Y. & Jeon, S. H., 2005 Nov 28, In : Computing and Informatics. 24, 2, p. 109-121 13 p.

Research output: Contribution to journalArticle

Distinct critical fluctuations and molecular motions manifest in a model biomembrane

Lee, K. W., Lee, C. E., Choi, J. Y. & Kim, J., 2005 Jan 1, In : Solid State Communications. 133, 2, p. 83-88 6 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)

Exploiting NIC architectural support for enhancing IP-based protocols on high-performance networks

Jin, H. W., Balaji, P., Yoo, C., Choi, J. Y. & Panda, D. K., 2005 Nov 1, In : Journal of Parallel and Distributed Computing. 65, 11, p. 1348-1365 18 p.

Research output: Contribution to journalArticle

14 Citations (Scopus)

Model checking of RADIUS protocol in wireless networks

Kim, I. G. & Choi, J. Y., 2005 Jan 1, In : IEICE Transactions on Communications. E88-B, 1, p. 397-398 2 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

NMR study of distinct phase transitional behaviors in (C nH 2n+1NH 3) 2SnCl 6

Lee, K. W., Lee, C. E., Choi, J. Y. & Kim, J., 2005 Jan 1, In : Journal of the Korean Physical Society. 46, 1, p. 245-249 5 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)

Proton-beam irradiation effect in TlH2PO4

Kim, S. H., Lee, K. W., Jang, J. W., Lee, C. E., Choi, J. Y., Lee, K. S. & Kim, J., 2005 Dec 1, In : Physical Review B - Condensed Matter and Materials Physics. 72, 21, 214107.

Research output: Contribution to journalArticle

18 Citations (Scopus)

Rotating-frame nuclear magnetic relaxation in a long-chain model biomembrane (C 18H 37NH 3) 2SnCl 6

Lee, K. W., Lee, C. E., Choi, J. Y. & Kim, J., 2005 Dec 1, In : Journal of the Korean Physical Society. 47, 6, p. 1084-1086 3 p.

Research output: Contribution to journalArticle

System resource utilization analysis based on model checking method

Bang, K. S., Jin, H. W., Chuck-Yoo & Choi, J. Y., 2005 Jun 1, In : Informatica (Ljubljana). 29, 2, p. 219-226 8 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
2004

Answer set semantics for prioritized defaults logic

Yoo, H. J., Bai, M. & Choi, J. Y., 2004 Dec 1, In : IEICE Transactions on Information and Systems. E87-D, 12, p. 2883-2884 2 p.

Research output: Contribution to journalArticle

Development of RTOS for PLC using formal methods

Kim, J. H., Lee, S. Y., Ahn, Y. A., Sim, J. H., Yang, J. S., Lee, N. Y. & Choi, J. Y., 2004 Dec 1, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3299, p. 479-482 4 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
11 Citations (Scopus)
2003

Firmware-level latency analysis on a gigabit network

Jin, H. W., Yoo, H. & Choi, J. Y., 2003 Aug 1, In : Journal of Supercomputing. 26, 1, p. 59-75 17 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)
1 Citation (Scopus)
2002

Electron paramagnetic resonance study reveals a putative iron-sulfur cluster in human rpS3 protein

Lee, C. H., Kim, S. H., Choi, J. I., Choi, J. Y., Lee, C. E. & Kim, J., 2002 Feb 1, In : Molecules and Cells. 13, 1, p. 154-156 3 p.

Research output: Contribution to journalArticle

15 Citations (Scopus)