@INPROCEEDINGS{rv12arv,
  AUTHOR =       "E. Bartocci and R. Grosu and A. Karmarkar and S. A. Smolka and S. D. Stoller and E. Zadok and J. Seyster",
  TITLE =        "Adaptive runtime verification",
  BOOKTITLE =    "Proc.\ 3rd International Conference on Runtime Verification (RV'12)",
  YEAR =         "2012",
  MONTH =        "September",
  ADDRESS =      "Istanbul, Turkey",
}