Travelled to:1 × Germany
1 × Korea
1 × Switzerland
1 × The Netherlands
2 × China
Collaborated with:F.Arbab L.S.Barbosa Z.Naixiao A.Goel A.Roychoudhury P.S.Thiagarajan Y.Moon M.Z.Kwiatkowska H.Qu
Talks about:interact (2) model (2) reo (2) choreographi (1) statechart (1) constraint (1) introduct (1) connector (1) coalgebra (1) synthesi (1)
Person: Sun Meng
DBLP: Meng:Sun
Contributed to:
2010
2009
20082007
2006
2004Wrote 6 papers:
- SAC-2010-MengB #component #towards
- Towards the introduction of QoS information in a component model (SM, LSB), pp. 2045–2046.
- ESEC-FSE-2009-ArbabMMKQ #analysis #coordination #modelling #named #performance
- Reo2MC: a tool chain for performance analysis of coordination models (FA, SM, YJM, MZK, HQ), pp. 287–288.
- CBSE-2008-ArbabM #interactive #specification #synthesis
- Synthesis of Connectors from Scenario-Based Interaction Specifications (FA, SM), pp. 114–129.
- SAC-2007-MengA #automaton #constraints #distributed #web #web service
- Web services choreography and orchestration in Reo and constraint automata (SM, FA), pp. 346–353.
- ICSE-2006-GoelMRT #process
- Interacting process classes (AG, SM, AR, PST), pp. 302–311.
- SEFM-2004-MengNB #algebra #on the #perspective #refinement #semantics #uml
- On Semantics and Refinement of UML Statecharts: A Coalgebraic View (SM, ZN, LSB), pp. 164–173.