Rational design of core-shell Co@C microspheres for high-performance microwave absorption von Ding, Ding, Wang, Ying, Li, Xuandong, Qiang, Rong, Xu, Ping, Chu, Wenlei, Han, Xijiang, Du, Yunchen

Volltext

Preparation of silver with an ultrathin molecular imprinted layer for detection of carbendazim by SERS von Ren, Xiaohui, Feng, Xiaoxiang, Li, Xuandong, Li, Xin

Volltext

Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing von Enyi Tang, Xiangyu Zhang, Muller, Norbert T., Zhenyu Chen, Xuandong Li

Volltext

Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure von Xie, Dingbao, Xiong, Wen, Bu, Lei, Li, Xuandong

Volltext

Machine learning steered symbolic execution framework for complex software code von Bu, Lei, Liang, Yongjuan, Xie, Zhunyi, Qian, Hong, Hu, Yi-Qi, Yu, Yang, Chen, Xin, Li, Xuandong

Volltext

Ternary Mo2C/Co/C composites with enhanced electromagnetic waves absorption von Wang, Yahui, Li, Xuandong, Han, Xijiang, Xu, Ping, Cui, Liru, Zhao, Honghong, Liu, Dawei, Wang, Fengyuan, Du, Yunchen

Volltext

Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming von Bu, Lei, Zhao, Jianhua, Li, Xuandong

Volltext

Green low-temperature-solution-processed in situ HI modified TiO2/SnO2 bilayer for efficient and stable planar perovskite solar cells build at ambient air conditions von Deng, Yaxin, Li, Shuxian, Li, Xuandong, Wang, Rui, Li, Xin

Volltext

Path-oriented bounded reachability analysis of composed linear hybrid systems von Bu, Lei, Li, Xuandong

Volltext

Dependable Software Engineering: Theories, Tools, and Applications : First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings von Li, Xuandong, Liu, Zhiming, Yi, Wang

Volltext

Web services property sequence chart monitor: a tool chain for monitoring BPEL-based web service composition with scenario-based specifications von Zhang, Pengcheng, Leung, Hareton, Li, Wenrui, Li, Xuandong

Volltext

Safe reinforcement learning for dynamical systems using barrier certificates von Zhao, Qingye, Zhang, Yi, Li, Xuandong

Volltext

GUI-Guided Test Script Repair for Mobile Apps von Pan, Minxue, Xu, Tongtong, Pei, Yu, Li, Zhong, Zhang, Tian, Li, Xuandong

Volltext

Surface functionalization of carbonyl iron with aluminum phosphate coating toward enhanced anti-oxidative ability and microwave absorption properties von Duan, Wenju, Li, Xuandong, Wang, Ying, Qiang, Rong, Tian, Chunhua, Wang, Na, Han, Xijiang, Du, Yunchen

Volltext

PDF: Path-Oriented, Derivative-Free Approach for Safety Falsification of Nonlinear and Nondeterministic CPS von Wang, Jiawan, Bu, Lei, Xing, Shaopeng, Li, Xuandong

Volltext

Preference-wise Testing of Android Apps via Test Amplification von Pan, Minxue, Lu, Yifei, Pei, Yu, Zhang, Tian, Li, Xuandong

Volltext

Mitigating the impact of mislabeled data on deep predictive models: an empirical study of learning with noise approaches in software engineering tasks von Shen, Jian, Li, Zhong, Lu, Yifei, Pan, Minxue, Li, Xuandong

Volltext

Loop reduction techniques for reachability analysis of linear hybrid automata von Pan, MinXue, Li, You, Bu, Lei, Li, XuanDong

Volltext

Scenario-Based Online Reachability Validation for CPS Fault Prediction von Bu, Lei, Wang, Qixin, Ren, Xinyue, Xing, Shaopeng, Li, Xuandong

Volltext

Deep Is Better? An Empirical Comparison of Information Retrieval and Deep Learning Approaches to Code Summarization von Zhu, Tingwei, Li, Zhong, Pan, Minxue, Shi, Chaoxuan, Zhang, Tian, Pei, Yu, Li, Xuandong

Volltext