@inproceedings{chen-meredith-jin-rosu-2009-ase, title = {Efficient Formalism-Independent Monitoring of Parametric Properties}, author = {Feng Chen and Patrick Meredith and Dongyun Jin and Grigore Rosu}, booktitle = {IEEE/ACM International Conference on Automated Software Engineering (ASE'09)}, year = {2009}, pages = {383--394}, doi={doi:10.1109/ASE.2009.50} }