Pages that link to "Item:Q2390027"
From MaRDI portal
The following pages link to A brief account of runtime verification (Q2390027):
Displaying 18 items.
- Foundations of Boolean stream runtime verification (Q278752) (← links)
- An extended framework for passive asynchronous testing (Q347402) (← links)
- An approach for lifetime reliability analysis using theorem proving (Q386029) (← links)
- Deciding safety and liveness in TPTL (Q402360) (← links)
- Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation (Q421476) (← links)
- Development of global specification for dynamically adaptive software (Q488401) (← links)
- Monitoring networks through multiparty session types (Q517050) (← links)
- Parametric runtime verification is NP-complete and coNP-complete (Q522961) (← links)
- Runtime enforcement monitors: Composition, synthesis, and enforcement abilities (Q548696) (← links)
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- Organising LTL monitors over distributed systems with a global clock (Q681471) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- A trace-based model for multiparty contracts (Q764380) (← links)
- Enforcement and validation (at runtime) of various notions of opacity (Q896497) (← links)
- Passive testing with asynchronous communications and timestamps (Q1656880) (← links)
- Shield synthesis (Q1696587) (← links)
- Introduction to the special issue on runtime verification (Q5915718) (← links)
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (Q6151620) (← links)
