Official LSV Web Site
Forward analysis of timed automata: role of diagonal constraints.
My master has been supervised by
Patricia Bouyer and
François Laroussinie.
The subject was to propose a correction to the bug of the forward
analysis of timed automata, in presence of diagonal constraints.
This bug has been put in light by Patricia Bouyer (see a discussion
there).
Publications related to this work, available on my
publication webpage, are the following:
- my master thesis (in french),
- a short paper published in the proceedings of
the winter school MOVEP'04,
- a publication at the conference FORMATS'05.
New! This method has been implemented in the tool UPPAAL! More informations can be
found
on this webpage.
Back to homepage