연구실 목록
최윤자 교수 연구실
Yun-Ja Choi
경북대학교 · 컴퓨터공학과
정보 출처아직 확인되지 않음
교수 소개
최윤자 교수
교수 홈페이지·논문소개
소프트웨어안전공학 연구실의 최윤자 교수는 소프트웨어 안전성 검증(Software Safety Verification)을 연구한다. 2021년부터 과학기술정보통신부 지원 소프트웨어재난연구센터의 센터장으로도 활동하고 있다.
연구 키워드
Software safety engineering: software verificationmodel checkingand testing of embedded/control software
대표 논문
- Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic MapperFSE (ACM International Conference on the Foundations of Software Engineering) · 2026
- PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded SoftwareFSE (ACM International Conference on the Foundations of Software Engineering) · 2024
- Non-Functional Requirements Discovery and Quality Assurance using Goal Model for Earthquake Warning System in OperationRE (IEEE International Requirements Engineering Conference) · 2024
- OS-in-the-Loop verification for multi-tasking control softwareSoftware Testing, Verification and Reliability (STVR) 33(1) · 2023
- Property-based Testing for LG Home Appliances using Accelerated Software-in-the-Loop SimulationICSE SEIP (IEEE/ACM International Conference on Software Engineering, Software Engineering in Practice) · 2020
- Model checking embedded control software using OS-in-the-loop CEGARASE (IEEE/ACM International Conference on Automated Software Engineering) · 2019
같은 학과의 다른 연구실
- 강네이트 교수 연구실
Federated learning & privacy, imbalanced data, AI alignment (LLM)
- 펑리메이 교수 연구실
Cloud/fog/edge computing, optical networks, 5G communications, IoT
- 고석주 교수 연구실
IoT networking and Internet standardization (QUIC/CoAP/AMQP transport, mobility management, 6LoWPAN)
- 권영우 교수 연구실
Edge/serverless computing, distributed systems, and deep learning for disaster detection
- 김구진 교수 연구실
3차원 기하 모델링(geometric modeling), 분자 모델링(molecular modeling), GPU 병렬 프로그래밍
- 김동균 교수 연구실
AI-based intelligent networks, wireless & mobile internet (MONET Lab)