Seguir
Meng Sun
Meng Sun
Professor, School of Mathematical Science, Peking University
Dirección de correo verificada de math.pku.edu.cn - Página principal
Título
Citado por
Citado por
Año
Towards using Reo for compliance-aware business process modeling
F Arbab, N Kokash, S Meng
Leveraging Applications of Formal Methods, Verification and Validation …, 2008
862008
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
852007
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
842020
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
522006
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
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
A survey on theorem provers in formal methods
MS Nawaz, M Malik, Y Li, M Sun, M Lali
arXiv preprint arXiv:1912.03028, 2019
332019
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
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
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
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
232017
On resource-sensitive timed component connectors
S Meng, F Arbab
International Conference on Formal Methods for Open Object-Based Distributed …, 2007
222007
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
Towards a coalgebraic semantics of UML: Class diagrams and use cases
S Meng, B Aichernig
The United Nations University/International Institute for Software …, 2003
212003
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
202021
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20