费媛
English
费媛
女
讲师（高校）
研究生教育
yuanfei@shnu.edu.cn
奉贤区海思路100号
信息与机电工程学院
工学博士学位
研究方向学术成果教学工作荣誉称号社会兼职
(0)
研究方向：高可信计算、形式化方法、程序分析与验证、进程代数
代表性研究成果
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.
（以下信息源于科研管理系统）
学术成果：
教学工作：教职工课程信息
开课学年 开课学期 课程名称
2020-2021 1 图像处理
2019-2020 2 图像处理
荣誉奖励：
社会兼职：
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
上海师范大学导师教师师资介绍简介-费媛
本站小编 Free考研考试/2021-01-19
相关话题/上海师范大学
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19上海师范大学导师教师师资介绍简介-黄慧
黄慧English黄慧(0)姓名：黄慧">基本信息性别：女聘任技术职务：副教授学历：研究生教育联系电话：电子邮箱：huanghui@shnu.edu.cn通讯地址：部门：信息与机电工程学院学位：工学博士学位毕业院校：法国TELECOMBRETAGNE办公地址：No.100Guilin研究方向：1、2 ...上海师范大学师资导师 本站小编 Free考研考试 2021-01-19上海师范大学导师教师师资介绍简介-管西强
管西强English管西强(0)姓名：管西强">基本信息性别：男聘任技术职务：副教授学历：研究生教育联系电话：**电子邮箱：xqguan@shnu.edu.cn通讯地址：部门：信息与机电工程学院学位：工学博士学位毕业院校：上海交通大学办公地址：研究方向：研究方向1、智能网联汽车技术2、汽车动力学及控 ...上海师范大学师资导师 本站小编 Free考研考试 2021-01-19上海师范大学导师教师师资介绍简介-何凤琴
何凤琴English何凤琴(0)姓名：何凤琴">基本信息性别：女聘任技术职务：副教授学历：研究生教育联系电话：**电子邮箱：hfq@shnu.edu.cn通讯地址：部门：信息与机电工程学院学位：工学博士学位毕业院校：华东理工大学办公地址：信机楼409研究方向研究方向：1.机电一体化系统设计与研发；工 ...上海师范大学师资导师 本站小编 Free考研考试 2021-01-19上海师范大学导师教师师资介绍简介-洪璇
洪璇English洪璇女副教授研究生教育**hong@shnu.edu.cn信息与机电工程学院工学博士学位上海交通大学上海师范大学13号楼216室研究方向学术成果教学工作荣誉称号社会兼职(0)研究方向：1.数字签名算法的研究与设计2.加密算法的研究与设计3.网络安全协议的研究与设计（以下信息源于科研 ...上海师范大学师资导师 本站小编 Free考研考试 2021-01-19上海师范大学导师教师师资介绍简介-罗阳
罗阳English罗阳(0)姓名：罗阳">基本信息性别：男聘任技术职务：副教授学历：研究生教育联系电话：电子邮箱：yluo@shnu.edu.cn通讯地址：上海师范大学信息与机电工程学院部门：信息与机电工程学院学位：理学博士学位毕业院校：华东师范大学办公地址：研究方向研究方向：研究方向1，变换电磁学 ...上海师范大学师资导师 本站小编 Free考研考试 2021-01-19上海师范大学导师教师师资介绍简介-刘翔鹏
刘翔鹏English刘翔鹏(0)姓名：刘翔鹏">基本信息学历：研究生教育电子邮箱：xliu@shnu.edu.cn通讯地址：上海市海思路100号部门：信息与机电工程学院学位：工学博士学位毕业院校：德国不来梅大学研究方向：现任信息与机电工程学院硕导，研究方向包括：智能网联汽车/计算机视觉/工业&农业机 ...上海师范大学师资导师 本站小编 Free考研考试 2021-01-19上海师范大学导师教师师资介绍简介-李洁慧
李洁慧李洁慧性别：女聘任技术职务：讲师（高校）学历：研究生教育联系电话：**电子邮箱：lijh@shnu.edu.cn通讯地址：海思路100号部门：信息与机电工程学院学位：工学博士学位毕业院校：复旦大学办公地址：科技楼A709(0)研究方向科研成果教学工作荣誉奖励社会兼职研究方向：2017年毕业于复 ...上海师范大学师资导师 本站小编 Free考研考试 2021-01-19上海师范大学导师教师师资介绍简介-李莉
李莉English李莉女教授研究生教育lilyxuan@shnu.edu.cn信息与机电工程学院理学博士学位北京大学研究方向学术成果教学工作荣誉称号社会兼职(0)研究方向：宽带认知无线通信频谱检测、动态频谱分配，异构无线网络干扰管理算法超密集无线移动通信网络建模、数字信号智能信息处理。（以下信息源于 ...上海师范大学师资导师 本站小编 Free考研考试 2021-01-19上海师范大学导师教师师资介绍简介-李美子
李美子English李美子女高级实验师大学本科教育limeizi@shnu.edu.cn信息与机电工程学院工学硕士学位研究方向学术成果教学工作荣誉称号社会兼职(0)研究方向：（以下信息源于科研管理系统）学术成果：教学工作：荣誉奖励：社会兼职： ...上海师范大学师资导师 本站小编 Free考研考试 2021-01-19上海师范大学导师教师师资介绍简介-李双
李双English李双女未聘研究生教育lishuang@shnu.edu.cn信息与机电工程学院工学博士学位上海大学研究方向学术成果教学工作荣誉称号社会兼职(0)研究方向：（以下信息源于科研管理系统）学术成果：教学工作：荣誉奖励：社会兼职： ...上海师范大学师资导师 本站小编 Free考研考试 2021-01-19
