Jyotirmoy V. Deshmukh

43 papers and 529 indexed citations i.

Jyotirmoy V. Deshmukh has authored 43 papers that have received a total of 529 indexed citations. This includes 33 papers in Computational Theory and Mathematics, 25 papers in Artificial Intelligence and 18 papers in Software. The topics of these papers are Formal Methods in Verification (32 papers), Software Testing and Debugging Techniques (13 papers) and Software Reliability and Analysis Research (9 papers). Jyotirmoy V. Deshmukh is often cited by papers focused on Formal Methods in Verification (32 papers), Software Testing and Debugging Techniques (13 papers) and Software Reliability and Analysis Research (9 papers) and collaborates with scholars based in United States, Switzerland and Germany. Jyotirmoy V. Deshmukh's co-authors include James Kapinski, Xiaoqing Jin, Sriram Sankaranarayanan, Alexandre Donzé and Sanjit A. Seshia and has published in prestigious journals such as SAE technical papers on CD-ROM/SAE technical paper series, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and IEEE Robotics and Automation Letters.