Eleonora Sibilio

Publication Activity (10 Years)

Years Active: 2007-2013
Publications (10 Years): 0

Top Topics

Key Management Scheme

Neighboring Nodes

Network Topologies

Ad Hoc Networks

Top Venues

Formal Aspects Comput.

Publications

Massimo Merro, Eleonora Sibilio
A calculus of trustworthy ad hoc networks. Formal Aspects Comput. 25 (5) (2013)
Massimo Merro, Francesco Ballardin, Eleonora Sibilio
A timed calculus for wireless systems. Theor. Comput. Sci. 412 (47) (2011)
Massimo Merro, Eleonora Sibilio
A Calculus of Trustworthy Ad Hoc Networks. Formal Aspects in Security and Trust (2009)
Massimo Merro, Eleonora Sibilio
A Timed Calculus for Wireless Systems. FSEN (2009)
Pietro Cenciarelli, Alexander Knapp, Eleonora Sibilio
The Java Memory Model: Operationally, Denotationally, Axiomatically. ESOP (2007)