Multi-Workshop on Formal Methods in Performance Evaluation and Applications

Tool Demonstrations

Tools homepage: http://www.cs.wm.edu/~ciardo/PNPM99/tools.html

During the course of the technical programmes (8th - 10th September) there will be opportunities to present and demonstrate the following tools related to PNPM, NSMC and PAPM:

• Peter Buchholz (TU Dresden)
  Peter Kemper (Unversitat Dortmund)
  Numerical analysis techniques in the APNN toolbox
• Armin Zimmermann, Reinhard German, Jorn Freiheit, Gunter Hommel (TU Berlin)
  TimeNET 3.0 tool description
• Gianfranco Ciardo, Andrew S. Miner (College of William and Mary)
  SMART - simulation and Markovian analyzer for reliability and timing
• Graham Clark, Stephen Gilmore, Jane Hillston (University of Edinburgh)
  The PEPA performance modelling tools
• Jean-Claude Hochon, Veronique Font (IXI, Toulouse)
  MISS-RdP interactive system modeling and simulation, performance evaluation by stochastic, colored and hybrid Petri nets
• David Daly, Daniel D. Deavours, Jay M. Doyle, Aaron J. Stillman, Patrick G. Webster, William H. Sanders (University of Illinois, Urbana-Champaign)
  Mobius: an extensible framework for performance and dependability modeling