default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMeng Sun 0002
Person information
- affiliation: Peking University, School of Mathematical Science, LMAM / Department of Informatics, Beijing, China
Other persons with the same name
- Meng Sun — disambiguation page
- Meng Sun 0001
![[0000-0002-7435-3752]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-7435-3752")
— PLA University of Science and Technology, Lab of Intelligent Information Processing, Nanjing, China (and 1 more) - Meng Sun 0003 — Nanjing University of Aeronautics and Astronautics, College of Electronics and Information Engineering, Key Laboratory of Dynamic Cognitive System of Electromagnetic Spectrum Space, China (and 2 more)
- Meng Sun 0004 — Nanyang Technological University, Department of Electrical and Electronic Engineering, Singapore
- Meng Sun 0005 — Qilu University of Technology (Shandong Academy of Sciences), Shandong Computer Science Center, Jinan, China
- Meng Sun 0006 — China University of Mining and Technology, Key Laboratory of Land Environment and Disaster Monitoring, Xuzhou, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j18]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: 100907 (2024)- [j17]Yuteng Lu, Kaicheng Shao, Jia Zhao, Weidi Sun, Meng Sun:
Mutation testing of unsupervised learning systems. J. Syst. Archit. 146: 103050 (2024) - [j16]Hao Bu, Meng Sun:
Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation. IEEE Trans. Software Eng. 50(7): 1726-1746 (2024) - [c56]Xiaoyong Xue, Meng Sun:
Optimal Solution Guided Branching Strategy for Neural Network Branch and Bound Verification. ICECCS 2024: 67-87 - [c55]Yihao Zhang, Zeming Wei, Jun Sun, Meng Sun:
Adversarial Representation Engineering: A General Model Editing Framework for Large Language Models. NeurIPS 2024 - [e5]Diego Marmsoler, Meng Sun:
Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings. Lecture Notes in Computer Science 15189, Springer 2024, ISBN 978-3-031-71260-9 [contents] - [i10]Yihao Zhang, Zeming Wei, Jun Sun, Meng Sun:
Towards General Conceptual Model Editing via Adversarial Representation Engineering. CoRR abs/2404.13752 (2024) - [i9]Xiaokun Luan, Xiyue Zhang, Jingyi Wang, Meng Sun:
Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection. CoRR abs/2407.03883 (2024) - [i8]Yedi Zhang, Yufan Cai, Xinyue Zuo, Xiaokun Luan, Kailong Wang, Zhe Hou, Yifan Zhang, Zhiyuan Wei, Meng Sun, Jun Sun, Jing Sun, Jin Song Dong:
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap. CoRR abs/2412.06512 (2024) - 2023
- [j15]Weidi Sun, Xiaoyong Xue, Yuteng Lu, Jia Zhao, Meng Sun:
HashC: Making deep learning coverage testing finer and faster. J. Syst. Archit. 144: 102999 (2023) - [c54]Xiaoyong Xue, Xiyue Zhang, Meng Sun:
kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification. FSEN 2023: 142-156 - [c53]Hao Bu, Meng Sun:
Guiding the Comparison of Neural Network Local Robustness: An Empirical Study. ICANN (5) 2023: 312-323 - [c52]Hao Bu, Meng Sun:
Certifying Semantic Robustness of Deep Neural Networks. ICECCS 2023: 51-60 - [c51]Xiaoyong Xue, Meng Sun:
Branch and Bound for Sigmoid-Like Neural Network Verification. ICFEM 2023: 137-155 - [c50]Hao Bu, Meng Sun:
DeepPatch: A Patching-Based Method for Repairing Deep Neural Networks. DeepTest 2023: 25-32 - [c49]Hao Bu, Meng Sun:
Measuring Robustness of Deep Neural Networks from the Lens of Statistical Model Checking. IJCNN 2023: 1-8 - [c48]Xiangyu Li, Yihao Zhang, Xiaokun Luan, Xiaoyong Xue, Meng Sun:
MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms. QRS Companion 2023: 451-460 - [c47]Yihao Zhang, Zeming Wei, Xiyue Zhang, Meng Sun:
Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S). SEKE 2023: 110-113 - [c46]Weidi Sun, Yuteng Lu, Xiaokun Luan, Meng Sun:
HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems. SETTA 2023: 243-261 - [e4]Cristina David, Meng Sun:
Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings. Lecture Notes in Computer Science 13931, Springer 2023, ISBN 978-3-031-35256-0 [contents] - [i7]Yihao Zhang, Zeming Wei, Xiyue Zhang, Meng Sun:
Using Z3 for Formal Modeling and Verification of FNN Global Robustness. CoRR abs/2304.10558 (2023) - [i6]Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun:
Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks. CoRR abs/2306.14040 (2023) - 2022
- [j14]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) - [j13]Ai Liu, Shaoying Liu, Meng Sun:
Probabilistic mediator: A coalgebraic perspective. J. Log. Algebraic Methods Program. 129: 100808 (2022) - [j12]Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun:
DeepGlobal: A framework for global robustness verification of feedforward neural networks. J. Syst. Archit. 128: 102582 (2022) - [j11]Yuteng Lu, Weidi Sun, Meng Sun:
Towards mutation testing of Reinforcement Learning systems. J. Syst. Archit. 131: 102701 (2022) - [c45]Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun:
RGChaser: A RL-guided Fuzz and Mutation Testing Framework for Deep Learning Systems. DSA 2022: 12-23 - [c44]Zeming Wei, Xiyue Zhang, Meng Sun:
Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages. ICFEM 2022: 370-385 - [c43]Xiyue Zhang, Xiaohong Chen, Meng Sun:
Towards a Unifying Logical Framework for Neural Networks. ICTAC 2022: 442-461 - [c42]Weidi Sun, Xiaoyong Xue, Yuteng Lu, Meng Sun:
HashC: Making DNNs' Coverage Testing Finer and Faster. SETTA 2022: 3-21 - [c41]Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun:
MTUL: Towards Mutation Testing of Unsupervised Learning Systems. SETTA 2022: 22-40 - [c40]Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang:
EPMC Gets Knowledge in Multi-agent Systems. VMCAI 2022: 93-107 - [i5]Zeming Wei, Xiyue Zhang, Meng Sun:
Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages. CoRR abs/2206.14621 (2022) - 2021
- [j10]M. Saqib Nawaz, Muhammad 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): 1580-1601 (2021) - [j9]M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun:
An evolutionary/heuristic-based proof searching framework for interactive theorem prover. Appl. Soft Comput. 104: 107200 (2021) - [j8]Ai Liu, Meng Sun:
A Unifying Coalgebraic Semantics Framework for Quantum Systems. Int. J. Softw. Eng. Knowl. Eng. 31(3): 381-403 (2021) - [c39]Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun:
Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks. AAAI 2021: 11699-11707 - [c38]Weidi Sun, Yuteng Lu, Meng Sun:
Are Coverage Criteria Meaningful Metrics for DNNs? IJCNN 2021: 1-8 - [c37]Xiaokun Luan, Meng Sun:
Modeling and Verification of CKB Consensus Protocol in Coq. QRS Companion 2021: 660-667 - [c36]Xiaokun Luan, Xiyue Zhang, Meng Sun:
Using LSTM to Predict Tactics in Coq. SEKE 2021: 132-137 - [c35]Yi-Chun Feng, Yuteng Lu, Meng Sun:
Modeling and Verification of CKB Consensus Protocol in UPPAAL (S). SEKE 2021: 150-153 - [c34]Yuteng Lu, Weidi Sun, Guangdong Bai, Meng Sun:
DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S). SEKE 2021: 172-176 - [c33]Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun:
DeepGlobal: A Global Robustness Verifiable FNN Framework. SETTA 2021: 22-39 - [c32]Yuteng Lu, Weidi Sun, Meng Sun:
Mutation Testing of Reinforcement Learning Systems. SETTA 2021: 143-160 - [c31]M. Saqib Nawaz, Meng Sun, Philippe Fournier-Viger:
Proof Searching in PVS Theorem Prover Using Simulated Annealing. ICSI (2) 2021: 253-262 - [e3]Michael Kamp, Irena Koprinska, Adrien Bibal, Tassadit Bouadi, Benoît Frénay, Luis Galárraga, José Oramas, Linara Adilova, Yamuna Krishnamurthy, Bo Kang, Christine Largeron, Jefrey Lijffijt, Tiphaine Viard, Pascal Welke, Massimiliano Ruocco, Erlend Aune, Claudio Gallicchio, Gregor Schiele, Franz Pernkopf, Michaela Blott, Holger Fröning, Günther Schindler, Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Przemyslaw Biecek, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Christopher L. Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Tim Verbelen, Pedro M. Ferreira, Giuseppina Andresini, Donato Malerba, Ibéria Medeiros, Philippe Fournier-Viger, M. Saqib Nawaz, Sebastián Ventura, Meng Sun, Min Zhou, Valerio Bitetta, Ilaria Bordino, Andrea Ferretti, Francesco Gullo, Giovanni Ponti, Lorenzo Severini, Rita P. Ribeiro, João Gama, Ricard Gavaldà, Lee Cooper, Naghmeh Ghazaleh, Jonas Richiardi, Damian Roqueiro, Diego Saldana Miranda, Konstantinos Sechidis, Guilherme Graça:
Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part I. Communications in Computer and Information Science 1524, Springer 2021, ISBN 978-3-030-93735-5 [contents] - [e2]Michael Kamp, Irena Koprinska, Adrien Bibal, Tassadit Bouadi, Benoît Frénay, Luis Galárraga, José Oramas, Linara Adilova, Yamuna Krishnamurthy, Bo Kang, Christine Largeron, Jefrey Lijffijt, Tiphaine Viard, Pascal Welke, Massimiliano Ruocco, Erlend Aune, Claudio Gallicchio, Gregor Schiele, Franz Pernkopf, Michaela Blott, Holger Fröning, Günther Schindler, Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Przemyslaw Biecek, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Christopher L. Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Tim Verbelen, Pedro M. Ferreira, Giuseppina Andresini, Donato Malerba, Ibéria Medeiros, Philippe Fournier-Viger, M. Saqib Nawaz, Sebastián Ventura, Meng Sun, Min Zhou, Valerio Bitetta, Ilaria Bordino, Andrea Ferretti, Francesco Gullo, Giovanni Ponti, Lorenzo Severini, Rita P. Ribeiro, João Gama, Ricard Gavaldà, Lee Cooper, Naghmeh Ghazaleh, Jonas Richiardi, Damian Roqueiro, Diego Saldana Miranda, Konstantinos Sechidis, Guilherme Graça:
Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part II. Communications in Computer and Information Science 1525, Springer 2021, ISBN 978-3-030-93732-4 [contents] - 2020
- [j7]Yi Li, Weidi Sun, Meng Sun:
Mediator: A component-based modeling language for concurrent and distributed systems. Sci. Comput. Program. 192: 102438 (2020) - [c30]Qi Zhang, Yuteng Lu, Meng Sun:
Modeling and Verification of the Nervos CKB Block Synchronization Protocol in UPPAAL. BlockSys 2020: 3-17 - [c29]Xiyue Zhang, Yi Li, Meng Sun:
Towards a Formally Verified EVM in Production Environment. COORDINATION 2020: 341-349 - [c28]Hao Bu, Meng Sun:
Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq. ICFEM 2020: 287-296 - [c27]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: 739-751 - [c26]Muhammad Zohaib Nawaz, Osman Hasan, M. Saqib Nawaz, Philippe Fournier-Viger, Meng Sun:
Proof searching in HOL4 with genetic algorithm. SAC 2020: 513-520 - [i4]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 abs/2004.11573 (2020) - [i3]Weidi Sun, Yuteng Lu, Xiyue Zhang, Zhanxing Zhu, Meng Sun:
Global Robustness Verification Networks. CoRR abs/2006.04403 (2020)
2010 – 2019
- 2019
- [j6]Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun:
Reasoning about connectors using Coq and Z3. Sci. Comput. Program. 170: 27-44 (2019) - [j5]Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun:
A formal framework capturing real-time and stochastic behavior in connectors. Sci. Comput. Program. 177: 19-40 (2019) - [c25]M. Saqib Nawaz, Meng Sun, Philippe Fournier-Viger:
Proof Guidance in PVS with Sequential Pattern Mining. FSEN 2019: 45-60 - [c24]M. Saqib Nawaz, Meng Sun:
Using PVS for Modeling and Verification of Probabilistic Connectors. FSEN 2019: 61-76 - [c23]Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun, Xiaofei Xie:
Safe Inputs Approximation for Black-Box Systems. ICECCS 2019: 180-189 - [c22]Ai Liu, Meng Sun:
A Coalgebraic Semantics Framework for Quantum Systems. ICFEM 2019: 387-402 - [c21]Weidi Sun, Meng Sun:
PRISM Code Generation for Verification of Mediator Models (S). SEKE 2019: 271-354 - [c20]Xiyue Zhang, Meng Sun:
SMT-Based Modeling and Verification of Cloud Applications. SERVICES 2019: 1-15 - [c19]Yi Li, Meng Sun:
Distributed Mediator. TASE 2019: 17-24 - [c18]Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun:
Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq. TASE 2019: 107-112 - [i2]M. Saqib Nawaz, Moin Malik, Yi Li, Meng Sun, Muhammad Ikram Ullah Lali:
A Survey on Theorem Provers in Formal Methods. CoRR abs/1912.03028 (2019) - 2018
- [j4]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): 1619-1636 (2018) - [j3]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): 725-746 (2018) - [c17]M. Saqib Nawaz, Meng Sun:
A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS. BDIOT 2018: 186-190 - [c16]Yi Li, Meng Sun:
Generating Arduino C Codes from Mediator. It's All About Coordination 2018: 174-188 - [c15]Meng Sun, Xiyue Zhang:
A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams. FORMATS 2018: 125-141 - [c14]Yuteng Lu, Meng Sun:
Modeling and Verification of IEEE 802.11i Security Protocol for Internet of Things. SEKE 2018: 270-269 - [c13]Xiyue Zhang, Meng Sun:
Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S). SEKE 2018: 385-384 - [c12]M. Saqib Nawaz, Meng Sun:
Reo2PVS: Formal Specification and Verification of Component Connectors. SEKE 2018: 391-390 - [c11]Ai Liu, Shun Wang, Yi Li, Meng Sun:
On Semantics for Mediator: A Coalgebraic Perspective. SOFL+MSVL 2018: 146-165 - [e1]Jing Sun, Meng Sun:
Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Lecture Notes in Computer Science 11232, Springer 2018, ISBN 978-3-030-02449-9 [contents] - 2017
- [c10]Yi Li, Meng Sun:
Component-Based Modeling in Mediator. FACS 2017: 1-19 - [c9]Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun:
Capturing Stochastic and Real-Time Behavior in Reo Connectors. SBMF 2017: 287-304 - [c8]Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun:
Using Coq for Formal Modeling and Verification of Timed Connectors. SEFM Workshops 2017: 558-573 - 2016
- [c7]Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun:
Reasoning About Connectors in Coq. FACS 2016: 172-190 - [c6]Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang:
Towards Concolic Testing for Hybrid Systems. FM 2016: 460-478 - [c5]Yi Li, Meng Sun, Yiwu Wang:
Active Learning from Blackbox to Timed Connectors. TASE 2016: 132-135 - [i1]Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang:
Towards Concolic Testing for Hybrid Systems. CoRR abs/1608.08754 (2016) - 2015
- [j2]Yi Li, Meng Sun:
Modeling and verification of component connectors in Coq. Sci. Comput. Program. 113: 285-301 (2015) - [c4]Shaodong Li, Xiaohong Chen, Yiwu Wang, Meng Sun:
A Framework for Off-Line Conformance Testing of Timed Connectors. TASE 2015: 15-22 - 2014
- [c3]Meng Sun, Yi Li:
Formal modeling and verification of complex interactions in e-government applications. ICEGOV 2014: 506-507 - [c2]Xiaohong Chen, Jun Sun, Meng Sun:
A Hybrid Model of Connectors in Cyber-Physical Systems. ICFEM 2014: 59-74 - 2013
- [c1]Yi Li, Meng Sun:
Modeling and Analysis of Component Connectors in Coq. FACS 2013: 273-290 - 2012
- [j1]Luís Soares Barbosa, Meng Sun:
A Calculus for Generic, QoS-Aware Component Composition. Math. Comput. Sci. 6(4): 475-497 (2012)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-10 21:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
