2018

,

주어진 성능 요구 조건을 만족하는 시스템의 효율적인 설계법

2017

,

Efficient selecting optimal subset including rank order within the subset

2016

,

다양한 요구조건을 만족하는 디자인을 찾기 위한 효율적인 알고리즘

2016

,

가설 검증법을 적용한 확률적 시뮬레이션 기반의 파레토 최적화

2016

,

Runtime verification of analog and mixed-signal circuits using DEVS models