杨志斌(1982-),男,江西吉安人,博士,副教授,CCF专业会员,主要研究领域为安全关键嵌入式软件,形式化方法;陈哲(1981-),男,博士,副教授,CCF专业会员,主要研究领域为形式化方法,软件工程,软件验证;袁胜浩(1994-),男,学士,CCF学生会员,主要研究领域为形式化方法,软件工程;薛垒(1982-),男,高级工程师,主要研究领域为嵌入式软件设计验证;谢健(1988-),男,硕士生,CCF专业会员,主要研究领域为形式化方法,系统安全性分析,服务计算;Bodeveix Jean-Paul(1963-),男,博士,教授,博士生导师,主要研究领域为实时系统,形式化方法;周勇(1975-),男,博士,副教授,CCF专业会员,主要研究领域为形式化方法,软件工程;Filali Mamoun(1957-),男,博士,高级研究员,博士生导师,主要研究领域为实时系统,形式化方法.
杨志斌,E-mail:yangzhibin168@163.com
TP311
国家自然科学基金(61502231);国家重点研发计划(2016YFB1000802);GF基础科研重点项目(JCKY2016203B011);江苏省自然科学基金(BK20150753);中央高校基本科研业务费专项资金(NP2017205);国家自然科学基金委员会-中国民航局民航联合研究基金(U1533130);南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20181603)
National Natural Science Foundation of China (61502231); National Key Research and Development Program of China (2016YFB1000802); National Defense Basic Scientific Research Project under Grant of China (JCKY2016203B011); Natural Science Foundation of Jiangsu Province, China (BK20150753); Fundamental Research Funds for the Central Universities (NP2017205); Joint Research Funds of National Natural Science Foundation of China and Civil Aviation Administration of China (U1533130); Foundation of Graduate Innovation Center in NUAA (kfjj20181603)
杨志斌,袁胜浩,谢健,周勇,陈哲,薛垒,Jean-Paul BODEVIX, Mamoun FILALI.一种同步语言多线程代码自动生成工具.软件学报,2019,30(7):1980-2002
复制