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.
Friday, February 20, 2009
Thursday, January 15, 2009
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).
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).
Wednesday, December 17, 2008
UPPAAL examples
Tutorial on UPPAAL and code examples posted in the course site.
You are invited to post your own experiments and commented queries.
You are invited to post your own experiments and commented queries.
Tuesday, December 16, 2008
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
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
Friday, December 5, 2008
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
So, next week the unique lecture is on Thursday.
Moreover, from now on, lectures on Thursdays will be always on room AB3
Thursday, December 4, 2008
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.
I remind you that the log of the lectures is in the course web site.
Monday, December 1, 2008
Official web site for Timed Systems
The official web site for the Timed Systems course is up:
http://www.cs.unicam.it/tesei/advanced0809/
The site contains static information about the course (Calendar, Contents, Reading Material, Exam Instructions, etc.) and a log of all the given lectures.
The official blog of the course continues to be this one.
http://www.cs.unicam.it/tesei/advanced0809/
The site contains static information about the course (Calendar, Contents, Reading Material, Exam Instructions, etc.) and a log of all the given lectures.
The official blog of the course continues to be this one.
Subscribe to:
Posts (Atom)