Saturday 6/9/2003
|
9h00
|
Opening
|
|
9h15
|
Evgeny
Asarin (invited speaker)
|
|
| 10h15 |
break
|
|
|
Model
Checking I
|
|
| 10h30 |
Towards Refining Partitioning
for Checking Reachability in Timed Automata
|
A. Pó\x{0142}rola, W.
Penczek, M. Szreter
|
11h00
|
Checking ACTLS properties of
Discrete Timed Automata via Bounded Model Checking
|
B. Wozna and A. Zbrzezny
|
11h30
|
Removing Irrelevant Atomic
Formulas for Checking Timed Automata Efficiently
|
Zhao J., Li X., Zheng T., Zheng
G.
|
12h00
|
Adding Symmetry Reduction to
UppAal
|
M. Hendriks, G. Behrmann, K.G.
Larsen, P. Niebert, F.Vaandrager
|
12h30-14h00
|
lunch break
|
|
|
Timed
and probabilistic optimization
|
|
14h00
|
Status and Development of the
TIMES Tool |
T. Amnell, E. Fersman, L.
Mokrushin, P. Pettersson and W. Yi |
| 14h30 |
Optimization of Timed Automata
Models Using Mixed-Integer Programming |
O. Stursberg, S. Panek |
| 15h00 |
Discrete-time rewards
model-checked |
S.Andova, H.Hermanns, J.-P.
Katoen |
15h30
|
Performance Analysis of
Probabilistic Timed Automata using Digital Clocks |
M. Kwiatkowska, G. Norman, D.
Parker, J. Sproston |
16h00
|
break
|
|
|
Theory
|
|
16h30
|
An interval-based algebra for
restricted event detection |
J. Carlson and B. Lisper |
17h00
|
PARS: A Process Algebra with
Resources and Schedulers |
M. Mousavi, M.
Reniers, T. Basten, M. Chaudron |
17h30
|
Formal Semantics of Hybrid Chi |
R.R.H. Schiffelers, D.A. van
Beek,
K.L. Man, M.A. Reniers and J.E. Rooda |
| 18h00 |
End day 1 |
|
|
20h00
|
Workshop
Dinner
|
|
|
Sunday 7/9/2003
|
|
| 9h15 |
Reinhard
Wilhelm (invited speaker)
|
|
| 10h15 |
break
|
|
|
Theory
|
|
| 10h30 |
A nonarchimedian discretization
for timed languages |
C. Dima
|
11h00
|
Folk theorems on the
determinization and minimization of timed automata |
S. Tripakis |
|
Applications
|
|
| 11h30 |
Control Synthesis for a Smart
Card Personalization System Using Symbolic Model Checking
|
F. Vaandrager and B. Gebremichael |
12h00
|
On Timing Analysis of
Combinational Circuits |
R.B. Salah, M. Bozga and O. Maler |
12h30
|
Analysis of Real Time Operating
System Based Applications |
L. Waszniowski, Z. Hanzalek |
| 13h00-14h30 |
lunch break
|
|
14h30
|
Paul Petterson (invited speaker) |
| 15h30 |
break
|
|
|
|
Petri nets and Partial Order Semantics
|
| 16h00 |
Using Zone Graph Method for
Computing the State Space of a Time Petri Net |
G. Gardey, O.H. Roux, O.F. Roux |
16h30
|
Causal Time Calculus |
F.Pommereau |
17h00
|
ELSE: A new symbolic state
generator for timed automata |
S. Zennou and M. Yguel and P.
Niebert |
17h30
|
closing
|