Runtime Monitoring with Union-Find Structures

Authors:

Publisher website

9 April 2016

book chapter
Published by Springer Nature

p. 868-884
DOI:10.1007/978-3-662-49674-9_54

Abstract

No abstract available

Keywords

This publication has 20 references indexed in Scilit:

Monitoring Metric First-Order Temporal Properties
Journal of the ACM, 2015
Union-Find with Constant Time Deletions
ACM Transactions on Algorithms, 2014
From Propositional to First-Order Monitoring
Lecture Notes in Computer Science, 2013
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
2012
TraceContract: A Scala DSL for Trace Analysis
2011
Policy Monitoring in First-Order Temporal Logic
2010
Rule Systems for Run-Time Monitoring: From Eagle to RuleR
2007
Adding trace matching with free variables to AspectJ
ACM SIGPLAN Notices, 2005
Union-Find with Constant Time Deletions
Lecture Notes in Computer Science, 2005
Rule-Based Runtime Verification
2004