| 作者 |
论文题目 |
会议名称 |
会议时间 |
| 曹魏、吴恩华 |
基于物理的形变模拟中本构模型的研究进展 |
(第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 |
