Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
svarm:program [2010/07/29 12:13] vkuncak |
svarm:program [2010/07/29 15:07] piskac |
||
|---|---|---|---|
| Line 53: | Line 53: | ||
| ^ 11:20 ^ **Mini Break of 10 minutes** ^ ^ | ^ 11:20 ^ **Mini Break of 10 minutes** ^ ^ | ||
| | | | //Session Chair: Predrag Janicic// | | | | | //Session Chair: Predrag Janicic// | | ||
| - | | 11:30 | Stefan Ratschan | Verification of Mixed Discrete-Continuous Systems | | + | | 11:30 | Stefan Ratschan | Verification of Mixed Discrete-Continuous Systems {{:svarm:ratschanSlides.pdf|slides}} | |
| | 11:50 | Alejandro Sanchez and Cesar Sanchez | Towards Temporal Verification of Concurrent Data-structures: In Need for Sophisticated Decision Procedures {{:svarm:sanchezSlides.pdf|slides}} | | | 11:50 | Alejandro Sanchez and Cesar Sanchez | Towards Temporal Verification of Concurrent Data-structures: In Need for Sophisticated Decision Procedures {{:svarm:sanchezSlides.pdf|slides}} | | ||
| | 12:10 | Hossein Hojjat, Viktor Kuncak, Ruzica Piskac and Philippe Suter | Vepar: A Framework for Automated Reasoning {{:svarm:hojjatSlides.pdf|slides}} | | | 12:10 | Hossein Hojjat, Viktor Kuncak, Ruzica Piskac and Philippe Suter | Vepar: A Framework for Automated Reasoning {{:svarm:hojjatSlides.pdf|slides}} | | ||