| 2012 | TASE | Connectors as Designs: The Time Dimension. | Sun Meng |
| 2010 | CISIS | QoS-aware Component Composition. | Lus Soares Barbosa, Sun Meng |
| 2010 | SAC | Towards the introduction of QoS information in a component model. | Sun Meng, Lus Soares Barbosa |
| 2009 | Coordination | From Coordination to Stochastic Models of QoS. | Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrtien Verhoef |
| 2009 | TASE | Fault-Based Test Case Generation for Component Connectors. | Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, Jan J. M. M. Rutten |
| 2008 | ISoLA | Towards Using Reo for Compliance-Aware Business Process Modeling. | Farhad Arbab, Natallia Kokash, Sun Meng |
| 2008 | SYNASC | UML Model Refactoring as Refinement: A Coalgebraic Perspective. | Lus Soares Barbosa, Sun Meng |
| 2007 | Coordination | Component Connectors with QoS Guarantees. | Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon |
| 2007 | SAC | Web services choreography and orchestration in Reo and constraint automata. | Sun Meng, Farhad Arbab |
| 2007 | TASE | QCCS: A Formal Model to Enforce QoS Requirements in Service Composition. | Sun Meng |
| 2006 | ICSE | Interacting process classes. | Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan |
| 2005 | ICTAC | On Refinement of Software Architectures. | Sun Meng, Lus Soares Barbosa, Zhang Naixiao |
| 2005 | PDCAT | Coalgebraic Component Specification and Verification in RSL. | Sun Meng, Bernhard K. Aichernig, Zhang Naixiao |
| 2004 | SEFM | On Semantics and Refinement of UML Statecharts: A Coalgebraic View. | Sun Meng, Zhang Naixiao, Lus Soares Barbosa |