BarringerFHRR12

Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard. Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. In FM 2012: Formal Methods - 18th International Symposium, Pages 68-84, 2012.

Download

Download paper: Doi page

Copyright notice:

Contact

Ylies Falcone

BibTex Reference

@InProceedings{BarringerFHRR12,
   Author = {Barringer, Howard and Falcone, Yliès and Havelund, Klaus and Reger, Giles and E. Rydeheard, David},
   Title = {Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors},
   BookTitle = {FM 2012: Formal Methods - 18th International Symposium},
   Pages = {68--84},
   Year = {2012}
}

EndNote Reference [help]

Get EndNote Reference (.ref)