| Approximating a behavioural pseudometric without discount for probabilistic systems F Van Breugel, B Sharma, J Worrell Logical Methods in Computer Science 4, 2008 | 72 | 2008 |
| Bounded validity checking of interval duration logic B Sharma, PK Pandya, S Chakraborty Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005 | 34 | 2005 |
| Static analysis based on abstract program representations B Sharma, A Mak, RM Goldberg, JT Peyton, JC Turnham, MF Murphy, ... US Patent 9,785,777, 2017 | 27 | 2017 |
| Static analysis of client-server applications using framework independent specifications S Artzi, R Berg, YA Haviv, JT Peyton Jr, M Pistoia, M Sridharan, B Sharma, ... US Patent App. 12/912,382, 2012 | 25 | 2012 |
| Prioritizing security findings in a SAST tool based on historical security analysis B Sharma, KA Duer, RM Goldberg, SD Teilhet, JC Turnham, S Wang, ... US Patent 9,544,327, 2017 | 21 | 2017 |
| Crowd-sourced security analysis B Sharma, RM Goldberg, JC Turnham US Patent 9,531,745, 2016 | 17 | 2016 |
| Assertion checking environment (ace) for formal verification of c programs B Sharma, SD Dhodapkar, S Ramesh International Conference on Computer Safety, Reliability, and Security, 284-295, 2002 | 14 | 2002 |
| Crowd-sourced security analysis B Sharma, RM Goldberg, JC Turnham US Patent 9,779,252, 2017 | 10 | 2017 |
| Assertion checking environment (ACE) for formal verification of C programs B Sharma, SD Dhodapkar, S Ramesh Reliability Engineering & System Safety 81 (3), 281-290, 2003 | 5 | 2003 |
| Testing source code changes B Sharma US Patent 11,650,905, 2023 | 4 | 2023 |
| Scan time reduction in application code security scanning JT Peyton Jr, B Sharma, JN Todd, JC Turnham, M Merineau, E Merlo US Patent 10,614,218, 2020 | 2 | 2020 |
| Detection of runtime errors in MISRA C programs: A deductive approach AK John, B Sharma, AK Bhattacharjee, SD Dhodapkar, S Ramesh Computer Safety, Reliability, and Security: 26th International Conference …, 2007 | 2 | 2007 |
| An algorithm to quantify behavioural similarity between probabilistic systems B Sharma York University, 2006 | 1 | 2006 |
| Applying machine learning techniques to discover security impacts of application programming interfaces KA Duer, JT Peyton Jr, B Sharma, DE Stewart, JN Todd, S Wang US Patent 11,544,384, 2023 | | 2023 |
| Static analysis based on abstract program representations B Sharma, A Mak, RM Goldberg, JT Peyton, JC Turnham, MF Murphy, ... US Patent 10,482,262, 2019 | | 2019 |
| Applying machine learning techniques to discover security impacts of application programming interfaces KA Duer, JT Peyton Jr, B Sharma, DE Stewart, JN Todd, S Wang US Patent 10,339,320, 2019 | | 2019 |
| AN ALGORITHM TO QUANTIFY BEHAVIOURAL SIMILARITY B Sharma YORK UNIVERSITY TORONTO, 2006 | | 2006 |
| Formal verification of reactor process control software using assertion checking environment B Sharma, S Balaji, AK John, AK Bhattacharjee, SD Dhodapkar | | 2005 |
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DEmail verificata su iitbombay.org
