Xiaoxing Ma - RankMe

224 papers A* 30A 9B 8C 22Misc 2Journal 97Unranked 52

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Learning to Disprove: Formal Counterexample Generation with Large Language Models. CoRR Zenan Li, Zhaoyu Li, Kaiyu Yang, Xiaoxing Ma, Zhendong Su
2026	J	`jnl`	Qihe: A General-Purpose Static Analysis Framework for Verilog. CoRR Qinlin Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan, Xiaoxing Ma, Chang Xu, Jian Lu, Yue Li
2026	J	`jnl`	Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set. CoRR Nongyu Di, Tianyu Chen, Shan Lu, Shuai Lu, Yeyun Gong, Peng Cheng, Jacob R. Lorch, Yuan Yao, Xiaoxing Ma
2026	J	`jnl`	Robustness evaluation and enhancement of LLMs in code generation: an empirical study. Empir. Softw. Eng. Jincheng Liu, Senrong Xu, Yuan Yao, Yibin Shen, Yicong Zhao, Xiaorui Zhu, Ping Yu, Feng Xu, Xiaoxing Ma
2026	J	`jnl`	Stepwise: Neuro-Symbolic Proof Search for Automated Systems Verification. CoRR Baoding He, Zenan Li, Wei Sun, Yuan Yao, Taolue Chen, Xiaoxing Ma, Zhendong Su
2025	J	`jnl`	A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning. CoRR Zhi Zhou, Tan Yuhao, Zenan Li, Yuan Yao, Lan-Zhe Guo, Yufeng Li, Xiaoxing Ma
2025	J	`jnl`	Adamas: Hadamard Sparse Attention for Efficient Long-Context Inference. CoRR Siyuan Yan, Guo-qing Jiang, Yuchen Zhang, Xiaoxing Ma, Ran Zhu, Chun Cao, Jingwei Xu
2025	—	`conf`	Brevity is the Soul of Wit: Condensing Code Changes to Improve Commit Message Generation. Internetware Hongyu Kuang, Ning Zhang, Hui Gao, Xin Zhou, Wesley K. G. Assunção, Xiaoxing Ma, Dong Shao, Guoping Rong, He Zhang
2025	J	`jnl`	Brevity is the Soul of Wit: Condensing Code Changes to Improve Commit Message Generation. CoRR Hongyu Kuang, Ning Zhang, Hui Gao, Xin Zhou, Wesley K. G. Assunção, Xiaoxing Ma, Dong Shao, Guoping Rong, He Zhang
2025	J	`jnl`	Bridging Internal Probability and Self-Consistency for Effective and Efficient LLM Reasoning. CoRR Zhi Zhou, Tan Yuhao, Zenan Li, Yuan Yao, Lan-Zhe Guo, Xiaoxing Ma, Yufeng Li
2025	J	`jnl`	Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference. Proc. ACM Softw. Eng. Weining Cao, Guangyuan Wu, Tangzhi Xu, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma
2025	A*	`conf`	Comprehend, Imitate, and then Update: Unleashing the Power of LLMs in Test Suite Evolution. ASE Tangzhi Xu, Jianhan Liu, Yuan Yao, Cong Li, Feng Xu, Xiaoxing Ma
2025	J	`jnl`	Conformal Correction for Efficiency May be at Odds with Entropy. CoRR Senrong Xu, Tianyu Wang, Zenan Li, Yuan Yao, Taolue Chen, Feng Xu, Xiaoxing Ma
2025	—	`conf`	Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency. USENIX ATC Ruize Tang, Minghua Wang, Xudong Sun, Lin Huang, Yu Huang, Xiaoxing Ma
2025	J	`jnl`	Does AI Code Review Lead to Code Changes? A Case Study of GitHub Actions. CoRR Kexin Sun, Hongyu Kuang, Sebastian Baltes, Xin Zhou, He Zhang, Xiaoxing Ma, Guoping Rong, Dong Shao, Christoph Treude
2025	—	`conf`	Exploiting Booster Pass Chain for Compiler Phase Ordering. Internetware Yihan Chen, Huanhuan Chen, Yuan Yao, Ping Yu, Feng Xu, Xiaoxing Ma
2025	J	`jnl`	FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory. CoRR Xiao-Wen Yang, Zihao Zhang, Jianuo Cao, Zhi Zhou, Zenan Li, Lan-Zhe Guo, Yuan Yao, Taolue Chen, Yufeng Li, Xiaoxing Ma
2025	—	`conf`	LASER: Script Execution by Autonomous Agents for On-demand Traffic Simulation. Internetware Hao Gao, Jingyue Wang, Wenyang Fang, Jingwei Xu, Yunpeng Huang, Taolue Chen, Xiaoxing Ma
2025	A	`conf`	Multi-Grained Specifications for Distributed System Model Checking and Verification. EuroSys Lingzhi Ouyang, Xudong Sun, Ruize Tang, Yu Huang, Madhav Jivrajani, Xiaoxing Ma, Tianyin Xu
2025	J	`jnl`	NexuSym: Marrying symbolic path finders with large language models. Autom. Softw. Eng. Jiayi Wang, Ping Yu, Yi Qin, Yanyan Jiang, Yuan Yao, Xiaoxing Ma
2025	J	`jnl`	Pointer Analysis for Database-Backed Applications. Proc. ACM Program. Lang. Yufei Liang, Teng Zhang, Ganlin Li, Tian Tan, Chang Xu, Chun Cao, Xiaoxing Ma, Yue Li
2025	A*	`conf`	Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning. ICLR Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma
2025	J	`jnl`	Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning. CoRR Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma
2025	J	`jnl`	SCG-tree: shortcut enhanced graph hierarchy tree for efficient spatial queries on massive road networks. Frontiers Comput. Sci. Zhuo Cao, Chun Cao, Jianqiu Xu, Jingwei Xu, Zhefei Chen, Zi Chen, Xiaoxing Ma
2025	A*	`conf`	Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving. IJCAI Bingzhe Zhou, Hannan Wang, Yuan Yao, Taolue Chen, Feng Xu, Xiaoxing Ma
2025	J	`jnl`	SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems. CoRR Qian Cheng, Ruize Tang, Emilie Ma, Finn Hackett, Peiyang He, Yiming Su, Ivan Beschastnikh, Yu Huang, Xiaoxing Ma, Tianyin Xu
2024	A*	`conf`	AVIATE: Exploiting Translation Variants of Artifacts to Improve IR-based Traceability Recovery in Bilingual Software Projects. ASE Kexin Sun, Yiding Ren, Hongyu Kuang, Hui Gao, Xiaoxing Ma, Guoping Rong, Dong Shao, He Zhang
2024	J	`jnl`	AVIATE: Exploiting Translation Variants of Artifacts to Improve IR-based Traceability Recovery in Bilingual Software Projects. CoRR Kexin Sun, Yiding Ren, Hongyu Kuang, Hui Gao, Xiaoxing Ma, Guoping Rong, Dong Shao, He Zhang
2024	J	`jnl`	Active Monitoring Mechanism for Control-Based Self-Adaptive Systems. Proc. ACM Softw. Eng. Yi Qin, Yanxiang Tong, Yifei Xu, Chun Cao, Xiaoxing Ma
2024	A*	`conf`	Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency. NeurIPS Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Xian Zhang, Fan Yang, Xiaoxing Ma
2024	J	`jnl`	Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency. CoRR Zenan Li, Yifan Wu, Zhaoyu Li, Xinming Wei, Xian Zhang, Fan Yang, Xiaoxing Ma
2024	J	`jnl`	LASER: Script Execution by Autonomous Agents for On-demand Traffic Simulation. CoRR Hao Gao, Jingyue Wang, Wenyang Fang, Jingwei Xu, Yunpeng Huang, Taolue Chen, Xiaoxing Ma
2024	A*	`conf`	LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference. ASE Guangyuan Wu, Weining Cao, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma
2024	J	`jnl`	Learning with Logical Constraints but without Shortcut Satisfaction. CoRR Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lü
2024	J	`jnl`	Model-checking-driven explorative testing of CRDT designs and implementations. J. Softw. Evol. Process. Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma
2024	J	`jnl`	Multi-Grained Specifications for Distributed System Model Checking and Verification. CoRR Lingzhi Ouyang, Xudong Sun, Ruize Tang, Yu Huang, Madhav Jivrajani, Xiaoxing Ma, Tianyin Xu
2024	—	`conf`	NEST: Node with Statistics Tree for IoT Data Persistence and Real-time Queries. Internetware Jiahua Huang, Chun Cao, Jun Ma, Xiaoxing Ma
2024	A*	`conf`	Neuro-Symbolic Data Generation for Math Reasoning. NeurIPS Zenan Li, Zhi Zhou, Yuan Yao, Xian Zhang, Yufeng Li, Chun Cao, Fan Yang, Xiaoxing Ma
2024	J	`jnl`	Neuro-Symbolic Data Generation for Math Reasoning. CoRR Zenan Li, Zhi Zhou, Yuan Yao, Yufeng Li, Chun Cao, Fan Yang, Xian Zhang, Xiaoxing Ma
2024	J	`jnl`	Neuro-symbolic Learning Yielding Logical Constraints. CoRR Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu
2024	—	`conf`	On the Heterophily of Program Graphs: A Case Study of Graph-based Type Inference. Internetware Senrong Xu, Jiamei Shen, Yunfan Li, Yuan Yao, Ping Yu, Feng Xu, Xiaoxing Ma
2024	—	`ed.`	Proceedings of the 15th Asia-Pacific Symposium on Internetware, Internetware 2024, Macau, SAR, China, July 24-26, 2024 Internetware Hong Mei, Jian Lv, Abdelsalam Helal, Xiaoxing Ma, Shing-Chi Cheung, Jie Zhang, Tao Zhang
2024	—	`ed.`	Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2024, Lisbon, Portugal, April 15-16, 2024 SEAMS@ICSE Luciano Baresi, Xiaoxing Ma, Liliana Pasquale
2024	J	`jnl`	Revisiting Knowledge-Based Inference of Python Runtime Environments: A Realistic and Adaptive Approach. IEEE Trans. Software Eng. Wei Cheng, Wei Hu, Xiaoxing Ma
2024	A	`conf`	SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration. EuroSys Ruize Tang, Xudong Sun, Yu Huang, Yuyang Wei, Lingzhi Ouyang, Xiaoxing Ma
2024	J	`jnl`	Securing Reliability: A Brief Overview on Enhancing In-Context Learning for Foundation Models. CoRR Yunpeng Huang, Yaonan Gu, Jingwei Xu, Zhihong Zhu, Zhaorun Chen, Xiaoxing Ma
2024	J	`jnl`	Softened Symbol Grounding for Neuro-symbolic Systems. CoRR Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü
2024	C	`conf`	Symbolic Execution with Test Cases Generated by Large Language Models. QRS Jiahe Xu, Jingwei Xu, Taolue Chen, Xiaoxing Ma
2024	A*	`conf`	TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts. ICSE Hui Gao, Hongyu Kuang, Wesley K. G. Assunção, Christoph Mayr-Dorn, Guoping Rong, He Zhang, Xiaoxing Ma, Alexander Egyed
2024	J	`jnl`	Understanding and Detecting Inefficient Image Displaying Issues in Android Apps. J. Comput. Sci. Technol. Wenjie Li, Jun Ma, Yanyan Jiang, Chang Xu, Xiaoxing Ma
2023	J	`jnl`	Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey. CoRR Yunpeng Huang, Jingwei Xu, Zixu Jiang, Junyu Lai, Zenan Li, Yuan Yao, Taolue Chen, Lijuan Yang, Zhou Xin, Xiaoxing Ma
2023	—	`conf`	Conflict-free Replicated Priority Queue: Design, Verification and Evaluation. Internetware Yuqi Zhang, Lingzhi Ouyang, Yu Huang, Xiaoxing Ma
2023	J	`jnl`	Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis. CoRR Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, Yue Li
2023	J	`jnl`	Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis. Proc. ACM Program. Lang. Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, Yue Li
2023	A*	`conf`	Data Quality Matters: A Case Study of Obsolete Comment Detection. ICSE Shengbin Xu, Yuan Yao, Feng Xu, Tianxiao Gu, Jingwei Xu, Xiaoxing Ma
2023	J	`jnl`	Growing Software: Objective, Methodology, and Technology. IEEE Trans. Comput. Soc. Syst. Jian Lu, Chang Xu, Xiaoxing Ma, Bin Hu
2023	—	`conf`	Hybrid API Migration: A Marriage of Small API Mapping Models and Large Language Models. Internetware Bingzhe Zhou, Xinying Wang, Shengbin Xu, Yuan Yao, Minxue Pan, Feng Xu, Xiaoxing Ma
2023	A*	`conf`	Learning with Logical Constraints but without Shortcut Satisfaction. ICLR Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lü
2023	Misc	`conf`	Leveraging TLA SETTA Lingzhi Ouyang, Yu Huang, Binyu Huang, Xiaoxing Ma
2023	J	`jnl`	Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service. CoRR Lingzhi Ouyang, Yu Huang, Binyu Huang, Hengfeng Wei, Xiaoxing Ma
2023	A*	`conf`	Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective. ICSE Zenan Li, Maorun Zhang, Jingwei Xu, Yuan Yao, Chun Cao, Taolue Chen, Xiaoxing Ma, Jian Lu
2023	A*	`conf`	Neuro-symbolic Learning Yielding Logical Constraints. NeurIPS Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu
2023	A*	`conf`	Softened Symbol Grounding for Neuro-symbolic Systems. ICLR Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü
2023	J	`jnl`	TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts. CoRR Hui Gao, Hongyu Kuang, Wesley K. G. Assunção, Christoph Mayr-Dorn, Guoping Rong, He Zhang, Xiaoxing Ma, Alexander Egyed
2023	J	`jnl`	The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog. Proc. ACM Program. Lang. Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, Yue Li
2023	J	`jnl`	The Right Prompts for the Job: Repair Code-Review Defects with Large Language Model. CoRR Zelin Zhao, Zhaogui Xu, Jialong Zhu, Peng Di, Yuan Yao, Xiaoxing Ma
2022	A*	`conf`	ADEPT: A Testing Platform for Simulated Autonomous Driving. ASE Sen Wang, Zhuheng Sheng, Jingwei Xu, Taolue Chen, Junjun Zhu, Shuhui Zhang, Yuan Yao, Xiaoxing Ma
2022	J	`jnl`	Boosting API Recommendation With Implicit Feedback. IEEE Trans. Software Eng. Yu Zhou, Xinying Yang, Taolue Chen, Zhiqiu Huang, Xiaoxing Ma, Harald C. Gall
2022	J	`jnl`	Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction. CoRR Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang, Xiaoxing Ma
2022	B	`conf`	Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction. SRDS Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang, Xiaoxing Ma
2022	A*	`conf`	Fair Representation Learning: An Alternative to Mutual Information. KDD Ji Liu, Zenan Li, Yuan Yao, Feng Xu, Xiaoxing Ma, Miao Xu, Hanghang Tong
2022	—	`conf`	Incorporating Pre-trained Transformer Models into TextCNN for Sentiment Analysis on Software Engineering Texts. Internetware Kexin Sun, Xiaobo Shi, Hui Gao, Hongyu Kuang, Xiaoxing Ma, Guoping Rong, Dong Shao, Zheng Zhao, He Zhang
2022	J	`jnl`	MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations. CoRR Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma
2022	J	`jnl`	Propagating frugal user feedback through closeness of code dependencies to improve IR-based traceability recovery. Empir. Softw. Eng. Hui Gao, Hongyu Kuang, Xiaoxing Ma, Hao Hu, Jian Lü, Patrick Mäder, Alexander Egyed
2022	J	`jnl`	TOAST: Automated Testing of Object Transformers in Dynamic Software Updates. J. Comput. Sci. Technol. Zelin Zhao, Di Huang, Xiaoxing Ma
2022	A*	`conf`	Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery. ASE Hui Gao, Hongyu Kuang, Kexin Sun, Xiaoxing Ma, Alexander Egyed, Patrick Mäder, Guoping Rong, Dong Shao, He Zhang
2022	J	`jnl`	Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery. CoRR Hui Gao, Hongyu Kuang, Kexin Sun, Xiaoxing Ma, Alexander Egyed, Patrick Mäder, Guoping Rong, Dong Shao, He Zhang
2022	J	`jnl`	ViSearch: Weak Consistency Measurement for Replicated Data Types. CoRR Lintian Shi, Yuqi Zhang, Yu Huang, Hengfeng Wei, Xiaoxing Ma
2021	J	`jnl`	A robot hand-eye calibration method of line laser sensor based on 3D reconstruction. Robotics Comput. Integr. Manuf. Mingyang Li, Zhijiang Du, Xiaoxing Ma, Wei Dong, Yongzhuo Gao
2021	J	`jnl`	Dependence-Based Data-Aware Process Conformance Checking. IEEE Trans. Serv. Comput. Wei Song, Hans-Arno Jacobsen, Chengzhen Zhang, Xiaoxing Ma
2021	A	`conf`	Exploiting the Unique Expression for Improved Sentiment Analysis in Software Engineering Text. ICPC Kexin Sun, Hui Gao, Hongyu Kuang, Xiaoxing Ma, Guoping Rong, Dong Shao, He Zhang
2021	J	`jnl`	Exploiting the Unique Expression for Improved Sentiment Analysis in Software Engineering Text. CoRR Kexin Sun, Hui Gao, Hongyu Kuang, Xiaoxing Ma, Guoping Rong, Dong Shao, He Zhang
2021	J	`jnl`	Generic Adaptive Scheduling for Efficient Context Inconsistency Detection. IEEE Trans. Software Eng. Huiyan Wang, Chang Xu, Bingying Guo, Xiaoxing Ma, Jian Lu
2021	J	`jnl`	Making pointer analysis more precise by unleashing the power of selective context sensitivity. Proc. ACM Program. Lang. Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, Yannis Smaragdakis
2021	J	`jnl`	On interleaving space exploration of multi-threaded programs. Frontiers Comput. Sci. Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma
2021	—	`conf`	PASTA: Synthesizing Object State Transformers for Dynamic Software Updates. ICSE (Companion Volume) Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma
2021	A*	`conf`	Synthesizing Object State Transformers for Dynamic Software Updates. ICSE Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma
2021	—	`conf`	Timely and accurate detection of model deviation in self-adaptive software-intensive systems. ESEC/SIGSOFT FSE Yanxiang Tong, Yi Qin, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma
2021	J	`jnl`	Towards effective metamorphic testing by algorithm stability for linear classification programs. J. Syst. Softw. Yingzhuo Yang, Zenan Li, Huiyan Wang, Chang Xu, Xiaoxing Ma
2021	J	`jnl`	Workflow Refactoring for Maximizing Concurrency and Block-Structuredness. IEEE Trans. Serv. Comput. Wei Song, Hans-Arno Jacobsen, Shing-Chi Cheung, Hongyu Liu, Xiaoxing Ma
2020	J	`jnl`	Boosting API Recommendation with Implicit Feedback. CoRR Yu Zhou, Xinying Yang, Taolue Chen, Zhiqiu Huang, Xiaoxing Ma, Harald C. Gall
2020	A*	`conf`	ComboDroid: generating high-quality test inputs for Android apps via use case combinations. ICSE Jue Wang, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, Jian Lu
2020	A*	`conf`	Dissector: input validation for deep learning applications by crossing-layer dissection. ICSE Huiyan Wang, Jingwei Xu, Chang Xu, Xiaoxing Ma, Jian Lu
2020	—	`conf`	Operational calibration: debugging confidence errors for DNNs in the field. ESEC/SIGSOFT FSE Zenan Li, Xiaoxing Ma, Chang Xu, Jingwei Xu, Chun Cao, Jian Lu
2020	—	`conf`	Overwhelming Uncertainty in Self-adaptation: An Empirical Study on PLA and CobRA. Internetware Jingxin Fan, Yanxiang Tong, Yi Qin, Xiaoxing Ma
2020	J	`jnl`	Perspectives on search strategies in automated test input generation. Frontiers Comput. Sci. Yang Cao, Yanyan Jiang, Chang Xu, Jun Ma, Xiaoxing Ma
2020	J	`jnl`	Predicted Robustness as QoS for Deep Neural Network Models. J. Comput. Sci. Technol. Yue-Huan Wang, Zenan Li, Jingwei Xu, Ping Yu, Taolue Chen, Xiaoxing Ma
2020	A*	`conf`	Testing file system implementations on layered models. ICSE Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu
2020	—	`conf`	Testing for Dynamic Software Update: An Object-State-Oriented Approach. Internetware Di Huang, Zelin Zhao, Xiaoxing Ma
2019	J	`jnl`	Boosting Operational DNN Testing Efficiency through Conditioning. CoRR Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, Jian Lu
2019	—	`conf`	Boosting operational DNN testing efficiency through conditioning. ESEC/SIGSOFT FSE Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, Jian Lü
2019	A	`conf`	Characterizing and Detecting Inefficient Image Displaying Issues in Android Apps. SANER Wenjie Li, Yanyan Jiang, Chang Xu, Yepang Liu, Xiaoxing Ma, Jian Lu
2019	—	`conf`	Fast Robustness Prediction for Deep Neural Network. Internetware Yue-Huan Wang, Zenan Li, Jingwei Xu, Ping Yu, Xiaoxing Ma
2019	J	`jnl`	Instance Migration Validity for Dynamic Evolution of Data-Aware Processes. IEEE Trans. Software Eng. Wei Song, Xiaoxing Ma, Hans-Arno Jacobsen
2019	J	`jnl`	Operational Calibration: Debugging Confidence Errors for DNNs in the Field. CoRR Zenan Li, Xiaoxing Ma, Chang Xu, Jingwei Xu, Chun Cao, Jian Lü
2019	—	`conf`	ParaAim: Testing Android Applications Parallel at Activity Granularity. COMPSAC (1) Chun Cao, Jing Deng, Ping Yu, Zhiyong Duan, Xiaoxing Ma
2019	A*	`conf`	Practical GUI testing of Android applications via model abstraction and refinement. ICSE Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, Zhendong Su
2019	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie, Jun Wei, Chang Xu, Zhi Jin, Xiaoxing Ma
2019	A*	`conf`	SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection. ASE Da Li, Huiyan Wang, Chang Xu, Ruiqing Zhang, Shing-Chi Cheung, Xiaoxing Ma
2019	—	`conf`	Speedup Automatic Program Repair Using Dynamic Software Updating: An Empirical Study. Internetware Rongxun Guo, Tianxiao Gu, Yuan Yao, Feng Xu, Xiaoxing Ma
2019	—	`conf`	Structural coverage criteria for neural networks could be misleading. ICSE (NIER) Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao
2019	A	`conf`	Using frugal user feedback with closeness analysis on code to improve IR-based traceability recovery. ICPC Hongyu Kuang, Hui Gao, Hao Hu, Xiaoxing Ma, Jian Lu, Patrick Mäder, Alexander Egyed
2019	C	`conf`	VISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis. APSEC Ziqi Chen, Huiyan Wang, Chang Xu, Xiaoxing Ma, Chun Cao
2019	C	`conf`	WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties. QRS Da Li, Huiyan Wang, Chang Xu, Fengmin Shi, Xiaoxing Ma, Jian Lu
2018	—	`ed.`	2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018, Guangzhou, China, October 8-12, 2018 SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Guojun Wang, Qi Han, Md. Zakirul Alam Bhuiyan, Xiaoxing Ma, Frédéric Loulergue, Peng Li, Manuel Roveri, Lei Chen
2018	J	`jnl`	AATT+: Effectively manifesting concurrency bugs in Android apps. Sci. Comput. Program. Jue Wang, Yanyan Jiang, Chang Xu, Qiwei Li, Tianxiao Gu, Jun Ma, Xiaoxing Ma, Jian Lu
2018	—	`conf`	An Assertion Framework for Mobile Robotic Programming with Spatial Reasoning. COMPSAC (1) Hao Sun, Xiaoxing Ma, Tiansi Dong, Armin B. Cremers, Chun Cao
2018	A	`conf`	Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis. ECOOP Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lu
2018	J	`jnl`	Efficient validation of self-adaptive applications by counterexample probability maximization. J. Syst. Softw. Wenhua Yang, Chang Xu, Minxue Pan, Chun Cao, Xiaoxing Ma, Jian Lu
2018	—	`conf`	Improving Cluster Resource Efficiency with Oversubscription. COMPSAC (1) Jie Chen, Chun Cao, Ying Zhang, Xiaoxing Ma, Haiwei Zhou, Chengwei Yang
2018	J	`jnl`	Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty. ACM Trans. Internet Techn. Wenhua Yang, Chang Xu, Minxue Pan, Xiaoxing Ma, Jian Lu
2018	C	`conf`	Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing. QRS Dawei Cheng, Chun Cao, Chang Xu, Xiaoxing Ma
2018	J	`jnl`	Mining API usage change rules for software framework evolution. Sci. China Inf. Sci. Ping Yu, Fei Yang, Chun Cao, Hao Hu, Xiaoxing Ma
2018	J	`jnl`	NavyDroid: an efficient tool of energy inefficiency problem diagnosis for Android applications. Sci. China Inf. Sci. Yi Liu, Jue Wang, Chang Xu, Xiaoxing Ma, Jian Lü
2018	A*	`conf`	ReScue: crafting regular expression DoS attacks. ASE Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, Jian Lu
2018	C	`conf`	SynEva: Evaluating ML Programs by Mirror Program Synthesis. QRS Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma, Jian Lu
2018	—	`conf`	Synthesizing relation-aware entity transformation by examples. ICSE (Companion Volume) Jiarong Wu, Yanyan Jiang, Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Jian Lu
2018	—	`conf`	Testing multithreaded programs via thread speed control. ESEC/SIGSOFT FSE Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu
2017	—	`conf`	API Usage Change Rules Mining based on Fine-grained Call Dependency Analysis. Internetware Ping Yu, Fei Yang, Chun Cao, Hao Hu, Xiaoxing Ma
2017	A	`conf`	AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications. ICSME Tianxiao Gu, Chun Cao, Tianchi Liu, Chengnian Sun, Jing Deng, Xiaoxing Ma, Jian Lu
2017	J	`jnl`	CyanDroid: stable and effective energy inefficiency diagnosis for Android apps. Sci. China Inf. Sci. Qiwei Li, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, Jian Lü
2017	J	`jnl`	Efficient Dynamic Updates of Distributed Components Through Version Consistency. IEEE Trans. Software Eng. Luciano Baresi, Carlo Ghezzi, Xiaoxing Ma, Valerio Panzica La Manna
2017	J	`jnl`	How effectively can spreadsheet anomalies be detected: An empirical study. J. Syst. Softw. Ruiqing Zhang, Chang Xu, Shing-Chi Cheung, Ping Yu, Xiaoxing Ma, Jian Lu
2017	B	`conf`	Leveraging Column Family to Improve Multidimensional Query Performance in HBase. CLOUD Chun Cao, Weiyi Wang, Ying Zhang, Xiaoxing Ma
2017	—	`conf`	NavyDroid: Detecting Energy Inefficiency Problems for Smartphone Applications. Internetware Yi Liu, Jue Wang, Chang Xu, Xiaoxing Ma
2017	J	`jnl`	Preface. J. Comput. Sci. Technol. Tao Xie, Yuanfang Cai, Xuanzhe Liu, Xiaoyin Wang, Mithun P. Acharya, Marcelo d'Amorim, Xiaoxing Ma
2017	J	`jnl`	Scientific Workflow Mining in Clouds. IEEE Trans. Parallel Distributed Syst. Wei Song, Fangfei Chen, Hans-Arno Jacobsen, Xiaoxu Xia, Chunyang Ye, Xiaoxing Ma
2017	—	`conf`	Software Is Not Soft - Challenges and Approaches to Dynamic Software Update. SETSS Xiaoxing Ma, Tianxiao Gu, Wei Song
2017	—	`conf`	Synthesizing object transformation for dynamic software updating. ICSE (Companion Volume) Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lü
2017	—	`conf`	Xdroid: Testing Android Apps with Dependency Injection. COMPSAC (1) Chun Cao, Chenglin Meng, Hongjun Ge, Ping Yu, Xiaoxing Ma
2016	B	`conf`	Apsaras: Efficient Allocation of Physical Devices for Android Testing. COMPSAC Tianchi Liu, Chun Cao, Jie Chen, Ziling Lu, Xiaoxing Ma
2016	A*	`conf`	Automatic runtime recovery via error handler synthesis. ASE Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian Lü, Zhendong Su
2016	C	`conf`	CURE: Automated Patch Generation for Dynamic Software Update. APSEC Zelin Zhao, Tianxiao Gu, Xiaoxing Ma, Chang Xu, Jian Lu
2016	—	`conf`	Crash consistency validation made easy. SIGSOFT FSE Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma, Jian Lu
2016	—	`conf`	E-greenDroid: effective energy inefficiency analysis for android applications. Internetware Jue Wang, Yepang Liu, Chang Xu, Xiaoxing Ma, Jian Lu
2016	C	`conf`	Effectively Manifesting Concurrency Bugs in Android Apps. APSEC Qiwei Li, Yanyan Jiang, Tianxiao Gu, Chang Xu, Jun Ma, Xiaoxing Ma, Jian Lu
2016	J	`jnl`	Enabling Context-Awareness by Predicate Detection in Asynchronous Environments. IEEE Trans. Computers Yiling Yang, Yu Huang, Xiaoxing Ma, Jian Lu
2016	J	`jnl`	Hybrid CPU-GPU constraint checking: Towards efficient context consistency. Inf. Softw. Technol. Jun Sui, Chang Xu, Shing-Chi Cheung, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu
2016	C	`conf`	Improving Reliability of Dynamic Software Updating Using Runtime Recovery. APSEC Tianxiao Gu, Zelin Zhao, Xiaoxing Ma, Chang Xu, Chun Cao, Jian Lu
2016	—	`conf`	Online shared memory dependence reduction via bisectional coordination. SIGSOFT FSE Yanyan Jiang, Chang Xu, Du Li, Xiaoxing Ma, Jian Lu
2016	J	`jnl`	Process Discovery from Dependence-Complete Event Logs. IEEE Trans. Serv. Comput. Wei Song, Hans-Arno Jacobsen, Chunyang Ye, Xiaoxing Ma
2016	—	`conf`	SLA-Aware and Green Resource Management of IaaS Clouds. HPCC/SmartCity/DSS Shuo Cheng, Chun Cao, Ping Yu, Xiaoxing Ma
2016	J	`jnl`	Suppressing detection of inconsistency hazards with pattern learning. Inf. Softw. Technol. Wang Xi, Chang Xu, Wenhua Yang, Xiaoxing Ma, Ping Yu, Jian Lu
2016	C	`conf`	Testing Android Apps via Guided Gesture Event Generation. APSEC Xiangyu Wu, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, Jian Lu
2016	C	`conf`	Verifying Distributed Controllers with Local Invariants. QRS Yiqun Wang, Shengwei An, Xiaoxing Ma, Chun Cao, Chang Xu
2015	C	`conf`	ABC: Accelerated Building of C/C++ Projects. APSEC Ying Zhang, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Ping Yu
2015	C	`conf`	An Event-Based Formal Framework for Dynamic Software Update. QRS Shengwei An, Xiaoxing Ma, Chun Cao, Ping Yu, Chang Xu
2015	J	`jnl`	Cina: Suppressing the Detection of Unstable Context Inconsistency. IEEE Trans. Software Eng. Chang Xu, Wang Xi, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu
2015	B	`conf`	Concolic Metamorphic Debugging. COMPSAC Hao Jin, Yanyan Jiang, Na Liu, Chang Xu, Xiaoxing Ma, Jian Lu
2015	B	`conf`	CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps. COMPSAC Xiangyu Wu, Chang Xu, Ziling Lu, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu
2015	A*	`conf`	Optimistic Shared Memory Dependence Tracing (T). ASE Yanyan Jiang, Du Li, Chang Xu, Xiaoxing Ma, Jian Lu
2015	—	`ed.`	Proceedings of the 7th Asia-Pacific Symposium on Internetware, Internetware 2015, Wuhan, China, November 6, 2015 Internetware Hong Mei, Jian Lü, Xiaoxing Ma, Qianxiang Wang, Gang Yin, Xiaofei Liao
2014	J	`jnl`	A middleware platform for the dynamic evolution of distributed component-based systems. Computing Yu Zhou, Xiaoxing Ma, Harald C. Gall
2014	—	`conf`	Automated recommendation of dynamic software update points: an exploratory study. Internetware Zelin Zhao, Xiaoxing Ma, Chang Xu, Wenhua Yang
2014	A*	`conf`	CARE: cache guided deterministic replay for concurrent Java programs. ICSE Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, Jian Lu
2014	J	`jnl`	Design of a Sliding Window over Distributed and Asynchronous Event Streams. IEEE Trans. Parallel Distributed Syst. Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
2014	—	`conf`	GAIN: GPU-Based Constraint Checking for Context Consistency. APSEC (1) Jun Sui, Chang Xu, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu
2014	J	`jnl`	Low-disruptive dynamic updating of Java applications. Inf. Softw. Technol. Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, Jian Lü
2014	C	`conf`	Measuring User Similarity with Trajectory Patterns: Principles and New Metrics. APWeb Xihui Chen, Ruipeng Lu, Xiaoxing Ma, Jun Pang
2014	—	`conf`	SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern Learning. APSEC (1) Wang Xi, Chang Xu, Wenhua Yang, Ping Yu, Xiaoxing Ma, Jiang Lu
2014	—	`conf`	User Guided Automation for Testing Mobile Apps. APSEC (1) Xiujiang Li, Yanyan Jiang, Yepang Liu, Chang Xu, Xiaoxing Ma, Jian Lu
2014	A*	`conf`	Verifying self-adaptive applications suffering uncertainty. ASE Wenhua Yang, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, Jian Lu
2013	J	`jnl`	Application mobility in pervasive computing: A survey. Pervasive Mob. Comput. Ping Yu, Xiaoxing Ma, Jiannong Cao, Jian Lu
2013	—	`conf`	Automated Management of Dynamic Component Dependency for Runtime System Reconfiguration. APSEC (1) Ping Su, Chun Cao, Xiaoxing Ma, Jian Lu
2013	—	`conf`	COCO: consistency analysis of process-driven internetware applications. Internetware Wenjia Zhang, Wei Song, Xiaoxing Ma, Qiliang Yang, Xuewei Zhang
2013	—	`conf`	Challenges in developing software for cyber-physical systems. Internetware Linghao Zhang, Hui Sun, Xiaoxing Ma, Chang Xu, Jian Lu
2013	—	`conf`	DPAC: an infrastructure for dynamic program analysis of concurrency Java programs. Middleware Doctoral Symposium Yanyan Jiang, Chang Xu, Xiaoxing Ma
2013	J	`jnl`	Detecting Faults in Context-Aware Adaptation. Int. J. Softw. Informatics Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lv
2013	J	`jnl`	Editor's note. Sci. China Inf. Sci. Gang Huang, Xiaoxing Ma, Weitek Tsai
2013	J	`jnl`	Enabling Context-awareness by Predicate Detection in Asynchronous Pervasive Computing Environments. CoRR Yiling Yang, Yu Huang, Xiaoxing Ma, Jian Lu
2013	A*	`conf`	Environment rematching: Toward dependability improvement for self-adaptive applications. ASE Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, Jian Lu
2013	J	`jnl`	Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments. IEEE Trans. Parallel Distributed Syst. Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
2013	J	`jnl`	Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty. J. Comput. Sci. Technol. Qiliang Yang, Jian Lu, XianPing Tao, Xiaoxing Ma, Jianchun Xing, Wei Song
2013	—	`conf`	Managing Environment and Adaptation Risks for the Internetware Paradigm. Theories of Programming and Formal Methods Jian Lü, Yu Huang, Chang Xu, Xiaoxing Ma
2013	—	`conf`	Migration Validity of WS-BPEL Instances Revisited. CSE Wei Song, Xiaoxing Ma, Hao Hu, Yang Zou, Gongxuan Zhang
2013	J	`jnl`	Verifying PRAM Consistency over Read/Write Traces of Data Replicas CoRR Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
2012	—	`conf`	A priority-based transaction commit protocol for composite web services. Internetware Wei Song, Zheng Gao, Jing Cai, Xiaoxing Ma
2012	J	`jnl`	Adam: Identifying defects in context-aware adaptation. J. Syst. Softw. Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu
2012	B	`conf`	Capturing Tag Dynamics by Prediction for Pervasive Internet-of-Things Applications. ICPADS Yu Huang, Xiaoxing Ma, Yiling Yang
2012	B	`conf`	ConsView: Towards Application-Specific Consistent Context Views. COMPSAC Haibin Yang, Chang Xu, Xiaoxing Ma, Linghao Zhang, Chun Cao, Jian Lu
2012	—	`conf`	Dynamic fault detection in context-aware adaptation. Internetware Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu
2012	J	`jnl`	Environmental Modeling for Automated Cloud Application Testing. IEEE Softw. Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux
2012	A*	`conf`	Formal specification and runtime detection of temporal properties for asynchronous context. PerCom Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
2012	C	`conf`	Javelus: A Low Disruptive Approach to Dynamic Software Updates. APSEC Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, Jian Lu
2012	C	`conf`	Resynchronizing Model-Based Self-Adaptive Systems with Environments. APSEC Linghao Zhang, Chang Xu, Xiaoxing Ma, Tianxiao Gu, Xuezhi Hong, Chun Cao, Jian Lu
2012	J	`jnl`	Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments. IEEE Trans. Parallel Distributed Syst. Yu Huang, Yiling Yang, Jiannong Cao, Xiaoxing Ma, XianPing Tao, Jian Lu
2012	C	`conf`	Towards Dynamic Evolution of Service Choreographies. APSCC Wei Song, Gongxuan Zhang, Yang Zou, Qiliang Yang, Xiaoxing Ma
2011	J	`jnl`	Design of a Sliding Window over Asynchronous Event Streams CoRR Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu
2011	C	`conf`	Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing. MobiQuitous Chang Xu, Xiaoxing Ma, Chun Cao, Jian Lu
2011	A	`conf`	Refactoring and Publishing WS-BPEL Processes to Obtain More Partners. ICWS Wei Song, Xiaoxing Ma, Shing-Chi Cheung, Hao Hu, Qiliang Yang, Jian Lü
2011	—	`conf`	Version-consistent dynamic reconfiguration of component-based distributed systems. SIGSOFT FSE Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, Jian Lu
2010	—	`conf`	Preserving Data Flow Correctness in Process Adaptation. IEEE SCC Wei Song, Xiaoxing Ma, Shing-Chi Cheung, Hao Hu, Jian Lu
2010	—	`conf`	Toward a fuzzy control-based approach to design of self-adaptive software. Internetware Qiliang Yang, Jian Lü, Juelong Li, Xiaoxing Ma, Wei Song, Yang Zou
2009	—	`conf`	A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions. IEEE SCC Wei Song, Xiaoxing Ma, Shing-Chi Cheung, Wanchun Dou, Jian Lu
2009	—	`conf`	ARTEMIS: an open coordination middleware system. Internetware Ping Yu, Chun Cao, Xiaoxing Ma, Jian Lu
2009	J	`jnl`	Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments CoRR Yu Huang, Jianping Yu, Jiannong Cao, Xiaoxing Ma, XianPing Tao, Jian Lu
2009	A*	`conf`	Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context. PerCom Yu Huang, Xiaoxing Ma, Jiannong Cao, XianPing Tao, Jian Lu
2009	C	`conf`	Constructing Confluent Context-sensitive Graph Grammars from Non-confluent Productions for Parsing Efficiency. VINCI Yang Zou, Jian Lü, Xiaoqin Zeng, Xiaoxing Ma, Qiliang Yang
2009	—	`conf`	Internetware: a shift of software paradigm. Internetware Jian Lü, Xiaoxing Ma, Yu Huang, Chun Cao, Feng Xu
2009	—	`conf`	Timed Modeling and Verification of BPEL Processes Using Time Petri Nets. QSIC Wei Song, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, Jian Lu
2008	J	`jnl`	Multi-mode interaction middleware for software services. Sci. China Ser. F Inf. Sci. XianPing Tao, Xiaoxing Ma, Jian Lu, Ping Yu, Yu Zhou
2008	J	`jnl`	On environment-driven software model for Internetware. Sci. China Ser. F Inf. Sci. Jian Lü, Xiaoxing Ma, XianPing Tao, Chun Cao, Yu Huang, Ping Yu
2008	A	`conf`	Toward a Model-Based Approach to Dynamic Adaptation of Composite Services. ICWS Wei Song, Xiaoxing Ma, Wanchun Dou, Jian Lü
2007	C	`conf`	A Mutual Exclusion Algorithm for Mobile Agents-Based Applications. ISPA Chun Cao, Jiannong Cao, Xiaoxing Ma, Jian Lü
2007	Misc	`conf`	Applying ontology in architecture-based self-management applications. SAC Yu Zhou, Jian Pan, Xiaoxing Ma, Bin Luo, XianPing Tao, Jian Lu
2007	C	`conf`	Constructing Self-Adaptive Systems with Polymorphic Software Architecture. SEKE Xiaoxing Ma, Yu Zhou, Jian Pan, Ping Yu, Jian Lu
2007	J	`jnl`	Expectation, experiment and reflection on internet software evolution. ACM SIGSOFT Softw. Eng. Notes Ping Yu, Xiaoxing Ma, Jian Lu
2006	—	`conf`	Shadow: A Middleware in Pervasive Computing Environment for User Controllable Privacy Protection. EuroSSC Wentian Lu, Jun Li, XianPing Tao, Xiaoxing Ma, Jian Lu
2005	C	`conf`	Dynamic Software Architecture Oriented Service Composition and Evolution. CIT Ping Yu, Xiaoxing Ma, Jian Lu
2003	C	`conf`	A Graph-Oriented Approach to the Description and Implementation of Distributed and Dynamic Software Architecture. SEKE Xiaoxing Ma, Jian Lu, Jiannong Cao, Alvin T. S. Chan, Kang Zhang
2003	J	`jnl`	Architecting and implementing distributed Web applications using the graph-oriented approach. Softw. Pract. Exp. Jiannong Cao, Xiaoxing Ma, Alvin T. S. Chan, Jian Lu
2002	J	`jnl`	A mobile-agent-based approach to software coordination in the HOOPE system. Sci. China Ser. F Inf. Sci. Xiaoxing Ma, Jian Lü, XianPing Tao, Yingjun Li, Hao Hu
2002	B	`conf`	WebGOP: A Framework for Architecting and Programming Dynamic Distributed Web Applications. ICPP Xiaoxing Ma, Alvin T. S. Chan, Jian Lu
2000	J	`jnl`	A hierarchical framework: for parallel seismic applications. Commun. ACM Jian Lu, Yingjun Li, Xiaoxing Ma, Cai Min, XianPing Tao, Guanqun Zhang, Jianzhong Liu