Meng Sun

Citado por

	Total	Desde 2019
Citas	1506	609
Índice h	20	11
Índice i10	43	13

140

105

200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 13 33 38 17 78 89 80 75 90 56 46 53 57 32 89 84 58 106 111 125 124

Acceso público

Ver todo

42 artículos

36 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Farhad ArbabProfessor of Computer Science, Leiden UniversityDirección de correo verificada de liacs.nl
Xiyue ZhangUniversity of BristolDirección de correo verificada de bristol.ac.uk
Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoDirección de correo verificada de di.uminho.pt
Bernhard AichernigGraz Univ. of Technology (TU Graz)Dirección de correo verificada de ist.tugraz.at
Yang LiuNanyang Technological UniversityDirección de correo verificada de ntu.edu.sg
Sun JunProfessor of SCIS, SMUDirección de correo verificada de smu.edu.sg
Zeming WeiUndergraduate, Peking UniversityDirección de correo verificada de stu.pku.edu.cn
Lei MaAssociate Professor, The University of Tokyo, Japan & University of Alberta, CanadaDirección de correo verificada de acm.org
Philippe Fournier-VigerDistinguished professor, Shenzhen University, ChinaDirección de correo verificada de szu.edu.cn
Yihao ZhangPeking UniversityDirección de correo verificada de stu.pku.edu.cn
Xiaoning DuLecturer (a.k.a. Assistant Professor), Monash UniversityDirección de correo verificada de monash.edu
Tom ChothiaUniversity of BirminghamDirección de correo verificada de cs.bham.ac.uk
Weijiang HongNational University of Defense TechnologyDirección de correo verificada de nudt.edu.cn
Rob van der MeiCWI and Vrije Universiteit AmsterdamDirección de correo verificada de cwi.nl
Jan RuttenCWIDirección de correo verificada de cwi.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Dirección de correo verificada de cwi.nl
Natallia KokashUniversity of AmsterdamDirección de correo verificada de uva.nl
Christel BaierTU DresdenDirección de correo verificada de tu-dresden.de
Geguang PuProfessor of Computer Science, East China Normal UniversityDirección de correo verificada de sei.ecnu.edu.cn
Jingyi WangAssistant Professor, Zhejiang UniversityDirección de correo verificada de zju.edu.cn

Seguir

Meng Sun

Professor, School of Mathematical Science, Peking University

Dirección de correo verificada de math.pku.edu.cn - Página principal

software theory formal methods coordination models and languages coalgebra theory


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	91	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	89	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
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	41	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
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	23	2021
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
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores