Collaborators

• @Uppsala

  • Wang Yi
  • Paul Pettersson
  • Johan Bengtsson
  • Fredrik Larsson
  • Bengt Jonsson

• Others

  • Magnus Lindahl
  • Francois Laroussinie
  • Augusto Burgueno
  • David Griffieon

• @Aalborg

  • Carsten Weise
  • Arne Skou
  • Klaus Havelund
  • Luca Aceto
  • Kåre Kristoffersen
  • Henrik Ejersbo
  • Gerd Behrman
  • Palle, Jesper, Thomas, Per
  • Peter K. Jensen, Brian Nielsen

21 published papers

6 invited talks, 9 industrial case studies

> 100 registered users

http://www.docs.uu.se/docs/rtmv/uppaal/index.shtml

Previous slide

Next slide

Back to first slide

View graphic version