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).

UPPAAL examples

Tutorial on UPPAAL and code examples posted in the course site.

You are invited to post your own experiments and commented queries.

Resume

Log of the lectures up to date, in the course site.

I will post the project (20% of the final grade) during the Christmas holidays.

Next lectures (tomorrow and Thursday) will be quite practical: download UPPAAL and play with it :-D

No lecture next wednesday

The lecture of next Wednesday December 10th is cancelled. It will be re-scheduled on January. For more details see the course site.

So, next week the unique lecture is on Thursday.

Moreover, from now on, lectures on Thursdays will be always on room AB3

Exercises

I propose you to post your own solution of Exercises 9.3 and 9.7 in the course book. A discussion may follow on the proof principle you used.

I remind you that the log of the lectures is in the course web site.