Algorithms for Monitoring Real-Time Properties
- 1 January 2012
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- A theory of sampling for continuous-time metric temporal logicACM Transactions on Computational Logic, 2010
- Monitoring security policies with metric first-order temporal logicPublished by Association for Computing Machinery (ACM) ,2010
- Model-checking Timed Temporal LogicsElectronic Notes in Theoretical Computer Science, 2009
- Faster integer multiplicationPublished by Association for Computing Machinery (ACM) ,2007
- Monitoring of Real-Time PropertiesLecture Notes in Computer Science, 2006
- Monitoring Temporal Properties of Continuous SignalsLecture Notes in Computer Science, 2004
- Runtime Verification of Timed LTL using Disjunctive Normalized Equation SystemsElectronic Notes in Theoretical Computer Science, 2003
- The benefits of relaxing punctualityJournal of the ACM, 1996
- What good are digital clocks?Lecture Notes in Computer Science, 1992
- Logics and models of real time: A surveyLecture Notes in Computer Science, 1992