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

Fingerprint Dive into the research topics where Jin Young Choi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles
Network protocols Engineering & Materials Science
Authentication Engineering & Materials Science
Real time systems Engineering & Materials Science
Model checking Engineering & Materials Science
Radio frequency identification (RFID) Engineering & Materials Science
Specifications Engineering & Materials Science
Algebra Engineering & Materials Science
Embedded systems Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1994 2019

  • 431 Citations
  • 12 h-Index
  • 56 Conference contribution
  • 54 Article
  • 1 Chapter

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

Costs

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

Substitution reactions
Retrofitting
Computer program listings
Monitoring
Code generation

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

Real time systems
Scheduling

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

Numbering systems
Number system
Logic
Range of data
Safety-critical Systems

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

Missiles
Formal methods
Systems engineering
System of systems
Formal verification