The compositional semantics of timed statecharts. - Junyan Qian; Baowen Xu (IASTED Conf. on Software Engineering and Applications, 2004)

Model Checking for Timed Statecharts. - Junyan Qian; Baowen Xu (FORTE, 2005)

On the New Application of Call Patterns to CPM Testing of Prolog Programs. - Lingzhong Zhao; Tianlong Gu; Junyan Qian; Guoyong Cai (Australian Conference on Artificial Intelligence, 2006)

Optimization Construction of Region Automaton. - Junyan Qian (PDPTA, 2006)

Designing Prolog Semantics for a Class of Observables. - Lingzhong Zhao; Tianlong Gu; Junyan Qian; Guoyong Cai (PRICAI, 2006)

A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics. - Lingzhong Zhao; Tianlong Gu; Junyan Qian; Guoyong Cai (SEKE, 2006)

Compositional Abstraction for Concurrent Programs. - Junyan Qian; Baowen Xu (Software Engineering Research and Practice, 2006)

A Base for Achieving Semantics for Prolog with Cut for Correct Observables. - Lingzhong Zhao; Tianlong Gu; Junyan Qian; Guoyong Cai (Software Engineering Research and Practice, 2006)

A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics. - Lingzhong Zhao; Tianlong Gu; Junyan Qian; Guoyong Cai (APLAS, 2007)

Verifying Programs Using Abstraction and Theorem Proving. - Junyan Qian; Baowen Xu (IMECS, 2007)

Goal-independent Semantics for Path Dependent Analysis of Prolog Programs. - Lingzhong Zhao; Tianlong Gu; Junyan Qian (TASE, 2007)

Formal Verification for C Program. - Junyan Qian; Baowen Xu (Informatica, 2007)

A Formal Framework for Policy-Governed Institutional Agency. - Guoyong Cai; Junyan Qian; Ji Gao; Yong Huang (CSSE (3), 2008)

Formula-Dependent Abstraction for CTL Model Checking. - Junyan Qian; Lingzhong Zhao; Guoyong Cai; Tianlong Gu (ICCSA (2), 2008)

Test frame updating in CPM testing of Prolog programs. - Lingzhong Zhao; Tianlong Gu; Junyan Qian; Guoyong Cai (Softw. Qual. J., 2008)

Automatic Construction of Complete Abstraction by Abstract Interpretation. - Junyan Qian; Lingzhong Zhao; Guoyong Cai; Tianlong Gu (ACIS-ICIS, 2009)

An ASP based method for subassembly identification. - Lingzhong Zhao; Weizhi Liao; Yili Fang; Junyan Qian; Congwen Zeng (ROBIO, 2009)

Supervising Mechanism for Contract Based Virtual Organization. - Guoyong Cai; Junyan Qian; Ji Gao (WGEC, 2009)

An ASP Based Solution to Mechanical Assembly Sequence Planning. - Xuesong Wang; Lingzhong Zhao; Congwen Zeng; Junyan Qian; Tianlong Gu (WGEC, 2009)

Using ASP to Improve the Information Reuse in Mechanical Assembly Sequence Planning. - Lingzhong Zhao; Xuesong Wang; Junyan Qian; Tianlong Gu (PRICAI, 2010)

Using ASP for knowledge management with user authorization. - Lingzhong Zhao; Junyan Qian; Liang Chang 003; Guoyong Cai (Data Knowl. Eng., 2010)

Event Calculus-Based Adaptive Services Composition Policy for AmI Systems. - Huibing Zhang; Jingwei Zhang 003; Ya Zhou; Junyan Qian (AMT, 2012)

WSSecTool: A Web Service Security Analysis Tool Based on Program Slicing. - Wei Fu; Yingzhou Zhang; Xianting Zhu; Junyan Qian (SERVICES, 2012)

Ad Dissemination Game in Ephemeral Networks. - Lihua Yin; Yunchuan Guo; Yanwei Sun; Junyan Qian; Athanasios V. Vasilakos (APWeb, 2015)

基于Petri网的CSP并发系统验证技术研究 (Verification of Concurrent CSP Systems Based on Petri Net). - Yanqing Liu; Lingzhong Zhao; Junyan Qian (计算机科学, 2015)

