Generating optimal monitors for extended regular expressions. (2003)

by K Sen, G Rosu
Venue:In Proceedings of Runtime Verification (RV’03). Boulder, Colorado. Electronic Notes in Theoretical Computer Science,