| 9.00 | - | 10.00: | | INVITED TALK:
Laurent Doyen (LSV, ENS Cachan & CNRS, France) |
(chair D. Wojtczak) |
| | | |
The Complexity of Partial-observation Stochastic Games
|
| | | | |
|
|
|
| 10.00 | - | 10.30: | | COFFEE BREAK |
| | | | |
| | | | |
| 10.30 | - | 12.00: | | CONTRIBUTED PAPERS: |
(chair A. Podelski) |
| | | | |
| | | |
Johann Schuster and Markus Siegle
|
| | | |
Lattice structures for bisimilar Probabilistic Automata [slides] |
|
| | | |
Yu-Fang Chen, Bow-Yaw Wang and Di-De Yen
|
| | | |
An Exact Finite Representation for Register Automata Configurations |
| | | |
Parosh Aziz Abdulla, Mohamed Faouzi Atig and Jari Stenman
|
| | | |
Zenoness for Timed Pushdown Automata |
| | | | |
|
|
|
| 12.00 | - | 13.30: | | LUNCH |
|
|
| | | | |
| 13.30 | - | 14.30: | | INVITED TALK:
Dominik Wojtczak
(University of Liverpool, UK) |
(chair L. Doyen) |
| | | |
Automated Analysis of Probabilistic Infinite-state Systems
|
| | | | |
|
|
|
| 14.30 | - | 15.00: | | COFFEE BREAK |
| | | | |
| | | | |
| 15.00 | - | 15.30: | | PRESENTATION:
Barbara König and Jan Stückrath
|
(chair T. Vojnar) |
| | | |
Decidability Results for Well-structured Graph Transformation Systems |
|
|
|
| 15.30 | - | 16.30: | | INVITED TALK:
Doron A. Peled (Bar Ilan University, Israel) |
(chair T. Vojnar) |
| | | |
Synthesis of Parametric Programs using Genetic Programming and Model Checking
|
| | | | |
|
|
|
| 16.30 | - | 17.00: | | COFFEE BREAK |
| | | | |
| | | | |
| 17.00 | - | 18.00: | | INVITED TALK:
Oded Maler
(CNRS-VERIMAG, University of Grenoble, France) |
(chair B. König) |
| | | |
Algorithmic Verification of Continuous and Hybrid Systems: Past, Present, Future
|