Generating optimal monitors for extended regular expressions (2003)

by K Sen, G Rosu
Venue:In Proceedings of Runtime Verification (RV03