Dr.VIS v2.0: an updated database of human disease-related viral integration sites in the era of high-throughput deep sequencing. - Xiaobo Yang; Ming Li; Qi Liu; Yabing Zhang; Junyan Qian; Xueshuai Wan; Anqiang Wang; Haohai Zhang; Chengpei Zhu; Xin Lu; Yilei Mao; Xinting Sang; et al. (Nucleic Acids Res., 2015)

Linearizability Proof of Stack Data. - Junyan Qian; Guo-Qing Yao; Guang-Xi Chen; Lingzhong Zhao (ICCSA (4), 2016)

An Improved Reconfiguration Algorithm for VLSI Arrays with A-Star. - Junyan Qian; Zhide Zhou; Lingzhong Zhao; Tianlong Gu (ICCSA (2), 2016)

Which Is More Important for Cross-Project Defect Prediction: Instance or Feature? - Qiao Yu; Shujuan Jiang; Junyan Qian (SATE, 2016)

Satisfiability-based method for reconfiguring power efficient VLSI array. - Junyan Qian; Wei Cao; Jia Hu; Jingwei Zhang 003; Zhoubo Xu; Zhide Zhou (IEICE Electron. Express, 2016)

An integer programming method for constructing tightly coupled VLSI subarrays. - Junyan Qian; Zhide Zhou; Lingzhong Zhao; Tianlong Gu; Liang Chang 003 (IEICE Electron. Express, 2016)

A Robust Electronic Voting Scheme Against Side Channel Attack. - Yining Liu 001; Wei Guo 012; Chi Cheng; Ching-Fang Hsu 001; Junyan Qian; Changlu Lin (J. Inf. Sci. Eng., 2016)

计算节点不可靠网络可靠度的一种MDD算法 (Novel Reliability Analysis Algorithm Based on MDDs in Networks with Imperfect Nodes). - Honggang Wang; Rongsheng Dong; Junyan Qian (计算机科学, 2016)

Detection and classification of anomaly intrusion using hierarchy clustering and SVM. - Chenghua Tang; Yang Xiang 001; Yu Wang 017; Junyan Qian; Baohua Qiang (Secur. Commun. Networks, 2016)

Optimal Reconfiguration of High-Performance VLSI Subarrays with Network Flow. - Junyan Qian; Zhide Zhou; Tianlong Gu; Lingzhong Zhao; Liang Chang 003 (IEEE Trans. Parallel Distributed Syst., 2016)

An In-Depth Study of the Efficiency of Risk Evaluation Formulas for Multi-Fault Localization. - Xiaolin Ju; Xiang Chen 005; Yibiao Yang; Shujuan Jiang; Junyan Qian; Baowen Xu (QRS Companion, 2017)

An Interactive Debugging Framework with Heuristic Graph. - Xiaolin Ju; Xiang Chen 005; Shujuan Jiang; Junyan Qian (SATE, 2017)

Knowledge Graph Embedding by Dynamic Translation. - Liang Chang 003; Manli Zhu; Tianlong Gu; Chenzhong Bin; Junyan Qian; Ji Zhang 001 (IEEE Access, 2017)

A Ciphertext-Policy Attribute-Based Encryption Based on an Ordered Binary Decision Diagram. - Long Li 005; Tianlong Gu; Liang Chang 003; Zhoubo Xu; Yining Liu 001; Junyan Qian (IEEE Access, 2017)

A Mathematical Model for Reconfiguring VLSI Subarrays Under Row and Column Rerouting. - Junyan Qian; Yiping Wang; Liang Chang 003; Zhide Zhou; Lingzhong Zhao (IEEE Access, 2017)

A Behavioral Similarity Metric for Semantic Workflows Based on Semantic Task Adjacency Relations With Importance. - Jinyong Sun; Tianlong Gu; Junyan Qian (IEEE Access, 2017)

基于FP-Growth的图上随机游走推荐方法 (Recommendation Method Based on Random Walk on Graph Integrated with FP-Growth). - Mengyang Bian; Qing Yang 012; Jingwei Zhang 003; Huibing Zhang; Junyan Qian (计算机科学, 2017)

Optimal Representation of Large-Scale Graph Data Based on K2-Tree. - Liang Chang 003; Xiangxuan Zeng; Zhoubo Xu; Junyan Qian; Tianlong Gu; Houbing Song (Wirel. Pers. Commun., 2017)

