Mahesh Viswanathan
University of Illinois Urbana-Champaign(US)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, Logic, programming, and type systems, Machine Learning and Algorithms
Most-Cited Works
- → A prototype document image analysis system for technical journals(1992)363 cited
- → Statistical Model Checking of Black-Box Probabilistic Systems(2004)277 cited
- → On Statistical Model Checking of Stochastic Systems(2005)238 cited
- → Java-MaC: A Run-Time Assurance Approach for Java Programs(2004)218 cited
- → The relationship between public key encryption and oblivious transfer(2002)204 cited
- → Measuring speech quality for text-to-speech systems: development and assessment of a modified mean opinion score (MOS) scale(2004)186 cited
- → VESTA: A statistical model-checker and analyzer for probabilistic systems(2005)171 cited