Publications of Xiaoxing Ma

Conference

[2017] [2016] [2015] [2014] [2013] [2012] [2011] [2010] [2009] [2008] [2007] [2006] [2005] [2003] [2002]

2017


  • Tianxiao Gu, Chun Cao, Tianchi Liu, Sun, Chengnian,, Jing Deng, Xiaoxing Ma, and Jian Lü, “AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications”, in Proceedings of the 33rd IEEE International Conference on Software Maintenance and Evolution (ICSME) , To appear, 2017.
  • Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, and Jian Lü, “Synthesizing Object Transformation for Dynamic Software Updating”, in Proceedings of the 39th International Conference on Software Engineering Companion , 336–338, 2017.

2016


  • Yanyan Jiang, Chang Xu, Du Li, Xiaoxing Ma, and Jian Lu, “Online Shared Memory Dependence Reduction via Bisectional Coordination”, in Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) , 822–832, 2016.
  • Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma, and Jian Lu, “Crash Consistency Validation Made Easy”, in Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) , 133–143, 2016.
  • Xiangyu Wu, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, and Jian Lu, “Testing Android Apps via Guided Gesture Event Generation”, in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC) , 201–208, 2016.
  • Qiwei Li, Yanyan Jiang, Tianxiao Gu, Chang Xu, Jun Ma, Xiaoxing Ma, and Jian Lu, “Effectively Manifesting Concurrency Bugs in Android Apps”, in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC) , 209–216, 2016.
  • Zelin Zhao, Tianxiao Gu, Xiaoxing Ma, Chang Xu, and Jian Lu, “CURE: Automated Patch Generation for Dynamic Software Update”, in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC) , 249–256, 2016.
  • Tianxiao Gu, Zelin Zhao, Xiaoxing Ma, Chang Xu, Chun Cao, and Jian Lu, “Improving Reliability of Dynamic Software Updating Using Runtime Recovery”, in Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC) , 257–264, 2016.
  • T. Liu, C. Cao, J. Chen, Z. Lu, and X. Ma, “Apsaras: Efficient Allocation of Physical Devices for Android Testing”, in 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC) , 269–274, 2016.
  • Jue Wang, Yepang Liu, Chang Xu, Xiaoxing Ma, and Jian Lu, “E-greenDroid: Effective Energy Inefficiency Analysis for Android Applications”, in Proceedings of the 8th Asia-Pacific Symposium on Internetware , 71–80, 2016.
  • Yiqun Wang, Shengwei An, Xiaoxing Ma, Chun Cao, and Chang Xu, “Verifying Distributed Controllers with Local Invariants”, in 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS) , 120–131, 2016.
  • Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian Lü, and Zhendong Su, “Automatic Runtime Recovery via Error Handler Synthesis”, in Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) , 684–695, 2016.

2015


  • Ying Zhang, Yanyan Jiang, Chang Xu, Xiaoxing Ma, and Ping Yu, “ABC: Accelerated Building of C/C++ Projects”, in Proceedings of the 22nd Asia-Pacific Software Engineering Conference (APSEC 2015) , 182–189, 2015.
  • Yanyan Jiang, Du Li, Chang Xu, Xiaoxing Ma, and Jian Lu, “Optimistic Shared Memory Dependence Tracing”, in Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) , 524–534, 2015.
  • Xiangyu Wu, Chang Xu, Ziling Lu, Yanyan Jiang, Chun Cao, Xiaoxing Ma, and Jian Lu, “CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps”, in Proceedings of the 2015 IEEE 39th Annual Computer Software and Applications Conference - Volume 02 , 632–637, 2015.
  • Hao Jin, Yanyan Jiang, Na Liu, Chang Xu, Xiaoxing Ma, and Jian Lu, “Concolic Metamorphic Debugging”, in Proceedings of the 2015 IEEE 39th Annual Computer Software and Applications Conference - Volume 02 , 232–241, 2015.
  • Shengwei An, Xiaoxing Ma, Chun Cao, Ping Yu, and Chang Xu, “An Event-Based Formal Framework for Dynamic Software Update”, in Proceedings of the 2015 IEEE International Conference on Software Quality, Reliability and Security , 173–182, 2015.

