The Java Memory Model: Operationally, Denotationally, Axiomatically. - Pietro Cenciarelli; Alexander Knapp; Eleonora Sibilio (ESOP, 2007)

A Timed Calculus for Wireless Systems. - Massimo Merro; Eleonora Sibilio (FSEN, 2009)

Formal Methods for Wireless Systems. - Eleonora Sibilio (2010)

A timed calculus for wireless systems. - Massimo Merro; Francesco Ballardin; Eleonora Sibilio (Theor. Comput. Sci., 2011)

A calculus of trustworthy ad hoc networks. - Massimo Merro; Eleonora Sibilio (Formal Aspects Comput., 2013)