The complexity of propositional linear temporal logics
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Theoretical issues in the design and verification of distributed systems
Theoretical issues in the design and verification of distributed systems
A hierarchy of temporal properties (invited paper, 1989)
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
On the feasibility of checking temporal integrity constraints
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
CONCUR 2005 - Concurrency Theory
Taming interface specifications
CONCUR 2005 - Concurrency Theory
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
On the expressiveness and complexity of randomization in finite state monitors
Journal of the ACM (JACM)
Monitoring temporal properties of stochastic systems
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
You should better enforce than verify
RV'10 Proceedings of the First international conference on Runtime verification
Science of Computer Programming
Monitoring off-the-shelf components
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Formal Methods in System Design
Hi-index | 0.01 |