Yunja Choi. Kyungpook National University. Verified email at knu.ac.kr - Homepage · Formal VerificationModel CheckingModel-based TestingEmbedded ...
Profile · 2021-Present: Kyungpook National University Software Disaster Research Center Center Director · 2006-Present: Professor, Shcool of Computer Science ...
Oct 7, 2024 · Yunja Choi: A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems.
She is currently a Professor with the School of Computer Science and Engineering, Kyungpook National University, Daegu, South Korea. Her research interests ...
Name:Yunja Choi Country:South Korea Affiliation:Kyungpook National University Personal website: https://sselab.knu.ac.kr/ Research interests:Software Safety, ...
Yunja Choi
Affiliation: Kyungpook National University
Research interests: Formal Verification, Model Checking, Model-based Testing, and more
Yunja Choi · Most frequent co-Author · Most cited colleague · Most frequent Affiliation.
Yunja Choi's 40 research works with 311 citations, including: Comparison of False Alarm Detection using KLEE and CBMC for Effective Multitask Program ...
Yunja Choi · Works at Cultural Tour Guide · Studied at 경북대학교(Kyungpook National University) · Went to wonwha · See more about Yunja.
Name:Yunja Choi ; Country:South Korea ; Affiliation:Kyungpook National University ; Personal website: https://sselab.knu.ac.kr/ ; Research interests:Software Safety ...
APSEC · Committee Member in Program Committee within the Technical Track-track · Program Co-Chair in Organizing Committee · Show activities from ...