For supervised theses see list of supervised theses. Further, I am always searching for student assistants to support tool development and conduct experiments (e.g. setup and performance measurements).
"DQL (Descartes Query Language)" - is an language and processing framework to answer performance queries using different tool adapter.
"DML (Descartes Modeling Language)" - is an architecture-level modeling language for quality-of-service and resource management of modern dynamic IT systems and infrastructures.
"PMX (Performance Model eXtractor)" — Automatic construction of architectural performance models
"QPME (Queueing Petri net Modeling Environment)" is an open-source tool for stochastic modeling and analysis based on the Queueing Petri Net (QPN) modeling formalism.