孙猛
孙猛
Professor, School of Mathematical Science, Peking University
Verified email at math.pku.edu.cn - Homepage
Title
Cited by
Cited by
Year
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
Towards using Reo for compliance-aware business process modeling
F Arbab, N Kokash, S Meng
International Symposium On Leveraging Applications of Formal Methods …, 2008
822008
Component connectors with QoS guarantees
F Arbab, T Chothia, S Meng, YJ Moon
International Conference on Coordination Languages and Models, 286-304, 2007
582007
Components as coalgebras: The refinement dimension
S Meng, LS Barbosa
Theoretical Computer Science 351 (2), 276-294, 2006
482006
From coordination to stochastic models of QoS
F Arbab, T Chothia, R Van Der Mei, S Meng, YJ Moon, C Verhoef
International Conference on Coordination Languages and Models, 268-287, 2009
462009
On refinement of generic state-based software components
S Meng, LS Barbosa
International Conference on Algebraic Methodology and Software Technology …, 2004
452004
算法与数据结构: C 语言描述
张乃孝, 陈光, 孙猛
Gao deng jiao yu chu ban she, 2006
422006
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
402004
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
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE …, 2020
282020
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
282012
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
252009
Synthesis of Reo circuits from scenario-based interaction specifications
S Meng, F Arbab, C Baier
Science of Computer Programming 76 (8), 651-680, 2011
232011
Synthesis of connectors from scenario-based interaction specifications
F Arbab, S Meng
International Symposium on Component-Based Software Engineering, 114-129, 2008
232008
On resource-sensitive timed component connectors
S Meng, F Arbab
International Conference on Formal Methods for Open Object-Based Distributed …, 2007
232007
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
222009
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
202008
QCCS: A formal model to enforce QoS requirements in service composition
S Meng
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007
192007
Towards a coalgebraic semantics of UML: Class diagrams and use cases
S Meng, B Aichernig
The United Nations University/International Institute for Software …, 2003
192003
Hesitant fuzzy preference envelopment analysis and alternative improvement
W Zhou, J Chen, Z Xu, S Meng
Information Sciences 465, 105-117, 2018
182018
A model for web service coordination in long-running transactions
S Meng, F Arbab
2010 Fifth IEEE International Symposium on Service Oriented System …, 2010
182010
The system can't perform the operation now. Try again later.
Articles 1–20