Generating Optimal Monitors for Extended Regular Expressions-Reference-Cited by-同舟云学术

Generating Optimal Monitors for Extended Regular Expressions

Published:2003-10 Issue:2 Volume:89 Page:226-245
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Sen Koushik,Roşu Grigore

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference32 articles.

1. Partial derivatives of regular expressions and finite automaton constructions;Antimirov;Theoretical Computer Science,1996

2. Rewriting extended regular expressions;Antimirov;Theoretical Computer Science,1995

3. Alternation;Chandra;Journal of the ACM,1981

4. Towards Maude 2.0;Clavel,2000

5. D. Drusinsky. The Temporal Rover and the ATG Rover. In SPIN Model Checking and Software Verification, volume 1885 of Lecture Notes in Computer Science, pages 323–330. Springer, 2000.

Cited by 35 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Static and Dynamic Analysis of a Usage Control System;Proceedings of the 29th ACM Symposium on Access Control Models and Technologies;2024-06-24

2. Finite Automata synthesis from Interactions;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14

3. Predictive Monitoring against Pattern Regular Languages;Proceedings of the ACM on Programming Languages;2024-01-05

4. Decentralized Stream Runtime Verification for Timed Asynchronous Networks;IEEE Access;2023

5. Runtime verification of real-time event streams using the tool HStriver;Formal Methods in System Design;2022-08