| 2008 |
|---|
| 16 | EE | Sun Meng,
Farhad Arbab:
QoS-driven service selection and composition.
ACSD 2008: 160-169 |
| 15 | EE | Farhad Arbab,
Sun Meng:
Synthesis of Connectors from Scenario-Based Interaction Specifications.
CBSE 2008: 114-129 |
| 14 | EE | Farhad Arbab,
Natallia Kokash,
Sun Meng:
Towards Using Reo for Compliance-Aware Business Process Modeling.
ISoLA 2008: 108-123 |
| 13 | EE | Sun Meng,
Luís Soares Barbosa:
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams.
QSIC 2008: 17-26 |
| 2007 |
|---|
| 12 | EE | Farhad Arbab,
Tom Chothia,
Sun Meng,
Young-Joo Moon:
Component Connectors with QoS Guarantees.
COORDINATION 2007: 286-304 |
| 11 | EE | Sun Meng,
Farhad Arbab:
On Resource-Sensitive Timed Component Connectors.
FMOODS 2007: 301-316 |
| 10 | EE | Sun Meng,
Farhad Arbab:
Web services choreography and orchestration in Reo and constraint automata.
SAC 2007: 346-353 |
| 9 | | 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 |
| 8 | EE | Sun Meng:
QCCS: A Formal Model to Enforce QoS Requirements in Service Composition.
TASE 2007: 389-400 |
| 2006 |
|---|
| 7 | EE | Ankit Goel,
Sun Meng,
Abhik Roychoudhury,
P. S. Thiagarajan:
Interacting process classes.
ICSE 2006: 302-311 |
| 6 | EE | Sun Meng,
Luís Soares Barbosa:
Components as coalgebras: The refinement dimension.
Theor. Comput. Sci. 351(2): 276-294 (2006) |
| 2005 |
|---|
| 5 | EE | Sun Meng,
Luís Soares Barbosa,
Zhang Naixiao:
On Refinement of Software Architectures.
ICTAC 2005: 469-484 |
| 4 | EE | Sun Meng,
Bernhard K. Aichernig,
Zhang Naixiao:
Coalgebraic Component Specification and Verification in RSL.
PDCAT 2005: 424-426 |
| 3 | EE | 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 | EE | Sun Meng,
Luís Soares Barbosa:
On Refinement of Generic State-Based Software Components.
AMAST 2004: 506-520 |
| 1 | EE | Sun Meng,
Zhang Naixiao,
Luís Soares Barbosa:
On Semantics and Refinement of UML Statecharts: A Coalgebraic View.
SEFM 2004: 164-173 |
