|
|
| |
| |
| Research Grants |
| |
與院內合作之計畫 資訊所
| 編號 |
年度 |
計劃名稱 |
主持人 |
協同主持人 |
類別 |
| 1 | 2008/01–2008/12 | SISARL：為健康銀髮族用的感測資訊系統及服務 | 何建明 | 李德財、王柏堯、張韻詩 | 主題研究與人才培育 | | 2 | 2006/01–2006/12 | SISARL：為健康銀髮族用的感測資訊系統及服務 | 何建明 | 張韻詩、王凡、王柏堯 | 主題研究及人才培育 |
與院外合作之計畫 資訊所
| 編號 |
起迄年月 |
計劃編號 |
計劃名稱 |
主持人 |
協同主持人 |
補助單位 |
| 1 | 2014/08–2017/07 | MOST103-2221-E-001-020-MY3 | CompPDR - 性質導向可達性之組合式分析 | 王柏堯 | 陳郁方 | 科技部 | | 2 | 2014/08–2017/07 | MOST103-2221-E-001-019-MY3 | 以自動機和演算式學習為基礎的程式驗證方法 | 陳郁方 | 王柏堯 | 科技部 | | 3 | 2013/08–2014/12 | NSC102-2221-E-001-017 | MRInspector - MapReduce 程式模型上程式及平台之正規分析 | 王柏堯 | | 國科會 | | 4 | 2013/08–2014/10 | NSC102-2221-E-001-018 | 具有遞迴、指標操作、多執行緒特性程式驗證問題之探討 (II) | 陳郁方 | 王柏堯 | 國科會 | | 5 | 2012/08–2013/07 | NSC101-2221-E-001-006 | 形式化程式建構、分析、驗證之方法與應用-子計畫三:APIchecker - 應用程式界面呼叫序列之正規分析(I) | 王柏堯 | | 國科會 | | 6 | 2008/08–2011/10 | NSC97-2221-E-001-003-MY3 | 程式之模組性與擴充性：驗證方法與工具-總計畫 | 莊庭瑞 | 王柏堯、穆信成 | 國科會 | | 7 | 2008/08–2011/07 | NSC97-2221-E-001-006-MY3 | 程式之模組性與擴充性：驗證方法與工具-子計畫四：關於直觀規則語言之組合式分析 | 王柏堯 | | 國科會 | | 8 | 2006/08–2009/07 | NSC95-2221-E-001-024-MY3 | 驗證之規格學習 | 王柏堯 | | 國科會 | | 9 | 2006/05–2007/08 | NSC95-3114-P-001-001-Y02 | 資安科技跨國合作計畫-資通安全跨國合作人才培育與關鍵技術研發計畫 | 李德財 | 王柏堯、陳孟彰 | 國科會 | | 10 | 2005/08–2006/07 | NSC94-2213-E-001-003 | 嵌入式系統之詳述與驗證（3/3） | 王柏堯 | | 國科會 | | 11 | 2004/08–2005/07 | NSC93-2213-E-001-012 | 嵌入式系統之詳述與驗證（2/3） | 王柏堯 | | 國科會 | | 12 | 2003/08–2004/07 | NSC92-2213-E-001-023 | 嵌入式系統之詳述與驗證（1/3） | 王柏堯 | | 國科會 | |
| |
|
|
|
|
|
 |
|
|
|
