Networked Systems - 13th International Conference, NETYS 2025, Rabat, Morocco, May 21-23, 2025, Proceedings

This book constitutes the refereed proceedings of the 13th International Conference on Networked Systems, NETYS 2025, held in Rabat, Morocco, during May 21-23, 2025.
The 16 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 45 submissions. 
They are grouped into the following topics: Verification; Distributed Systems; Machine Learning.

List of contents

.- Verification.
.- Reachability and Verification of Assertions for IoT Applications.
.- Enhancing Numerical Invariants Learning with Bounded Reachability Analysis.
.- Distributed Systems.
.- Distributed computation of temporal twins in periodic undirected time-varying graphs.
.- Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars.
.- Secure Lineage Storage on Public and Private Blockchains.
.- Byzantine Fault-Tolerant Distributed Set Intersection with Redundancy and Its Relationship with Byzantine Optimization.
.- Pattern formation of mobile agents in dynamic grids.
.- An automaton model to succinctly represent suffix-based specifications of a concurrent system.
.- SmartShards: Churn-Tolerant Continuously Available Distributed Ledger.
.- On Restricting Separator Problems in the OBLOT Computational Landscape.
.- Machine Learning.
.- Going Forward-Forward in Distributed Learning.
.- An Ensemble Model for 30-Minute Blood Glucose Prediction in Type 1 Diabetes: Balancing Accuracy and Simplicity.
.- Networked LLM Agents: Toward Autonomous LLMs for Querying Heterogeneous Databases.
.- Plant Diseases Detection with Retrieval-Augmented Generation.
.- Impact of Sparsification and Quantization on Energy Consumption in Federated Learning.
.- Vgg-ViT: A Framework for Deepfakes Images Detection.
.- Heterogeneous Graph Neural Network Based Arabic Coreference Resolution.

Summary

This book constitutes the refereed proceedings of the 13th International Conference on Networked Systems, NETYS 2025, held in Rabat, Morocco, during May 21-23, 2025.
The 16 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 45 submissions. 
They are grouped into the following topics: Verification; Distributed Systems; Machine Learning.

Product details

• Assisted by: Salem Lahlou (Editor), Mukund (Editor), Madhavan Mukund (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 01.09.2025
• EAN: 9783032003461
• ISBN: 978-3-0-3200346-1
• No. of pages: 272
• Dimensions: 155 mm x 16 mm x 235 mm
• Weight: 435 g
• Illustrations: X, 272 p. 111 illus., 54 illus. in color.
• Series: Lecture Notes in Computer Science
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Data communication, networks; machine learning, Deep Learning, Blockchain, Verification, Natural Language Processing, Distributed Computing, Computer Communication Networks, Sharding, energy consumption, Distributed systems, Pattern formation, formal methods, mobile agents, automata theory, Federated Learning, IoT Applications, Time-Varying Graphs, Byzantine Fault Tolerance, Graph Grammars, Forward-Forward Algorithm, Invariant Learning