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.