Research output per year
Research output per year
Personal profile
In Korean
최윤자 교수(IT대학 컴퓨터학부)
Education
2003.08: Ph.D. in Computer Science at University of Minnesota, United States.
1999.10: M.S. in Computer Science at University of Minnesota, United States.
1993.02: M.S. in Mathematics at Yonsei University, Korea.
1991.02: B.S. in Mathematics at Yonsei University, Korea. (Minor: Computer Science)
1999.10: M.S. in Computer Science at University of Minnesota, United States.
1993.02: M.S. in Mathematics at Yonsei University, Korea.
1991.02: B.S. in Mathematics at Yonsei University, Korea. (Minor: Computer Science)
Professional Experience
2021.06 ~ present: Director, Software Disaster Research Center, KNU (link)
Research Interests
Software engineering, Software safety analysis, Model checking, software quality assurance, embedded software
url
Fingerprint
Dive into the research topics where Yunja Choi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Message from the General Chair and Program Chairs
Ko, I. Y., Choi, Y. & Yan, M., 2023, In: Proceedings - Asia-Pacific Software Engineering Conference, APSEC. p. XV-XVIResearch output: Contribution to journal › Editorial
Open Access -
OS-in-the-Loop verification for multi-tasking control software
Choi, Y., Jan 2023, In: Software Testing Verification and Reliability. 33, 1, e1834.Research output: Contribution to journal › Article › peer-review
-
멀티태스크 내장형 소프트웨어에 대한 OS-in-the-Loop 동적 심볼릭 테스트
Choi, Y., 2023, In: 정보과학회논문지. 50, p. 140Research output: Contribution to journal › Article › peer-review
-
Message from the General Chairs and Program Chairs
Washizaki, H., Kobayashi, T., Higo, Y. & Choi, Y., 2022, In: Proceedings - Asia-Pacific Software Engineering Conference, APSEC. 2022-December, p. XIV-XVResearch output: Contribution to journal › Editorial
Open Access -
내장형 소프트웨어 모듈의 추상화를 위한 실행 로그기반 점증적 Mock 자동생성
Choi, Y., 2022, In: 정보과학회논문지. 49, p. 1088Research output: Contribution to journal › Article › peer-review