Overview

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.

Full Product Details

Author:   Salem Lahlou ,  Madhavan Mukund
Publisher:   Springer
Imprint:   Springer
Volume:   15736
ISBN:  

9783032003461

ISBN 10:   3032003466
Pages:   271
Publication Date:   01 September 2025
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Forthcoming
Availability:   Not yet available  
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Table 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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions