Projects
(Principal Investigator)



Results 1-19 of 19 (Search time: 0.029 seconds).

Start DateTitleP-InvestigatorFunding Organization/經費來源
2015偵測網站應用程式安全弱點的模組化、漸進式分析YIH-KUEN TSAYMinistry of Science and Technology
2014即時監控程式正規驗證之理論基礎YIH-KUEN TSAYMinistry of Science and Technology
2013建立一個大規模的小型Buchi自動機及其等價時序邏輯式之收集YIH-KUEN TSAYMinistry of Science and Technology
2013核能儀控系統應用正規方法發展與驗證技術研究YIH-KUEN TSAYInstitute of Nuclear Energy Research, AEC
2013學術領域全面提升/管理學院/資訊管理學系YIH-KUEN TSAYMinistry of Education
2012NSC-JST Information Security, Network security and Cloud Computing WorkshopYIH-KUEN TSAYMinistry of Science and Technology
2012形式化程式建構、分析、驗證之方法與應用-總計畫(I)YIH-KUEN TSAYMinistry of Science and Technology
2012形式化程式建構、分析、驗證之方法與應用-子計畫二:以進階的靜態分析與動態測試技術驗證網站應用程式(I)YIH-KUEN TSAYMinistry of Science and Technology
2012核能儀控系統軟體模組安全功能驗證研究YIH-KUEN TSAYInstitute of Nuclear Energy Research, AEC
2011具指標變數與多執行緒程式之模組化驗證YIH-KUEN TSAYMinistry of Science and Technology
2011核能儀控系統電腦化發展之安全功能認證研究YIH-KUEN TSAYInstitute of Nuclear Energy Research, AEC
2010程式之模組性與擴充性:驗證方法與工具-子計畫三:以建構式時態介面為基礎之模組化規格、驗證與合成YIH-KUEN TSAYMinistry of Science and Technology
2009程式之模組性與擴充性:驗證方法與工具-子計畫三:以建構式時態介面為基礎之模組化規格、驗證與合成YIH-KUEN TSAYMinistry of Science and Technology
2008程式之模組性與擴充性:驗證方法與工具-子計畫三:以建構式時態介面為基礎之模組化規格、驗證與合成YIH-KUEN TSAYMinistry of Science and Technology
2006從假設保證式規格自動合成反應式模組之研究YIH-KUEN TSAYMinistry of Science and Technology
2005運用Coq證明助理之具量詞命題時間邏輯的模組化規格與驗證YIH-KUEN TSAYMinistry of Science and Technology
2004以具量詞之命題時間邏輯及其延伸為表示法的模組化規格與驗證(I)YIH-KUEN TSAYMinistry of Science and Technology
2003元件合成軟體之形式化驗證初探YIH-KUEN TSAYMinistry of Science and Technology
2001可容錯之行動物件定位演算法YIH-KUEN TSAYMinistry of Science and Technology