8.20 | - | 8.50: | | BREAKFAST |
|
|
9.00 | - | 10.00: | | Invited talk:
Shaz Qadeer (Microsoft Research, USA) |
| | | |
HAVOC: A Precise and Scalable Verifier for Systems Code
|
| | | | |
|
|
10.00 | - | 10.30: | | COFFEE BREAK |
| | | | |
| | | | |
10.30 | - | 11.30: | | Contributed papers: |
| | | | |
| | | |
Hanifa Boucheneb and Kamel Barkaoui
|
| | | |
Covering Steps Graphs of Time Petri Nets |
|
| | | |
Parosh Abdulla, Pavel Krcal, and Wang Yi
|
| | | |
Universality of R-automata with Value Copying |
|
|
|
|
11.30 | - | 12.30: | | Invited talk:
Paolo Baldan (University of Padova, Italy) |
| | | |
Verification of Graph Transformation Systems
|
| | | | |
|
|
12.30 | - | 14.00: | | LUNCH |
|
|
| | | | |
14.00 | - | 15.00: | | Invited talk:
Dietmar Berwanger
(RWTH Aachen, Germany) |
| | | |
Coordinating Controllers
|
| | | | |
| | | | |
|
15.00 | - | 15.30: | | Contributed paper: |
| | | | |
| | | |
Regis Gascon
|
| | | |
An Automata-based Approach for CTL* with Constraints |
|
|
|
15.30 | - | 16.00: | | COFFEE BREAK |
|
|
| | | | |
16.00 | - | 17.30: | | Contributed papers: |
| | | | |
| | | |
Narjes Ben Rajeb, Brahim Nasraoui, Riadh Robbana, and Tayssir Touili
|
| | | |
Verifying Multithreaded Recursive Programs with Integer Variables
|
|
| | | | |
| | | |
Florent Bouchy, Arnaud Sangnier, and Alain Finkel
|
| | | |
Reachability in Timed Counter Systems
|
|
|
| | | |
Uli Fahrenberg and Kim G. Larsen
|
| | | |
Discount-Optimal Infinite Runs in Priced Timed Automata
|
|
|
|
17.30 | - | 17.40: | | CLOSING |
|
|