The Power of the Defender. - Marina Gelastou; Marios Mavronicolas; Vicky G. Papadopoulou; Anna Philippou; Paul G. Spirakis (ICDCS Workshops, 2006)

On the Application of Formal Methods for Specifying and Verifying Distributed Protocols. - Marina Gelastou; Chryssis Georgiou; Anna Philippou (NCA, 2008)