| 2007 | COMPSAC | A Semantic Anchoring Infrastructure for the Design of Embedded Systems. | Graham Hemingway, Hang Su, Kai Chen, Tak-John Koo |
| 2006 | ATVA | Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems. | Hang Su, Graham Hemingway, Kai Chen, Tak-John Koo |
| 2006 | ICRA | Sensor Selection and Placement for Failure Diagnosis in Networked Aerial Robots. | Nagarajan Kandasamy, Fadi A. Aloul, Tak-John Koo |
| 2005 | ATVA | Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach. | Abhishek Dubey, Xianbin Wu, Hang Su, Tak-John Koo |
| 2003 | ICRA | Optimization-based formation reconfiguration planning for autonomous vehicles. | Shannon Zelinski, Tak-John Koo, Shankar Sastry |
| 2002 | EMSOFT | Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems. | Tak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry |
| 2001 | EMSOFT | Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software. | Tak-John Koo, Judith Liebman, Cedric Ma, Shankar Sastry |
| 2001 | ICRA | Vision Based Navigation for an Unmanned Aerial Vehicle. | Bruno Sinopoli, Mario Micheli, Gianluca Donato, Tak-John Koo |