![]()
陈哲
-
副教授
硕士生导师
- 招生学科专业：
计算机科学与技术 -- 【招收硕士研究生】 -- 计算机科学与技术学院
软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
网络空间安全 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
- 性别：男
- 毕业院校：法国国立应用科学院
- 学历：法国国立应用科学学院
- 学位：工学博士学位
- 所在单位：计算机科学与技术学院/人工智能学院/软件学院
- 办公地点：将军大道29号
- 联系方式：zhechen -at- nuaa dot edu dot cn
- 电子邮箱：7fd76f51d0642c78a2d50c4f78ecb98b18764352dde2e40ebf7090fbe7f2b1d05761318cfd584c8516c2a82267a4d7b7d22e9a32482597df58ddf7112fed3352e388c8f19e8596034d3063a17843d69f11db5b382dca5a1131ae75a6ae4c7ed0bd18b03afb8186f72bc0249d0d9ef1ff17f9a3d967ed96661d6284dc7ba34971
访问量：
-
[1] 陈哲,,等.The research of finite element model updating method considering the uncertainty.Zhendong Gongcheng Xuebao,2017
-
[2] 陈哲,,等.Structural dynamic model updating based on augmented SVM.J Vib Shock,2017
-
[3] 陈哲,,等.Detecting memory errors at runtime with source-level instrumentation.ISSTA - Proc. ACM SIGSOFT Int. Symp. Softw. Test. Anal.,2019
-
[4] 陈哲,,等.路由协议的自动形式化验证方法研究.计算机技术与发展,2017
-
[5] 陈哲,,等.嵌套模式模板在运行时验证中的应用.小型微型计算机系统,2017
-
[6] 陈哲,,等.边界网关协议安全性的模型检验方法研究.小型微型计算机系统,2017
-
[7] 陈哲,,等.Parametric runtime verification is NP-complete and coNP-complete.INFORMATION PROCESSING LETTERS,2017
-
[8] 陈哲,,等.C程序内存安全的运行时检测方法研究和实现.小型微型计算机系统,2017
-
[9] 陈哲,陈哲,陈哲等.Runtime verification of memory safety via source transformation.Proc Int Conf Software Eng,2018
-
[10] 陈哲,陈哲,陈哲等.Beyond spatial and temporal memory safety.Proc Int Conf Software Eng,2018
-
[11] 陈哲,陈哲,陈哲等.Deciding weak monitorability for runtime verification.Proc Int Conf Software Eng,2018