Updated Thursday, 27-Apr-2006 17:26:48 MEST by
UPPAAL 1995 - 2000
In the spring of 1995, me and my family had the pleasure of spending one half year sabbatical at DoCS, Uppsala University. The visit resulted in an almost instant 'chemical' reaction: within 2 months we were able to go public with the very first version of the real-time verification tool UPPAAL.
In the following years, the development of UPPAAL continued with even greater strength as a collaborative research effort between BRICS, Aalborg, and DoCS, Uppsala, involving several mutual visits of researchers and students, and giving rise to several publications and case-studies. Today, I think it is fair to say, UPPAAL has been established as one of the most efficient and accessible verification tools for real-time systems.
In this talk I will offer my personal version of the story behind almost 5 years of UPPAAL-development, starting from the dark pre-UPPAAL period, and offering some possible avenues for what seems to be a bright future for UPPAAL.
Room: 1145Room is in Building 1, Floor 1, room 45
Time: 13.15-14.00 (+ coffee and discussion)
(in the northern part of the building).
Help on how get here and MIC campus drawing.
There will be an extended period for discussions after the seminar
nourished by buns and coffee.