ARTES
-------------------------------------------------

 
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
  ---------------------line----------------------------
  Strategic Research