Students of the course Timed Systems who have chosen to give a presentation as 50% of their exam will be the speakers of the
Mini-Workshop on Timed Systems 2008/2009
Tuesday 24th March 2009, Room AB3 - Polo Informatico
Program
10:00 - 10:15 Opening
10:15 - 11:30
Speakers: Alessandro Bettacchi and Nicola Paoletti
Title: Timed automata à la Alur and Dill, automata theoretic approach to verification
11:30 - 11:45 Coffee Break
11:45 - 13:00
Speakers: Daniele Fanì and Andrea Caputo
Title: Algorithms for calculating minimum and maximum delays in timed automata
13:00 - 15:00 Lunch
15:00 - 15:45
Speaker: Leonardo Francesconi
Title: Model cheking algorithms for timed automata, optimal data structures
15:45 - 16:30
Speaker: Luca Micozzi
Title: Analysis of case studies using UPPAAL
16:30 - 16:45 Coffee Break
16:45 - 17:30
Speaker: Michele Manzotti
Title: Timed attacks on privacy
17:30 - 18:15
Speaker: Andrea Baiocco
Title: Timing attacks to RSA algorithm
18:15 - 18:30 Conclusion
All interested people are invited to participate.
