Sun Meng

According to our database, Sun Meng authored at least 42 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Dynamic Development Analysis of Complex Network Research: A Bibliometric Analysis.

Wei Zhou, Yuting Pan, Qiu Shu, Sun Meng

Complex., 2022

Study on Breast Tumor Classification based on SP-SVM Model.

Sun Meng, Xinwei Fu, Danxue Luo

Proceedings of the BDE 2022: 4th International Conference on Big Data Engineering, Beijing, China, May 26, 2022

2020

Fractal Characteristics, Multiple Bubbles, and Jump Anomalies in the Chinese Stock Market.

Sun Meng, Hairui Fang, Dongping Yu

Complex., 2020

Interval-valued intuitionistic fuzzy envelopment analysis and preference fusion.

Wei Zhou, Jin Chen, Bingqing Ding, Sun Meng

Comput. Ind. Eng., 2020

2019

The exploration of fuzzy linguistic research: A scientometric review based on CiteSpace.

Jin Chen, Sun Meng, Wei Zhou

J. Intell. Fuzzy Syst., 2019

2018

Hesitant fuzzy preference envelopment analysis and alternative improvement.

Wei Zhou, Jin Chen, Zeshui Xu, Sun Meng

Inf. Sci., 2018

2016

Interval-Valued Hesitant Fuzzy Geometric Bonferroni Mean Aggregation Operator.

Xiao Rong He, Ying-Yu Wu, De-Jian Yu, Wei Zhou, Sun Meng

Proceedings of the Fuzzy Systems and Data Mining II, 2016

2014

Hybrid Atanassov intuitionistic fuzzy Bonferroni means for multi-criteria aggregation.

Wei Zhou, Sun Meng, Minghui Chen

J. Intell. Fuzzy Syst., 2014

2012

Formal Aspects of Component Software (FACS'09).

Sun Meng, Bernhard Schätz

Sci. Comput. Program., 2012

Connectors as designs: Modeling, refinement and test case generation.

Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lacramioara Astefanoaei, Frank S. de Boer, Jan J. M. M. Rutten

Sci. Comput. Program., 2012

Connectors as Designs: The Time Dimension.

Sun Meng

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2011

Synthesis of Reo circuits from scenario-based interaction specifications.

Sun Meng, Farhad Arbab, Christel Baier

Sci. Comput. Program., 2011

2010

Bringing class diagrams to life.

Luís Soares Barbosa, Sun Meng

Innov. Syst. Softw. Eng., 2010

A Model for Web Service Coordination in Long-Running Transactions.

Sun Meng, Farhad Arbab

Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

Towards the introduction of QoS information in a component model.

Sun Meng, Luís Soares Barbosa

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

QoS-aware Component Composition.

Luís Soares Barbosa, Sun Meng

Proceedings of the CISIS 2010, 2010

2009

QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata.

Sun Meng, Farhad Arbab

Fundam. Informaticae, 2009

Preface.

Sun Meng, Bernhard Schätz

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Connectors as Designs.

Sun Meng, Farhad Arbab

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

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

Proceedings of the TASE 2009, 2009

Reo2MC: a tool chain for performance analysis of coordination models.

Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

A First Step towards Security Policy Compliance of Connectors.

Sun Meng

Proceedings of the Fundamentals of Software Engineering, 2009

From Coordination to Stochastic Models of QoS.

Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrétien Verhoef

Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

Co-Algebraic Semantic Framework for Reasoning about Interaction Designs.

Sun Meng, Luís Soares Barbosa

Proceedings of the UML 2 Semantics and Applications, 2009

2008

Synthesis of Reo Circuits from Scenario-based Specifications.

Farhad Arbab, Sun Meng, Christel Baier

Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

UML Model Refactoring as Refinement: A Coalgebraic Perspective.

Luís Soares Barbosa, Sun Meng

Proceedings of the SYNASC 2008, 2008

A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams.

Sun Meng, Luís Soares Barbosa

Proceedings of the Eighth International Conference on Quality Software, 2008

Towards Using Reo for Compliance-Aware Business Process Modeling.

Farhad Arbab, Natallia Kokash, Sun Meng

Proceedings of the Leveraging Applications of Formal Methods, 2008

Synthesis of Connectors from Scenario-Based Interaction Specifications.

Farhad Arbab, Sun Meng

Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

QoS-driven service selection and composition.

Sun Meng, Farhad Arbab

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

QCCS: A Formal Model to Enforce QoS Requirements in Service Composition.

Sun Meng

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

On Composition and Refinement of Domain-Specific Languages in the Model of Language Family.

Sun Meng, Zhang Naixiao

Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

Web services choreography and orchestration in Reo and constraint automata.

Sun Meng, Farhad Arbab

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

On Resource-Sensitive Timed Component Connectors.

Sun Meng, Farhad Arbab

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Component Connectors with QoS Guarantees.

Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon

Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006

Components as coalgebras: The refinement dimension.

Sun Meng, Luís Soares Barbosa

Theor. Comput. Sci., 2006

Interacting process classes.

Ankit Goel, Sun Meng, Abhik Roychoudhury, P. S. Thiagarajan

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

Coalgebraic Component Specification and Verification in RSL.

Sun Meng, Bernhard K. Aichernig, Zhang Naixiao

Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

On Refinement of Software Architectures.

Sun Meng, Luís Soares Barbosa, Zhang Naixiao

Proceedings of the Theoretical Aspects of Computing, 2005

2004

A Coalgebraic Semantic Framework for Component-based Development in UML.

Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

On Semantics and Refinement of UML Statecharts: A Coalgebraic View.

Sun Meng, Zhang Naixiao, Luís Soares Barbosa

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

On Refinement of Generic State-Based Software Components.

Sun Meng, Luís Soares Barbosa

Proceedings of the Algebraic Methodology and Software Technology, 2004