@inproceedings(AM04,
 author       = {R. Alur and P. Madhusudan},
 year         = {2004},
 title        = {Visibly Pushdown Languages},
 booktitle    = {Proceedings of the Thirty-sixth Annual ACM Symposium on Theory of Computing (STOC~'04)},
 pages        = {202--211},
 doi          = {10.1145/1007352.1007390},
)
@inproceedings(Eagle04,
 author       = {H. Barringer and A. Goldberg and K. Havelund and K. Sen},
 year         = {2004},
 title        = {Rule-Based Runtime Verification},
 editor       = {Bernhard Steffen and Giorgio Levi},
 booktitle    = {5$^{th}$ International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2004)},
 pages        = {44--57},
 doi          = {10.1007/978-3-540-24622-0\_5},
)
@inproceedings(Benveniste2008,
 author       = {A. Benveniste and B. Caillaud and A. Ferrari and L. Mangeruca and R. Passerone and C. Sofronis},
 year         = {2007},
 title        = {Multiple Viewpoint Contract-Based Specification and Design},
 booktitle    = {Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007},
 pages        = {200--225},
 doi          = {10.1007/978-3-540-92188-2\_9},
)
@phdthesis(Driscoll-phd,
 author       = {E. Driscoll},
 year         = {2013},
 title        = {Checking Format Compatibility of Programs Using Automata},
 school       = {University of Wisconsin, Madison},
)
@inproceedings(Driscoll11,
 author       = {E. Driscoll and A. Burton and T. Reps},
 year         = {2011},
 title        = {Checking Conformance of a Producer and a Consumer},
 booktitle    = {Proceedings of the 19$^{th}$ ACM SIGSOFT Symposium and the 13$^{th}$ European Conference on Foundations of Software Engineering (ESEC/FSE)},
 pages        = {113--123},
 doi          = {10.1145/2025113.2025132},
)
@inproceedings(Giannakopoulou04,
 author       = {D. Giannakopoulou and C.S. Pasareanu and J.M. Cobleigh},
 year         = {2004},
 title        = {Assume-Guarantee Verification of Source Code with Design-Level Assumptions},
 booktitle    = {Proceedings of the 26th International Conference on Software Engineering (ICSE~'04)},
 pages        = {211--220},
 doi          = {10.1109/ICSE.2004.1317443},
)
@article(Java-MaC04,
 author       = {M. Kim and S. Kannan and I. Lee and O. Sokolsky and M. Viswanathan},
 year         = {2004},
 title        = {{Java-MaC}: a Run-time Assurance Approach for {Java} Programs},
 journal      = {Formal Methods in Systems Design},
 volume       = {24},
 number       = {2},
 pages        = {129--155},
 doi          = {10.1023/B:FORM.0000017719.43755.7c},
)
@article(MOP-overview,
 author       = {P. Meredith and D. Jin and D. Griffith and F. Chen and G. Rosu},
 year         = {2012},
 title        = {An Overview of the {MOP} Runtime Verification Framework},
 journal      = {Software Tools for Technology Transfer},
 volume       = {14},
 number       = {3},
 pages        = {249--289},
 doi          = {10.1007/s10009-011-0198-6},
)