中文版
English
研究員  |  王柏堯  
 
contact
vita
education
experience
interests
descriptions
grants
publications
supervised
Personal (New window)
 
 
 
 
 
Research Grants
 

與院內合作之計畫

資訊所
編號 年度 計劃名稱 主持人 協同主持人 類別
12008/01–2008/12SISARL:為健康銀髮族用的感測資訊系統及服務何建明 李德財、王柏堯、張韻詩 主題研究與人才培育
22006/01–2006/12SISARL:為健康銀髮族用的感測資訊系統及服務何建明 張韻詩、王凡、王柏堯 主題研究及人才培育

與院外合作之計畫

資訊所
編號 起迄年月 計劃編號 計劃名稱 主持人 協同主持人 補助單位
12014/08–2017/07MOST103-2221-E-001-020-MY3CompPDR - 性質導向可達性之組合式分析 王柏堯陳郁方
 科技部
22014/08–2017/07MOST103-2221-E-001-019-MY3以自動機和演算式學習為基礎的程式驗證方法 陳郁方王柏堯
 科技部
32013/08–2014/12NSC102-2221-E-001-017 MRInspector - MapReduce 程式模型上程式及平台之正規分析 王柏堯
 國科會
42013/08–2014/10NSC102-2221-E-001-018具有遞迴、指標操作、多執行緒特性程式驗證問題之探討 (II)  陳郁方王柏堯
 國科會
52012/08–2013/07NSC101-2221-E-001-006形式化程式建構、分析、驗證之方法與應用-子計畫三:APIchecker - 應用程式界面呼叫序列之正規分析(I) 王柏堯
 國科會
62008/08–2011/10NSC97-2221-E-001-003-MY3程式之模組性與擴充性:驗證方法與工具-總計畫 莊庭瑞王柏堯、穆信成
 國科會
72008/08–2011/07NSC97-2221-E-001-006-MY3程式之模組性與擴充性:驗證方法與工具-子計畫四:關於直觀規則語言之組合式分析 王柏堯
 國科會
82006/08–2009/07NSC95-2221-E-001-024-MY3驗證之規格學習 王柏堯
 國科會
92006/05–2007/08NSC95-3114-P-001-001-Y02資安科技跨國合作計畫-資通安全跨國合作人才培育與關鍵技術研發計畫 李德財王柏堯、陳孟彰
 國科會
102005/08–2006/07NSC94-2213-E-001-003嵌入式系統之詳述與驗證(3/3) 王柏堯
 國科會
112004/08–2005/07NSC93-2213-E-001-012嵌入式系統之詳述與驗證(2/3) 王柏堯
 國科會
122003/08–2004/07NSC92-2213-E-001-023嵌入式系統之詳述與驗證(1/3) 王柏堯
 國科會
 
 
bg