Decentralised LTL Monitoring
- 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
Other Versions
This publication has 21 references indexed in Scilit:
- Runtime Verification for LTL and TLTLACM Transactions on Software Engineering and Methodology, 2011
- Software model checking takes offCommunications of the ACM, 2010
- Runtime Verification with the RV SystemLecture Notes in Computer Science, 2010
- Runtime Verification for the WebLecture Notes in Computer Science, 2010
- The Complexity of Codiagnosability for Discrete Event and Timed SystemsLecture Notes in Computer Science, 2010
- Comparing LTL Semantics for Runtime VerificationJournal of Logic and Computation, 2009
- Rule Systems for Run-time Monitoring: from EAGLE to RULERJournal of Logic and Computation, 2008
- Timing analysis of the FlexRay communication protocolReal-Time Systems, 2007
- Rewriting-Based Techniques for Runtime VerificationAutomated Software Engineering, 2005
- The glory of the pastLecture Notes in Computer Science, 1985