![]()
陈哲
-
教授
博士生导师
- 招生学科专业：
计算机科学与技术 -- 【招收硕士研究生】 -- 计算机科学与技术学院
软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
网络空间安全 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
- 性别：男
- 毕业院校：法国国立应用科学院
- 学位：工学博士学位
- 所在单位：计算机科学与技术学院/软件学院
- 办公地点：将军大道29号
- 电子邮箱：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] 陈哲,陈哲,Yan, Junqi,2017023,钱巨,Xue, Jingling.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] 陈哲,陈哲,Yan, Junqi,Li, Wenming,钱巨,黄志球.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] 陈哲,陈哲,Wu, Yifan,魏欧,盛斌.Deciding weak monitorability for runtime verification:Proc Int Conf Software Eng,2018
