Conference Paper

Conference 2017

作者 论文题目 会议名称 会议时间
曹魏、吴恩华 基于物理的形变模拟中本构模型的研究进展 (第17届)中国虚拟现实年会(ChinaVR2017) 10.21-10.22
Xue-Yang Zhu A Unified Framework for Throughput Analysis of Streaming Applications under Memory Constraints 22nd International Conference on Engineering of Complex Computer Systems (ICECCS 2017) 1.6-1.8
Miao Xie, Qing Wang, Qiang Cui, Guowei Yang, Mingshu Li CQM: Coverage-constrained Quality Maximization in Crowdsourcing Test 39th International Conference on Software Engineering: Software Engineering in Campanion Track 5.20-5.28
Ping Lu, Zhilin Wu, Haiming Chen The Complexity of SORE-definability Problems 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) 8.21-8.25
Chao Wang, Yi Lv, Peng Wu Decomposable Relaxation for Concurrent Data Structures 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2017) 1.16-1.20
Zhaowei Xu, Wenhui Zhang, Yuefei Sui Completeness of Hoare Logic Relative to the Standard Model 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2017) 1.16-1.20
Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, Dengguo Feng Automatically Assessing Crashes from Heap Overflows 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017) 10.30-11.3
Feng Y.; Zhang L.; Jansen, D. N.; Zhan N., Xia B Finding Polynomial Loop Invariants for Probabilistic Programs 15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017) 10.3-10.6
Chunliang Hao, Jie Shen, Celia Chen, Heng Zhang, Yanjun Wu, Mingshu Li PCSsampler: Sample-based, Private-state Cluster Scheduling 2017 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID) 5.14-5.17
Xi Deng, Tianyong Wu, Jun Yan, Jian Zhang Combinatorial Testing on Implementations of HTML5 Support 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 3.13-3.17
Ziming Zhu, Xiong Xu, Li Jiao Improved Evolutionary Generation of Test Data for Multiple Paths in Search-based Software Testing IEEE Congress on Evolutionary Computation, IEEE CEC 2017 6.5-6.8
Zhen Tang, Wei Wang, Yu Huang, Heng Wu, Jun Wei, Tao Huang Application-centric SSD Cache Allocation for Hadoop Applications The Ninth Asia-Pacific Symposium on Internetware (Internetware 2017) 9.23
Jierui Liu, Tianyong Wu, Xi Deng, Jun Yan, Jian Zhang InsDal: A safe and extensible instrumentation tool on Dalvik byte-code for Android applications 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2017) 2.20-2.24
Hashemi, V.; Turrini, A.; Hahn, E. M.; Hermanns, H., Elbassioni, K Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs 3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017) 10.23-10.25
Li, Y.; Chen, Y.-F.; Zhang, L., Liu, D A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017) 4.24-4.28
Budde, C. E.; Dehnert, C.; Hahn, E. M.; Hartmanns, A.; Junges, S., Turrini, A JANI: Quantitative Model and Tool Interaction International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017) 4.24-4.28
Yuanjie Li, Shaowei Cai, Wenying Hou An Efficient Local Search Algorithm for Minimum Weighted Vertex Cover on Massive Graphs The 11th International Conference on Simulated Evolution and Learning,SEAL 2017 11.10-11.13
Sergey Bereg, Feifei Ma, Wencheng Wang, Jian Zhang, Binhai Zhu On the Fixed-Parameter Tractability of Some Matching Problems Under the Color-Spanning Model The 11th International Frontiers of Algorithmics Workshop (FAW 2017) 6.23-6.25
Yanling Cui, Qiang Ji, Fusang Zhang, Beihong Jin Leveraging Mobile Signaling Data for Monitoring Vehicles on Highways in Real Time the 3rd International Conference on Big Data Computing and Communications(BigCom 2017) 8.10-8.11
Xiong Xu, Ziming Zhu, Li Jiao An Adaptive Fitness Function Based on Branch Hardness for Search Based Testing the Genetic and Evolutionary Computation Conference, GECCO 2017 7.15-7.19
Yeting Li, Xiaoying Mou, Haiming Chen Learning concise Relax NG schemas supporting interleaving from XML documents. The 14th Advanced Data Mining and Applications (ADMA 2018)
Yeting Li, Xiaolan Zhang, Han Xu, Xiaoying Mou, Haiming Chen Learning restricted regular expressions with interleaving from XML data The 37th International Conference on Conceptual Modeling (ER 2018)
Xinxin Liu, Tingting Yu, Wenhui Zhang Logics for Bisimulation and Divergence The 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018).
Yeting Li, Xinyu Chu, Xiaoying Mou, Chunmei Dong, Haiming Chen Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Data the 22nd International Database Engineering & Applications Symposium (IDEAS 2018) 6.18-6.20
Liyou Xu, Xiaowei He, Wei Chen, Sheng Li, Guoping Wang Reformulating Hyperelastic Materials with Peridynamic Modeling Pacific Graphics 2018
Rongjie Yan, Di Zhu, Fan Zhang, Yiqi Lv, Junjie Yang, Kai Huang Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods FM 2018
Bai Xue, Naijun Zhan, Yangjia Li, Qiuye Wang. Robust Non-termination Analysis of Numerical Software Symposium on Dependable Software Engineering Theories, Tools and Applications, SETTA 2018 9.4-9.6
Xiong Xu, Li Jiao and Ziming Zhu The Simulated Tree-Growth Algorithm Based on T-Invariants for State Reduction of Petri Nets IEEE Congress on Evolutionary Computation, IEEE CEC 2018 July 8-13
Mingshuai Chen, Martin Fraenzle, Yangjia Li, Peter N. Mosad and Naijun Zhan What’s to come is still unsure: Synthesizing synthesizers resilient to delayed reaction the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018 10.7-10.10
袁野,侯飞,邱枫,王文成 加强边缘感知的盲去模糊算法 Chinagraph 2018
王盛春, 王文成, 谭雪晗, 李静 加强局部简便计算的点在多边形内的高效判定 Chinagraph 2018
Sheng, B;Liu, BW;Li, P;Fu, HB;Ma, LZ;Wu, EH Accelerated robust Boolean operations based on hybrid representations 12th International Conference on Geometric Modeling and Processing (GMP) APR 09-11, 2018
Zhang, P;Xu, Y;Jiang, T;Li, AS;Lin, GH;Miyano, E Improved Approximation Algorithms for the Maximum Happy Vertices and Edges Problems 21st Annual International Computing and Combinatorics Conference (COCOON) AUG 04-06, 2015
Luo, TY;Wu, JZ;Yang, MT;Zhao, SZ;Wu, YJ;Wang, YJ MAD-API: Detection, Correction and Explanation of API Misuses in Distributed Android Applications 7th International Conference on Artificial Intelligence and Mobile Services (AIMS) Held as Part of the Services Conference Federation (SCF) JUN 25-30, 2018
Wang, J;Dou, WS;Gao, CS;Gao, Y;Wei, J Context-Based Event Trace Reduction in Client-Side JavaScript Applications 11th IEEE International Conference on Software Testing, Verification and Validation (ICST) APR 09-13, 2018