Maneesh Khattri

According to our database, Maneesh Khattri authored at least 2 papers in 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

A Markov Reward Model Checker.

Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Model Checking Markov Reward Models with Impulse Rewards.

Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005