Cited By
View all- Mahe EBannour BGaston CLe Gall P(2025)Efficient interaction-based offline runtime verification of distributed systems with lifeline removalScience of Computer Programming10.1016/j.scico.2024.103230241:COnline publication date: 1-Apr-2025
- Bonakdarpour BMomtaz ANičković DSaraç N(2024)Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & AccuracyRuntime Verification10.1007/978-3-031-74234-7_18(282-301)Online publication date: 14-Oct-2024
- Danielsson LSánchez C(2023)Decentralized Stream Runtime Verification for Timed Asynchronous NetworksIEEE Access10.1109/ACCESS.2023.329832911(84091-84112)Online publication date: 2023
- Show More Cited By