费媛
| 姓名 | 费媛 |
| 教师编号 | 60427 |
| 性别 | 发明专利4999代写全部资料 |
| 学校 | 上海师范大学 |
| 部门 | 发明专利包写包过 加急申请 |
| 学位 | 发明专利包写包过 特惠申请 |
| 学历 | 版权登记666包过 代写全部资料 |
| 职称 | 软件著作权666包写包过 |
| 联系方式 | 【发送到邮箱】 |
| 邮箱 | 【发送到邮箱】 |
| 人气 | |
| 软件产品登记测试 软件著作权666元代写全部资料 实用新型专利1875代写全部资料 集群智慧云企服 / 知识产权申请大平台 微信客服在线：543646 急速申请 包写包过 办事快、准、稳 |
|
研究方向 学术成果 教学工作 荣誉称号 社会兼职 (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图像处理 荣誉奖励 社会兼职 |
