A run-time verification framework for smart grid applications implemented on simulation frameworks.

Selim Ciraci, Hasan Szer, Bedir Tekinerdogan

Browse the full ICSE paper archive.