His research interests include modeling techniques and tools for performance, performability, and dependability analysis of systems. He contributed to analysis techniques for the numerical analysis of Markov chains, model checking stochastic models, and techniques for simulation optimization.