Decentralized runtime verification of message sequences in message-based systems
From MaRDI portal
Publication:6042075
DOI10.1007/s00236-022-00435-zMaRDI QIDQ6042075
Mahboubeh Samadi, Ramtin Khosravi, Fatemeh Ghassemi
Publication date: 16 May 2023
Published in: Acta Informatica (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Decentralised LTL monitoring
- Monitoring networks through multiparty session types
- Organising LTL monitors over distributed systems with a global clock
- Synthesising correct concurrent runtime monitors
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- A brief account of runtime verification
- Distributed system contract monitoring
- Monitoring Metric First-Order Temporal Properties
- Runtime Verification of Component-Based Systems
- Detecting Temporal Logic Predicates on Distributed Computations
- The Byzantine Generals Problem
- Time, clocks, and the ordering of events in a distributed system
- Runtime Verification over Out-of-order Streams
- Failure-aware Runtime Verification of Distributed Systems
- Principles of Distributed Systems
- Verification, Model Checking, and Abstract Interpretation
This page was built for publication: Decentralized runtime verification of message sequences in message-based systems
