Sumit Kumar Jha
Sumit Kumar Jha
University of Texas at San Antonio
Verified email at - Homepage
Cited by
Cited by
A bayesian approach to model checking biological systems
SK Jha, EM Clarke, CJ Langmead, A Legay, A Platzer, P Zuliani
International conference on computational methods in systems biology, 218-234, 2009
Randomization based probabilistic approach to detect trojan circuits
S Jha, SK Jha
2008 11th IEEE High Assurance Systems Engineering Symposium, 117-124, 2008
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
International Conference on Computational Methods in Systems Biology, 231-250, 2008
A counterexample-guided approach to parameter synthesis for linear hybrid automata
G Frehse, SK Jha, BH Krogh
International Workshop on Hybrid Systems: Computation and Control, 187-200, 2008
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
Symbolic approaches for finding control strategies in Boolean networks
CJ Langmead, SK Jha
Journal of bioinformatics and computational biology 7 (02), 323-338, 2009
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
Symbolic reachability analysis of lazy linear hybrid automata
S Jha, BA Brady, SA Seshia
International Conference on Formal Modeling and Analysis of Timed Systems …, 2007
Refining abstractions of hybrid systems using counterexample fragments
A Fehnker, E Clarke, SK Jha, B Krogh
International Workshop on Hybrid Systems: Computation and Control, 242-257, 2005
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
Exploring behaviors of stochastic differential equation models of biological systems using change of measures
SK Jha, CJ Langmead
BMC bioinformatics 13 (5), 1-10, 2012
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
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
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
Predicting protein folding kinetics via temporal logic model checking
CJ Langmead, SK Jha
International Workshop on Algorithms in Bioinformatics, 252-264, 2007
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
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
Temporal logic model checking
E Clarke, A Fehnker, SK Jha, H Veith
Handbook of Networked and Embedded Control Systems, 539-558, 2005
Attribution-based confidence metric for deep neural networks
S Jha, S Raj, S Fernandes, SK Jha, S Jha, B Jalaian, G Verma, A Swami
Parallel computing using memristive crossbar networks: Nullifying the processor-memory bottleneck
A Velasquez, SK Jha
2014 9th International Design and Test Symposium (IDT), 147-152, 2014
The system can't perform the operation now. Try again later.
Articles 1–20