Home | Sitemap | Index | Contact | Legals | KIT

FESCA @ ETAPS 2009, 6th International Workshop on Formal Engineering approaches to Software Components and Architectures

York, UK

Contributions by our group:

  • "Using Heuristics to Automate Parameter Generation for Benchmarking of Java Methods" by Michael Kuperberg, Fouad Omri, and Ralf Reussner
  • "Automatic, model-based software performance improvement for component-based software designs" by Anne Martens and Heiko Koziolek