@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}
}