오픈소스 JMRI를 이용한 열차 디오라마 적응형 순항 제어 시스템 (사용 언어 Java)
모형 열차와 아두이노를 활용한 열차 적응형 순항 제어 시스템 (사용 언어 C, Java)
모형 열차와 아두이노를 활용한 열차 역방향 자동 제어 시스템 (사용 언어 C, Java)
모형 열차와 아두이노를 활용한 열차 순방향 자동 제어 시스템 (사용 언어 C, Java)
모형 열차와 아두이노를 활용한 열차 건널목 시스템 (사용 언어 C, Java)
오픈소스 sat4j를 이용한 Sudoku(게임) 자동 풀이 소프트웨어 (사용 언어 Java)
오픈소스 sat4j를 이용한 Numbers Puzzle(게임) 풀이 전략 자동 생성 소프트웨어 (사용 언어 Java)
오픈소스 JTLV를 이용한 Theseus and the Minotaur(게임) 풀이 전략 자동 생성 소프트웨어 (사용 언어 Java)
Theseus and the Minotaur 게임 풀이를 위한 모델 검증 도구 NuSMV 코드 자동 생성 소프트웨어 (사용 언어 Java)