Suivre
Meng Sun
Meng Sun
Professor, School of Mathematical Science, Peking University
Adresse e-mail validée de math.pku.edu.cn - Page d'accueil
Titre
Citée par
Citée par
Année
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
982020
Towards using Reo for compliance-aware business process modeling
F Arbab, N Kokash, S Meng
Leveraging Applications of Formal Methods, Verification and Validation …, 2008
902008
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
862007
Component connectors with QoS guarantees
F Arbab, T Chothia, S Meng, YJ Moon
Coordination Models and Languages: 9th International Conference …, 2007
592007
Components as coalgebras: The refinement dimension
S Meng, LS Barbosa
Theoretical Computer Science 351 (2), 276-294, 2006
542006
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
512009
On refinement of generic state-based software components
S Meng, LS Barbosa
Algebraic Methodology and Software Technology: 10th International Conference …, 2004
482004
算法与数据结构: C 语言描述
张乃孝
高等教育出版社, 2006
462006
A survey on theorem provers in formal methods
MS Nawaz, M Malik, Y Li, M Sun, M Lali
arXiv preprint arXiv:1912.03028, 2019
432019
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
422004
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
302012
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
282009
Synthesis of connectors from scenario-based interaction specifications
F Arbab, S Meng
Component-Based Software Engineering: 11th International Symposium, CBSE …, 2008
272008
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
252017
Synthesis of Reo circuits from scenario-based interaction specifications
S Meng, F Arbab, C Baier
Science of Computer Programming 76 (8), 651-680, 2011
252011
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
242021
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
242009
On resource-sensitive timed component connectors
S Meng, F Arbab
International Conference on Formal Methods for Open Object-Based Distributed …, 2007
222007
Proof guidance in PVS with sequential pattern mining
MS Nawaz, M Sun, P Fournier-Viger
Fundamentals of Software Engineering: 8th International Conference, FSEN …, 2019
212019
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
212008
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20