Articles with public access mandates - Meng SunLearn more
Not available anywhere: 32
The exploration of fuzzy linguistic research: A scientometric review based on CiteSpace
J Chen, S Meng, W Zhou
Journal of Intelligent & Fuzzy Systems 37 (3), 3655-3669, 2019
Mandates: National Natural Science Foundation of China
Using Coq for formal modeling and verification of timed connectors
W Hong, MS Nawaz, X Zhang, Y Li, M Sun
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops …, 2018
Mandates: National Natural Science Foundation of China
Towards mutation testing of reinforcement learning systems
Y Lu, W Sun, M Sun
Journal of Systems Architecture 131, 102701, 2022
Mandates: National Natural Science Foundation of China
Capturing stochastic and real-time behavior in reo connectors
Y Li, X Zhang, Y Ji, M Sun
Brazilian Symposium on Formal Methods, 287-304, 2017
Mandates: National Natural Science Foundation of China
A coalgebraic semantics framework for quantum systems
A Liu, M Sun
Formal Methods and Software Engineering: 21st International Conference on …, 2019
Mandates: National Natural Science Foundation of China
A synthesized data envelopment analysis model and its application in resource efficiency evaluation and dynamic trend analysis
S Meng, W Zhou, J Chen, C Zhang
Energy & Environment 29 (2), 260-280, 2018
Mandates: National Natural Science Foundation of China
DeepGlobal: A framework for global robustness verification of feedforward neural networks
W Sun, Y Lu, X Zhang, M Sun
Journal of Systems Architecture 128, 102582, 2022
Mandates: National Natural Science Foundation of China
Mutation testing of reinforcement learning systems
Y Lu, W Sun, M Sun
Dependable Software Engineering. Theories, Tools, and Applications: 7th …, 2021
Mandates: National Natural Science Foundation of China
A formal design model for genetic algorithms operators and its encoding in PVS
MS Nawaz, M Sun
Proceedings of the 2018 2nd International Conference on Big Data and …, 2018
Mandates: National Natural Science Foundation of China
Towards modeling and verification of the CKB block synchronization protocol in Coq
H Bu, M Sun
Formal Methods and Software Engineering: 22nd International Conference on …, 2020
Mandates: National Natural Science Foundation of China
Modeling and verification of the Nervos CKB block synchronization protocol in UPPAAL
Q Zhang, Y Lu, M Sun
Blockchain and Trustworthy Systems: Second International Conference …, 2020
Mandates: National Natural Science Foundation of China
A relational model for probabilistic connectors based on timed data distribution streams
M Sun, X Zhang
Formal Modeling and Analysis of Timed Systems: 16th International Conference …, 2018
Mandates: National Natural Science Foundation of China
MTUL: Towards Mutation Testing of Unsupervised Learning Systems
Y Lu, K Shao, W Sun, M Sun
International Symposium on Dependable Software Engineering: Theories, Tools …, 2022
Mandates: National Natural Science Foundation of China
Using recurrent neural network to predict tactics for proving component connector properties in Coq
X Zhang, Y Li, W Hong, M Sun
2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019
Mandates: National Natural Science Foundation of China
Using PVS for modeling and verifying cloud services and their composition
MS Nawaz, M Sun
2018 Sixth International Conference on Advanced Cloud and Big Data (CBD), 42-47, 2018
Mandates: National Natural Science Foundation of China
Generating Arduino C Codes from Mediator
Y Li, M Sun
It's All About Coordination: Essays to Celebrate the Lifelong Scientific …, 2018
Mandates: National Natural Science Foundation of China
Certifying semantic robustness of deep neural networks
H Bu, M Sun
2023 27th International Conference on Engineering of Complex Computer …, 2023
Mandates: National Natural Science Foundation of China
SMT-based modeling and verification of cloud applications
X Zhang, M Sun
Services–SERVICES 2019: 15th World Congress, Held as Part of the Services …, 2019
Mandates: National Natural Science Foundation of China
Measuring robustness of deep neural networks from the lens of statistical model checking
H Bu, M Sun
2023 International Joint Conference on Neural Networks (IJCNN), 1-8, 2023
Mandates: National Natural Science Foundation of China
Probabilistic mediator: A coalgebraic perspective
A Liu, S Liu, M Sun
Journal of Logical and Algebraic Methods in Programming 129, 100808, 2022
Mandates: National Natural Science Foundation of China
Publication and funding information is determined automatically by a computer program