Sun Meng

Orcid: 0000-0002-0090-1023

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

Study on Breast Tumor Classification based on SP-SVM Model.
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.
Complex., 2020

Interval-valued intuitionistic fuzzy envelopment analysis and preference fusion.
Comput. Ind. Eng., 2020

2019
The exploration of fuzzy linguistic research: A scientometric review based on CiteSpace.
J. Intell. Fuzzy Syst., 2019

2018
Hesitant fuzzy preference envelopment analysis and alternative improvement.
Inf. Sci., 2018

2016
Interval-Valued Hesitant Fuzzy Geometric Bonferroni Mean Aggregation Operator.
Proceedings of the Fuzzy Systems and Data Mining II, 2016

2014
Hybrid Atanassov intuitionistic fuzzy Bonferroni means for multi-criteria aggregation.
J. Intell. Fuzzy Syst., 2014

2012
Formal Aspects of Component Software (FACS'09).
Sci. Comput. Program., 2012

Connectors as designs: Modeling, refinement and test case generation.
Sci. Comput. Program., 2012

Connectors as Designs: The Time Dimension.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2011
Synthesis of Reo circuits from scenario-based interaction specifications.
Sci. Comput. Program., 2011

2010
Bringing class diagrams to life.
Innov. Syst. Softw. Eng., 2010

A Model for Web Service Coordination in Long-Running Transactions.
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010

Towards the introduction of QoS information in a component model.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

QoS-aware Component Composition.
Proceedings of the CISIS 2010, 2010

2009
QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata.
Fundam. Informaticae, 2009

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

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

Fault-Based Test Case Generation for Component Connectors.
Proceedings of the TASE 2009, 2009

Reo2MC: a tool chain for performance analysis of coordination models.
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.
Proceedings of the Fundamentals of Software Engineering, 2009

From Coordination to Stochastic Models of QoS.
Proceedings of the Coordination Models and Languages, 11th International Conference, 2009

Co-Algebraic Semantic Framework for Reasoning about Interaction Designs.
Proceedings of the UML 2 Semantics and Applications, 2009

2008
Synthesis of Reo Circuits from Scenario-based Specifications.
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

UML Model Refactoring as Refinement: A Coalgebraic Perspective.
Proceedings of the SYNASC 2008, 2008

A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams.
Proceedings of the Eighth International Conference on Quality Software, 2008

Towards Using Reo for Compliance-Aware Business Process Modeling.
Proceedings of the Leveraging Applications of Formal Methods, 2008

Synthesis of Connectors from Scenario-Based Interaction Specifications.
Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

QoS-driven service selection and composition.
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.
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.
Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

Web services choreography and orchestration in Reo and constraint automata.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

On Resource-Sensitive Timed Component Connectors.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Component Connectors with QoS Guarantees.
Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

2006
Components as coalgebras: The refinement dimension.
Theor. Comput. Sci., 2006

Interacting process classes.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005
Coalgebraic Component Specification and Verification in RSL.
Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

On Refinement of Software Architectures.
Proceedings of the Theoretical Aspects of Computing, 2005

2004
A Coalgebraic Semantic Framework for Component-based Development in UML.
Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

On Semantics and Refinement of UML Statecharts: A Coalgebraic View.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

On Refinement of Generic State-Based Software Components.
Proceedings of the Algebraic Methodology and Software Technology, 2004


  Loading...