2014


  • Wang Xi, Chang Xu, Wenhua Yang, Ping Yu, Xiaoxing Ma, and Jian Lu, “SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern Learning”, in Proceedings of the 21st Asia-Pacific Software Engineering Conference , 414–421, 2014.
  • Xiujiang Li, Yanyan Jiang, Yepang Liu, Chang Xu, Xiaoxing Ma, and Jian Lu, “User Guided Automation for Testing Mobile Apps”, in Proceedings of the 21st Asia-Pacific Software Engineering Conference , 27–34, 2014.
  • Jun Sui, Chang Xu, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, and Jian Lu, “GAIN: GPU-based Constraint Checking for Context Consistency”, in Proceedings of the 21st Asia-Pacific Software Engineering Conference , 342–349, 2014.
  • Zelin Zhao, Xiaoxing Ma, Chang Xu, and Wenhua Yang, “Automated Recommendation of Dynamic Software Update Points: An Exploratory Study”, in Proceedings of the 6th Asia-Pacific Symposium on Internetware on Internetware , 136–144, 2014.
  • Xihui Chen, Ruipeng Lu, Xiaoxing Ma, and Jun Pang, “Measuring User Similarity with Trajectory Patterns: Principles and New Metrics”, in Web Technologies and Applications , 437–448, 2014.
  • Wenhua Yang, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, and Jian Lu, “Verifying Self-adaptive Applications Suffering Uncertainty”, in Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering , 199–210, 2014.
  • Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, and Jian Lu, “CARE: Cache guided deterministic replay for concurrent Java programs”, in Proceedings of the 36th International Conference on Software Engineering , 457–467, 2014.

2013


  • Ping Su, Chun Cao, Xiaoxing Ma, and Jian Lu, “Automated Management of Dynamic Component Dependency for Runtime System Reconfiguration”, in Proceedings of th 20th Asia-Pacific Software Engineering Conference , 450–458, 2013.
  • Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, and Jian Lu, “Environment rematching: Toward dependability improvement for self-adaptive applications”, in Proceedings of 28th IEEE/ACM International Conference on Automated Software Engineering , 592–597, 2013.
  • Ping Su, Chun Cao, Xiaoxing Ma, and Jian Lu, “Automated Management of Dynamic Component Dependency for Runtime System Reconfiguration”, in 20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1 , 450–458, 2013.

2012


  • Chang Xu, Xiaoxing Ma, Chun Cao, and Jian Lu, “Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing”, in Mobile and Ubiquitous Systems: Computing, Networking, and Services , 285–297, 2012.
  • Yu Huang, Xiaoxing Ma, and Yiling Yang, “Capturing Tag Dynamics by Prediction for Pervasive Internet-of-Things Applications”, in Parallel and Distributed Systems (ICPADS), 2012 IEEE 18th International Conference on , 416–423, 2012.
  • Wei Song, Gongxuan Zhang, Yang Zou, Qiliang Yang, and Xiaoxing Ma, “Towards Dynamic Evolution of Service Choreographies”, in Proceedings of the 2012 IEEE Asia-Pacific Services Computing Conference) , 225–232, 2012.
  • Linghao Zhang, Chang Xu, Xiaoxing Ma, Tianxiao Gu, Xuezhi Hong, Chun Cao, and Jian Lu, “Resynchronizing Model-Based Self-Adaptive Systems with Environments”, in Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 01 , 184–193, 2012.
  • Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, and Jian Lu, “Javelus: A Low Disruptive Approach to Dynamic Software Updates”, in Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 01 , 527–536, 2012.
  • Haibin Yang, Chang Xu, Xiaoxing Ma, Linghao Zhang, Chun Cao, and Jian Lu, “ConsView: Towards Application-Specific Consistent Context Views”, in Proceedings of the 2012 IEEE 36th Annual Computer Software and Applications Conference , 632–637, 2012.
  • Chang Xu, S. C. Cheung, Xiaoxing Ma, Chun Cao, and Jian Lu, “Dynamic fault detection in context-aware adaptation”, in Proceedings of the Fourth Asia-Pacific Symposium on Internetware , 1:1--1:10, 2012.
  • Wei Song, Zheng Gao, Jing Cai, and Xiaoxing Ma, “A priority-based transaction commit protocol for composite web services”, in Proceedings of the Fourth Asia-Pacific Symposium on Internetware , 2:1--2:10, 2012.

2011


  • Wei Song, Xiaoxing Ma, S. C. Cheung, Hao Hu, Qiliang Yang, and Jian Lu, “Refactoring and Publishing WS-BPEL Processes to Obtain More Partners”, in Proceedings of the 2011 IEEE International Conference on Web Services , 129–136, 2011.
  • Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, and Jian Lu, “Version-consistent dynamic reconfiguration of component-based distributed systems”, in Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering , 245–255, 2011.

