@InProceedings{Stream, 
  author =       "Sylvain Hall\cute{e}  and Raphael Khoury",
  title =        "Runtime Monitoring of Stream Logic Formulae",
  booktitle =    "8th International Symposium On Foundations & Practice Of Security",
   year =         "2015", 
   month = "octobre",
  venue =        "Clermont-Ferrand, France",
 pages = "254--261"
}