Xin Chen(新晨) 0027
人员信息
附属: 南京大学计算机科学与技术系,中国新软件技术国家重点实验室
其他同名人员
Xin Chen(新晨) (又名:陈欣) — 消歧页 Xin Chen(新晨) 0001 -阿拉巴马大学伯明翰分校,美国阿拉巴马州 Xin Chen(新晨) 0002 — 新墨西哥大学:美国新墨西哥州阿尔伯克基 (还有3个以上) Xin Chen(新晨) 0003 -英国伦敦国王学院成像科学和生物医学工程部 Xin Chen(新晨) 0004 -中国广州华南理工大学机械与汽车工程学院 Xin Chen(新晨) 0005 — 广东工业大学计算机集成制造系统重点实验室,广州,中国 (还有1个) Xin Chen(新晨) 0006 -厦门大学信息科学与工程学院 Xin Chen(新晨) 0007 -美国新泽西州纽瓦克市新泽西理工学院信息系统部 Xin Chen(新晨) 0008 -中国长沙国防科技大学电子科学与工程学院 Xin Chen(新晨) 0009 -南京科技大学紫金学院
Xin Chen(新晨) 0010 -南京师范大学数学科学学院江苏省NSLSCS重点实验室 Xin Chen(新晨) 0011 -中国科学院信息工程研究所信息安全国家重点实验室 Xin Chen(新晨) 0012 — 中国地质大学自动化学院,武汉 (还有2个以上) Xin Chen(新晨) 0013 -英国普雷斯顿中央兰开夏大学 Xin Chen(新晨) 0014 -英国爱丁堡大学 Xin Chen(新晨) 0015 -英国泰恩威尔桑德兰大学 Xin Chen(新晨) 0016 — 彭博社,美国纽约州纽约市 (还有1个) Xin Chen(新晨) 0017 -上海交通大学电子信息与电气工程学院上海导航定位服务重点实验室 Xin Chen(新晨) 0018 -北京信息科技大学计算机学院 Xin Chen(新晨) 0019 — 中国科学院声学研究所高性能网络实验室,中国北京 (还有1个) Xin Chen(新晨) 0020 -中国厦门华侨大学计算机科学与技术学院 Xin Chen(新晨) 0021 -暨南大学信息科学与技术学院,广州,中国 Xin Chen(新晨) 0022 — 美国纽约石溪大学 (还有1个) Xin Chen(新晨) 0023 — 中国郑州国家数字交换系统工程技术研究中心 (还有1个) Xin Chen(新晨) 0024 -广东工业大学自动化学院物联网信息技术重点实验室,广州 Xin Chen(新晨) 0025 — 深圳大学生物医学工程学院/广东省生物医学测量与超声成像重点实验室 (还有1个) Xin Chen(新晨) 0026 -伊利诺伊大学厄本那-香槟分校,工业和企业系统工程系,伊利诺伊州厄本那,美国 Xin Chen(新晨) 0028 -中山大学电子与信息技术学院,广州,中国 Xin Chen(新晨) 0029 -厦门大学,教育部水声通信与海洋信息技术重点实验室,中国 Xin Chen(新晨) 0030 -重庆大学软件工程学院 Xin Chen(新晨) 0031 -中国三峡大学计算机与信息技术学院,宜昌 Xin Chen(新晨) 0032 — 杭州电子大学计算机科学与技术学院 (还有1个) Xin Chen(新晨) 0033 -同济大学,中国上海 Xin Chen(新晨) 0034 — 问。 com,爱迪生,新泽西州,美国 (还有1个) Xin Chen(新晨) 0036 -美国马萨诸塞州剑桥市哈佛大学工程与应用科学学院 Xin Chen(新晨) 0037 — 新加坡南洋理工大学物理与数学科学学院 (还有1个) Xin Chen(新晨) 0038 — 美国纽约康宁公司 (还有1个) Xin Chen(新晨) 0039 -英国诺丁汉大学计算机科学学院智能建模与分析小组 Xin Chen(新晨) 0040 -上海理工大学信息科学与技术学院 Xin Chen(新晨) 0041 -美国宾夕法尼亚州费城德雷塞尔大学信息科学与技术学院 Xin Chen(新晨) 0042 -美国北卡罗来纳大学教堂山分校 Xin Chen(新晨) 0043 -中国南京东南大学信息科学与工程学院 陈鑫(Xin W.Chen) (又名:Xin Chen 0044 ) -美国伊利诺伊州爱德华兹维尔南伊利诺伊大学 Xin Chen(新晨) 0045 -英国克兰菲尔德大学航空、运输和制造学院 Xin Chen(新晨) 0046 — 中国深圳理工大学 (还有1个) Xin Chen(新晨) 0047 -中国深圳南方科技大学 Xin Chen(新晨) 0048 -瑞典斯德哥尔摩皇家理工学院 Xin Chen(新晨) 0049 -北京交通大学电子与信息工程学院 Xin Chen(新晨) 0050 -吉林大学化学系,长春,中国 Xin Chen(新晨) 0051 -福建师范大学数学与信息学院,福州,中国 Xin Chen(新晨) 0052 -山东科技大学计算机科学与工程学院,中国青岛 Xin Chen(新晨) 0053 -中国农业大学土地科学技术学院,北京 Xin Chen(新晨) 0054 -大连理工大学软件学院 Xin Chen(新晨) 0055 -中南大学资源与安全工程学院,长沙,中国 Xin Chen(新晨) 0056 -东北石油大学机械科学与工程学院,大庆,中国 Xin Chen(新晨) 0057 -辽宁工业大学电子与信息工程学院,锦州,中国 Xin Chen(新晨) 0058 -华南工业大学医学院广州市第一人民医院放射科 Xin Chen(新晨) 0059 -腾讯PCG,中国 Xin Chen(新晨) 0060 — 华为公司,中国深圳 (还有1个) Xin Chen(新晨) 0061 -华南农业大学电子工程学院和人工智能学院,中国广州
优化列表
2020年–今天
2022 [公元27年] 赵庆叶 , Xin Chen(新晨) , 赵卓瑜 , 张一凡 , 恩义堂 , 李宣东 :
使用神经网络验证神经网络控制系统。 高速列车控制中心 2022 : 3:1-3:11 [公元26年] 赵庆叶 , Xin Chen(新晨) , 赵卓瑜 , 恩义堂 , 李宣东 :
Wassertrain:对抗Wasserstein对抗性攻击的对抗性训练框架。 ICASSP公司 2022 : 2734-2738 [公元25年] 李正民 , 恩义堂 , Xin Chen(新晨) , 王林章(Linzhang Wang) , 李宣东 :
基于图神经网络的两相故障定位方法。 网构 2022 : 85-95 2021 [j7] 雷布 , 梁永娟 , 准一解 , 洪谦(音) , 胡一齐 , 杨瑜 , Xin Chen(新晨) , 李宣东 :
机器学习指导复杂软件代码的符号执行框架。 形式方面计算。 33 ( 三 ) : 301-323 ( 2021 ) [公元24年] 蒙沙 , Xin Chen(新晨) , 余哲记 , 赵庆叶 , 杨正峰 , 王琳 , 恩义堂 , 陈启光 , 李宣东 :
用逼近法合成神经网络控制连续系统的障碍证明。 数模转换器 2021 : 631-636 【c23】 邢绍鹏 , 王佳万 , 雷布 , Xin Chen(新晨) , 李宣东 :
基于分类的无导数优化的近似最优混合控制综合。 高速列车控制中心 2021 : 7:1-7:11 [公元22年] 赵庆叶 , Xin Chen(新晨) , 张一凡 , 蒙沙 , 杨正峰 , 王琳 , 恩义堂 , 陈启光 , 李宣东 :
合成具有两个隐藏层的ReLU神经网络作为混合系统的屏障证书。 高速列车控制中心 2021 : 17:1-17:11 2020 【c21】 Xin Chen(新晨) , 赵鹏 , 王琳 , 杨正峰 , 张一芳 , 李宣东 :
一种解决屏障证书生成中BMI问题的新方法。 CAV(1) 2020 : 582-603 [公元20年] 朝皇 , Xin Chen(新晨) , 恩义堂 , 蒙大河 , 雷布 , 秦胜超 , 曾一峰(Yifeng Zeng) :
虚拟线性先导引导HMPC控制的WMR离散差分方程导航。 ICRA公司 2020 : 151-157 [第19条] 安祥晓 , 恩义堂 , Xin Chen(新晨) , 王林章(Linzhang Wang) :
通过基于内存的删减加快浮点程序的精度改进。 网构 2020 : 240至249
2010 – 2019
2019 [第18条] 谢旺(Xie Wang) , 王怀金 , 苏振东 , 恩义堂 , Xin Chen(新晨) , 沈卫军(Weijun Shen) , 陈振宇 , 王林章(Linzhang Wang) , 张贤培 , 李宣东 :
通过优先随机代数变换对数值程序进行全局优化。 ICSE公司 2019 : 1131-1141 2018 [j6] 雷布 , 田章 , Xin Chen(新晨) , 王林章(Linzhang Wang) , 赵建华 , 李宣东 :
基于模型的网络物理系统构建和验证。 ACM SIGSOFT软件。 工程注释 43 ( 三 ) : 6-10 ( 2018 ) [j5] 张一凡 , 杨正峰 , 王琳 , 朱慧标 , Xin Chen(新晨) , 李宣东 :
基于双线性规划的非线性混合系统安全性验证。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 37 ( 11 ) : 2768-2778 ( 2018 ) [第2页] 雷布 , 汇江 , Xin Chen(新晨) , 恩义堂 , 李宣东 :
HAT:将线性混合自动机分析为标记转换系统。 实时和混合系统专题讨论会 2018 : 85-104 2017 【j4】 朝皇 , Xin Chen(新晨) , 王琳 , 杨正峰 , 李宣东 :
使用屏障证书对随机混合系统进行概率安全验证。 ACM事务处理。 嵌入。 计算。 系统。 16 ( 5秒 ) : 186:1-186:19 ( 2017 ) [第17条] 朝皇 , Xin Chen(新晨) , 张一凡 , 秦胜超 , 曾一峰(Yifeng Zeng) , 李宣东 :
基于递阶模型预测控制的切换线性多机器人导航。 IJCAI公司 2017 : 4331-4337 [第16条] 张楚成 , 程浩良 , 恩义堂 , Xin Chen(新晨) , 雷布 , 李宣东 :
移动应用程序的草图引导GUI测试生成。 ASE公司 2017 : 38-43 [第1页] Xin Chen(新晨) , 刘志明 :
面向不断发展的基于组件的体系结构的接口驱动设计。 令人信服的正确系统 2017 : 121-148 2016 [第15条] 夏曾 , 王琳 , 杨正峰 , Xin Chen(新晨) , 王丽蕾(Lilei Wang) :
非线性混合系统安全验证的Darboux型屏障证书。 EMSOFT公司 2016 : 11:1-11:10 [第14条] 杨正峰 , 朝皇 , Xin Chen(新晨) , 王琳 , 刘志明 :
一种基于线性规划松弛的混合系统障碍证书生成方法。 FM公司 2016 : 721-738 [第13条] 朝皇 , Xin Chen(新晨) , 张一凡 , 秦胜超 , 曾一峰(Yifeng Zeng) , 李宣东 :
多机器人导航的递阶模型预测控制。 IJCAI公司 2016 : 3140-3146个 [第12条] 辛莉(Xin Li) , 梁永娟 , 洪谦(音) , 胡一齐 , 雷布 , 杨瑜 , Xin Chen(新晨) , 李宣东 :
基于机器学习的约束求解驱动的复杂程序的符号执行。 ASE公司 2016 : 554至559 2013 [j3] 秦胜超 , 何冠华 , 罗晨光 , 魏恩甘钦 , Xin Chen(新晨) :
组合抽象域中的循环不变综合。 J.塞姆。 计算。 50 : 386-408 ( 2013 ) 2012 [第11条] 雷布 , 谢定宝 , Xin Chen(新晨) , 王林章(Linzhang Wang) , 李宣东 :
演示摘要:BACHOL-网络物理系统在线建模与验证。 ICCPS公司 2012 : 222 [第10条] 丁文旭 , Xin Chen(新晨) , 彭江 , 楠叶 , 雷布 , 李宣东 :
组件线性拟合函数驱动的面向路径的测试数据生成。 SERE(伴侣) 2012 : 37-38 【c9】 楠叶 , Xin Chen(新晨) , 丁文旭 , 彭江 , 雷布 , 李宣东 :
基于模型自动修正的回归测试用例生成。 TASE公司 2012 : 127-134 2011 [j2] 李宣东 , 邱晓康 , 王林章(Linzhang Wang) , Xin Chen(新晨) , 周舟 , 李谦余(Liqian Yu) , 赵金华 :
UML交互模型驱动的Java程序运行时验证。 IET软件。 5 ( 2 ) : 142-156 ( 2011 ) [j1] 雷布 , 王启新 , Xin Chen(新晨) , 王林章(Linzhang Wang) , 田章 , 赵建华 , 李宣东 :
面向网络物理系统有时间限制的短期行为的在线混合系统模型检查。 SIGBED版本。 8 ( 2 ) : 7-10 ( 2011 ) 【c8】 Xin Chen(新晨) , 楠叶 , 彭江 , 雷布 , 李宣东 :
基于UML活动图的反馈式测试用例生成。 SSIRI(同伴) 2011 : 9-10 【c7】 楠叶 , Xin Chen(新晨) , 彭江 , 丁文旭 , 李宣东 :
基于活动图的自动回归测试选择。 SSIRI(同伴) 2011 : 166-171 [i1] 雷布 , Xin Chen(新晨) , 王林章(Linzhang Wang) , 李宣东 :
基于通信的列车控制系统中控制参数计算的在线验证。 CoRR公司 腹肌/111.4271 ( 2011 ) 2010 【c6】 雷布 , 尤莉(You Li) , 王林章(Linzhang Wang) , Xin Chen(新晨) , 李宣东 :
BACH 2:组合线性混合系统的有界可达性检查器。 日期 2010 : 1512-1517 【c5】 Xin Chen(新晨) , 楠叶 , 丁文旭 :
面向方面设计中分析干涉问题的形式化方法。 输出功率 2010 : 157-171
2000 – 2009
2009 【c4】 韩志雄 , 王林章(Linzhang Wang) , 李谦余(Liqian Yu) , Xin Chen(新晨) , 赵建华 , 李宣东 :
设计模式导向的集群以理解开放源代码。 国际刑警组织 2009 : 295-296 2008 【c3】 周舟 , 王林章(Linzhang Wang) , 崔占奇 , Xin Chen(新晨) , 赵建华 :
Jasmine:使用UML行为模型进行模型驱动的运行时验证的工具。 哈斯 2008 : 487-490 2007 【c2】 Xin Chen(新晨) , 何继峰 , 刘志明 , 詹乃军(Naijun Zhan) :
一种基于组件的编程模型。 FSEN公司 2007 : 191-206年 【c1】 Xin Chen(新晨) , 刘志明 , 弗拉基米尔·门cl :
需求建模中的关注点分离和一致集成。 软质(1) 2007 : 819-831