Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors.

Howard Barringer, Ylis Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard

Browse the full FM paper archive.