Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
We put forth a framework for expressing security requirements from interactive protocols in the presence of arbitrary leakage. This allows capturing different levels of leakage to...
We present several interpretations of the behavior of P/T nets in terms of traces, event structures, and partial orders. Starting from results of Hoogers, Kleijn and Thiagarajan, w...
The Trace transform is a generalisation of the Radon transform that allows one to construct image features that do not necessarily have meaning in terms of human perception, but t...
—Vehicular networks are on the fast track to become a reality either through a car manufacturer that introduces a communication device in the car electronics or through an afterm...
Eugenio Giordano, Enzo De Sena, Giovanni Pau, Mari...