2010


  • Yang Zou, Jian Lü, Xiaoqin Zeng, Xiaoxing Ma, and Qiliang Yang, “Constructing Confluent Context-sensitive Graph Grammars from Non-confluent Productions for Parsing Efficiency”, in Visual Information Communication (VINCI 2009) , 135–147, 2010.
  • Qiliang Yang, Jian Lü, Juelong Li, Xiaoxing Ma, Wei Song, and Yang Zou, “Toward a fuzzy control-based approach to design of self-adaptive software”, in Proceedings of the Second Asia-Pacific Symposium on Internetware , 15:1--15:4, 2010.
  • Wei Song, Xiaoxing Ma, S. C. Cheung, Hao Hu, and Jian Lü, “Preserving Data Flow Correctness in Process Adaptation”, in Proceedings of the 2010 IEEE International Conference on Services Computing , 9–16, 2010.

2009


  • Wei Song, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, and Jian Lü, “Timed Modeling and Verification of BPEL Processes Using Time Petri Nets”, in Proceedings of the 2009 Ninth International Conference on Quality Software , 92–97, 2009.
  • Wei Song, Xiaoxing Ma, S. C. Cheung, Wanchun Dou, and Jian Lu, “A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions”, in Proceedings of the 2009 IEEE International Conference on Services Computing , 427–434, 2009.
  • Yu Huang, Xiaoxing Ma, Jiannong Cao, Xianping Tao, and Jian Lu, “Concurrent Event Detection for Asynchronous consistency checking of pervasive context”, in Proceedings of the 2009 IEEE International Conference on Pervasive Computing and Communications , 1–9, 2009.
  • Ping Yu, Chun Cao, Xiaoxing Ma, and Jian Lu, “ARTEMIS: an open coordination middleware system”, in Proceedings of the First Asia-Pacific Symposium on Internetware , 20:1--20:1, 2009.
  • Jian Lü, Xiaoxing Ma, Yu Huang, Chun Cao, and Feng Xu, “Internetware: a shift of software paradigm”, in Proceedings of the First Asia-Pacific Symposium on Internetware , 7:1--7:9, 2009.

2008


  • Wei Song, Xiaoxing Ma, Wanchun Dou, and Jian Lü, “Toward a Model-Based Approach to Dynamic Adaptation of Composite Services”, in Proceedings of the 2008 IEEE International Conference on Web Services , 561–568, 2008.

2007


  • Xiaoxing Ma, Yu Zhou, Jian Pan, Ping Yu, and Jian Lu, “Constructing self-adaptive systems with polymorphic software architecture”, in Proceedings of the 19th International Conference on Software Engineering and Knowledge Engineering (SEKE 2007) , 2–8, 2007.
  • Chun Cao, Jiannong Cao, Xiaoxing Ma, and Jian Lü, “A mutual exclusion algorithm for mobile agents-based applications”, in Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications , 56–67, 2007.
  • Yu Zhou, Jian Pan, Xiaoxing Ma, Bin Luo, Xianping Tao, and Jian Lu, “Applying ontology in architecture-based self-management applications”, in Proceedings of the 2007 ACM symposium on Applied computing , 97–103, 2007.

2006


  • Wentian Lu, Jun Li, Xianping Tao, Xiaoxing Ma, and Jian Lu, “Shadow: a middleware in pervasive computing environment for user controllable privacy protection”, in Proceedings of the First European conference on Smart Sensing and Context , 143–158, 2006.

2005


  • Ping Yu, Xiaoxing Ma, and Jian Lu, “Dynamic Software Architecture Oriented Service Composition and Evolution”, in Proceedings of the The Fifth International Conference on Computer and Information Technology , 1123–1129, 2005.

2003


  • Xiaoxing Ma, J Cao, A Chan, J Lu, and Kang Zhang, “A graph-oriented approach to the description and implementation of distributed and dynamic software architecture”, in Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering , 2003.

2002


  • Jiannong Cao, Xiaoxing Ma, Alvin T. S. Chan, and Jian Lu, “WebGOP: A Framework for Architecting and Programming Dynamic Distributed Web Applications”, in Proceedings of the 2002 International Conference on Parallel Processing , 266--, 2002.

Journal

[2017] [2016] [2015] [2014] [2013] [2012] [2008] [2003] [2002] [2000]

2017


  • Ruiqing Zhang, Chang Xu, S.C. Cheung, Ping Yu, Xiaoxing Ma, and Jian Lu, “How effectively can spreadsheet anomalies be detected: An empirical study”, Journal of Systems and Software , 87 - 100, 2017.
  • Luciano Baresi, Carlo Ghezzi, Xiaoxing Ma, and Valerio Panzica La Manna, “Efficient Dynamic Updates of Distributed Components through Version Consistency”, IEEE Transactions on Software Engineering , 340–358, 2017.

