mahesh viswanathan
- Model Checking Markov Chains in the
presence of Uncertainities, K. Sen, M. Viswanathan,
G.Agha. International Conference on Tools and Algorithms for
the Construction and Analysis of Systems (TACAS), 2006.
- On Statistical Model Checking of
Stochastic Systems, K. Sen, M. Viswanathan,
G. Agha. International Conference on Computer-Aided
Verification (CAV), 2005.
- VESTA: A Statistical Model Checker and Analyzer
for Probabilistic Systems, K. Sen, M. Viswanathan,
G. Agha. International Conference on Quantitative Evaluation
of Systems (QEST), 2005.
- Learning Continuous Time Markov Chains
from Sample Executions, K. Sen, M. Viswanathan,
G. Agha. International Conference on Quantitative Evaluation
of Systems (QEST), 2004.
- Statistical Model Checking of Black-Box
Probabilistic Systems, K. Sen, M. Viswanathan,
G. Agha. International Conference on Computer-Aided
Verification (CAV), 2004.