Pages that link to "Item:Q5385991"
From MaRDI portal
The following pages link to Monitoring of Real-Time Properties (Q5385991):
Displayed 22 items.
- Runtime verification for biochemical programs (Q271709) (← links)
- An extended framework for passive asynchronous testing (Q347402) (← links)
- Which security policies are enforceable by runtime monitors? A survey (Q465692) (← links)
- Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited (Q472810) (← links)
- Runtime verification for dynamic architectures (Q1996854) (← links)
- Monitoring timed properties (revisited) (Q2112101) (← links)
- A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring (Q2304020) (← links)
- A brief account of runtime verification (Q2390027) (← links)
- Optimized temporal monitors for SystemcC (Q2441724) (← links)
- Topology, monitorable properties and runtime verification (Q2453532) (← links)
- Impartial Anticipation in Runtime-Verification (Q3540087) (← links)
- Run-Time Monitoring of Electronic Contracts (Q3540088) (← links)
- Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming (Q3601793) (← links)
- Matching Trace Patterns with Regular Policies (Q3618572) (← links)
- Safe Runtime Verification of Real-Time Properties (Q3648826) (← links)
- Runtime Verification Using a Temporal Description Logic (Q3655197) (← links)
- Property-Based Testing for Spark Streaming (Q4957189) (← links)
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)
- On simulation-based probabilistic model checking of mixed-analog circuits (Q5962116) (← links)
- Bridging the gap between single- and multi-model predictive runtime verification (Q6108431) (← links)
- Runtime Verification with Imperfect Information Through Indistinguishability Relations (Q6111611) (← links)
- Symbolic runtime verification for monitoring under uncertainties and assumptions (Q6160908) (← links)