Meng Sun

Cited by

	All	Since 2020
Citations	1538	557
h-index	21	11
i10-index	43	13

140

105

2003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202510 13 33 38 18 77 89 80 75 90 56 46 53 57 32 89 84 59 106 111 127 134 20

Public access

View all

42 articles

37 articles

available

not available

Based on funding mandates

Co-authors

Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Xiyue ZhangUniversity of BristolVerified email at bristol.ac.uk
Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoVerified email at di.uminho.pt
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
Zeming WeiUndergraduate, Peking UniversityVerified email at stu.pku.edu.cn
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
Yihao ZhangPeking UniversityVerified email at stu.pku.edu.cn
Xiaoning DuLecturer (a.k.a. Assistant Professor), Monash UniversityVerified email at monash.edu
Tom ChothiaUniversity of BirminghamVerified email at cs.bham.ac.uk
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
Jin Song DongProfessor of Computer Science, National University of SingaporeVerified email at nus.edu.sg
Geguang PuProfessor of Computer Science, East China Normal UniversityVerified email at sei.ecnu.edu.cn

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	98	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	90	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	54	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
A survey on theorem provers in formal methods MS Nawaz, M Malik, Y Li, M Sun, M Lali arXiv preprint arXiv:1912.03028, 2019	43	2019
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
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
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	25	2017
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
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	24	2021
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
On resource-sensitive timed component connectors S Meng, F Arbab International Conference on Formal Methods for Open Object-Based Distributed …, 2007	22	2007
Proof guidance in PVS with sequential pattern mining MS Nawaz, M Sun, P Fournier-Viger Fundamentals of Software Engineering: 8th International Conference, FSEN …, 2019	21	2019
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

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