Meng Sun

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 72

Top Topics

Unsupervised Learning

Top Venues

Publications

Yuteng Lu, Kaicheng Shao, Jia Zhao, Weidi Sun, Meng Sun
Mutation testing of unsupervised learning systems. J. Syst. Archit. 146 (2024)
Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun
Weighted automata extraction and explanation of recurrent neural networks for natural language tasks. J. Log. Algebraic Methods Program. 136 (2024)
Yihao Zhang, Zeming Wei, Jun Sun, Meng Sun
Towards General Conceptual Model Editing via Adversarial Representation Engineering. CoRR (2024)
Hao Bu, Meng Sun
Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation. IEEE Trans. Software Eng. 50 (7) (2024)
Xiaokun Luan, Xiyue Zhang, Jingyi Wang, Meng Sun
Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection. CoRR (2024)
Hao Bu, Meng Sun
Certifying Semantic Robustness of Deep Neural Networks. ICECCS (2023)
Weidi Sun, Xiaoyong Xue, Yuteng Lu, Jia Zhao, Meng Sun
HashC: Making deep learning coverage testing finer and faster. J. Syst. Archit. 144 (2023)
Hao Bu, Meng Sun
DeepPatch: A Patching-Based Method for Repairing Deep Neural Networks. DeepTest (2023)
Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun
Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks. CoRR (2023)
Weidi Sun, Yuteng Lu, Xiaokun Luan, Meng Sun
HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems. SETTA (2023)
Yihao Zhang, Zeming Wei, Xiyue Zhang, Meng Sun
Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S). SEKE (2023)
Yihao Zhang, Zeming Wei, Xiyue Zhang, Meng Sun
Using Z3 for Formal Modeling and Verification of FNN Global Robustness. CoRR (2023)
Hao Bu, Meng Sun
Measuring Robustness of Deep Neural Networks from the Lens of Statistical Model Checking. IJCNN (2023)
Xiangyu Li, Yihao Zhang, Xiaokun Luan, Xiaoyong Xue, Meng Sun
MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms. QRS Companion (2023)
Xiaoyong Xue, Meng Sun
Branch and Bound for Sigmoid-Like Neural Network Verification. ICFEM (2023)
Xiaoyong Xue, Xiyue Zhang, Meng Sun
kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification. FSEN (2023)
Yuteng Lu, Weidi Sun, Meng Sun
Towards mutation testing of Reinforcement Learning systems. J. Syst. Archit. 131 (2022)
Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang
EPMC Gets Knowledge in Multi-agent Systems. VMCAI (2022)
Weidi Sun, Xiaoyong Xue, Yuteng Lu, Meng Sun
HashC: Making DNNs' Coverage Testing Finer and Faster. SETTA (2022)
Zeming Wei, Xiyue Zhang, Meng Sun
Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages. ICFEM (2022)
Ai Liu, Shaoying Liu, Meng Sun
Probabilistic mediator: A coalgebraic perspective. J. Log. Algebraic Methods Program. 129 (2022)
Xiyue Zhang, Xiaohong Chen, Meng Sun
Towards a Unifying Logical Framework for Neural Networks. ICTAC (2022)
Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun
RGChaser: A RL-guided Fuzz and Mutation Testing Framework for Deep Learning Systems. DSA (2022)
Zeming Wei, Xiyue Zhang, Meng Sun
Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages. CoRR (2022)
Muhammad Saqib Nawaz, Meng Sun, Basit Shahzad, Muhammad Ikram Ullah Lali, Tariq Umer, Shaohua Wan
Quality of service in IoT protocol as designs and its verification in PVS. Trans. Emerg. Telecommun. Technol. 33 (8) (2022)
Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun
DeepGlobal: A framework for global robustness verification of feedforward neural networks. J. Syst. Archit. 128 (2022)
Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun
MTUL: Towards Mutation Testing of Unsupervised Learning Systems. SETTA (2022)
Xiaokun Luan, Xiyue Zhang, Meng Sun
Using LSTM to Predict Tactics in Coq. SEKE (2021)
Yuteng Lu, Weidi Sun, Guangdong Bai, Meng Sun
DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S). SEKE (2021)
Weidi Sun, Yuteng Lu, Meng Sun
Are Coverage Criteria Meaningful Metrics for DNNs? IJCNN (2021)
M. Saqib Nawaz, M. Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun
An evolutionary/heuristic-based proof searching framework for interactive theorem prover. Appl. Soft Comput. 104 (2021)
Xiaokun Luan, Meng Sun
Modeling and Verification of CKB Consensus Protocol in Coq. QRS Companion (2021)
Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun
Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks. AAAI (2021)
Ai Liu, Meng Sun
A Unifying Coalgebraic Semantics Framework for Quantum Systems. Int. J. Softw. Eng. Knowl. Eng. 31 (3) (2021)
M. Saqib Nawaz, Meng Sun, Philippe Fournier-Viger
Proof Searching in PVS Theorem Prover Using Simulated Annealing. ICSI (2) (2021)
Yi-Chun Feng, Yuteng Lu, Meng Sun
Modeling and Verification of CKB Consensus Protocol in UPPAAL (S). SEKE (2021)
M. Saqib Nawaz, M. Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun
Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques. Appl. Intell. 51 (3) (2021)
Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun
DeepGlobal: A Global Robustness Verifiable FNN Framework. SETTA (2021)
M. Zohaib Nawaz, Osman Hasan, M. Saqib Nawaz, Philippe Fournier-Viger, Meng Sun
Proof searching in HOL4 with genetic algorithm. SAC (2020)
Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun
Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty. CoRR (2020)
Yi Li, Weidi Sun, Meng Sun
: A component-based modeling language for concurrent and distributed systems. Sci. Comput. Program. 192 (2020)
Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun
Towards characterizing adversarial defects of deep learning software from the lens of uncertainty. ICSE (2020)
Xiyue Zhang, Yi Li, Meng Sun
Towards a Formally Verified EVM in Production Environment. COORDINATION (2020)
Weidi Sun, Yuteng Lu, Xiyue Zhang, Zhanxing Zhu, Meng Sun
Global Robustness Verification Networks. CoRR (2020)
Qi Zhang, Yuteng Lu, Meng Sun
Modeling and Verification of the Nervos CKB Block Synchronization Protocol in UPPAAL. BlockSys (2020)
Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun
Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq. TASE (2019)
M. Saqib Nawaz, Meng Sun, Philippe Fournier-Viger
Proof Guidance in PVS with Sequential Pattern Mining. FSEN (2019)
M. Saqib Nawaz, Moin Malik, Yi Li, Meng Sun, Muhammad Ikram Ullah Lali
A Survey on Theorem Provers in Formal Methods. CoRR (2019)
Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun, Xiaofei Xie
Safe Inputs Approximation for Black-Box Systems. ICECCS (2019)
Yi Li, Meng Sun
Distributed Mediator. TASE (2019)
Xiyue Zhang, Meng Sun
SMT-Based Modeling and Verification of Cloud Applications. SERVICES (2019)
M. Saqib Nawaz, Meng Sun
Using PVS for Modeling and Verification of Probabilistic Connectors. FSEN (2019)
Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
Reasoning about connectors using Coq and Z3. Sci. Comput. Program. 170 (2019)
Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun
A formal framework capturing real-time and stochastic behavior in connectors. Sci. Comput. Program. 177 (2019)
Ai Liu, Meng Sun
A Coalgebraic Semantics Framework for Quantum Systems. ICFEM (2019)
Weidi Sun, Meng Sun
PRISM Code Generation for Verification of Mediator Models (S). SEKE (2019)
Yi Li, Meng Sun
Generating Arduino C Codes from Mediator. It's All About Coordination (2018)
Yuteng Lu, Meng Sun
Modeling and Verification of IEEE 802.11i Security Protocol in UPPAAL for Internet of Things. Int. J. Softw. Eng. Knowl. Eng. 28 (11-12) (2018)
Meng Sun, Xiyue Zhang
A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams. FORMATS (2018)
M. Saqib Nawaz, Meng Sun
Reo2PVS: Formal Specification and Verification of Component Connectors. SEKE (2018)
M. Saqib Nawaz, Meng Sun
A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS. BDIOT (2018)
Yuteng Lu, Meng Sun
Modeling and Verification of IEEE 802.11i Security Protocol for Internet of Things. SEKE (2018)
Ai Liu, Shun Wang, Yi Li, Meng Sun
On Semantics for Mediator: A Coalgebraic Perspective. SOFL+MSVL (2018)
Li Li, Jun Sun, Yang Liu, Meng Sun, Jin Song Dong
A Formal Specification and Verification Framework for Timed Security Protocols. IEEE Trans. Software Eng. 44 (8) (2018)
Xiyue Zhang, Meng Sun
Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S). SEKE (2018)
Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun
Capturing Stochastic and Real-Time Behavior in Reo Connectors. SBMF (2017)
Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun
Using Coq for Formal Modeling and Verification of Timed Connectors. SEFM Workshops (2017)
Yi Li, Meng Sun
Component-Based Modeling in Mediator. FACS (2017)
Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang
Towards Concolic Testing for Hybrid Systems. CoRR (2016)
Yi Li, Meng Sun, Yiwu Wang
Active Learning from Blackbox to Timed Connectors. TASE (2016)
Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang
Towards Concolic Testing for Hybrid Systems. FM (2016)
Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
Reasoning About Connectors in Coq. FACS (2016)
Shaodong Li, Xiaohong Chen, Yiwu Wang, Meng Sun
A Framework for Off-Line Conformance Testing of Timed Connectors. TASE (2015)
Yi Li, Meng Sun
Modeling and verification of component connectors in Coq. Sci. Comput. Program. 113 (2015)
Xiaohong Chen, Jun Sun, Meng Sun
A Hybrid Model of Connectors in Cyber-Physical Systems. ICFEM (2014)
Meng Sun, Yi Li
Formal modeling and verification of complex interactions in e-government applications. ICEGOV (2014)
Yi Li, Meng Sun
Modeling and Analysis of Component Connectors in Coq. FACS (2013)