Tesi triennali
 Rassegna sui principali analizzatori di log di Apache. Il progetto prevede di passare in rassegna i principali analizzatori di log di Apache al fine di estrarre informazioni riguardanti il comportamento degli utenti in un portale. Particolare attenzione deve essere rivolta agli analizzatori che consentono di
estrarre informazioni utili ai fini della valutazione delle performance del portale.
 Perfezionamento di un simulaore di reti di Petri
Msc thesis, Tesi magistrali

Energy saving and network performance: a tradeoff approach. Low energy consumption is not only
an important environmental requirement, but also a practical need of mobile devices such as
smartphones. In many cases, low energy consumption requires also a reduction of the systems' performance.
The thesis addresses this problem in a practical scenario and aims at using formal languages in order
to find a trade off between low energy consumption and high performances.
 Modelling mobility with PEPA terms. Mobility is a main characteristic of many wireless systems.
In the literature, several ideas have been introduced to formally model this aspect of computer systems.
This thesis aims at defining an efficient approximate/exact analysis algorithm supported by an
opportune Markovian process algebra in the style of the Performance Evaluation Process Algebra (PEPA).
 A PEPA syntax for blockregular structured solutions of Markov processes. The anlysis of
reliability and performances of real
computer systems via stochastic modelling
may be a hard task since the number of states that must be considered usually grows exponentially
with the number of system's components. However, when the structure of the statespace has a
regular structure, some very efficient solution techniques have been defined. This thesis aims
at defining a Markovian process algebra capable of defining components with underlying blockregular
structure of the infinitesimal generator matrix.
 Performance evaluation of communication protocols (e.g. PCIEXPRESS, Shared medium, ...).
The work consists of two stages. In the first a formal model of a communication protocol must
be given. The second aims at deriving the performance indices using analytic of simulation methods.
 Detection and resistance to DoS attacks via quantitative modelling. Denial of Service attacks
aim at making a resource unavaiable to its intended users. Distributed DoS may very hard to dect automatically
and tackle. This thesis wants do define a formal framework to study the resistance of systems to
(D)DoS attacks, and possibly to detect them.
