Jin Young Choi

View Scopus Profile

Jin Young Choi

Professor

Calculated based on number of publications stored in Pure and citations from Scopus
1994 …2024

Research activity per year

Filter
Chapter

Search results

  • 2011

    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 proceeding › Chapter

  • 2004

    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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wang, F. (ed.). Springer Verlag, p. 479-482 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3299).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    1 Citation (Scopus)

  • Sound code generation from communicating hybrid models

    Hur, Y., Kim, J., Lee, I. & Choi, J. Y., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Pappas, G. J. (eds.). Springer Verlag, p. 432-447 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2993).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    12 Citations (Scopus)
  • 2003

    Formal modeling for a real-time scheduler and schedulability analysis

    Kim, S. J. & Choi, J. Y., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Malyshkin, V. (ed.). Springer Verlag, p. 253-258 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2763).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    2 Citations (Scopus)

  • Process algebraic model of superscalar processor programs for instruction level timing analysis

    Yoo, H. J. & Choi, J. Y., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Malyshkin, V. (ed.). Springer Verlag, p. 180-184 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2763).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter