| 作者 |
论文题目 |
会议名称 |
会议时间 |
| Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma |
A new probabilistic algorithm for approximate model counting. |
9TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING, IJCAR 2018 |
7.14-7.17 |
| Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan |
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving |
5th International Workshop on Applied Verification of Continuous and Hybrid Systems, ARCH18 |
7.13 |
| Chung-Ling Lin, Wuwei Shen, Tao Yue, Guangyuan Li |
Automatic Support of the Generation and Maintenance of Assurance Cases |
Symposium on Dependable Software Engineering Theories, Tools and Applications, SETTA 2018 |
9.4-9.6 |
| Xiong Xu, Li Jiao and Ziming Zhu |
Boosting Search Based Software Testing by Using Ensemble Methods |
IEEE Congress on Evolutionary Computation, IEEE CEC 2018 |
July 8-13 |
| Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu |
Branching Bisimulation and Concurrent Object Verification. |
The 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN’18), |
6.25-6.28 |
| Xinxin Liu, Wenhui Zhang. |
Characterization and Verification of Stuttering Equivalence |
Zhou-Festschrift |
|
| Lingtai Wang and Naijun Zhan |
Decidability of the initial-state opacity of real-time automata |
Symposium on Real-time and Hybrid Systems in Honor of Prof. Chaochen Zhou’s 80th Birthday |
|
| Wei Cao, Xiaohua Ren, Luan Lyu, Enhua Wu |
Deformation Simulation of Non-orthotropic Materials |
ACM VRCAI 2018 |
|
| Rongjie Yan, Junjie Yang, Di Zhu, Kai Huang |
Design verification and validation for reliable safety-critical autonomous control systems |
ICECCS 2018 |
|
| Jin-Yi Cai, Pinyan Lu, Mingji Xia |
Dichotomy for Real Holantc Problems |
SIAM: ACM-SIAM Symposium on Discrete Algorithms, SODA 2018 |
1.7-1.10 |
| Wuwei Shen, Guangyuan Li, Chung-Ling Lin, Hongliang Liang |
Foundation of a Framework to Support Compliance Checking in Construction Industry |
SOFL+MSVL 2017 |
|
| Kenji Kanazawa, Shaowei Cai |
FPGA Acceleration to Solve Maximum Clique Problems Encoded into Partial MaxSAT |
MCSoC (IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip) |
|
| X. Zhang, Y. Li, F. Cui, C. Dong, H. Chen |
Inference of a Concise Regular Expression Considering Interleaving from XML documents. |
PAKDD 2018 |
|
| X. Wang and H. Chen |
Inferring Deterministic Regular Expression with Counting |
The 37th International Conference on Conceptual Modelling (ER 2018) |
|
| X. Zhang, Y. Li, F. Tian, F. Cui, C. Dong, H. Chen |
Inferring Regular Expressions with Interleaving from XML Data |
APWEB-WAIM 2018 |
|
| Bin Sheng, Yuxi Jin, Ping Li, Wenxiao Wang, Hongbo Fu, Enhua Wu |
InspireMePosing: Learn Pose and Composition from Portrait Examples |
Pacific Graphics 2018 |
|
| Yang Chen, Zhenya Zhang, Peng Wu, Yu Zhang |
Interleaving-Tree Based Fine-Grained Linearizability Fault Localization |
Symposium on Dependable Software Engineering Theories, Tools and Applications, SETTA 2018 |
9.4-9.6 |
| Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang |
Investigating the existence of large sets of idempotent quasigroups via satisfiability testing. |
9TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING, IJCAR 2018 |
7.14-7.17 |
| Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, Jian Zhang |
LAND: a user-friendly and customizable test generation tool for Android apps |
ISSTA 2018 |
7.16-7.21 |
| Jialun Cao, Youngjian Li, Jun Pang. |
L-CMP: An Automatic Learning-based Parameterized Verification Tool |
IEEE/ACM International Conference on Automated Software Engineering (ASE-18) |
9.3-9.7 |
| 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 |
