@inproceedings{CFMP12polylarva,
  author    = {Christian Colombo and
               Adrian Francalanza and
               Ruth Mizzi and
               Gordon J Pace},
  title     = {polyLarva: Runtime Verification with Configurable Resource-Aware
               Monitoring Boundaries},
  booktitle = {Software Engineering and Formal Methods - 10th International
               Conference, SEFM 2012},
  year      = {2012},
  pages     = {218-232},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {7504},
}