@inproceedings{sen-rosu-2003-rv, author = "Sen, Koushik and Rosu, Grigore", publisher = "Elsevier", doi = "http://dx.doi.org/10.1016/S1571-0661(04)81051-X", title = "Generating Optimal Monitors for Extended Regular Expressions", series = "Electronic Notes in Theoretical Computer Science", booktitle = "Proceedings of 3rd International Workshop on Runtime Verification (RV'03)", month = "June", volume = "89(2)", year = "2003", pages = "226-245" }