Immigration

Rocco De Nicola, Luca Aceto, Catia Trubiani

Access code: VV98P-SJGR4

Approval Required

Syllabus of the course (30h):

  • Rocco De Nicola: Introduction to Formal Methods (10h)
    • operational, denotational and axiomatic semantics
    • principles of concurrency theory and basic notions of program analysis
  • Luca Aceto: Formal Methods at Work (10h)
    • timed/untimed bisimilarity and language equivalence
    • networks of timed automata and model checking
  • Catia Trubiani: Quantitative Formal Methods (10h)
    • stochastic processes
    • markov chains and stochastic petri nets

Core

Modelling and Verification of Reactive Systems Rocco De Nicola and Luca Aceto
Principles of Model Checking Michele Loreti
Performance Modeling Mirco Tribastone

Immigration

Software Engineering: theory and practice – Paola Inverardi, Ludovico Iovino, Ivano Malavolta

Core

Abstraction, modelling and architecting – Patrizio Pelliccione [31Jan-9Feb]
Software Architecture and beyond – Paola Inverardi , Marco Autili and Massimo Tivoli [Feb-Mar]
Software Testing and Dependability – Antonella Bertolino [19Mar-6Apr]

Advanced

Advanced Testing – Tools and methodologies – Lorenzo Bettini [14-15 May]
Advanced Software Analytics – Massimiliano Di Penta [TBA]
Service Oriented Design for Sustainability – Patricia Lago [25-26 June]

Immigration

Design and Analysis of Algorithms – Fundamentals Mattia D’Emidio
Design and Analysis of Algorithms – Advanced Topics Michele Flammini

Core

Approximation Algorithms Gianlorenzo D’Angelo
Large Graph Mining and Algorithm Engineering Pierluigi Crescenzi and Mattia D’Emidio
Algorithmic Game Theory Michele Flammini

Advanced

Distributed Computing Pierre Fraigniaud
Spanners and oracles for single-source short(est) paths in faulty graphs Guido Proietti
Fairness in allocation problems Ioannis Caragiannis