郑衍松 鄭衍鬆
정연송
2015년 创客工厂——中关村 創客工廠——中關村 창객공엄——중관촌
2011년 GOSBMB:基于客户操作系统行为的虚拟机内存均衡方法 GOSBMB:基于客戶操作繫統行為的虛擬機內存均衡方法 GOSBMB:기우객호조작계통행위적허의궤내존균형방법
2011년 基于固件的系统芯片协同验证平台 基于固件的繫統芯片協同驗證平檯 기우고건적계통심편협동험증평태
2010년 MDCI:基于多粒度动态控制流不变式的硬件故障局部化 MDCI:基于多粒度動態控製流不變式的硬件故障跼部化 MDCI:기우다립도동태공제류불변식적경건고장국부화
2010년 FaLoFiN:基于不确定性过滤的硬件故障局部化方法 FaLoFiN:基于不確定性過濾的硬件故障跼部化方法 FaLoFiN:기우불학정성과려적경건고장국부화방법