• 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

2020

Formal modeling and verification of software-defined networking with multiple controllers

Kang, M. & Choi, J. Y., 2020 Jan 1, Testbeds and Research Infrastructures for the Development of Networks and Communications - 14th EAI International Conference, TridentCom 2019, Proceedings. Gao, H., Li, K., Yang, X. & Yin, Y. (eds.). Springer, p. 81-94 14 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 309 LNICST).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Risk and avoidance strategy for blocking mechanism of SDN-based security service

Byun, M., Lee, Y. & Choi, J. Y., 2019 Apr 29, 21st International Conference on Advanced Communication Technology: ICT for 4th Industrial Revolution!, ICACT 2019 - Proceeding. Institute of Electrical and Electronics Engineers Inc., p. 187-190 4 p. 8701887. (International Conference on Advanced Communication Technology, ICACT; vol. 2019-February).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

MemPatrol: Reliable sideline integrity monitoring for high-performance systems

Nam, M. J., Nam, W., Choi, J. Y. & Akritidis, P., 2017, Detection of Intrusions and Malware, and Vulnerability Assessment - 14th International Conference, DIMVA 2017, 2017. Springer Verlag, Vol. 10327 LNCS. p. 48-69 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10327 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 modeling and verification for SDN firewall application using pACSR

Kang, M., Choi, J. Y., Kwak, H. H., Kang, I., Shin, M. K. & Yi, J. H., 2015, Electronics, Communications and Networks IV - Proceedings of the 4th International Conference on Electronics, Communications and Networks, CECNet2014. CRC Press/Balkema, p. 155-161 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

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)

Verification for NFV-enabled network services

Shin, M. K., Choi, Y., Kwak, H. H., Pack, S., Kang, M. & Choi, J. Y., 2015 Dec 11, International Conference on ICT Convergence 2015: Innovations Toward the IoT, 5G, and Smart Media Era, ICTC 2015. Institute of Electrical and Electronics Engineers Inc., p. 810-815 6 p. 7354672

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 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)

Formal modeling and verification of SDN-OpenFlow

Kang, M., Kang, E. Y., Hwang, D. Y., Kim, B. J., Nam, K. H., Shin, M. K. & Choi, J. Y., 2013 Sep 9, p. 481-482. 2 p.

Research output: Contribution to conferencePaper

14 Citations (Scopus)
2012

Formal specifications for software-defined networking

Kang, M., Park, J., Shin, J., Nam, K. H., Shin, M. K. & Choi, J. Y., 2012 Oct 26, Proceedings of the 7th International Conference on Future Internet Technologies, CFI'12. 1 p. (Proceedings of the 7th International Conference on Future Internet Technologies, CFI'12).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Process algebraic specification of software defined networks

Kang, M., Park, J., Choi, J. Y., Nam, K. H. & Shin, M. K., 2012 Oct 17, Proceedings - 2012 4th International Conference on Computational Intelligence, Communication Systems and Networks, CICSyN 2012. p. 359-363 5 p. 6274368

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

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)

Secure communication between STB and smart card in IPTV broadcasting

Lee, S. H., Park, N. S. & Choi, J. Y., 2011 Jan 1, Computer Science Research and Technology. Nova Science Publishers, Inc., p. 181-189 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

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 method of measuring the propagation of damage to information communication system

Yoo, D. Y., Yi, W. S., Lee, G. S. & Choi, J. Y., 2010 Sep 17, 2nd International Conference on Software Engineering and Data Mining, SEDM 2010. p. 192-196 5 p. 5542928

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

A process algebraic framework for modeling resource demand and supply

Philippou, A., Lee, I., Sokolsky, O. & Choi, J. Y., 2010 Nov 8, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6246 LNCS. p. 183-197 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6246 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Experiences on requirements analysis of railway signaling systems based on formal methods

Lee, J., Lee, H., Choi, J. Y. & Yoon, Y., 2010, 17th ITS World Congress. Intelligent Transport Systems (ITS)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Modeling autonomous military robots using hybrid system framework

Lee, J., Cha, R., Han, Y., Nam, W., Choi, J. Y., Kim, W. T. & Park, S. M., 2010 Dec 1, 2010 International Conference on Information and Communication Technology Convergence, ICTC 2010. p. 429-430 2 p. 5674805

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Security analysis of smart card based password authentication schemes

Kim, H. S., Seo, S. & Choi, J. Y., 2010 Oct 11, Proceedings - 3rd International Conference on Information Sciences and Interaction Sciences, ICIS 2010. p. 352-356 5 p. 5534807

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

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)

Automatic consistency checking of use case scenarios

Min, H. & Choi, J. Y., 2009 Dec 1, Proceedings of the 13th IASTED International Conference on Software Engineering and Applications, SEA 2009. p. 166-173 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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)

Cryptanalysis of secure key exchange protocol between STB and Smart card in IPTV broadcasting

Lee, S. H., Park, N. S., Kim, S. K. & Choi, J. Y., 2009 Nov 9, Advances in Information Security and Assurance - Third International Conference and Workshops, ISA 2009, Proceedings. p. 797-803 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5576 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 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)

FMIPv6 based secure binding update authentication in wireless vehicular networks

Lee, S. H., Choi, J. Y. & Park, N. S., 2009 Jan 1, 2009 4th International Symposium on Wireless and Pervasive Computing, ISWPC 2009. IEEE Computer Society, 4800584. (2009 4th International Symposium on Wireless and Pervasive Computing, ISWPC 2009).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

A calculus to reduce spatial and temporal complexity for specification and analysis of complex real-time systems

Choi, J., Choi, J. Y., On, J. & Lee, M., 2008 Dec 26, Proceedings - 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008. Vol. 1. p. 8-13 6 p. 4623969

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A lightweight protocol analysis and modification for secure RFID system

Kim, H. S. & Choi, J. Y., 2008 Dec 26, Proceedings - International Conference on Computer Communications and Networks, ICCCN. p. 958-962 5 p. 4674336

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Biometric handshake protocol on telebiometric system mechanism for national infrastructure

Shin, Y. N., Lee, Y. J., Shin, W. & Choi, J. Y., 2008 Sep 15, Proceedings of the 2nd International Conference on Information Security and Assurance, ISA 2008. p. 57-60 4 p. 4511534

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Designing fingerprint-recognition-based access control for electronic medical records systems

Shin, Y., Lee, Y., Shin, W. & Choi, J. Y., 2008 Sep 1, Proceedings - International Conference on Advanced Information Networking and Applications, AINA. p. 106-110 5 p. 4482898

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

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)

Formal verification of cryptographic protocol for secure RFID system

Kim, H. S., Oh, J. H., Kim, J. B., Jeong, Y. O. & Choi, J. Y., 2008 Dec 29, Proceedings - 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008. p. 470-477 8 p. 4624188. (Proceedings - 4th International Conference on Networked Computing and Advanced Information Management, NCM 2008; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (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)