Christos Tsarouchis

Is runtime verification applicable to cheat detection?

Insup Lee, Oleg Sokolsky, Usa Sammapun, 2004, NetGames '04.

A policy-based management architecture for active and programmable networks

Alex Galis, Odysseas Koufopavlou, Bertrand Mathieu, 2003, IEEE Netw..