Formally specified monitoring of temporal properties.

Moonjoo Kim, Mahesh Viswanathan, Hanne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky

Browse the full ECRTS paper archive.