Accepted Papers

Link to Papers. Pre Conference Proceedings: Proton Drive

– Byzantine Fault-Tolerant Distributed Set Intersection with Redundancy and Its Relationship with Byzantine Optimization
Shuo Liu (Georgetown University) and Nitin Vaidya (Georgetown University)

– Distributed computation of temporal twins in periodic undirected time-varying graphs
Massinissa Tighilt (SITA and LIP6, CNRS — SU), Lina Azerouk (LIP6, CNRS — SU), Camille Palisoc (SITA), Binh-Minh Bui-Xuan (LIP6, CNRS — SU) and Maria Potop-Butucaru (LIP6, CNRS — SU)

– Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars
Neven Villani (Univ. Grenoble Alpes), Radu Iosif (Univ. Grenoble Alpes) and Arnaud Sangnier (Università di Genova)

– Going Forward-Forward in Distributed Learning
Ege Aktemur (TU Darmstadt), Kaan Bilgili (TU Berlin), Tacettin Emre Bük (TU Berlin), Ege Zorlutuna (ETH Zurich), Süha Mutluergil (Sabanci University) and Berrin Yanıkoğlu (Sabanci University)

– Pattern formation of mobile agents in dynamic grids
Masahiro Shibata (Kyushu Institute of Technology), Sayaka Kamei (Hiroshima University), Fukuhito Ooshita (Fukui Institute of Technology) and Hirotsugu Kakugawa (Ryuoku University)

– Reachability and Verification of Assertions for IoT Applications
Nagalakshmi S R (IIIT-Bangalore) and Meenakshi D’Souza (IIIT-Bangalore)

– An automaton model to succinctly represent suffix-based specifications of a distributed system
R Keerthan (Tata Consultancy Services Innovation Labs, Pune), B Srivathsan (Chennai Mathematical Institute) and R Venkatesh (Tata Consultancy Services Innovation Labs, Pune)

– Heterogeneous Graph Neural Network Based Arabic Coreference Resolution
Rihab El Yousfi (CID-Developpement), Mounir Ourekouch (CID-Developpement) and Mohamed Erradi (ENSIAS Mohammed V University)

– SmartShards: Churn-Tolerant Continuously Available Distributed Ledger
Joseph Oglio (Kent State University), Mikhail Nesterenko (Kent State University) and Gokarna Sharma (Kent State University)

– Networked LLM Agents: Toward Autonomous LLMs for Querying Heterogeneous Databases
Jamal Rebii (CID Development), Mohammed Ali Essabri (CID Development), Khadija Baddouj (CID Development), Hanae Kolone (CID Development), Nour Oulad Moussa (CID Development) and Mohamed Erradi (ENSIAS Mohammed V University)

– Secure Lineage Storage on Public and Private Blockchains
Bilel Zaghdoudi (LIP6) and Maria Potop-Butucaru (LIP6, CNRS — SU)

– On Restricting Separator Problems in the OBLOT Computational Landscape (Short paper)
Quentin Bramas (University of Strasbourg) and Sébastien Tixeuil (Sorbonne University)

– Plant Diseases Detection with Retrieval-Augmented Generation
Khadija Ghommat (Faculty of Sciences and Techniques (FST), Cadi Ayyad University, Marrakech)

– Impact of Sparsification and Quantization on Energy Consumption in Federated Learning
Ouiame Marnissi (UM6P), Karim Boubouh (UM6P), Hajar El Hammouti (UM6P), El Houcine Bergou (UM6P) and Robert Basmadjian (UM6P)

– Vgg-ViT: A Framework for Deepfakes Images Detection
Achraf Ibnouzaher (Laboratory MCSA, Faculty of Science and Technology, Hassan II University of Casablanca, Mohammedia) and Noureddine Moumkine (Laboratory MCSA, Faculty of Science and Technology, Hassan II University of Casablanca, Mohammedia)

– An Ensemble Model for 30-Minute Blood Glucose Prediction in Type 1 Diabetes: Balancing Accuracy and Simplicity
Khadija Tlemçani (University Hassan II), Kebira Azbeg (University Hassan II of Casablanca), Wafaa Wakrim (University Hassan II of Casablanca), Laila Fetjah (University Hassan II of Casablanca), Ouail Ouchetto (University Hassan II of Casablanca) and Said Jai Andaloussi (University Hassan II of Casablanca)

– Enhancing Numerical Invariants Learning with Bounded Reachability Analysis
Ahmed Bouajjani (IRIF, Université Paris Cité), Wael-Amine Boutglay (IRIF, Université Paris Cité , UM6P) and Peter Habermehl (IRIF, Université Paris Cité)