scientific article; zbMATH DE number 2080059
From MaRDI portal
Publication:4472252
zbMath1043.68534MaRDI QIDQ4472252
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800342.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Efficient Runtime Verification of First-Order Temporal Properties, Foundations of Boolean stream runtime verification, Spanning the spectrum from safety to liveness, A brief account of runtime verification, Provably correct runtime monitoring, Monitoring first-order interval logic, On monitoring linear temporal properties, Quantitative safety and liveness, Assumption-based runtime verification, Enforcement and validation (at runtime) of various notions of opacity, 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, Safer asynchronous runtime monitoring using compensations, First-order temporal logic monitoring with BDDs, Runtime verification of embedded real-time systems, Multi-head Monitoring of Metric Temporal Logic, Almost Event-Rate Independent Monitoring of Metric Temporal Logic, Time-triggered runtime verification, Almost event-rate independent monitoring, Extended Nested Dual System Groups, Revisited, Checking Temporal Properties of Discrete, Timed and Continuous Behaviors, Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL, Matching Trace Patterns with Regular Policies, A formally verified, optimized monitor for metric first-order dynamic logic
Uses Software
