BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

SAC 20102010
ESEC/FSE 20092009
CBSE 20082008
SAC 20072007
ICSE 20062006
SEFM 20042004

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.