Her research is focused on formal methods for model driven development of real-time software and on solution techniques for performance evaluation of concurrent non-Markovian models. As a part of her research, she contributed to the implementation of the ORIS Tool.