Eleonora Sibilio

According to our database, Eleonora Sibilio authored at least 5 papers between 2007 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

A calculus of trustworthy ad hoc networks.

Massimo Merro, Eleonora Sibilio

Formal Aspects Comput., 2013

2011

A timed calculus for wireless systems.

Massimo Merro, Francesco Ballardin, Eleonora Sibilio

Theor. Comput. Sci., 2011

2010

Formal Methods for Wireless Systems.

Eleonora Sibilio

PhD thesis, 2010

2009

A Timed Calculus for Wireless Systems.

Massimo Merro, Eleonora Sibilio

Proceedings of the Fundamentals of Software Engineering, 2009

2007

The Java Memory Model: Operationally, Denotationally, Axiomatically.

Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio

Proceedings of the Programming Languages and Systems, 2007