Networked Systems

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