UPPAAL 1995 - 2000 Kim G. Larsen BRICS and Department of Computer Science Aalborg University, DENMARK 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. ASTEC seminar Place: Room: 1145 Time: 13.15-14.00 (+ coffee and discussion) Room is in Building 1, Floor 1, room 45 (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.

Updated Thursday, 27-Apr-2006 17:26:48 MEST by
Roland Grönroos
e-mail: Roland.Gronroos@docs.uu.se