This is an old revision of the document!

Advanced Topics in Software Engineering

  • 05/03/2019 Lectures start!
  • 21/05/2019 Today's lecture has been cancelled.


  • Michele Loreti

ESSE3 Link

Lessons schedule:

  • Tuesday, 14.00 - 16.00, Room AB1, Polo Lodovici;
  • Thursday, 11.00 - 13.00, Room AB1, Polo Lodovici.


In the course various aspects of computer-aided modelling for performance evaluation of (stochastic) dynamic systems will be introduced. The emphasis is on stochastic modelling of computer systems and communication networks; however other dynamic systems such as Collective Adaptive Systems and Cyber Physical Systems will also be considered. Different tools and techniques will be introduced to predict (or monitoring) system performance at the different stages of development.

  1. Modelling and Simulation
  2. Operational Laws
  3. Constructing and Solving Markov Processes
  4. More Complex Markov Processes
  5. Population Models
  6. Specification languages: Stochastic process Algebras
  7. Simulation Models: Introduction and Motivation
  8. Random Variables and Simulation
  9. Statistical Analysis of Systems
  10. Property specification
  11. Scalable analysis techniques
  12. Monitoring and Runtime Verification

Course Slides


Exam Dates

  • The date is defined with the teacher.

Exam rules: Each student select one of the following topics and produces a short report (between 5 and 10 pages) that will be discussed at the exam: