Xiaoxing Ma

	2012
25		Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu: Formal specification and runtime detection of temporal properties for asynchronous context. PerCom 2012: 30-38
24		Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux: Environmental Modeling for Automated Cloud Application Testing. IEEE Software 29(2): 30-35 (2012)
23		Yu Huang, Yiling Yang, Jiannong Cao, Xiaoxing Ma, XianPing Tao, Jian Lu: Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments. IEEE Trans. Parallel Distrib. Syst. 23(4): 744-750 (2012)
	2011
22		Wei Song, Xiaoxing Ma, S. C. Cheung, Hao Hu, Qiliang Yang, Jian Lü: Refactoring and Publishing WS-BPEL Processes to Obtain More Partners. ICWS 2011: 129-136
21		Chang Xu, Xiaoxing Ma, Chun Cao, Jian Lu: Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing. MobiQuitous 2011: 285-297
20		Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, Jian Lu: Version-consistent dynamic reconfiguration of component-based distributed systems. SIGSOFT FSE 2011: 245-255
19		Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu: Design of a Sliding Window over Asynchronous Event Streams CoRR abs/1111.3022: (2011)
	2010
18		Wei Song, Xiaoxing Ma, S. C. Cheung, Hao Hu, Jian Lu: Preserving Data Flow Correctness in Process Adaptation. IEEE SCC 2010: 9-16
	2009
17		Wei Song, Xiaoxing Ma, S. C. Cheung, Wanchun Dou, Jian Lu: A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions. IEEE SCC 2009: 427-434
16		Yu Huang, Xiaoxing Ma, Jiannong Cao, XianPing Tao, Jian Lu: Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context. PerCom 2009: 1-9
15		Wei Song, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, Jian Lu: Timed Modeling and Verification of BPEL Processes Using Time Petri Nets. QSIC 2009: 92-97
14		Yu Huang, Jianping Yu, Jiannong Cao, Xiaoxing Ma, XianPing Tao, Jian Lu: Checking Behavioral Consistency Constraints for Pervasive Context in Asynchronous Environments CoRR abs/0911.0136: (2009)
	2008
13		Wei Song, Xiaoxing Ma, Wanchun Dou, Jian Lü: Toward a Model-Based Approach to Dynamic Adaptation of Composite Services. ICWS 2008: 561-568
12		Jian Lü, Xiaoxing Ma, XianPing Tao, Chun Cao, Yu Huang, Ping Yu: On environment-driven software model for Internetware. Science in China Series F: Information Sciences 51(6): 683-721 (2008)
11		XianPing Tao, Xiaoxing Ma, Jian Lu, Ping Yu, Yu Zhou: Multi-mode interaction middleware for software services. Science in China Series F: Information Sciences 51(8): 985-999 (2008)
	2007
10		Chun Cao, Jiannong Cao, Xiaoxing Ma, Jian Lü: A Mutual Exclusion Algorithm for Mobile Agents-Based Applications. ISPA 2007: 56-67
9		Yu Zhou, Jian Pan, Xiaoxing Ma, Bin Luo, XianPing Tao, Jian Lu: Applying ontology in architecture-based self-management applications. SAC 2007: 97-103
8		Xiaoxing Ma, Yu Zhou, Jian Pan, Ping Yu, Jian Lu: Constructing Self-Adaptive Systems with Polymorphic Software Architecture. SEKE 2007: 2-8
7		Ping Yu, Xiaoxing Ma, Jian Lu: Expectation, experiment and reflection on internet software evolution. ACM SIGSOFT Software Engineering Notes 32(3): 1-5 (2007)
	2006
6		Wentian Lu, Jun Li, XianPing Tao, Xiaoxing Ma, Jian Lu: Shadow: A Middleware in Pervasive Computing Environment for User Controllable Privacy Protection. EuroSSC 2006: 143-158
	2005
5		Ping Yu, Xiaoxing Ma, Jian Lu: Dynamic Software Architecture Oriented Service Composition and Evolution. CIT 2005: 1123-1129
	2003
4		Xiaoxing Ma, Jian Lu, Jiannong Cao, Alvin T. S. Chan, Kang Zhang: A Graph-Oriented Approach to the Description and Implementation of Distributed and Dynamic Software Architecture. SEKE 2003: 518-525
3		Jiannong Cao, Xiaoxing Ma, Alvin T. S. Chan, Jian Lu: Architecting and implementing distributed Web applications using the graph-oriented approach. Softw., Pract. Exper. 33(9): 799-820 (2003)
	2002
2		Xiaoxing Ma, Alvin T. S. Chan, Jian Lu: WebGOP: A Framework for Architecting and Programming Dynamic Distributed Web Applications. ICPP 2002: 266-275
	2000
1		Jian Lu, Yingjun Li, Xiaoxing Ma, Cai Min, XianPing Tao, Guanqun Zhang, Jianzhong Liu: A hierarchical framework: for parallel seismic applications. Commun. ACM 43(10): 55-59 (2000)

Coauthor Index

1	Luciano Baresi	[20]
2	Chun Cao	[10] [12] [21]
3	Jiannong Cao	[3] [4] [10] [14] [16] [19] [23] [25]
4	Alvin T. S. Chan	[2] [3] [4]
5	Shing-Chi Cheung (S. C. Cheung)	[17] [18] [22]
6	Wan-Chun Dou (Wanchun Dou)	[13] [15] [17]
7	Carlo Ghezzi	[20]
8	Peli de Halleux	[24]
9	Hao Hu	[18] [22]
10	Yu Huang	[12] [14] [16] [19] [23] [25]
11	Jun Li	[6]
12	Yingjun Li	[1]
13	Jianzhong Liu	[1]
14	Jian Lu (Jian Lü)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25]
15	Wentian Lu	[6]
16	Bin Luo	[9]
17	Valerio Panzica La Manna	[20]
18	Cai Min	[1]
19	Jian Pan	[8] [9]
20	Wei Song	[13] [15] [17] [18] [22]
21	XianPing Tao	[1] [6] [9] [11] [12] [14] [16] [23]
22	Nikolai Tillmann	[24]
23	Hengfeng Wei	[25]
24	Tao Xie	[24]
25	Chang Xu	[21]
26	Qiliang Yang	[22]
27	Yiling Yang	[19] [23]
28	Chunyang Ye	[15]
29	Jianping Yu	[14]
30	Ping Yu	[5] [7] [8] [11] [12]
31	Guanqun Zhang	[1]
32	Kang Zhang	[4]
33	Linghao Zhang	[24]
34	Yu Zhou	[8] [9] [11]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page