Travel reports,
ARTES mobility
Report from Aalborg visit and ETAPS conference, spring 2002
by Alexandre David
Supported by a travel grant from ARTES, I spent four weeks
in Aalborg University to work on UPPAAL. We implemented new
data structures, we changed the pipeline of UPPAAL, and we
prepared the future hierarchical engine. This work gave a
performance boost to UPPAAL: 5x faster and 5x less memory compared
to the official release.
During my visit I was asked to give a seminar on "Verification
of UML Statecharts with Real-time Extensions" that was going
to be presented at the FASE conference, part of the joint ETAPS
2002 conference.
Then I spent a week in Grenoble for the ETAPS conference where
I presented my paper. From the other presentations and the
invited speakers there was a clear trend towards abstraction in
model-checking.
| 
