Meng Sun
Meng Sun
Professor, School of Mathematical Science, Peking University
Dirección de correo verificada de - Página principal
Citado por
Citado por
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
A survey on theorem provers in formal methods
MS Nawaz, M Malik, Y Li, M Sun, M Lali
arXiv preprint arXiv:1912.03028, 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
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 connectors from scenario-based interaction specifications
F Arbab, S Meng
Component-Based Software Engineering: 11th International Symposium, CBSE …, 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
Synthesis of Reo circuits from scenario-based interaction specifications
S Meng, F Arbab, C Baier
Science of Computer Programming 76 (8), 651-680, 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
On resource-sensitive timed component connectors
S Meng, F Arbab
International Conference on Formal Methods for Open Object-Based Distributed …, 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 model for web service coordination in long-running transactions
S Meng, F Arbab
2010 Fifth IEEE International Symposium on Service Oriented System …, 2010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20