Engineering of Complex Computer Systems

29th International Conference, ICECCS 2025, Hangzhou, China, July 2–4, 2025, Proceedings

Yuan Zhou, Sin G. Teo, Xiaofei Xie, Zuohua Ding, Yang Liu (Herausgeber)

Buch | Softcover

XIV, 522 Seiten

2025
Springer International Publishing (Verlag)
978-3-032-00827-5 (ISBN)

Artikel merken

This book constitutes the refereed proceedings of the 29th International Conference on Engineering of Complex Computer Systems, ICECCS 2025, which took place in Hangzhou, China, during July 2-4, 2025.

The 21 full papers, 3 short papers and 8 position papers included in this book were carefully reviewed and selected from 70 submissions. They were organized in topical sections as follows: Machine Learning for Complex Systems; Trustworthy Deep Learning; Edge Computing Systems; Large Language Models Empowered Software Engineering; Formal Methods; Program Analysis; Position Papers: Large Language Model Agents; Position Papers: Software Engineering for Large Language Models; and Position Papers: Large Language Models for Software Engineering.

set programming; functional programming; languages, methods and tools; and declarative
solutions.

.- Machine Learning for Complex Systems.

.- Runtime Anomaly Detection for Drones: An Integrated Rule Mining
and Unsupervised Learning Approach.

.- FinPTA: An Effective Model for Financial Sentiment Analysis.

.- Single Image Defocus Deblurring in Photography Systems.

.- AMF GCN: An Adaptive Graph Convolution Network for Pull-up
Evaluation.

.- A Q learning driven multi crossover NSGA II framework for
energy efficient hybrid flow shop scheduling.

.- MixRecLGB: Language-Enhanced Mixed Attention for Temporal
Context Modeling in Time Series Forecasting.

.- Trustworthy Deep Learning.

.- PAMUS: An Entropy Loss Based Poisoning Attack for Undermining
Machine Unlearning.

.- Certified Enumeration of AI Explanations: A Focus on Monotonic
Classifiers.

.- Random Resampling of Training Data for Effective Verification
Strategy Prediction.

.- DeepMR: A Learning Based Approach for Efficient Mutation Reduction
in DNN Fault Localization.

.- Investigating the OOV Problem and Its Impacts on Neural Program
Repair

.- Edge Computing Systems.

.- Auction Based Caching Decision Algorithm for IoT Traffic with
Popular and Fresh Content.

.- Maximizing Long term Task Completion Ratio of 3D UAV Enabled
Wirelessly Powered MEC System.

.- Towards Efficient and Secure Multimodal Misinformation Detection.

.- Large Language Models for Software Engineering.

.- Leveraging Large Language Models for Feature Envy Detection: A
Context Aware and Reasoning Driven Approach.

.- RustMap: Towards Project-Scale C to Rust Migration via Program
Analysis and LLM.

.- Formal Methods.

.- LTL Model Checking of Concurrent Self Modifying Code.

.- Checking Linearizability of Multi Core Task Management and
Scheduling System.

.- Contract based Verification of Digital Twins.

.- Verifying Neural Network Controlled Systems by Combining Taylor
Models and Linear Abstract Domains.

.- Model Checking Nondeterministic Behaviours in the Tendermint
Byzantine Fault Tolerant Blockchain Consensus Protocol.

.- Program Analysis.

.- Uncover the Risks of Outdated Dependencies in Software Supply
Chains: Insights from the npm Ecosystem.

.- EMS HFL: A Hybrid based Fault Localization.

.- CONTAST: Graph Embedding based Fault Localization Integrating
AST and Context Awareness.

.- Large Language Model Agents.

.- A Vision for Access Control in LLM Agent Systems.

.- Agent Behavior: The Regulatory Object of the Agent Centric Online
Ecosystem in Digital Age.

.- Empowering Embodied Agents with Semantic Intelligence.

.- Large Language Models for Software Engineering.

.- An Analytical Perspective on Software Engineering for Large Language
Models.

.- LiCoVer: LLM Powered Automated OSS License Compliance Verification.

.- UFPC: A Unified Framework for Source and Binary Program
Comprehension.

.- TestCaseMig: LLM Driven Test Case Migration for Evolving Codebases.

.- Evolaris: A Roadmap to Self Evolving Software Intelligence Management.

Erscheinungsdatum	17.10.2025
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XIV, 522 p. 151 illus., 135 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik
Schlagworte	Artificial Intelligence • formal methods • Image Processing • Intelligent Agents • machine learning algorithms • maintaining software • Neural networks • Object recognition • Software Defect Analysis • Systems Security • traffic engineering algorithms
ISBN-10	3-032-00827-1 / 3032008271
ISBN-13	978-3-032-00827-5 / 9783032008275
Zustand	Neuware