|
Lundi, 13 Mars
|
Mardi, 14 Mars
|
|
Session
A1
|
Session
B1
|
09:30
- 10:15
|
Automata-based
reachability analysis of pushdown automata networks
Ahmed Bouajjani
Abstract
|
When
are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?
Serge Haddad
Abstract
Slides
|
10:15
- 11:00
|
Verification
of nondeterministic channel systems with probabilistic message losses
Philippe Schnoebelen
Abstract
Slides
|
Timed
Petri Nets and Timed Automata: On the Discriminating Power of Zeno
Sequences
Pierre-Alain Reynier
Abstract
Slides
Paper
|
11:00
- 11:15
|
Pause
café |
Pause
café |
|
Session
A2
|
Session
B2
|
11:15
- 11:45
|
Unranked
tree algebra
Igor Walukiewicz
Abstract
Slides
|
FAST
Extended Release
Jérôme Leroux
Abstract
|
11:45
- 12:15
|
Non-interférence
dans le contexte temporisé
Olivier (H.) Roux
Abstract
|
Parameterized Abstract Domains in TReX
Mihaela Sighireanu
Abstract
|
12:15
- 14:00
|
Déjeuner
|
Déjeuner
|
|
Session
A3
|
Session
B3
|
14:00
- 14:45
|
Distributed
Synthesis for Well-Connected Architectures
Nathalie Sznajder
Abstract
Slides
|
Expressiveness
and Complexity of ATL
Nicolas Markey
Abstract
Slides
|
14:45
- 15:30
|
Automata-based
Verification of Programs with Tree Updates
Peter Habermehl
Abstract
|
LTL
with the Freeze Quantifier and Register Automata
Stéphane Demri
Abstract
|
15:30
- 16:00
|
Pause
café |
Pause
café |
|
Session
A4
|
Session
B4
|
16:00
- 16:45
|
From
Pointer Systems to Counter Systems using Shape Analysis
Arnaud Sangnier
Abstract
Slides
|
Parity
games as a limit of discounted games
Wieslaw Zielonka
Abstract
|
16:45
- 17:30
|
|
Sensor
Minimization Problems in Diagnosis of Finite State Systems
Franck Cassez
Abstract
|
| 20:00
|
Dîner |
|
