Li Jiao

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 37

Top Topics

Search Based Software Testing

Symbolic Execution

Top Venues

Publications

Li Jiao, Muhammad Irsyad Abdullah
DP-YOLO: Enhancing Pedestrian Detection in Crowd Scenes with Deformable Convolution and Varifocal Loss. CSAIDE (2024)
Li Jiao, Hui Li
Research on Financial Fraud Identification Model Based on Privacy-Preserving Machine Learning. ICMLCA (2023)
Wenyou Liu, Yunjun Bai, Li Jiao, Naijun Zhan
Safety guarantee for time-delay systems with disturbances. Sci. China Inf. Sci. 66 (3) (2023)
Minghui Cheng, Li Jiao, Pei Yan, Huiqing Gu, Jie Sun, Tianyang Qiu, Xibin Wang
A Novel Multi-Task Learning Model with PSAE Network for Simultaneous Estimation of Surface Quality and Tool Wear in Milling of Nickel-Based Superalloy Haynes 230. Sensors 22 (13) (2022)
Li Jiao, Tianfeng Shi
Research on the application of multi-parameter integration of drilling fluid based on temperature sensor. AIAM (2022)
Li Jiao, Nanchang Cheng
SEDCN: An improved Deep & Cross Network Recommendation Algorithm based on SENET. ICIS (2022)
Jiawen Kang, Yunjun Bai, Li Jiao
Abstraction-Based Incremental Inductive Coverability for Petri Nets. Petri Nets (2021)
Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan
Switching controller synthesis for delay hybrid systems under perturbations. HSCC (2021)
Lvchen Feng, Wenxiang Zhao, Zhibo Zhang, Pei Yan, Minghui Cheng, Li Jiao, Tianyang Qiu
Effect of Postures and Cutting Process on Robot Milling Performance and Surface Quality. ICIRA (2) (2021)
Li Jiao
Analysis of the Coupling Coordination Relationship between Digitalization and Cultural Industry. ICCIR (2021)
Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan
Switching Controller Synthesis for Delay Hybrid Systems under Perturbations. CoRR (2021)
Bai Xue, Yunjun Bai, Naijun Zhan, Wenyou Liu, Li Jiao
Reach-Avoid Analysis for Delay Differential Equations. CDC (2021)
Li Jiao, Nanchang Cheng, Song Kang
Research on Image Classification Based on Deep Learning. ICIS (2021)
Gaogao Yan, Li Jiao, Shuling Wang, Lingtai Wang, Naijun Zhan
Automatically Generating SystemC Code from HCSP Formal Models. ACM Trans. Softw. Eng. Methodol. 29 (1) (2020)
Li Jiao, Hai-Long Yang, Sheng-Gang Li
Three-way decision based on decision-theoretic rough sets with single-valued neutrosophic information. Int. J. Mach. Learn. Cybern. 11 (3) (2020)
Liu Chuanlei, Han Yuanfei, Li Jiao
Analysis and prediction of autistic children's game characteristics. Int. J. Comput. Appl. Technol. 61 (1/2) (2019)
Ziming Zhu, Li Jiao
Improving search-based software testing by constraint-based genetic operators. GECCO (2019)
Ziming Zhu, Li Jiao, Xiong Xu
A Dynamic Fitness Function Based on Branch Hardness for Search Based Software Testing. APSEC (2018)
Dongshu Xu, Longxiang Jiang, Xiaoyu Chai, Jin Chen, Li Jiao, Jiaqi Li, Shichen Lu, Han Fang, Chao Liang
WHU-NERCMS at TRECVID2018: Instance Search Task. TRECVID (2018)
Xiong Xu, Li Jiao, Ziming Zhu
Boosting Search Based Software Testing by Using Ensemble Methods. CEC (2018)
Ziming Zhu, Li Jiao, Xiong Xu
Combining Search-Based Testing and Dynamic Symbolic Execution by Evolvability Metric. ICSME (2018)
Xiong Xu, Li Jiao, Ziming Zhu
A dynamic fitness function for search based software testing. GECCO (Companion) (2018)
Xiong Xu, Li Jiao, Ziming Zhu
The Simulated Tree-Growth Algorithm Based on T-Invariants for State Reduction of Petri Nets. CEC (2018)
Li Jiao, Cheng Luo, Wei Cao, Xuegong Zhou, Lingli Wang
Accelerating low bit-width convolutional neural networks with embedded FPGA. FPL (2017)
Xiang Hu, Li Jiao
Efficient modeling and performance analysis for IEEE 802.15.4 with coloured Petri nets. IWQoS (2017)
Ziming Zhu, Xiong Xu, Li Jiao
Improved evolutionary generation of test data for multiple paths in search-based software testing. CEC (2017)
Li Jiao, Chengxia Wang, Cristiane Hsu, Peter Birkholz, Yi Xu
Does Posh English Sound Attractive? INTERSPEECH (2017)
Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan
Synthesizing SystemC Code from Delay Hybrid CSP. APLAS (2017)
Gaogao Yan, Li Jiao, Shuling Wang, Naijun Zhan
Synthesizing SystemC Code from Delay Hybrid CSP. CoRR (2017)
Xiong Xu, Ziming Zhu, Li Jiao
An adaptive fitness function based on branch hardness for search based testing. GECCO (2017)
Weifeng Wang, Li Jiao
Trace Abstraction Refinement for Solving Horn Clauses. Comput. J. 59 (8) (2016)
Qi Zhan, Min Gao, Li Jiao, Wei Cao, Xuegong Zhou, Lingli Wang
High performance Deformable Part Model accelerator based on FPGA. FPT (2016)
Huimin Li, Xitian Fan, Li Jiao, Wei Cao, Xuegong Zhou, Lingli Wang
A high performance FPGA-based accelerator for large-scale convolutional neural networks. FPL (2016)
Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan
Approximate Bisimulation and Discretization of Hybrid CSP. CoRR (2016)
Xiang Hu, Li Jiao, Yesheng Chai
从UML到GSPN的转换和性能分析方法 (Transforming UML to GSPN for Performance Analysis). 计算机科学 43 (11) (2016)
Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan
Approximate Bisimulation and Discretization of Hybrid CSP. FM (2016)
Xiang Hu, Li Jiao, Zhijia Li
Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets. Comput. J. 59 (10) (2016)
Li Jiao, Qiuwu Ma, Ting Wang, Yi Xu
Perceptual cues of whispered tones: are they really special? INTERSPEECH (2015)
Weifeng Wang, Li Jiao
Difference Bound Constraint Abstraction for Timed Automata Reachability Checking. FORTE (2015)
Zhijia Li, Xiang Hu, Li Jiao, Weifeng Wang
基于随机Petri网的高性能计算系统作业调度及InfiniBand网络互连的性能分析 (Performance Evaluation of Job Scheduling and InfiniBand Network Interconnection in High Performance Computing System Based on Stochastic Petri Nets). 计算机科学 42 (1) (2015)
Zhijia Li, Li Jiao, Xiang Hu
Performance Analysis for Job Scheduling in Hierarchical HPC Systems: A Coloured Petri Nets Method. ICA3PP (4) (2015)
Weifeng Wang, Li Jiao
Trace Abstraction Refinement for Timed Automata. ATVA (2014)
Yunhe Wang, Li Jiao
Using transition set sequences to partition behaviors of petri nets. Acta Informatica 49 (1) (2012)
Yunhe Wang, Li Jiao
Canonical Transition Set Semantics for Petri Nets. Petri Nets (2010)
Xiaowei Huang, Li Jiao, Weiming Lu
Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence. Comput. J. 53 (1) (2010)
Xiaowei Huang, Li Jiao, Weiming Lu
A precongruence format for should testing preorder. J. Log. Algebraic Methods Program. 79 (3-5) (2010)
Yunhe Wang, Bo Jiang, Li Jiao
Property Checking for 1-Place-Unbounded Petri Nets. TASE (2010)
Xiaowei Huang, Li Jiao, Weiming Lu
Weak Parametric Failure Equivalences and Their Congruence Formats. CATS (2008)
Li Jiao, Hejiao Huang, To-Yat Cheung
Handling Resource Sharing Problem Using Property-Preserving Place Fusions of Petri Nets. J. Circuits Syst. Comput. 17 (3) (2008)
Li Jiao
A note on regular Petri nets. Inf. Process. Lett. 108 (3) (2008)
Li Jiao
A method for verifying deadlock freedom and liveness of petri nets. ISCAS (2008)
Li Jiao
Refining and verifying regular Petri nets. Int. J. Syst. Sci. 39 (1) (2008)
Wenli Dong, Li Jiao
QoS-Aware Web Service Composition Based on SLA. ICNC (5) (2008)
Xiaowei Huang, Li Jiao, Weiming Lu
What Semantic Equivalences Are Suitable for Non-interference Properties in Computer Security. ICICS (2007)
Xiaowei Huang, Li Jiao, Weiming Lu
A Semantic Preorder on Refinement and Fairness. TASE (2007)
Li Jiao, To-Yat Cheung
Compositional Verification for Workflow Nets. J. Circuits Syst. Comput. 15 (4) (2006)
H. J. Huang, Li Jiao, To-Yat Cheung
Property-preserving subnet reductions for designing manufacturing systems with shared resources. Theor. Comput. Sci. 332 (1-3) (2005)
Liang Sun, Li Jiao, Yufeng Wang, Shiduan Cheng, Wendong Wang
An Adaptive Group-Based Reputation System in Peer-to-Peer Networks. WINE (2005)
Li Jiao, Hejiao Huang, To-Yat Cheung
Property-preserving Composition by Place Merging. J. Circuits Syst. Comput. 14 (4) (2005)
Li Jiao
Decomposition of Nets and Verification in terms of Decomposition. CIMCA/IAWTIC (2005)
Li Jiao
Compositional analysis for regularity, liveness and boundedness. ICINCO (2005)
Li Jiao, To-Yat Cheung, Weiming Lu
Handling Synchronization Problem in Petri Net-Based System Design by Property-Preserving Transition-Reduction. Comput. J. 48 (6) (2005)
Li Jiao, To-Yat Cheung, Weiming Lu
On liveness and boundedness of asymmetric choice nets. Theor. Comput. Sci. 311 (1-3) (2004)
H. J. Huang, Li Jiao, To-Yat Cheung
Property-preserving composition of augmented marked graphs that share common resources. ICRA (2003)
Li Jiao, To-Yat Cheung
Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties. Int. J. Found. Comput. Sci. 14 (4) (2003)
Li Jiao, To-Yat Cheung, Weiming Lu
Characterizing Liveness of Petri Nets in Terms of Siphons. ICATPN (2002)