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 | 315 | 2009 |
Randomization based probabilistic approach to detect trojan circuits S Jha, SK Jha 2008 11th IEEE High Assurance Systems Engineering Symposium, 117-124, 2008 | 172 | 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 Computational Methods in Systems Biology: 6th International Conference CMSB …, 2008 | 142 | 2008 |
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 | 126 | 2019 |
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 | 121 | 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 | 96 | 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 | 87 | 2009 |
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 | 80 | 2019 |
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 | 60 | 2023 |
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 | 48 | 2016 |
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 | 46 | 2016 |
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 | 44 | 2020 |
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 | 44 | 2017 |
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 | 42 | 2005 |
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 | 40 | 2011 |
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 | 39 | 2011 |
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 | 37 | 2016 |
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 | 36 | 2022 |
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 | 29 | 2015 |
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 | 28 | 2018 |