Travel reports,
ARTES mobility
From: pavelk@it.uu.se
Datum: 18 april 2007
Report from ETAPS'07
I have attended ETAPS'07 (mainly FOSSACS'07 conference), which was held in
Braga, Portugal, at the end of March 2007. I have presented the paper
Sampled Universality of Timed Automata (joint work with Parosh Abdulla and
Wang Yi) there. During the conference, there were many opportunities to
discuss with the other participating members of the real time community.
These discussions were very inspirational for my future research.
The presented paper in the real-time area were mainly focused on analysis of
timed automata model (complexity, decidability), usually with restricted
number of clocks. Another area was duration calculus, two papers presented
by Martin Fraenzle (decidability results for extensions of the duration
calculus) and Paritosh Pandya (sampling abstractions).
The most interesting invited talk presented a tool called Spec# (developed
by Microsoft Research) which gives a support to a programmer while writing a
program. The programmer can annotate the code with invariants, pre- and
postconditions, ownership information, ... and the theorem prover checks
(during the process of writing) whether some of the annotations are
violated. A wide acceptance of such a programming standard supported by such
tools would significantly improve the quality of the produced code.
Pavel
|