Master thesis proposals

Open thesis proposals

  • Analysis of stochastic models via approximate lumping

    Performance evaluation of computer systems is often based on Markov chains analysis. Several high-level formalisms have been defined to model software and hardware architectures whose underlying stochastic process is a Continuous Time Markov Chain.

    Andrea Marin, Sabina Rossi
  • PEPA-K and definition of block-regular stochastic models

    PEPA-K is the language used in Moebius to model computer systems. Moebius is a popular tool that allows for the performance and reliability analysis of software, hardware and telecommunication systems.

    Sabina Rossi, Simonetta Balsamo

Ongoing theses

Completed theses