Monadic Dynamic Slicing of Object-Oriented Programs. - Bihuan Xu; Junyan Qian; Yingzhou Zhang; Shurong Zhu (CyberC, 2018)

Poster: A Lightweight Timestamp-based MAC Detection Scheme for XOR Network Coding in Wireless Sensor Networks. - Zhongyi Zhai; Junyan Qian; Yuan Tao; Lingzhong Zhao; Bo Cheng 001 (MobiCom, 2018)

Improvement in JavaMOP by Simplifying Büchi Automaton. - Junyan Qian; Cong Chen; Wei Cao; Zhongyi Zhai; Lingzhong Zhao (SETTA, 2018)

Evolutionary approach to generating test data for data flow test. - Shujuan Jiang; Jieqiong Chen; Yanmei Zhang; Junyan Qian; Rongcun Wang; Meng Xue (IET Softw., 2018)

基于动态调整简化粒子群优化的组合测试用例生成方法 (Combinatorial Test Case Generation Method Based on Simplified Particle Swarm Optimizationwith Dynamic Adjustment). - Xiaoan Bao; Chao Bao; Yuting Jin; Chunyu Chen; Junyan Qian; Na Zhang 002 (计算机科学, 2018)

Lightweight Service Mashup Middleware With REST Style Architecture for IoT Applications. - Bo Cheng 001; Shuai Zhao 001; Junyan Qian; Zhongyi Zhai; Junliang Chen 001 (IEEE Trans. Netw. Serv. Manag., 2018)

How Far We Have Progressed in the Journey? An Examination of Cross-Project Defect Prediction. - Yuming Zhou; Yibiao Yang; Hongmin Lu; Lin Chen 015; Yanhui Li; Yangyang Zhao; Junyan Qian; Baowen Xu (ACM Trans. Softw. Eng. Methodol., 2018)

A game-theoretic approach to advertisement dissemination in ephemeral networks. - Lihua Yin; Yunchuan Guo; Fenghua Li; Yanwei Sun; Junyan Qian; Athanasios V. Vasilakos (World Wide Web, 2018)

The Lightweight System for UAV Cooperative Mission Planning Simulation. - Ge Gao; Yingzhou Zhang; Junyan Qian; Yuxin Sun (CyberC, 2019)

Program Slicing Method of LLVM IR Based on Information-Flow Analysis. - Yuxin Sun; Yingzhou Zhang; Junyan Qian (CyberC, 2019)

Multi-UAV Formation Transformation Based on Improved Heuristically-Accelerated Reinforcement Learning. - Yanbing Xiao; Yingzhou Zhang; Yuxin Sun; Junyan Qian (CyberC, 2019)

Efficient Test Case Generation for Thread-Safe Classes. - Lili Bo; Shujuan Jiang; Junyan Qian; Rongcun Wang; Xingya Wang (IEEE Access, 2019)

Performance Evaluation of Data Race Detection Based on Thread Sharing Analysis With Different Granularities: An Empirical Study. - Lili Bo; Shujuan Jiang; Junyan Qian; Rongcun Wang; Yafei Yao (IEEE Access, 2019)

An Approach for Detecting Infeasible Paths Based on a SMT Solver. - Shujuan Jiang; Hongyang Wang; Yanmei Zhang; Meng Xue; Junyan Qian; Miao Zhang (IEEE Access, 2019)

An Empirical Study on the Effectiveness of Feature Selection for Cross-Project Defect Prediction. - Qiao Yu; Junyan Qian; Shujuan Jiang; Zhenhua Wu; Gongjie Zhang (IEEE Access, 2019)

Fuzzy Pushdown Termination Games. - Haiyu Pan; Fu Song; Yongzhi Cao; Junyan Qian (IEEE Trans. Fuzzy Syst., 2019)

MobiMVL: A Model-Driven Mobile Application Development Approach for End-Users. - Zhongyi Zhai; Ke Xiang; Lingzhong Zhao; Junyan Qian (ICAIS (1), 2020)

Reflector: a fine-grained I/O tracker for HPC systems. - Abdullah Al-Mamun 001; Jialin Liu 002; Tonglin Li; Quincey Koziol; Zhongyi Zhai; Junyan Qian; Haoting Shen; Dongfang Zhao 001 (PPoPP, 2020)

