Thursday, March 19, 2009

Mini Workshop on Timed Systems

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.