费媛教师主页

研究方向 学术成果 教学工作 荣誉称号 社会兼职 (2) 研究方向 高可信计算、形式化方法、程序分析与验证、进程代数 代表性研究成果1. Fei Yuan, Zhu Huibiao, Wu Xi, Fang Huixing, Qin Shengchao. Comparative modelling and verification of Pthreads and Dthreads. Journal of Software: Evolution and Process, Vol 30(3), 33 pages, March, 2018.2. Fei Yuan, Zhu Huibiao, Li Xin. Modeling and Verification of NLSR Protocol Using UPPAAL. Proc. TASE 2018: 12th International Symposium on Theoretical Aspects of Software Engineering, IEEE Computer Society, pp. 108-115, 29-31 August, 2018. Guangzhou, China. 3. Fei Yuan, Zhu Huibiao. Modeling and Verifying NDN Access Control Using CSP. Proc. ICFEM 2018: 20th International Conference on Formal Engineering Methods, Springer, 12-16 November, 2018. LNCS 11232, pp. 143-159, Gold Coast, Australia. 4. Fei Yuan, Zhu Huibiao, Wang Huiwen. Security Analysis of the Access Control Solution of NDN Using BAN Logic. Proc. SEKE 2018: The 30th International Conference on Software Engineering and Knowledge Engineering, pp. 659-664, 1-3 July, 2018. Redwood City, San Francisco Bay, California, USA. 5. Fei Yuan, Zhu Huibiao, Wu Xi, Fang Huixing. Comparative Modeling and Verification of Pthreads and Dthreads, Proc. HASE 2016: 17th IEEE International Symposium on High Assurance Systems Engineering, IEEE Computer Society, pp. 132-140, 7-9 January, 2016. Florida, USA. 6. Wang Huiwen, Zhu Huibiao, Fei Yuan, Xiao Lili. Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP. Proc. SEKE 2018: The 30th International Conference on Software Engineering and Knowledge Engineering, pp.169-174, 1-3 July, 2018. Redwood City, San Francisco Bay, California, USA. 7. Liu Ailun, Zhu Huibiao, Fei Yuan, Xiang Shuangqing, Lu Gang, Xie Wanling.Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra, Proc. COMPSAC 2017: 41st IEEE Computer Society Signature Conference on Computers, Software and Applications, pp. 39-44, IEEE Computer Society, 4-8 July, 2017.Turin, Italy. 8. Lu Jianyu, Xie Wanling, Zhu Huibiao, Fei Yuan. A Proof System for MDESL.Proc. SEW-37:The 37th IEEE Software Engineering Workshop, FedCSIS Communication Papers 2017, 387-393, 3-6 September, 2017. Prague, Czech Republic.9. Wang Huiwen, Zhu Huibiao, Xiao Lili, Fei Yuan. Formalization and Verification of the Openflow Bundle Mechanism using CSP. International Journal of Software Engineering and Knowledge Engineering.10. Yin Jiaqi, Zhu Huibiao, Fei Yuan, Fang Yucheng. Modeling and Verifying Spark on YARN Using Process Algebra. Proc. HASE 2019: 19th IEEE International Symposium on High Assurance Systems Engineering, IEEE Computer Society, 3-5 January, 2019, Hangzhou, China. 学术成果（以下信息源于科研管理系统） 教学工作 教职工课程信息开课学年开课学期课程名称2023-20241计算机文化基础2022-20231计算机文化基础2020-20211图像处理2019-20202图像处理2022-20232图像处理2020-20212数据分析与可视化2023-20242图像处理 荣誉奖励 社会兼职

织梦好，好织梦