2016


  • Qiwei Li, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, and Jian Lü, “CyanDroid: stable and effective energy inefficiency diagnosis for Android apps”, Science China Information Sciences , 012104, 2016.
  • Y. Yang, Y. Huang, X. Ma, and J. Lu, “Enabling Context-Awareness by Predicate Detection in Asynchronous Environments”, IEEE Transactions on Computers , 522–534, 2016.
  • W. Song, H. A. Jacobsen, C. Ye, and X. Ma, “Process Discovery from Dependence-Complete Event Logs”, IEEE Transactions on Services Computing , 714–727, 2016.
  • Jun Sui, Chang Xu, S.C. Cheung, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, and Jian Lu, “Hybrid CPU-GPU constraint checking: Towards efficient context consistency”, Information and Software Technology (IST) , 230–242, 2016.
  • Wang Xi, Chang Xu, Wenhua Yang, Xiaoxing Ma, Ping Yu, and Jian Lu, “Suppressing detection of inconsistency hazards with pattern learning”, Information and Software Technology (IST) , 219–229, 2016.

2015


  • Chang Xu, Wang Xi, S. C. Cheung, Xiaoxing Ma, Chun Cao, and Jian Lu, “Cina: Suppressing the Detection of Unstable Context Inconsistency”, IEEE Transactions on Software Engineering , 842–865, 2015.

2014


  • Gang Huang, Xiaoxing Ma, and Wei-Tek Tsai, “A new software paradigm for Internet computing”, National Science Review , 168–169, 2014.
  • Yu Zhou, Xiaoxing Ma, and Harald Gall, “A middleware platform for the dynamic evolution of distributed component-based systems”, Computing , 725–747, 2014.
  • Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, and Jian L{ü}, “Low-disruptive Dynamic Updating of Java Applications”, Information and Software Technology , 1086–1098, 2014.
  • Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, and Jian Lu, “Design of a sliding window over distributed and asynchronous event streams”, IEEE Transactions on Parallel and Distributed Systems , 2551–2560, 2014.

2013


  • Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, and Jian Lu, “Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments”, IEEE Transactions on Parallel and Distributed Systems , 1546–1555, 2013.
  • Qiliang Yang, Jian Lü, Xianping Tao, Xiaoxing Ma, Jianchun Xing, and Wei Song, “Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty”, Journal of Computer Science and Technology , 165–187, 2013.
  • Ping Yu, Xiaoxing Ma, Jiannong Cao, and Jian Lu, “Application mobility in pervasive computing: A survey”, Pervasive Mob. Comput. , 2–17, 2013.

2012


  • Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, and Peli de Halleux, “Environmental Modeling for Automated Cloud Application Testing”, IEEE Softw. , 30–35, 2012.
  • Yu Huang, Yiling Yang, Jiannong Cao, Xiaoxing Ma, Xianping Tao, and Jian Lu, “Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments”, IEEE Trans. Parallel Distrib. Syst. , 744–750, 2012.
  • Chang Xu, S. C. Cheung, Xiaoxing Ma, Chun Cao, and Jian Lu, “Adam: Identifying defects in context-aware adaptation”, J. Syst. Softw. , 2812–2828, 2012.

2008


  • Jian Lü, Xiaoxing Ma, Xianxing Tao, Chun Cao, Yu Huang, and Ping Yu, “On environment-driven software model for Internetware”, Science in China Series F: Information Sciences , 683–721, 2008.
  • Xianping Tao, Xiaoxing Ma, Jian Lu, Ping Yu, and Yu Zhou, “Multi-mode interaction middleware for software services”, Science in China Series F: Information Sciences , 985–999, 2008.

2003


  • Jiannong Cao, Xiaoxing Ma, Alvin T. S. Chan, and Jian Lu, “Architecting and implementing distributed Web applications using the graph-oriented approach”, Softw. Pract. Exper. , 799–820, 2003.

2002


  • Xiaoxing Ma, Jian Lü, Xianping Tao, Yingjun Li, and Hao Hu, “A mobile-agent-based approach to software coordination in the HOOPE system”, Science in China Series F: Information Sciences , 203–219, 2002.

2000


  • Jian Lu, Yingjun Li, Xiaoxing Ma, Min Cai, Xianping Tao, Guanqun Zhang, and Jianzhong Liu, “A hierarchical framework for parallel seismic applications”, Communications of the ACM , 55–59, 2000.

© 2015 Institute of Computer Software, Nanjing University. All rights reserved.