Agenda of the 3rd VOSS Meeting in Nijmegen, 14./15. March 2002

Thursday, 14.03.2002

  • Kai Lampka: Performance evaluation tool supporting  multi-formalism modeling
  • Suzana Andova: Branching bisimulation for fully probabilistic processes:  can fully be overcome?
  • Christel Baier: A simulation preorder for CTMCs
  • Joost-Pieter Katoen: Probabilistic UML statecharts

Friday, 15.03.2002

  • Organisation of GI-Dagstuhl seminar "Validation of Stochastic Systems"
  • Frits Vaandrager: Dynamic Configuration of IPv4 Link Local Addresses