Description
Book Synopsis.- 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.
