Description
Book Synopsis.- 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.
