The imperative future: principles of executable temporal logic
The imperative future: principles of executable temporal logic
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
Temporal Logic in Specification
Checking Finite Traces Using Alternating Automata
Formal Methods in System Design
On state-alternating context-free grammars
Theoretical Computer Science
Runtime Verification of C Programs
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Runtime Verification
Checking Traces for Regulatory Conformance
Runtime Verification
Parametric Trace Slicing and Monitoring
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems
Autonomous Agents and Multi-Agent Systems
Temporal assertions with parametrised propositions
RV'07 Proceedings of the 7th international conference on Runtime verification
Introducing reactive Kripke semantics and arc accessibility
Pillars of computer science
From scripts to specifications: the evolution of a flight software testing effort
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
You should better enforce than verify
RV'10 Proceedings of the First international conference on Runtime verification
Runtime Verification for LTL and TLTL
ACM Transactions on Software Engineering and Methodology (TOSEM)
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study
Journal of Systems and Software
What does AI have to do with RV?
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
| Hi-index | 0.00 |
In [3], Eagle was introduced as a general purpose rule-based temporal logic for specifying run-time monitors. A novel and relatively efficient interpretative trace-checking scheme via stepwise transformation of an Eagle monitoring formula was defined and implemented. However, application in real-world examples has shown efficiency weaknesses, especially those associated with large-scale symbolic formula manipulation. In this paper, after briefly reviewing Eagle, we introduce RuleR, a primitive conditional rule-based system, which we claim can be more efficiently implemented for run-time checking, and into which one can compile various temporal logics used for run-time verification.