EPEW 2012

http://epew2012.pst.ifi.lmu.de/index.html

Ludwig-Maximilians University of Munich, Germany

30-31 July 2012

EPEW is an annual forum for theoretical results, practical applications, and supporting tools for performance modelling.

We solicit papers on the following topics:

• Mathematical methods
  • Stochastic processes
  • Hybrid automata
  • Fluid/mean-field models
• Languages and models
  • Queueing networks
  • Stochastic extensions of Petri Nets
  • Stochastic process algebra
  • Stochastic automata
• Specification techniques
  • Rewards
  • Quantitative model checking
• Solution techniques
  • Numerical methods
  • Stochastic simulation
  • Closed-form solutions
• Tool support
• Applications
  • Software performance engineering
  • Communication networks
  • Embedded systems
  • Trade-off analysis with other non-functional properties (e.g., availability, reliability, security)