Meng Sun

Cited by

	All	Since 2019
Citations	1508	612
h-index	20	11
i10-index	43	13

140

105

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 13 33 38 17 78 89 80 75 90 56 46 53 57 32 89 84 60 109 117 134 108

Public access

View all

43 articles

34 articles

available

not available

Based on funding mandates

Co-authors

Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoVerified email at di.uminho.pt
Xiyue ZhangUniversity of BristolVerified email at bristol.ac.uk
Bernhard AichernigGraz Univ. of Technology (TU Graz)Verified email at ist.tugraz.at
Yang LiuNanyang Technological UniversityVerified email at ntu.edu.sg
Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
Lei MaAssociate Professor, The University of Tokyo, Japan & University of Alberta, CanadaVerified email at acm.org
Philippe Fournier-VigerDistinguished professor, Shenzhen University, ChinaVerified email at szu.edu.cn
Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk
Xiaoning DuLecturer (a.k.a. Assistant Professor), Monash UniversityVerified email at monash.edu
Weijiang HongNational University of Defense TechnologyVerified email at nudt.edu.cn
Rob van der MeiCWI and Vrije Universiteit AmsterdamVerified email at cwi.nl
Jan RuttenCWIVerified email at cwi.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Natallia KokashUniversity of AmsterdamVerified email at uva.nl
Christel BaierTU DresdenVerified email at tu-dresden.de
Geguang PuProfessor of Computer Science, East China Normal UniversityVerified email at sei.ecnu.edu.cn
Jingyi WangAssistant Professor, Zhejiang UniversityVerified email at zju.edu.cn
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Hongyang QuResearch Fellow, University of SheffieldVerified email at sheffield.ac.uk

Meng Sun

Professor, School of Mathematical Science, Peking University

Verified email at math.pku.edu.cn - Homepage

software theory formal methods coordination models and languages coalgebra theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Towards characterizing adversarial defects of deep learning software from the lens of uncertainty X Zhang, X Xie, L Ma, X Du, Q Hu, Y Liu, J Zhao, M Sun Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020	88	2020
Towards using Reo for compliance-aware business process modeling F Arbab, N Kokash, S Meng Leveraging Applications of Formal Methods, Verification and Validation …, 2008	88	2008
Web services choreography and orchestration in Reo and constraint automata S Meng, F Arbab Proceedings of the 2007 ACM symposium on Applied computing, 346-353, 2007	86	2007
Component connectors with QoS guarantees F Arbab, T Chothia, S Meng, YJ Moon Coordination Models and Languages: 9th International Conference …, 2007	59	2007
Components as coalgebras: The refinement dimension S Meng, LS Barbosa Theoretical Computer Science 351 (2), 276-294, 2006	53	2006
From coordination to stochastic models of QoS F Arbab, T Chothia, R van der Mei, S Meng, YJ Moon, C Verhoef Coordination Models and Languages: 11th International Conference …, 2009	51	2009
On refinement of generic state-based software components S Meng, LS Barbosa Algebraic Methodology and Software Technology: 10th International Conference …, 2004	48	2004
算法与数据结构: C 语言描述张乃孝高等教育出版社, 2006	46	2006
On semantics and refinement of UML statecharts: a coalgebraic view S Meng, Z Naixiao, LS Barbosa Proceedings of the Second International Conference on Software Engineering …, 2004	42	2004
A survey on theorem provers in formal methods MS Nawaz, M Malik, Y Li, M Sun, M Lali arXiv preprint arXiv:1912.03028, 2019	37	2019
Connectors as designs: Modeling, refinement and test case generation S Meng, F Arbab, BK Aichernig, L Aştefănoaei, FS de Boer, J Rutten Science of Computer Programming 77 (7-8), 799-822, 2012	30	2012
Fault-based test case generation for component connectors BK Aichernig, F Arbab, L Astefanoaei, FS de Boer, M Sun, J Rutten 2009 Third IEEE International Symposium on Theoretical Aspects of Software …, 2009	28	2009
Synthesis of connectors from scenario-based interaction specifications F Arbab, S Meng Component-Based Software Engineering: 11th International Symposium, CBSE …, 2008	27	2008
Synthesis of Reo circuits from scenario-based interaction specifications S Meng, F Arbab, C Baier Science of Computer Programming 76 (8), 651-680, 2011	25	2011
Reo2MC: a tool chain for performance analysis of coordination models F Arbab, S Meng, YJ Moon, M Kwiatkowska, H Qu Proceedings of the 7th joint meeting of the European software engineering …, 2009	24	2009
A formal specification and verification framework for timed security protocols L Li, J Sun, Y Liu, M Sun, JS Dong IEEE Transactions on Software Engineering 44 (8), 725-746, 2017	23	2017
Decision-guided weighted automata extraction from recurrent neural networks X Zhang, X Du, X Xie, L Ma, Y Liu, M Sun Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11699 …, 2021	22	2021
On resource-sensitive timed component connectors S Meng, F Arbab International Conference on Formal Methods for Open Object-Based Distributed …, 2007	22	2007
Static check of WS-CDL documents L Zhou, H Zhang, T Wang, C Yang, Z Wang, M Sun, G Pu 2008 IEEE International Symposium on Service-Oriented System Engineering …, 2008	21	2008
Towards a coalgebraic semantics of UML: Class diagrams and use cases S Meng, B Aichernig The United Nations University/International Institute for Software …, 2003	21	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors