Concepedia

Meng Sun

MS

Statistics

Publications

25

Citations

548

H-Index

14

Active since

2004

Affiliations

Peking University(Current)

Centrum Wiskunde & Informatica

National University of Singapore

University of Minho

Graz University of Technology

Meng Sun is an author at Peking University specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringFormal VerificationFormal MethodsComputer ScienceVerificationSoftware DesignSystems EngineeringSoftware EngineeringSoftware AnalysisAutomated Reasoning

Publications per year

2004–2024

25

Publications

25

Towards characterizing adversarial defects of deep learning software from the lens of uncertainty

Xiyue Zhang, Xiaofei Xie, Lei Ma et al. · 2020 · 68 citations

Artificial Intelligence, Ai Reliability, Dl Uncertainty +14

Web services choreography and orchestration in Reo and constraint automata

Meng Sun, Farhad Arbab · 2007 · 61 citations

Web Services Choreography, Web Service Specification, Engineering +19

Components as coalgebras: The refinement dimension

Meng Sun, Luís Soares Barbosa · Theoretical Computer Science · 2005 · 56 citations · Full text

Hetero- and Homointerlocked Metal–Organic Cages

Yingguo Li, Hong Jiang, Wenqiang Zhang et al. · Journal of the American Chemical Society · 2024 · 35 citations

Connectors as designs: Modeling, refinement and test case generation

Meng Sun, Farhad Arbab, Bernhard K. Aichernig et al. · Science of Computer Programming · 2011 · 27 citations

Design Space Exploration, Industrial Design, Engineering +8

Rows per page

1–5 of 25