default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29th ICECCS 2025: Hangzhou, China
- Yuan Zhou
, Sin G. Teo, Xiaofei Xie, Zuohua Ding, Yang Liu:
Engineering of Complex Computer Systems - 29th International Conference, ICECCS 2025, Hangzhou, China, July 2-4, 2025, Proceedings. Lecture Notes in Computer Science 15746, Springer 2026, ISBN 978-3-032-00827-5
Machine Learning for Complex Systems
- Ivan Tan, Wei Minn, Christopher M. Poskitt, Lwin Khin Shar, Lingxiao Jiang:
Runtime Anomaly Detection for Drones: An Integrated Rule-Mining and Unsupervised-Learning Approach. 3-23 - Chen Yang, Xiao Yi, Guisheng Fan, Huiqun Yu, Hengrun Zhang:
FinPTA: An Effective Model for Financial Sentiment Analysis. 24-37 - He Zhao, Shenggui Ling, Hongmin Zhan, Rui Shi:
Single Image Defocus Deblurring in Photography Systems. 38-48 - Xianglong Cao, Xin Li, Jijun Tong:
AMF-GCN: An Adaptive Graph Convolution Network for Pull-up Evaluation. 49-59 - Jiale Wang, Mingyue Jiang, Hongyun Huang, Rui Xie, Zuohua Ding:
A Q-Learning-Driven Multi-crossover NSGA-II Framework for Energy-Efficient Hybrid Flow Shop Scheduling. 60-78 - Yuxin Mei, Luxi Zhang, Li Han, Jing Liu:
MixRecLGB: Language-Enhanced Mixed Attention for Temporal Context Modeling in Time Series Forecasting. 79-97
Trustworthy Deep Learning
- Xudong Jiang, Yuhang Ma, Wei Xu, Jiahui Wen:
PAMUS: An Entropy-Loss-Based Poisoning Attack for Undermining Machine Unlearning. 101-122 - Clément Contet, Rosalie Defourné, Aurélie Hurault:
Certified Enumeration of AI Explanations: A Focus on Monotonic Classifiers. 123-142 - Bharti Chimdyalwar, Priyanka Darke, R. Venkatesh, Supratik Chakraborty:
Random Resampling of Training Data for Effective Verification Strategy Prediction. 143-159 - Huaizhi Yin, Weiwei Wang, Ruilian Zhao:
DeepMR: A Learning-Based Approach for Efficient Mutation Reduction in DNN Fault Localization. 160-179 - Weijun Guo, Xuedan Zheng, Mingyue Jiang:
Investigating the OOV Problem and Its Impacts on Neural Program Repair. 180-197
Edge Computing Systems
- Hao Xu, Alvin C. Valera, Wuyungerile Li, Winston K. G. Seah:
Auction-Based Caching Decision Algorithm for IoT Traffic with Popular and Fresh Content. 201-220 - Tixin Chen, Guanqun Shen, Xinnan Zhu, Shaojun Zhu, Bincheng Zhu, Kaikai Chi:
Maximizing Long-Term Task Completion Ratio of 3D-UAV-Enabled Wirelessly Powered MEC System. 221-240 - Jianhao Wei, Yixiao Li, Xiaolong Li, Ming Zhao, Jin Zhang, Limei Liu, Junfeng Yang:
Towards Efficient and Secure Multimodal Misinformation Detection. 241-260
Large Language Models Empowered Software Engineering
- Jiamin Guo, Yangyang Zhao, Zhifei Chen, Liming Nie:
Leveraging Large Language Models for Feature Envy Detection: A Context-Aware and Reasoning-Driven Approach. 263-282 - Xuemeng Cai, Jiakun Liu, Xiping Huang, Yijun Yu, Haitao Wu, Chunmiao Li, Bo Wang, Imam Nur Bani Yusuf, Lingxiao Jiang:
RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM. 283-302
Formal Methods
- Tayssir Touili, Olzhas Zhangeldinov:
LTL Model Checking of Concurrent Self Modifying Code. 305-325 - Qiaowen Jia, Liangjie Lv, Yuting Yang, Bohua Zhan, Peng Wu, Jifeng Hao, Hong Ye, Chao Wang, Yi Lv:
Checking Linearizability of Multi-core Task Management and Scheduling System. 326-337 - Muhammad Naeem, Cristina Seceleanu:
Contract-Based Verification of Digital Twins. 338-357 - Minghao Li, Liqian Chen, Xinyu Wang, Shifu Yang, Yuan Zhou, Ji Wang:
Verifying Neural Network Controlled Systems by Combining Taylor Models and Linear Abstract Domains. 358-378 - Yisong Yu, Zhe Hou, Naipeng Dong, Jin Song Dong:
Model Checking Nondeterministic Behaviours in the Tendermint Byzantine Fault Tolerant Blockchain Consensus Protocol. 379-400
Program Analysis
- Fenglin Bi, Cheng Liang, Yanbin Zhang, Yang Chen, Wei Wang:
Uncover the Risks of Outdated Dependencies in Software Supply Chains: Insights from the npm Ecosystem. 403-423 - Donghua Wang, Zheng Li, Hengyuan Liu, Yong Liu:
EMS-HFL: A Hybrid Based Fault Localization. 424-443 - Haodong He, Tingting Wu, Qi Jin, Zuohua Ding:
CONTAST: Graph Embedding Based Fault Localization Integrating AST and Context-Awareness. 444-463
Position Papers: Large Language Model Agents
- Dong Huang, Jie Li, Hongyi Cai, Xinfeng Li, Yijia Xu, Wenbin Tang, Jie Zhang, Yang Liu:
A Vision for Access Control in LLM Agent Systems. 467-472 - Qiang Zhang, Pei Yan, Yijia Xu, Xinfeng Li, Hongyi Cai, Chuanpo Fu, Yong Fang, Yang Liu:
Agent Behavior: The Regulatory Object of the Agent-Centric Online Ecosystem in Digital Age. 473-479 - Wenbing Tang, Meilin Zhu, Fenghua Wu, Xinfeng Li, Yang Liu:
Empowering Embodied Agents with Semantic Intelligence. 480-485
Position Papers: Software Engineering for Large Language Models
- Tianlin Li, Qiang Hu, Chong Wang, Jian Zhang, Wei Ma, Aishan Liu, Jingyi Wang, Yang Liu:
An Analytical Perspective on Software Engineering for Large Language Models. 489-494
Position Papers: Large Language Models for Software Engineering
- Shuhao Chang, Xin Li, Jigang Xie, Hao Wu, Haijun Wang:
LiCoVer: LLM-Powered Automated OSS License Compliance Verification. 497-502 - Yiran Zhang, Weisong Sun, Yuqiang Sun, Chengwei Liu, Xiaohong Chen, Yang Liu:
UFPC: A Unified Framework for Source and Binary Program Comprehension. 503-508 - Wuhe Axi, Xin Li, Jigang Xie, Xitao Li, Haijun Wang:
TestCaseMig: LLM-Driven Test Case Migration for Evolving Codebases. 509-514 - Chengwei Liu, Wenbo Guo, Yuxin Zhang, Limin Wang, Sen Chen, Lei Bu, Yang Liu:
Evolaris: A Roadmap to Self-evolving Software Intelligence Management. 515-520
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.
last updated on 2025-12-04 22:07 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:
