Towards efficient protocol design through protocol profiling and verification of performance and operational metrics. - Stylianos Georgoulas; Klaus Moessner; Bruce Mcaleer; Rahim Tafazolli (IWCMC, 2010)

Using formal verification methods and tools for protocol profiling and performance assessment in mobile and wireless environments. - Stylianos Georgoulas; Klaus Moessner; Bruce Mcaleer; Rahim Tafazolli (PIMRC, 2010)

Evaluating protocol energy use and efficiency through profiling of computational operations. - Bruce Mcaleer; Stylianos Georgoulas; Klaus Moessner; Rahim Tafazolli (IWCMC, 2011)