• 455 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
Paper
2013

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, p. 481-482. 2 p.

Research output: Contribution to conferencePaper

14 Citations (Scopus)
2006

Analysis of the RFID security protocol for secure smart home network

Kim, H. S., Oh, J. H. & Choi, J. Y., 2006, p. 356-363. 8 p.

Research output: Contribution to conferencePaper

8 Citations (Scopus)
1998

Symbolic schedulability analysis of real-time systems

Kwak, H. H., Lee, I., Philippou, A., Choi, J. Y. & Sokolsky, O., 1998, p. 409-418. 10 p.

Research output: Contribution to conferencePaper

16 Citations (Scopus)
1997

Design and evaluation of policy-controllable buffer cache

Ahn, C. J., Choi, S. U., Park, M. S. & Choi, J. Y., 1997, p. 764-771. 8 p.

Research output: Contribution to conferencePaper

2 Citations (Scopus)

Specification and verification of real-time systems using ACSR-VP

Lim, S. M. & Choi, J. Y., 1997, p. 135-142. 8 p.

Research output: Contribution to conferencePaper

3 Citations (Scopus)
1995

Graphical language with formal semantics for the specification and analysis of real-time systems

Ben-Abdallah, H., Lee, I. & Choi, J. Y., 1995, p. 276-286. 11 p.

Research output: Contribution to conferencePaper

9 Citations (Scopus)

Specifications and schedulability analysis of real-time systems using ACSR

Choi, J. Y., Lee, I. & Xie, H. L., 1995, p. 266-275. 10 p.

Research output: Contribution to conferencePaper

17 Citations (Scopus)