scientific article; zbMATH DE number 2080059

MaRDI QIDQ4472252zbMATH OpenFDO

Authors Klaus Havelund, Grigore Roşu

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2280/22800342.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Impartial Anticipation in Runtime-Verification
• Monitoring of Real-Time Properties
• Constructive finite trace analysis with linear temporal logic
• Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited

Cited in

(32)

• Spanning the spectrum from safety to liveness
• Safety regulation and monitor liability.
• Almost event-rate independent monitoring
• A formally verified, optimized monitor for metric first-order dynamic logic
• First-order temporal logic monitoring with BDDs
• Time-triggered runtime verification
• A brief account of runtime verification
• Provably correct runtime monitoring
• Safer asynchronous runtime monitoring using compensations
• Foundations of Boolean stream runtime verification
• Extended Nested Dual System Groups, Revisited
• Constructive finite trace analysis with linear temporal logic
• A compositional hierarchical monitoring automaton construction for LTL
• Multi-head monitoring of metric temporal logic
• Almost event-rate independent monitoring of metric temporal logic
• Impartial Anticipation in Runtime-Verification
• Matching Trace Patterns with Regular Policies
• scientific article; zbMATH DE number 3980186 (Why is no real title available?)
• Runtime verification of embedded real-time systems
• Trace-length independent runtime monitoring of quantitative policies in LTL
• Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
• Efficient Runtime Verification of First-Order Temporal Properties
• Monitoring first-order interval logic
• On monitoring linear temporal properties
• Quantitative safety and liveness
• Assumption-based runtime verification
• From LTL to rLTL monitoring: improved monitorability through robust semantics
• Linear Time Monitoring for One Variable TPTL
• Runtime verification of real-time event streams using the tool HStriver
• Runtime Verification: Passing on the Baton
• The best a monitor can do
• Enforcement and validation (at runtime) of various notions of opacity

Describes a project that uses

Uses Software

• Java PathFinder
• JPAX
• Maude

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472252)