Contact Details

Indika Meedeniya
Faculty of ICT
Swinburne University of Technology
John Street, Hawthorn
Melbourne, Victoria 3122
Tel: +61 430 239 663
Email: imeedeniya[at]
Gmail: indikamee[at]


My research interests include software architecture of embedded systems, non-functional aspects in safety-and mission-critical software systems, architecture-based quality evalution and software architecture optimization under uncertainty. I mainly focus on the the model based evaluation of probabilistic properties like reliability, availablity, safety and performance. I have recently completed my PhD at Swinburne University of Technology based on a project funded by the AutoCRC in developing safe and reliable software for automotive systems.


Journal Articles

International Conferences and Workshops


Scientific Software

ArcheOpterix: Architecture evaluation and optimisation framework.

PSPWizard: Property Specification Pattern Wizard

ProProST: Probabilitic Property Specification Templates


  • Ph.D. in Software Egnineering, Swinburne University of Technology, Oct, 2008 - July, 2012.
  • Honours Degree of Bachelor of Science of Engineering (Electronics and Telecommunications)
    First Class (2005)
    University of Moratuwa, Sri Lanka
  • General Certificate of Education (Advanced Level) - 2000
    Three A passes in mathematics stream
    3rd best results in the country


2012 (May-Jun) Visiting Researcher, University of Kaiserslauthern, Germany
2008- 2012 Research Scholar, Swinburne University of Technology
2011- Current Teaching Assistant, Swinburne University of Technology
2008 - 2011 Software Engineer (part time), Swinburne University of Technology
2007 - 2008 Technical Lead at Millennium IT (Pvt) Ltd.
( )
2005 - 2007 Software Engineer at Millennium IT (Pvt) Ltd.
( )
2003 (Feb - Aug) Trainee Engineer, MTN Networks Pvt Ltd.
( )