论文
2018
- Electronics 2018Xiaowen JiangKai HuangXiaomeng ZhangRongjie YanKe WangDongliang XiongXiaolang Yan
Formal Collision Avoidance Analysis for Rigorous Building of Autonomous Marine Vehicles
ESTC 2017Rongjie YanXiangtong YaoJunjie YangKai Huang- TR 2018CCF CHongliang LiangXiaoxiao PeiXiaodong JiaWuwei ShenJian Zhang
Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods
FM 2018CCF ARongjie YanDi ZhuFan ZhangYiqi LvJunjie YangKai HuangVolCE: An Efficient Tool for Solving #SMT(LA) Problems
PRUV 2018（与 IJCAR 同期同地举办）Cunjing GeFeifei MaJian Zhang
2017
- ICTAI 2017CCF CRongjie YanYupeng ZhouYige YanMinghao YinMin YuFeifei MaKai Huang
A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization
JSS 2017CCF BLong ZhangLanfei YanZhenyu ZhangJian ZhangW.K. ChanZheng ZhengDetecting Energy Bugs in Android Apps Using Static Analysis
ICFEM 2017CCF CHao JiangHongli YangShengchao QinZhendong SuJian ZhangJun YanIntegrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment
CP 2017CCF BLinjie PanJiwei JinXin GaoWei SunFeifei MaMinghao YinJian ZhangOn the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model
FAW 2017Sergey BeregFeifei MaWencheng WangJian ZhangBinhai ZhuWeak QMV algebras and some ring-like structures
Soft Comput. 2017CCF CXian LuYun ShangRu-qian LuJian ZhangFeifei Ma
2016
A deployable sampling strategy for data race detection
FSE 2016CCF AYan CaiJian ZhangLingwei CaoJian LiuComponent-based verification using incremental design and invariants
SoSyM 2016CCF BSaddek BensalemMarius BozgaAxel LegayThanh-Hung NguyenJoseph SifakisRongjie YanLight-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps
TSE 2016CCF ATianyong WuJierui LiuZhenbo XuChaorong GuoYanli ZhangJun YanJian Zhang- CP 2016CCF BFeifei MaXin GaoMinghao YinLinjie PanJiwei JinHai LiuJian Zhang
PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment
Clust. Comput. 2016Yan HuJun YanKim-Kwang Raymond Choo
CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。