Meng Sun
Meng Sun
Professor, School of Mathematical Science, Peking University
Verified email at - Homepage
Cited by
Cited by
Towards using reo for compliance-aware business process modeling
F Arbab, N Kokash, S Meng
Leveraging Applications of Formal Methods, Verification and Validation …, 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
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
Component connectors with QoS guarantees
F Arbab, T Chothia, S Meng, YJ Moon
Coordination Models and Languages: 9th International Conference …, 2007
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
Components as coalgebras: The refinement dimension
S Meng, LS Barbosa
Theoretical Computer Science 351 (2), 276-294, 2006
On refinement of generic state-based software components
S Meng, LS Barbosa
Algebraic Methodology and Software Technology: 10th International Conference …, 2004
算法与数据结构: C 语言描述
高等教育出版社, 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
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
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
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
Synthesis of Reo circuits from scenario-based interaction specifications
S Meng, F Arbab, C Baier
Science of Computer Programming 76 (8), 651-680, 2011
Synthesis of Connectors from Scenario-Based Interaction Specifications.
F Arbab, S Meng
CBSE 8, 114-129, 2008
A survey on theorem provers in formal methods
MS Nawaz, M Malik, Y Li, M Sun, M Lali
arXiv preprint arXiv:1912.03028, 2019
On resource-sensitive timed component connectors
S Meng, F Arbab
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 …, 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
Towards a coalgebraic semantics of UML: Class diagrams and use cases
S Meng, B Aichernig
The United Nations University/International Institute for Software …, 2003
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
A model for web service coordination in long-running transactions
S Meng, F Arbab
2010 Fifth IEEE International Symposium on Service Oriented System …, 2010
The system can't perform the operation now. Try again later.
Articles 1–20