Rule-Based Runtime Verification
Top Cited Papers
- 1 January 2004
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Generating Optimal Monitors for Extended Regular ExpressionsElectronic Notes in Theoretical Computer Science, 2003
- Runtime Verification of Timed LTL using Disjunctive Normalized Equation SystemsElectronic Notes in Theoretical Computer Science, 2003
- Monitoring Temporal Rules Combined with Time SeriesLecture Notes in Computer Science, 2003
- Collecting Statistics over Runtime ExecutionsElectronic Notes in Theoretical Computer Science, 2002
- Collecting and Analyzing Data from Distributed Control ProgramsElectronic Notes in Theoretical Computer Science, 2001
- Checking Finite Traces using Alternating AutomataElectronic Notes in Theoretical Computer Science, 2001
- Monitoring Java Programs with Java PathExplorerElectronic Notes in Theoretical Computer Science, 2001
- MetateM: An introductionFormal Aspects of Computing, 1995
- The declarative past and imperative futurePublished by Springer Nature ,1989
- Refutational theorem proving using term-rewriting systemsArtificial Intelligence, 1985