Abstract is missing.
- Invited Paper: Experimental Analysis of Distributed Agentic Large-Language Model Inference ArchitecturesKartik Padalkar, Vitor Jesus, Jose M. Alcaraz Calero. [doi]
- Analyzing Linearizability in Relativistic Distributed SystemsKahbod Aeini, Wojciech Golab. [doi]
- Invited Paper: Composable Autonomic Offerings for Decentralized Service Provisioning in the Computing ContinuumIldefons Magrans de Abril, Boris Sedlak, Víctor Casamayor-Pujol, Schahram Dustdar. [doi]
- Invited Paper: A Verifiable and Adaptive Federated Learning Framework via Zero-Knowledge Proofs and Reputation-Weighted BlockchainDjamel Djenouri, Shahid Latif, Jawad Ahmad 0001. [doi]
- Convergence Analysis of Consensus‑Based Tracking Algorithms for Logical Time Functions in Multi‑Agent NetworksIvan Arkhipov, Evgenii Krokhalev, Oleg Granichin. [doi]
- CHARISMA: Do You Read Me?Andria Trigeorgi, Stela Makri, Kyriacos Clerides, Andreas Hadjipieris, Panayiotis Charalambous, Ioannis Kyriakides, Efstathios Stavrakis, Nicolas C. Nicolaou. [doi]
- Invited Paper: Relaxed Data Structures for Practical Parallelism: Survey and Design RecommendationsPhilippas Tsigas, Kåre von Geijer. [doi]
- A Formal Model of Multi-Controller Orchestration Systems in Cloud ManagementTengfei An, Maria Potop-Butucaru. [doi]
- DScale: a Simulation Framework for Large-Scale Distributed SystemsKonstantin Shprenger, Michael Anoprenko, Petr Kuznetsov. [doi]
- Obfuscated ConsensusJames Aspnes, Shlomi Dolev, Amit Hendin. [doi]
- Byzantine Reliable Broadcast with Causal Ordering: (Research statement)Mariarosaria Barbaraci, Christian Cachin. [doi]
- Invited Paper: Quality Without Control - Evidence-Driven Software Quality Assurance for Cross-Domain SystemsStefan Tai, Maria C. Borges, Sebastian Werner 0001, Mi-Jung Choi, Katinka Wolter. [doi]
- QUANTAS 2 An Abstract, Concrete and Byzantine Fault SimulatorJoseph Oglio, Mikhail Nesterenko. [doi]