Meng Sun

115 papers A* 3B 8C 19Misc 14Journal 47Unranked 21
YearRankTypeTitle / Venue / Authors
2026 J jnl
ClawWorm: Self-Propagating Attacks Across LLM Agent Ecosystems.
CoRR
Yihao Zhang, Zeming Wei, Xiaokun Luan, Chengcan Wu, Zhixin Zhang, Jiangrong Wu, Haolin Wu, Huanran Chen, Jun Sun, Meng Sun
2026 J jnl
On Mutation Testing of In-Context Learning Systems.
J. Syst. Archit.
Zeming Wei, Guanzhang Yue, Yihao Zhang, Meng Sun
2026 J jnl
RACA: Representation-Aware Coverage Criteria for LLM Safety Testing.
CoRR
Zeming Wei, Zhixin Zhang, Chengcan Wu, Yihao Zhang, Xiaokun Luan, Meng Sun
2025 C conf
Automata-Based Steering of Large Language Models for Diverse Structured Generation.
ICFEM
Xiaokun Luan, Zemin Wei, Yihao Zhang, Meng Sun
2025 J jnl
Automata-Based Steering of Large Language Models for Diverse Structured Generation.
CoRR
Xiaokun Luan, Zeming Wei, Yihao Zhang, Meng Sun
2025 J jnl
Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving.
CoRR
Xinyi Zheng, Ningke Li, Xiaokun Luan, Kailong Wang, Ling Shi, Meng Sun, Haoyu Wang
2025 J jnl
Calibrated Adversarial Sampling: Multi-Armed Bandit-Guided Generalization Against Unforeseen Attacks.
CoRR
Rui Wang, Zeming Wei, Xiyue Zhang, Meng Sun
2025 C conf
Component Composition in MedTiny: Multi-Level Constructs and Operational Semantics.
SEKE
Xiangyu Li, Yihao Zhang, Meng Sun
2025 C conf
Diagnosing Deep Learning Errors with Reinforcement Learning-Driven Adversarial Examples.
QRS
Kaicheng Shao, Yuteng Lu, Ai Liu, Meng Sun
2025 J jnl
Dynamic Orthogonal Continual Fine-tuning for Mitigating Catastrophic Forgettings.
CoRR
Zhixin Zhang, Zeming Wei, Meng Sun
2025 Misc conf
MedTiny Code Generation for Enhancing RegLang Smart Contract Reliability.
SAC
Xiaokun Luan, Yihao Zhang, Meng Sun
2025 J jnl
Mitigating Fine-tuning Risks in LLMs via Safety-Aware Probing Optimization.
CoRR
Chengcan Wu, Zhixin Zhang, Zeming Wei, Yihao Zhang, Meng Sun
2025 J jnl
Monitoring LLM-based Multi-Agent Systems Against Corruptions via Node Evaluation.
CoRR
Chengcan Wu, Zhixin Zhang, Mingqian Xu, Zeming Wei, Meng Sun
2025 Misc conf
Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs.
TASE
Ziyun Xu, Hao Wang, Meng Sun
2025 — conf
Position: Trustworthy AI Agents Require the Integration of Large Language Models and Formal Methods.
ICML (Position Papers)
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
2025 J jnl
Protecting Deep Learning Model Copyrights With Adversarial Example-Free Reuse Detection.
IEEE Trans. Neural Networks Learn. Syst.
Xiaokun Luan, Xiyue Zhang, Jingyi Wang, Meng Sun
2025 J jnl
ReGA: Representation-Guided Abstraction for Model-based Safeguarding of LLMs.
CoRR
Zeming Wei, Chengcan Wu, Meng Sun
2025 J jnl
Reliable Unlearning Harmful Information in LLMs with Metamorphosis Representation Projection.
CoRR
Chengcan Wu, Zeming Wei, Huanran Chen, Yinpeng Dong, Meng Sun
2025 J jnl
Revisiting Hallucination Detection with Effective Rank-based Uncertainty.
CoRR
Rui Wang, Zeming Wei, Guanzhang Yue, Meng Sun
2025 J jnl
Robust and Efficient Watermarking of Large Language Models Using Error Correction Codes.
Proc. Priv. Enhancing Technol.
Xiaokun Luan, Zeming Wei, Yihao Zhang, Meng Sun
2025 J jnl
Runtime Backdoor Detection for Federated Learning via Representational Dissimilarity Analysis.
CoRR
Xiyue Zhang, Xiaoyong Xue, Xiaoning Du, Xiaofei Xie, Yang Liu, Meng Sun
2025 J jnl
Runtime Backdoor Detection for Federated Learning via Representational Dissimilarity Analysis.
IEEE Trans. Dependable Secur. Comput.
Xiyue Zhang, Xiaoyong Xue, Xiaoning Du, Xiaofei Xie, Yang Liu, Meng Sun
2025 J jnl
When Thinking LLMs Lie: Unveiling the Strategic Deception in Representations of Reasoning Models.
CoRR
Kai Wang, Yihao Zhang, Meng Sun
2025 J jnl
Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle.
Proc. ACM Softw. Eng.
Xiaokun Luan, David Sanán, Zhe Hou, Qiyuan Xu, Chengwei Liu, Yufan Cai, Yang Liu, Meng Sun
2024 A* conf
Adversarial Representation Engineering: A General Model Editing Framework for Large Language Models.
NeurIPS
Yihao Zhang, Zeming Wei, Jun Sun, Meng Sun
2024 J jnl
Automata Extraction from Transformers.
CoRR
Yihao Zhang, Zeming Wei, Meng Sun
2024 J jnl
Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation.
IEEE Trans. Software Eng.
Hao Bu, Meng Sun
2024 — ed.
Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings
FACS
Diego Marmsoler, Meng Sun
2024 Misc conf
MILE: A Mutation Testing Framework of In-Context Learning Systems.
SETTA
Zeming Wei, Yihao Zhang, Meng Sun
2024 J jnl
MILE: A Mutation Testing Framework of In-Context Learning Systems.
CoRR
Zeming Wei, Yihao Zhang, Meng Sun
2024 J jnl
Mutation testing of unsupervised learning systems.
J. Syst. Archit.
Yuteng Lu, Kaicheng Shao, Jia Zhao, Weidi Sun, Meng Sun
2024 B conf
Optimal Solution Guided Branching Strategy for Neural Network Branch and Bound Verification.
ICECCS
Xiaoyong Xue, Meng Sun
2024 J jnl
Protecting Deep Learning Model Copyrights with Adversarial Example-Free Reuse Detection.
CoRR
Xiaokun Luan, Xiyue Zhang, Jingyi Wang, Meng Sun
2024 J jnl
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap.
CoRR
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
2024 J jnl
Towards General Conceptual Model Editing via Adversarial Representation Engineering.
CoRR
Yihao Zhang, Zeming Wei, Jun Sun, Meng Sun
2024 J jnl
Weighted automata extraction and explanation of recurrent neural networks for natural language tasks.
J. Log. Algebraic Methods Program.
Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun
2023 C conf
Branch and Bound for Sigmoid-Like Neural Network Verification.
ICFEM
Xiaoyong Xue, Meng Sun
2023 B conf
Certifying Semantic Robustness of Deep Neural Networks.
ICECCS
Hao Bu, Meng Sun
2023 — conf
DeepPatch: A Patching-Based Method for Repairing Deep Neural Networks.
DeepTest
Hao Bu, Meng Sun
2023 — conf
Guiding the Comparison of Neural Network Local Robustness: An Empirical Study.
ICANN (5)
Hao Bu, Meng Sun
2023 J jnl
HashC: Making deep learning coverage testing finer and faster.
J. Syst. Archit.
Weidi Sun, Xiaoyong Xue, Yuteng Lu, Jia Zhao, Meng Sun
2023 Misc conf
HeatC: A Variable-Grained Coverage Criterion for Deep Learning Systems.
SETTA
Weidi Sun, Yuteng Lu, Xiaokun Luan, Meng Sun
2023 B conf
Measuring Robustness of Deep Neural Networks from the Lens of Statistical Model Checking.
IJCNN
Hao Bu, Meng Sun
2023 — conf
MedTiny: Enhanced Mediator Modeling Language for Scalable Parallel Algorithms.
QRS Companion
Xiangyu Li, Yihao Zhang, Xiaokun Luan, Xiaoyong Xue, Meng Sun
2023 Misc ed.
Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
TASE
Cristina David, Meng Sun
2023 C conf
Using Z3 for Formal Modeling and Verification of FNN Global Robustness (S).
SEKE
Yihao Zhang, Zeming Wei, Xiyue Zhang, Meng Sun
2023 J jnl
Using Z3 for Formal Modeling and Verification of FNN Global Robustness.
CoRR
Yihao Zhang, Zeming Wei, Xiyue Zhang, Meng Sun
2023 J jnl
Weighted Automata Extraction and Explanation of Recurrent Neural Networks for Natural Language Tasks.
CoRR
Zeming Wei, Xiyue Zhang, Yihao Zhang, Meng Sun
2023 — conf
kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification.
FSEN
Xiaoyong Xue, Xiyue Zhang, Meng Sun
2022 J jnl
DeepGlobal: A framework for global robustness verification of feedforward neural networks.
J. Syst. Archit.
Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun
2022 B conf
EPMC Gets Knowledge in Multi-agent Systems.
VMCAI
Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang
2022 C conf
Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages.
ICFEM
Zeming Wei, Xiyue Zhang, Meng Sun
2022 J jnl
Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages.
CoRR
Zeming Wei, Xiyue Zhang, Meng Sun
2022 Misc conf
HashC: Making DNNs' Coverage Testing Finer and Faster.
SETTA
Weidi Sun, Xiaoyong Xue, Yuteng Lu, Meng Sun
2022 Misc conf
MTUL: Towards Mutation Testing of Unsupervised Learning Systems.
SETTA
Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun
2022 J jnl
Probabilistic mediator: A coalgebraic perspective.
J. Log. Algebraic Methods Program.
Ai Liu, Shaoying Liu, Meng Sun
2022 J jnl
Quality of service in IoT protocol as designs and its verification in PVS.
Trans. Emerg. Telecommun. Technol.
Muhammad Saqib Nawaz, Meng Sun, Basit Shahzad, Muhammad Ikram Ullah Lali, Tariq Umer, Shaohua Wan
2022 — conf
RGChaser: A RL-guided Fuzz and Mutation Testing Framework for Deep Learning Systems.
DSA
Yuteng Lu, Kaicheng Shao, Weidi Sun, Meng Sun
2022 C conf
Towards a Unifying Logical Framework for Neural Networks.
ICTAC
Xiyue Zhang, Xiaohong Chen, Meng Sun
2022 J jnl
Towards mutation testing of Reinforcement Learning systems.
J. Syst. Archit.
Yuteng Lu, Weidi Sun, Meng Sun
2021 J jnl
A Unifying Coalgebraic Semantics Framework for Quantum Systems.
Int. J. Softw. Eng. Knowl. Eng.
Ai Liu, Meng Sun
2021 J jnl
An evolutionary/heuristic-based proof searching framework for interactive theorem prover.
Appl. Soft Comput.
M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun
2021 B conf
Are Coverage Criteria Meaningful Metrics for DNNs?
IJCNN
Weidi Sun, Yuteng Lu, Meng Sun
2021 A* conf
Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks.
AAAI
Xiyue Zhang, Xiaoning Du, Xiaofei Xie, Lei Ma, Yang Liu, Meng Sun
2021 C conf
DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S).
SEKE
Yuteng Lu, Weidi Sun, Guangdong Bai, Meng Sun
2021 Misc conf
DeepGlobal: A Global Robustness Verifiable FNN Framework.
SETTA
Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun
2021 — ed.
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
PKDD/ECML Workshops (1)
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
2021 — ed.
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
PKDD/ECML Workshops (2)
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
2021 — conf
Modeling and Verification of CKB Consensus Protocol in Coq.
QRS Companion
Xiaokun Luan, Meng Sun
2021 C conf
Modeling and Verification of CKB Consensus Protocol in UPPAAL (S).
SEKE
Yi-Chun Feng, Yuteng Lu, Meng Sun
2021 Misc conf
Mutation Testing of Reinforcement Learning Systems.
SETTA
Yuteng Lu, Weidi Sun, Meng Sun
2021 — conf
Proof Searching in PVS Theorem Prover Using Simulated Annealing.
ICSI (2)
M. Saqib Nawaz, Meng Sun, Philippe Fournier-Viger
2021 J jnl
Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques.
Appl. Intell.
M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun
2021 C conf
Using LSTM to Predict Tactics in Coq.
SEKE
Xiaokun Luan, Xiyue Zhang, Meng Sun
2020 J jnl
Global Robustness Verification Networks.
CoRR
Weidi Sun, Yuteng Lu, Xiyue Zhang, Zhanxing Zhu, Meng Sun
2020 — conf
Modeling and Verification of the Nervos CKB Block Synchronization Protocol in UPPAAL.
BlockSys
Qi Zhang, Yuteng Lu, Meng Sun
2020 Misc conf
Proof searching in HOL4 with genetic algorithm.
SAC
Muhammad Zohaib Nawaz, Osman Hasan, M. Saqib Nawaz, Philippe Fournier-Viger, Meng Sun
2020 J jnl
Towards Characterizing Adversarial Defects of Deep Learning Software from the Lens of Uncertainty.
CoRR
Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun
2020 C conf
Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq.
ICFEM
Hao Bu, Meng Sun
2020 C conf
Towards a Formally Verified EVM in Production Environment.
COORDINATION
Xiyue Zhang, Yi Li, Meng Sun
2020 A* conf
Towards characterizing adversarial defects of deep learning software from the lens of uncertainty.
ICSE
Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun
2019 C conf
A Coalgebraic Semantics Framework for Quantum Systems.
ICFEM
Ai Liu, Meng Sun
2019 J jnl
A Survey on Theorem Provers in Formal Methods.
CoRR
M. Saqib Nawaz, Moin Malik, Yi Li, Meng Sun, Muhammad Ikram Ullah Lali
2019 J jnl
A formal framework capturing real-time and stochastic behavior in connectors.
Sci. Comput. Program.
Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun
2019 Misc conf
Distributed Mediator.
TASE
Yi Li, Meng Sun
2019 C conf
PRISM Code Generation for Verification of Mediator Models (S).
SEKE
Weidi Sun, Meng Sun
2019 — conf
Proof Guidance in PVS with Sequential Pattern Mining.
FSEN
M. Saqib Nawaz, Meng Sun, Philippe Fournier-Viger
2019 J jnl
Reasoning about connectors using Coq and Z3.
Sci. Comput. Program.
Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
2019 B conf
SMT-Based Modeling and Verification of Cloud Applications.
SERVICES
Xiyue Zhang, Meng Sun
2019 B conf
Safe Inputs Approximation for Black-Box Systems.
ICECCS
Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun, Xiaofei Xie
2019 — conf
Using PVS for Modeling and Verification of Probabilistic Connectors.
FSEN
M. Saqib Nawaz, Meng Sun
2019 Misc conf
Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq.
TASE
Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun
2018 — conf
A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS.
BDIOT
M. Saqib Nawaz, Meng Sun
2018 J jnl
A Formal Specification and Verification Framework for Timed Security Protocols.
IEEE Trans. Software Eng.
Li Li, Jun Sun, Yang Liu, Meng Sun, Jin Song Dong
2018 — conf
A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams.
FORMATS
Meng Sun, Xiyue Zhang
2018 C ed.
Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
ICFEM
Jing Sun, Meng Sun
2018 — conf
Generating Arduino C Codes from Mediator.
It's All About Coordination
Yi Li, Meng Sun
2018 C conf
Modeling and Verification of IEEE 802.11i Security Protocol for Internet of Things.
SEKE
Yuteng Lu, Meng Sun
2018 J jnl
Modeling and Verification of IEEE 802.11i Security Protocol in UPPAAL for Internet of Things.
Int. J. Softw. Eng. Knowl. Eng.
Yuteng Lu, Meng Sun
2018 — conf
On Semantics for Mediator: A Coalgebraic Perspective.
SOFL+MSVL
Ai Liu, Shun Wang, Yi Li, Meng Sun
2018 C conf
Reo2PVS: Formal Specification and Verification of Component Connectors.
SEKE
M. Saqib Nawaz, Meng Sun
2018 C conf
Towards Formal Modeling and Verification of Probabilistic Connectors in Coq (S).
SEKE
Xiyue Zhang, Meng Sun
2017 — conf
Capturing Stochastic and Real-Time Behavior in Reo Connectors.
SBMF
Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun
2017 — conf
Component-Based Modeling in Mediator.
FACS
Yi Li, Meng Sun
2017 — conf
Using Coq for Formal Modeling and Verification of Timed Connectors.
SEFM Workshops
Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun
2016 Misc conf
Active Learning from Blackbox to Timed Connectors.
TASE
Yi Li, Meng Sun, Yiwu Wang
2016 — conf
Reasoning About Connectors in Coq.
FACS
Xiyue Zhang, Weijiang Hong, Yi Li, Meng Sun
2016 B conf
Towards Concolic Testing for Hybrid Systems.
FM
Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang
2016 J jnl
Towards Concolic Testing for Hybrid Systems.
CoRR
Pingfan Kong, Yi Li, Xiaohong Chen, Jun Sun, Meng Sun, Jingyi Wang
2015 Misc conf
A Framework for Off-Line Conformance Testing of Timed Connectors.
TASE
Shaodong Li, Xiaohong Chen, Yiwu Wang, Meng Sun
2015 J jnl
Modeling and verification of component connectors in Coq.
Sci. Comput. Program.
Yi Li, Meng Sun
2014 C conf
A Hybrid Model of Connectors in Cyber-Physical Systems.
ICFEM
Xiaohong Chen, Jun Sun, Meng Sun
2014 — conf
Formal modeling and verification of complex interactions in e-government applications.
ICEGOV
Meng Sun, Yi Li
2013 — conf
Modeling and Analysis of Component Connectors in Coq.
FACS
Yi Li, Meng Sun
2012 J jnl
A Calculus for Generic, QoS-Aware Component Composition.
Math. Comput. Sci.
Luís Soares Barbosa, Meng Sun