30th International Conference, ICECCS 2026, Brisbane, QLD, Australia, November 23–24, 2026, Proceedings
Buch, Englisch, Format (B × H): 155 mm x 235 mm
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-032-45356-3
Verlag: Springer
This book constitutes the refereed proceedings of the 30th International Conference on Engineering of Complex Computer Systems, ICECCS 2026, which took place in Brisbane, Australia, during November 23-24, 2026.
The 39 full papers and 9 short papers included in this book were carefully reviewed and selected from 129 submissions. They were organized in topical sections as follows: Formal Verification, Validation & Correctness; Software Engineering & Program Analysis; AI/LLM for Software Engineering; LLMs, AI Systems & Agents; Software Security & Assurance; Cybersecurity & Threat Analysis; Trustworthy AI & Governance; and Emerging Computing Paradigms.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
.- Formal Verification, Validation & Correctness.
.- How Many Digits Can You Trust? Numerical Validation and Instability
Localization in a Real-World Application.
.- Formal Verification of the HotStuff Consensus Protocol.
.- Verified Robust Aggregation for Dynamic Programming: Lean 4
Formalization of Robust Wagner–Whitin and Economic Order Interval.
.- Verification-Aware Training for Formally Robust Forecast-Driven
Neural Controllers.
.- Specification-Driven Differential Conformance Testing of Protocol
Implementations.
.- DFR-Cert: A Trusted-Checker Architecture for Auditable ML-KEM
Decryption-Failure Bounds.
.- DocVerify: Constraint-Based Verification of LLM Outputs Against
Document Knowledge.
.- Automata Extraction from Transformers.
.- P-IC3: Racing Three IC3 Workers with Different Literal-Deletion Orders.
.- Software Engineering & Program Analysis.
.- Enhancing Code Smell Detection through Evidence-First Reasoning.
.- A Systematic Study of Deprecated Android API Usage Updates.
.- Kuda-LogCode: An Automated Integration Framework for Distributed
Heterogeneous Systems Based on Universal Program Hierarchy Trees.
.- HunterDep: Evidence-Closed Verification for Repository-Level
Dependency Detection in Complex C/C++ Repositories.
.- Incremental Updates in Vexa: A Declarative Approach to Vue.js
Applications.
.- AI/LLM for Software Engineering.
.- Sustaining Operational Readiness in AI-Accelerated Development:
Integrating Agentic Production Support with Specification-Driven
Development.
.- Towards Verification-Driven Automated Software Architecture
Refactoring via LLM Agents.
.- C3-SQLGen: Constraint-Aware, Complex and Correct SQL Generation
with Reinforcement Learning.
.- LLM-assisted Object-Sensitive Pointer Analysis.
.- Beyond Functional Correctness: Static Code Quality Profiling of
LLM-Generated Code.
.- Adaptive Synthetic Augmentation for Long-Tailed Bug Triage.
.- LLMs, AI Systems & Agents.
.- Switchback: Observational Model Synthesis via Model Lattice Traversal
and LLM Guidance.
.- On the Predictability of Program Structure from Generation-Time
Uncertainty.
.- GeoStruct: Dependency-Aware Scene–Object–Relation Alignment for
Remote Sensing Image–Text Retrieval.
.- LensRAG: A Learning-Oriented Environment for Understanding,
Comparing, and Evaluating RAG Pipelines.
.- SRPlanner: Safety-Rule-Constrained Real-Time Trajectory Planning
with a Frozen Vision-Language Model.
..- LightKGR: A Two-Stage Knowledge Graph Re-Ranking Framework for
Recommendation on Sparse Interaction Data.
.- Software Security & Assurance.
.- FuncSim-Agent: An Agent-Based Framework for Binary Function
Similarity Detection.
.- HardenArch: Evidence-Traceable Architecture Hardening from Attack
Points to Design Decisions.
.- BinGraphxLLM: Validation-Guided Pseudocode Normalization for
Graph-Based Binary Vulnerability Detection.
.- Continuous Assurance of Agentic Security Auditors for Software
Delivery Decision Gates.
.- Valid Package, Invalid Release: Validating LLM-Generated Python
Dependencies.
.- Cybersecurity & Threat Analysis.
.- SpiderSec: A Model-to-Analysis Transformation Method for
Requirement-Aware Threat Analysis in Satellite Internet Systems.
.- Retrieval-Constrained Agentic Recovery of Missing Cross-Repository
CTI Mappings.
.- HGPF4IDS: Hybrid Gating with Prototype Fusion for Intrusion
Detection System in IoHT.
.- Password Guessing with Small Language Models: Scale Is Not All You
Need.
.- Trustworthy AI & Governance.
.- Fairness Assessment of LLM-based Recruitment Systems: Beyond
Direct Sensitive Attributes.
.- A Compositional Optimization Framework Driven by Multi-Teacher
Distillation for Enhancing Robustness against Harmful Adversarial
Perturbations.
.- Scalable Driver Relay Matching under Regulatory Constraints via
Graph Attention Reinforcement Learning.
.- RT-Evi: Empirical-Risk-Guided Intra-Request Control for Deadline
Aware Progressive Inference.
.- Robust and Privacy-Preserving Federated Large Language Models for
Medical Text Learning via Dual-Purpose Perturbation.
.- Regulatory Indeterminacy in XR Privacy Policies: An Evidence
Grounded Framework for AI Act Trigger Assessment.
.- ConflictFuse: Engineering Dependable LLM-Based Arbitration for
Heterogeneous Multi-Sensor Systems.
.- PMRFL: Personalized Mean Regularization for Heterogeneous
Federated Medical Image Recognition.
.- Emerging Computing Paradigms.
.- Scaling Proof-of-Work Validation to Internet Volumes: A Subtree
Streaming Analysis of Teranode.
.- Payment-as-a-Service: Bitcoin Lightning Network Yield Optimization
and Risk Mitigation.
.- LS-CCDS: A Lightweight and Secure Cross-Chain Data Sharing Scheme
Based on Searchable Proxy Re-Encryption.
.- A weight-based error aware remapping of the SABRE algorithm on the
IBM Fez quantum computer.
.- A weight-based error aware remapping of the SABRE algorithm on the
IBM Fez quantum computer.
