Follow
Sumit Kumar Jha
Sumit Kumar Jha
Other namesSumit Jha
Florida International University, Miami
Verified email at sumitkumarjha.com - Homepage
Title
Cited by
Cited by
Year
A bayesian approach to model checking biological systems
SK Jha, EM Clarke, CJ Langmead, A Legay, A Platzer, P Zuliani
Computational Methods in Systems Biology: 7th International Conference, CMSB …, 2009
3152009
Randomization based probabilistic approach to detect trojan circuits
S Jha, SK Jha
2008 11th IEEE High Assurance Systems Engineering Symposium, 117-124, 2008
1722008
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway
EM Clarke, JR Faeder, CJ Langmead, LA Harris, SK Jha, A Legay
Computational Methods in Systems Biology: 6th International Conference CMSB …, 2008
1422008
Predicting heart rate variations of deepfake videos using neural ode
S Fernandes, S Raj, E Ortiz, I Vintila, M Salter, G Urosevic, S Jha
Proceedings of the IEEE/CVF international conference on computer vision …, 2019
1262019
A counterexample-guided approach to parameter synthesis for linear hybrid automata
G Frehse, SK Jha, BH Krogh
Hybrid Systems: Computation and Control: 11th International Workshop, HSCC …, 2008
1212008
Reachability for linear hybrid automata using iterative relaxation abstraction
SK Jha, BH Krogh, JE Weimer, EM Clarke
International Workshop on Hybrid Systems: Computation and Control, 287-300, 2007
962007
Symbolic approaches for finding control strategies in Boolean networks
CJ Langmead, SK Jha
Journal of Bioinformatics and Computational Biology 7 (02), 323-338, 2009
872009
Attribution-based confidence metric for deep neural networks
S Jha, S Raj, S Fernandes, SK Jha, S Jha, B Jalaian, G Verma, A Swami
Advances in Neural Information Processing Systems 32, 2019
802019
Dehallucinating large language models using formal methods guided iterative prompting
S Jha, SK Jha, P Lincoln, ND Bastian, A Velasquez, S Neema
2023 IEEE International Conference on Assured Autonomy (ICAA), 149-152, 2023
602023
Computation of boolean formulas using sneak paths in crossbar computing
SK Jha, DE Rodriguez, JE Van Nostrand, A Velasquez
US Patent 9,319,047, 2016
482016
Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision
A Ramanathan, LL Pullum, F Hussain, D Chakrabarty, SK Jha
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), 786-791, 2016
462016
Detecting deepfake videos using attribution-based confidence metric
S Fernandes, S Raj, R Ewetz, JS Pannu, SK Jha, E Ortiz, I Vintila, M Salter
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2020
442020
Automated synthesis of compact crossbars for sneak-path based in-memory computing
D Chakraborty, SK Jha
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
442017
Refining abstractions of hybrid systems using counterexample fragments
A Fehnker, E Clarke, SK Jha, B Krogh
Hybrid Systems: Computation and Control: 8th International Workshop, HSCC …, 2005
422005
Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
SK Jha, CJ Langmead
Theoretical Computer Science 412 (21), 2162-2187, 2011
402011
Exploring behaviors of sde models of biological systems using change of measures
SK Jha, CJ Langmead
2011 IEEE 1st International Conference on Computational Advances in Bio and …, 2011
392011
Flow-based computing on nanoscale crossbars: Design and implementation of full adders
Z Alamgir, K Beckmann, N Cady, A Velasquez, SK Jha
2016 IEEE International Symposium on Circuits and Systems (ISCAS), 1870-1873, 2016
372016
Estimation of driver’s gaze region from head position and orientation using probabilistic confidence regions
S Jha, C Busso
IEEE Transactions on Intelligent Vehicles 8 (1), 59-72, 2022
362022
Automated synthesis of crossbars for nanoscale computing using formal methods
A Velasquez, SK Jha
Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale …, 2015
292015
Free binary decision diagram-based synthesis of compact crossbars for in-memory computing
AU Hassen, D Chakraborty, SK Jha
IEEE Transactions on Circuits and Systems II: Express Briefs 65 (5), 622-626, 2018
282018
The system can't perform the operation now. Try again later.
Articles 1–20