Sun Meng

CWI

other persons with the same name:

• Sun Meng

	2009
19		Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrétien Verhoef: From Coordination to Stochastic Models of QoS. COORDINATION 2009: 268-287
18		Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu: Reo2MC: a tool chain for performance analysis of coordination models. ESEC/SIGSOFT FSE 2009: 287-288
17		Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten: Fault-Based Test Case Generation for Component Connectors. TASE 2009: 147-154
16		Sun Meng, Farhad Arbab: Connectors as Designs. Electr. Notes Theor. Comput. Sci. 255: 119-135 (2009)
	2008
15		Sun Meng, Farhad Arbab: QoS-driven service selection and composition. ACSD 2008: 160-169
14		Farhad Arbab, Sun Meng: Synthesis of Connectors from Scenario-Based Interaction Specifications. CBSE 2008: 114-129
13		Farhad Arbab, Natallia Kokash, Sun Meng: Towards Using Reo for Compliance-Aware Business Process Modeling. ISoLA 2008: 108-123
12		Sun Meng, Luís Soares Barbosa: A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams. QSIC 2008: 17-26
	2007
11		Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon: Component Connectors with QoS Guarantees. COORDINATION 2007: 286-304
10		Sun Meng, Farhad Arbab: On Resource-Sensitive Timed Component Connectors. FMOODS 2007: 301-316
9		Sun Meng, Farhad Arbab: Web services choreography and orchestration in Reo and constraint automata. SAC 2007: 346-353
8		Sun Meng, Zhang Naixiao: On Composition and Refinement of Domain-Specific Languages in the Model of Language Family. Software Engineering Research and Practice 2007: 190-196
7		Sun Meng: QCCS: A Formal Model to Enforce QoS Requirements in Service Composition. TASE 2007: 389-400
	2006
6		Sun Meng, Luís Soares Barbosa: Components as coalgebras: The refinement dimension. Theor. Comput. Sci. 351(2): 276-294 (2006)
	2005
5		Sun Meng, Luís Soares Barbosa, Zhang Naixiao: On Refinement of Software Architectures. ICTAC 2005: 469-484
4		Sun Meng, Bernhard K. Aichernig, Zhang Naixiao: Coalgebraic Component Specification and Verification in RSL. PDCAT 2005: 424-426
3		Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao: A Coalgebraic Semantic Framework for Component-based Development in UML. Electr. Notes Theor. Comput. Sci. 122: 229-245 (2005)
	2004
2		Sun Meng, Luís Soares Barbosa: On Refinement of Generic State-Based Software Components. AMAST 2004: 506-520
1		Sun Meng, Zhang Naixiao, Luís Soares Barbosa: On Semantics and Refinement of UML Statecharts: A Coalgebraic View. SEFM 2004: 164-173

Coauthor Index

1	Bernhard K. Aichernig	[3] [4] [17]
2	Farhad Arbab	[9] [10] [11] [13] [14] [15] [16] [17] [18] [19]
3	Lacramioara Astefanoaei	[17]
4	Luís Soares Barbosa	[1] [2] [3] [5] [6] [12]
5	Frank S. de Boer	[17]
6	Tom Chothia	[11] [19]
7	Natallia Kokash	[13]
8	Marta Z. Kwiatkowska	[18]
9	Robert D. van der Mei (Rob van der Mei)	[19]
10	Young-Joo Moon	[11] [18] [19]
11	Zhang Naixiao	[1] [3] [4] [5] [8]
12	Hongyang Qu	[18]
13	Jan J. M. M. Rutten	[17]
14	Chrétien Verhoef	[19]