基本信息
浏览量:16
职业迁徙
个人简介
陈雨亭:男,博士,讲师,就职于上海交通大学电子信息与电气工程学院。他于2007年3月在日本法政大学情报科学研究科博士毕业,2003年及2000年于南京大学计算机科学与技术系分别获得硕士、学士学位。2007.4-2008.2曾在美国德州大学达拉斯分校计算机系担任访问学者,并从事美国宇航局NASA的软件安全性测试项目的研究。申请人的主要研究方向是软件工程,特别是软件测试、软件分析、软件审阅、软件安全及形式化工程方法,并曾在国际会议与期刊上发表过20多篇论文。申请人也为多个国际会议与重要期刊(如IEEE Transactions on Reliability、软件学报等)从事论文评审工作,并曾担任ICFEM、SSIRI、APSEC、QSIC等多个国际会议的程序委员会委员。此外,申请人主持了自然科学基金项目“基于模拟执行的软件功能规约的安全性验证”,并曾作为主要参与人参加了多个研究课题,包括国家863重点项目“高可信软件生产工具及集成环境”二期子课题“Trustie技术在航天控制软件生产过程中的可信评估、应用和演化研究”、自然科学基金项目“面向方面软件的变化影响分析理论及其应用”、日本国立情报学研究所的合作研究项目“双向模型转换技术的研究”等。
研究兴趣
论文共 129 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Journal of Systems and Softwarepp.112002, (2024)
Xinyuan Miao,Ziyi Lin, Shaojun Wang,Lei Yu,Sanhong Li,Zihan Wang,Pengbo Nie,Yuting Chen,Beijun Shen,He Jiang
ICSEpp.1648-1660, (2023)
引用0浏览0EIWOS引用
0
0
2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE (2023): 1505-1515
PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023pp.904-916, (2023)
Lingtong Meng,Yuting Chen
2023 16th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics (CISP-BMEI)pp.1-6, (2023)
NEURAL PROCESSING LETTERSno. 7 (2023): 8713-8730
IEEE TRANSACTIONS ON RELIABILITYno. 99 (2023): 1-15
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn