This volume presents cutting-edge research in the engineering of complex computer systems. The 28th International Conference on Engineering of Complex Computer Systems (ICECCS 2024) brought together researchers to share their latest findings. The proceedings feature 18 full papers and 4 short papers, selected from 68 submissions, covering critical areas such as machine learning, neural network verification, AI for software engineering, smart contracts, formal methods, and security and program analysis.

This collection of papers from ICECCS 2024 offers a snapshot of current research in complex computer systems. The selection process, involving careful review of 68 submissions, suggests a focus on significant advancements within the presented topics. The inclusion of diverse areas like machine learning, formal methods, and security indicates a broad scope of inquiry into the challenges of modern computing.