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.

Deadline extension and Mini Workshop

The new deadline for the presentation of the Mini Project is

2nd March 2009

I'm scheduling the Mini Workshop for presentations about Timed Systems on 17th or 24th March 2009 from 11 to 18 with lunch and coffee breaks.

Let me know if you are available in these dates.

Happy new year

:-D

Three more lecture logs available in the course site.

The project for the first part of the exam has been assigned (see the Project page in the course site).

We should start discussing seriously about the topics of the presentations for the second part of the exam (in case you choose to do that). There is a page in the course site, but it is no exhaustive. You can contact me directly or propose a topic of your interest (of course linked to the course content).