Formal Techniques for Distributed Objects, Components, and Systems

.- tutorial paper.

.- A Choreographic View of Smart Contracts.

.- regular papers.

.- Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems.

.- Sequential Composition of BDD Transition Systems for Model-Based Testing.

.- Scaling Information Flow Control by-Construction to Component-based Software Architectures.

.- Noninterference Analysis of Stochastically Timed Reversible Systems.

.- Attribute-based Communication over Pub/Sub: Transactional Coordination for Smart Systems.

.- Probabilistic Safety Verification of Distributed Systems: A Statistical Approach for Monitoring.

.- Towards Efficient Verification of Parallel Applications with Mc SimGrid.

.- Revisited Convergence of a Self-Stabilizing BFS Spanning Tree Algorithm.

.- short papers.

.- Choreographies for Program Understanding.

.- An Approach to Formalize Information-theoretic Security of Multiparty Computation Protocols.

.- SNexpression: a new component for SN matrix-based structural analysis.

.- Assessing Code Understanding in LLMs.

.- LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests.