Pages that link to "Item:Q2390027"
From MaRDI portal
The following pages link to A brief account of runtime verification (Q2390027):
Displaying 50 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)
- A formal approach to adaptive software: continuous assurance of non-functional requirements (Q1941849) (← links)
- RiskStructures: a design algebra for risk-aware machines (Q1982648) (← links)
- Runtime verification for dynamic architectures (Q1996854) (← links)
- Computer says no: verdict explainability for runtime monitors using a local proof system (Q1996872) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- A theory of monitors (Q2051767) (← links)
- Dynamic data structures for timed automata acceptance (Q2093569) (← links)
- The delay and window size problems in rule-based stream reasoning (Q2124457) (← links)
- Axiomatizing recursion-free, regular monitors (Q2141297) (← links)
- Gray-box monitoring of hyperproperties with an application to privacy (Q2147690) (← links)
- Monitorable hyperproperties of nonterminating systems (Q2168793) (← links)
- Runtime enforcement of timed properties using games (Q2198137) (← links)
- A process calculus approach to detection and mitigation of PLC malware (Q2235740) (← links)
- Determinizing monitors for HML with recursion (Q2291832) (← links)
- Efficient abstraction algorithms for predicate detection (Q2357148) (← links)
- On the complexity of determinizing monitors (Q2399244) (← links)
- Monitorability for the Hennessy-Milner logic with recursion (Q2402551) (← links)
- Formal analysis and offline monitoring of electronic exams (Q2402552) (← links)
- Extended Nested Dual System Groups, Revisited (Q2798774) (← links)
- A Theory of Monitors (Q2811337) (← links)
- Almost Event-Rate Independent Monitoring of Metric Temporal Logic (Q3303922) (← links)
- A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols (Q3460215) (← links)
- Optimal enforcement of (timed) properties with uncontrollable events (Q4559604) (← links)
- Property-Based Testing for Spark Streaming (Q4957189) (← links)
- (Q5020942) (← links)
- Semantic Foundations for Deterministic Dataflow and Stream Processing (Q5041103) (← links)
- (Q5089224) (← links)
- Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic (Q5100739) (← links)
- Automated Synthesis: a Distributed Viewpoint (Q5136292) (← links)
- Monitoring for Silent Actions (Q5136296) (← links)
- (Q5376664) (← links)
- Introduction to the special issue on runtime verification (Q5915718) (← links)
- Introduction to the special issue on runtime verification (Q5920079) (← links)
- Decentralized runtime verification of message sequences in message-based systems (Q6042075) (← links)
