合作項目
國家基金委國際合作項目
朱惠彪:信息物理融合系統的基礎研究 (中-丹),2013年獲延續資助
朱惠彪:信息物理融合系統的基礎研究 (中-丹),2013年獲延續資助
陳豪:代數幾何在編碼理論與密碼學中的應用 (中-丹)
劉靜:模型驅動式UML/MARTE模型形式驗證方法(中-法)
蒲戈光:國家留學基金委中德合作科研項目(中-德)
劉靜:模型驅動式UML/MARTE模型形式驗證方法(中-法)
蒲戈光:國家留學基金委中德合作科研項目(中-德)
張雷:金磚國家時空數據高可信關鍵技術及應用研究(中-俄-?。?/span>
法國INRIA聯合團隊項目
同步/異構分布式系統的研究(2012-2014)
信息物理融合系統的形式化模型與工具(2015-2017)
同步/異構分布式系統的研究(2012-2014)
信息物理融合系統的形式化模型與工具(2015-2017)
中法JoRISS合作項目 (2015-2016)
大規模分布式系統靜默錯誤的發現及處理研究(華師大-里昂高師)
閑置資源共享的在線服務系統 (華師大-里昂高師)