Monitoring metric first-order temporal properties
From MaRDI portal
Recommendations
Cites work
- A First-Order Policy Language for History-Based Transaction Monitoring
- A really temporal logic
- Checking finite traces using alternating automata
- Comparing LTL semantics for runtime verification
- Defining liveness
- Finite presentations of infinite structures: Automata and interpretations
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- From Philosophical to Industrial Logics
- scientific article; zbMATH DE number 3870578 (Why is no real title available?)
- scientific article; zbMATH DE number 3940713 (Why is no real title available?)
- scientific article; zbMATH DE number 3467028 (Why is no real title available?)
- scientific article; zbMATH DE number 1256652 (Why is no real title available?)
- scientific article; zbMATH DE number 806750 (Why is no real title available?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- MONA IMPLEMENTATION SECRETS
- Monitoring dynamic integrity constraints based on temporal logic
- On the feasibility of checking temporal integrity constraints
- Quantified event automata: towards expressive and efficient runtime monitors
- Querying ATSQL databases with temporal logic
- Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
- Rule systems for run-time monitoring: from EAGLE to RULER
- Runtime monitoring of metric first-order temporal properties
- Runtime verification using a temporal description logic
- Scalable offline monitoring of temporal specifications
- Semantics and algorithms for parametric monitoring
- Sooner is safer than later
- Specifying and Reasoning About Dynamic Access-Control Policies
- Symbolic model checking with rich assertional languages
- The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
- Verification, Model Checking, and Abstract Interpretation
Cited in
(41)- Algorithms for monitoring real-time properties
- On the complexity of monitoring Orchids signatures, and recurrence equations
- Almost event-rate independent monitoring
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- A formally verified, optimized monitor for metric first-order dynamic logic
- Monitoring timed properties (revisited)
- Runtime verification of temporal properties over out-of-order data streams
- First-order temporal logic monitoring with BDDs
- An automata-theoretic approach to model-checking systems and specifications over infinite data domains
- Extended Nested Dual System Groups, Revisited
- Runtime monitoring of metric first-order temporal properties
- Adaptive online first-order monitoring
- Multi-head monitoring of metric temporal logic
- Almost event-rate independent monitoring of metric temporal logic
- Safe runtime verification of real-time properties
- Specifying timed patterns using temporal logic
- Optimistic and pessimistic on-the-fly analysis for metric temporal graph logic
- Trace-length independent runtime monitoring of quantitative policies in LTL
- Efficient Runtime Verification of First-Order Temporal Properties
- Monitoring first-order interval logic
- Decentralized runtime verification of message sequences in message-based systems
- On monitoring linear temporal properties
- Temporal Minimal-World Query Answering over Sparse ABoxes
- Real-time policy enforcement with metric first-order temporal logic
- VeriMon: a formally verified monitoring tool
- Linear Time Monitoring for One Variable TPTL
- Efficient Evaluation of Arbitrary Relational Calculus Queries
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic
- Multi-head Monitoring of Metric Dynamic Logic
- Probabilistic Metric Temporal Graph Logic
- Verified first-order monitoring with recursive rules
- Early verification of legal compliance via bounded satisfiability checking
- Explainable online monitoring of metric temporal logic
- Uncertainty in runtime verification: a survey
- Scalable offline monitoring of temporal specifications
- Online monitoring of metric temporal logic using sequential networks
- Bounded satisfiability checking of \(\mathrm{FOL}^*\) formulas with aggregations
- Formalization of a Monitoring Algorithm for Metric First-Order Temporal Logic
- Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations
- Monitoring of temporal first-order properties with aggregations
- The ins and outs of first-order runtime verification
This page was built for publication: Monitoring metric first-order temporal properties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2796403)
