이 연구실은 SMT 솔버와 재작성 논리를 결합하여 신호 시간 논리 (STL) 기반의 강건한 모델 체킹 및 하이브리드 시스템 분석에 집중하고 있습니다. 또한, 프로그래머블 로직 컨트롤러 (PLC), 분산 시스템, 그리고 동시성 객체 지향 시스템 등 다양한 공학 도메인의 형식적 의미론과 정밀한 검증 기법을 개발하는 것을 주요 목표로 하고 있습니다.
FWCI(Field-Weighted Citation Impact)는 같은 분야·연도·논문 유형의 세계 평균을 1.0으로 놓고 비교한 값입니다. 분야 보정이 되어 있어 학회 논문과 저널 논문, 전산학과 재료공학을 같은 잣대로 볼 수 있습니다. 논문 39편 중 38편에 대해 산출됐습니다.
논문 유형
학회 논문 20저널 논문 17책 챕터 2
연도별 논문
주도 (교신·마지막저자)참여
2026년 · 주도 3편 · 참여 2편
연구 계통도
Software는 2025년 이후 논문이 없습니다. 지금도 하고 있는 줄 알고 지원하면 헛걸음입니다.
가로축은 연도, 점 크기는 그 해 논문 수입니다. 실선은 지금도 이어지는 줄기, 점선과 빈 동그라미는 2025년 전에 끊긴 줄기입니다. 논문 2편 이하인 분야 2개(2편)는 단발성 협업으로 보아 그리지 않았습니다.
전국 대학 · 전 분야