Mulr4FL: Effective Fault Localization of Evolution Software Based on Multivariate Logistic Regression Model. - Xiaolin Ju; Jie Qian; Zhihua Chen; Chunyu Zhao; Junyan Qian (IEEE Access, 2020)

Process metrics for software defect prediction in object-oriented programs. - Qiao Yu; Shujuan Jiang; Junyan Qian; Lili Bo; Li Jiang; Gongjie Zhang (IET Softw., 2020)

An efficient multiple shortest augmenting paths algorithm for constructing high performance VLSI subarray. - Junyan Qian; Bisheng Huang; Hao Ding 007; Zhide Zhou; Lingzhong Zhao; Zhongyi Zhai (Integr., 2020)

IoT-RECSM - Resource-Constrained Smart Service Migration Framework for IoT Edge Computing Environment. - Zhongyi Zhai; Ke Xiang; Lingzhong Zhao; Bo Cheng 001; Junyan Qian; Jinsong Wu 001 (Sensors, 2020)

Efficient Reconfiguration Algorithm With Flexible Rerouting Schemes for Constructing 3-D VLSI Subarrays. - Junyan Qian; Hao Ding 007; Hanpeng Xiao; Zhide Zhou; Lingzhong Zhao; Zhongyi Zhai (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

A Novel Class-Imbalance Learning Approach for Both Within-Project and Cross-Project Defect Prediction. - Lina Gong; Shujuan Jiang; Lili Bo; Li Jiang; Junyan Qian (IEEE Trans. Reliab., 2020)

SmartCamera: Realtime Video Stream-Oriented Action Recognition Platform in Edge Environment. - Zhongyi Zhai; Xiaofeng Chen; Yinduo Zhao; Lingzhong Zhao; Junyan Qian; Jinsong Wu 001 (UbiComp/ISWC Adjunct, 2021)

A mathematical programming method for constructing the shortest interconnection VLSI arrays. - Hao Ding 007; Junyan Qian; Lingzhong Zhao; Zhongyi Zhai (Integr., 2021)

An improved algorithm for accelerating reconfiguration of VLSI array. - Junyan Qian; Fuhao Mo; Hao Ding 007; Zhide Zhou; Lingzhong Zhao; Zhongyi Zhai (Integr., 2021)

Flexible scheme for reconfiguring 2D mesh-connected VLSI subarrays under row and column rerouting. - Hao Ding 007; Junyan Qian; Bisheng Huang; Lingzhong Zhao; Zhongyi Zhai (J. Parallel Distributed Comput., 2021)

A high-performance VLSI array reconfiguration scheme based on network flow under row and column rerouting. - Hao Ding 007; Junyan Qian; Lingzhong Zhao; Zhongyi Zhai (J. Parallel Distributed Comput., 2021)

An efficiency-enhanced deep learning model for citywide crowd flows prediction. - Zhongyi Zhai; Peipei Liu; Lingzhong Zhao; Junyan Qian; Bo Cheng 001 (Int. J. Mach. Learn. Cybern., 2021)

Fuzzy Alternating Refinement Relations Under the Gödel Semantics. - Haiyu Pan; Yongzhi Cao; Liang Chang 003; Junyan Qian; Yuming Lin 001 (IEEE Trans. Fuzzy Syst., 2021)

Evolutionary Measures for Object-oriented Projects and Impact on the Performance of Cross-version Defect Prediction. - Qiao Yu; Yi Zhu 013; Hui Han; Yu Zhao; Shujuan Jiang; Junyan Qian (Internetware, 2022)

Generating Optimal Class Integration Test Orders Using Genetic Algorithms. - Yanmei Zhang; Shujuan Jiang; Yanru Ding; Guan Yuan; Junjie Liu; Dongyu Lu; Junyan Qian (Int. J. Softw. Eng. Knowl. Eng., 2022)

Approximate Safety Properties in Metric Transition Systems. - Junyan Qian; Fan Shi; Yong Cai; Haiyu Pan (IEEE Trans. Reliab., 2022)

Lightweight Secure Detection Service for Malicious Attacks in WSN With Timestamp-Based MAC. - Zhongyi Zhai; Guibing Lai; Bo Cheng 001; Junyan Qian; Lingzhong Zhao; Jinsong Wu 001; Zhiguo Wan (IEEE Trans. Netw. Serv. Manag., 2022)

Design of a Dual-Band Wireless Power and Data Transfer Coil for Multisite Biomedical Implants. - Mohammad Javad Karimi; Junyan Qian; Catherine Dehollain; Alexandre Schmid (NorCAS, 2023)

Human-in-the-loop online just-in-time software defect prediction. - Xutong Liu; Yufei Zhou; Yutian Tang; Junyan Qian; Yuming Zhou (CoRR, 2023)

Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving. - Yang Wang 165; Peng Zhang 083; Maolin Sun; Zeyu Lu; Yibiao Yang; Yutian Tang; Junyan Qian; Zhi Li 017; Yuming Zhou (IEEE Trans. Software Eng., 2023)

MAIT: Multi-agent Local Observation Interaction to Improve the Decision-Making Ability. - Lingzhong Zhao; Fuliang Luo; Zhongyi Zhai; Junyan Qian; Hao Ding 007; Changye Li 002 (ICIC (2), 2024)

Towards robust neural networks: Exploring counterfactual causality-based repair. - Fang Liu; Xiaofu Du; Hao Ding 007; Junyan Qian (Expert Syst. Appl., 2024)

Efficient topology reconfiguration for NoC-based multiprocessors: A greedy-memetic algorithm. - Junyan Qian; Chuanfang Zhang 003; Zheng Wu; Hao Ding 007; Long Li 005 (J. Parallel Distributed Comput., 2024)

Corrections to "Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving". - Yang Wang 165; Peng Zhang 083; Maolin Sun; Zeyu Lu; Yibiao Yang; Yutian Tang; Junyan Qian; Zhi Li 017; Yuming Zhou (IEEE Trans. Software Eng., 2024)

An Efficient Bottleneck Planes Exclusion Method for Reconfiguring 3D VLSI Arrays. - Junyan Qian; Kunzhu Qiu; Hao Ding 007; Huimin Zhang; Zhongyi Zhai (IEEE Trans. Parallel Distributed Syst., 2024)

Efficient 3-D Processor Array Reconfiguration Algorithms Based on Bucket Effect. - Hao Ding 007; Yanlong He; Zhongyi Zhai; Zhi Li 017; Junyan Qian; Lingzhong Zhao (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Strengthening attention: knowledge distillation via cross-layer feature fusion for image classification. - Zhongyi Zhai; Jie Liang; Bo Cheng 001; Lingzhong Zhao; Junyan Qian (Int. J. Multim. Inf. Retr., 2024)

Evolutionary measures and their correlations with the performance of cross-version defect prediction for object-oriented projects. - Qiao Yu; Yi Zhu 013; Hui Han; Yu Zhao; Shujuan Jiang; Junyan Qian (J. Softw. Evol. Process., 2024)

Deep learning or classical machine learning? An empirical study on line-level software defect prediction. - Yufei Zhou; Xutong Liu; Zhaoqiang Guo; Yuming Zhou; Corey Zhang; Junyan Qian (J. Softw. Evol. Process., 2024)

Unveiling the impact of unchanged modules across versions on the evaluation of within-project defect prediction models. - Xutong Liu; Yufei Zhou; Zeyu Lu; Yuanqing Mei; Yibiao Yang; Junyan Qian; Yuming Zhou (J. Softw. Evol. Process., 2024)

Pixel-Based Clustering for Local Interpretable Model-Agnostic Explanations. - Junyan Qian; Tong Wen; Ming Ling; Xiaofu Du; Hao Ding 007 (J. Artif. Intell. Soft Comput. Res., 2025)

Human-in-the-loop online just-in-time software defect prediction: What have we achieved and what do we still miss? - Xutong Liu; Yufei Zhou; Yutian Tang; Junyan Qian; Yuming Zhou (Sci. Comput. Program., 2025)

Refining Code-Line-Level Bugginess Identification: Getting the Best of Both Worlds by Fusing Syntactic and Semantic Features. - Yufei Zhou; Haihua Tang; Longtao Zhu; Hao Ding 007; Junyan Qian (ACM Trans. Softw. Eng. Methodol., 2025)