1. Introduction
Formal models
Scheduling problem
Performance evaluation
Scheduling with timed automata
for temporal properties verication via
model-checking
Antonio Filieri1
1 Politecnicodi Milano and University of Illinois at Chicago
720463 antonio.lieri@mail.polimi.it
Tutors: Marco D. Santambrogio, Paola Spoletini
HPPS PrjDAY - Jun 19, Milan
Antonio Filieri Scheduling with Timed Automata - 1/24