Sound concurrent traces for online monitoring
From MaRDI portal
Publication:6049043
DOI10.1007/978-3-031-32157-3_4arXiv2402.18391OpenAlexW4367664947MaRDI QIDQ6049043
Publication date: 16 October 2023
Published in: Model Checking Software (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2402.18391
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Unnamed Item
- Unnamed Item
- Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces
- Petri nets, event structures and domains. I
- Rationality in algebras with a series operation
- Reasoning about layered message passing systems
- A brief account of runtime verification
- Atomizer
- Collaborative Runtime Verification with Tracematches
- Temporal Verification of Reactive Systems: Response
- Typestate: A programming language concept for enhancing software reliability
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
- Time, clocks, and the ordering of events in a distributed system
- Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
- A new solution of Dijkstra's concurrent programming problem
- Causal memory: definitions, implementation, and programming
- Efficient dependency tracking for relevant events in shared-memory systems
- The Java memory model
- Parametric and Sliced Causality
- Tools and Algorithms for the Construction and Analysis of Systems
- Model checking of safety properties
- Refining the safety-liveness classification of temporal properties according to monitorability
This page was built for publication: Sound concurrent traces for online monitoring