Susmit Jha

According to our database, Susmit Jha authored at least 106 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Concept-based Analysis of Neural Networks via Vision-Language Models.

Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu

CoRR, 2024

Task-Agnostic Detector for Insertion-Based Backdoor Attacks.

Weimin Lyu, Xiao Lin, Songzhu Zheng, Lu Pang, Haibin Ling, Susmit Jha, Chao Chen

CoRR, 2024

Calibration and Correctness of Language Models for Code.

Claudio Spiess, David Gros, Kunal Suresh Pai, Michael Pradel, Md. Rafiqul Islam Rabin, Amin Alipour, Susmit Jha, Prem Devanbu, Toufique Ahmed

CoRR, 2024

Direct Amortized Likelihood Ratio Estimation.

Adam D. Cobb, Brian Matejek, Daniel Elenius, Anirban Roy, Susmit Jha

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories.

Hassen Saïdi, Susmit Jha, Tuhin Sahai

CoRR, 2023

Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving.

Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema

CoRR, 2023

Neural Stochastic Differential Equations for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions.

Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez

CoRR, 2023

AircraftVerse: A Large-Scale Multimodal Dataset of Aerial Vehicle Designs.

Adam D. Cobb, Anirban Roy, Daniel Elenius, F. Michael Heim, Brian Swenson, Sydney Whittington, James D. Walker, Theodore Bapty, Joseph Hite, Karthik Ramani, Christopher McComb, Susmit Jha

CoRR, 2023

Measuring Classification Decision Certainty and Doubt.

Alexander M. Berenbeim, Iain J. Cruickshank, Susmit Jha, Robert H. Thomson, Nathaniel D. Bastian

CoRR, 2023

On the Robustness of AlphaFold: A COVID-19 Case Study.

Ismail Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Alvaro Velasquez, Rickard Ewetz, Arvind Ramanathan, Susmit Jha

CoRR, 2023

AircraftVerse: A Large-Scale Multimodal Dataset of Aerial Vehicle Designs.

Adam B. Cobb, Anirban Roy, Daniel Elenius, F. Michael Heim, Brian Swenson, Sydney Whittington, James D. Walker, Theodore Bapty, Joseph Hite, Karthik Ramani, Christopher McComb, Susmit Jha

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Challenges and Opportunities in Neuro-Symbolic Composition of Foundation Models.

Susmit Jha, Anirban Roy, Adam D. Cobb, Alexander M. Berenbeim, Nathaniel D. Bastian

Proceedings of the IEEE Military Communications Conference, 2023

Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving.

Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema

Proceedings of the IEEE Military Communications Conference, 2023

Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions.

Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez

Proceedings of the IEEE Military Communications Conference, 2023

Principled OOD Detection via Multiple Testing.

Akshayaa Magesh, Venugopal V. Veeravalli, Anirban Roy, Susmit Jha

Proceedings of the IEEE International Symposium on Information Theory, 2023

TIJO: Trigger Inversion with Joint Optimization for Defending Multimodal Backdoored Models.

Indranil Sur, Karan Sikka, Matthew Walmer, Kaushik Koneripalli, Anirban Roy, Xiao Lin, Ajay Divakaran, Susmit Jha

Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

CODiT: Conformal Out-of-Distribution Detection in Time-Series Data for Cyber-Physical Systems.

Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Yahan Yang, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

Detecting Trojaned DNNs Using Counterfactual Attributions.

Karan Sikka, Indranil Sur, Anirban Roy, Ajay Divakaran, Susmit Jha

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

Predicting Out-of-Distribution Performance of Deep Neural Networks Using Model Conformance.

Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting.

Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

Lightning Talk: Trinity - Assured Neuro-symbolic Model Inspired by Hierarchical Predictive Coding.

Susmit Jha

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems - Part 2.

Jingtong Hu, Qi Zhu, Susmit Jha

ACM Trans. Cyber Phys. Syst., 2022

Design of Unmanned Air Vehicles Using Transformer Surrogate Models.

Adam D. Cobb, Anirban Roy, Daniel Elenius, Susmit Jha

CoRR, 2022

CODiT: Conformal Out-of-Distribution Detection in Time-Series Data.

Ramneet Kaur, Kaustubh Sridhar, Sangdon Park, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee

CoRR, 2022

Multiple Testing Framework for Out-of-Distribution Detection.

Akshayaa Magesh, Venugopal V. Veeravalli, Anirban Roy, Susmit Jha

CoRR, 2022

Principal Manifold Flows.

Edmond Cunningham, Adam D. Cobb, Susmit Jha

CoRR, 2022

Detecting out-of-context objects using contextual cues.

Manoj Acharya, Anirban Roy, Kaushik Koneripalli, Susmit Jha, Christopher Kanan, Ajay Divakaran

CoRR, 2022

Context-aware Collaborative Neuro-Symbolic Inference in IoBTs.

Tarek F. Abdelzaher, Nathaniel D. Bastian, Susmit Jha, Lance M. Kaplan, Mani B. Srivastava, Venugopal V. Veeravalli

Proceedings of the IEEE Military Communications Conference, 2022

Detecting Out-Of-Context Objects Using Graph Contextual Reasoning Network.

Manoj Acharya, Anirban Roy, Kaushik Koneripalli, Susmit Jha, Christopher Kanan, Ajay Divakaran

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

ExplainIt!: A Tool for Computing Robust Attributions of DNNs.

Sumit Kumar Jha, Alvaro Velasquez, Rickard Ewetz, Laura Pullum, Susmit Jha

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Principal Component Flows.

Edmond Cunningham, Adam D. Cobb, Susmit Jha

Proceedings of the International Conference on Machine Learning, 2022

Trigger Hunting with a Topological Prior for Trojan Detection.

Xiaoling Hu, Xiao Lin, Michael Cogswell, Yi Yao, Susmit Jha, Chao Chen

Proceedings of the Tenth International Conference on Learning Representations, 2022

Dual-Key Multimodal Backdoors for Visual Question Answering.

Matthew Walmer, Karan Sikka, Indranil Sur, Abhinav Shrivastava, Susmit Jha

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2022

iDECODe: In-Distribution Equivariance for Conformal Out-of-Distribution Detection.

Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Edgar Dobriban, Oleg Sokolsky, Insup Lee

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations.

Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Arvind Ramanathan, Susmit Jha

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Introduction to the Special Issue on Artificial Intelligence and Cyber-Physical Systems: Part 1.

Jingtong Hu, Qi Zhu, Susmit Jha

ACM Trans. Cyber Phys. Syst., 2021

Protein Folding Neural Networks Are Not Robust.

Sumit Kumar Jha, Arvind Ramanathan, Rickard Ewetz, Alvaro Velasquez, Susmit Jha

CoRR, 2021

Detecting OODs as datapoints with High Uncertainty.

Ramneet Kaur, Susmit Jha, Anirban Roy, Sangdon Park, Oleg Sokolsky, Insup Lee

CoRR, 2021

Online Defense of Trojaned Models using Misattributions.

Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha

CoRR, 2021

Are all outliers alike? On Understanding the Diversity of Outliers for Detecting OODs.

Ramneet Kaur, Susmit Jha, Anirban Roy, Oleg Sokolsky, Insup Lee

CoRR, 2021

Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures.

Alvaro Velasquez, Sumit Kumar Jha, Rickard Ewetz, Susmit Jha

Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

On Smoother Attributions using Neural Stochastic Differential Equations.

Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Susmit Jha

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

On Detection of Out of Distribution Inputs in Deep Neural Networks.

Susmit Jha, Anirban Roy

Proceedings of the Third IEEE International Conference on Cognitive Machine Intelligence, 2021

MISA: Online Defense of Trojaned Models using Misattributions.

Panagiota Kiourti, Wenchao Li, Anirban Roy, Karan Sikka, Susmit Jha

Proceedings of the ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6, 2021

2020

An Extension of Fano's Inequality for Characterizing Model Susceptibility to Membership Inference Attacks.

Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Sunny Raj, Alvaro Velasquez, Laura L. Pullum, Ananthram Swami

CoRR, 2020

Model-Centered Assurance for Autonomous Systems.

Susmit Jha, John Rushby, Natarajan Shankar

Proceedings of the Computer Safety, Reliability, and Security, 2020

On the Need for Topology-Aware Generative Models for Manifold-Based Defenses.

Uyeong Jang, Susmit Jha, Somesh Jha

Proceedings of the 8th International Conference on Learning Representations, 2020

TrojDRL: Evaluation of Backdoor Attacks on Deep Reinforcement Learning.

Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

Learning Certified Control Using Contraction Metric.

Dawei Sun, Susmit Jha, Chuchu Fan

Proceedings of the 4th Conference on Robot Learning, 2020

Estimating the Density of States of Boolean Satisfiability Problems on Classical and Quantum Computing Platforms.

Tuhin Sahai, Anurag Mishra, Jose Miguel Pasini, Susmit Jha

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae.

Susmit Jha, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, Michael Francis

J. Autom. Reason., 2019

TeLEx: learning signal temporal logic from positive examples using tightness metric.

Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar

Formal Methods Syst. Des., 2019

On Need for Topology Awareness of Generative Models.

Uyeong Jang, Susmit Jha, Somesh Jha

CoRR, 2019

TrojDRL: Trojan Attacks on Deep Reinforcement Learning Agents.

Panagiota Kiourti, Kacper Wardega, Susmit Jha, Wenchao Li

CoRR, 2019

Attribution-driven Causal Analysis for Detection of Adversarial Examples.

Susmit Jha, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha, Somesh Jha, Gunjan Verma, Brian Jalaian, Ananthram Swami

CoRR, 2019

Attribution-Based Confidence Metric For Deep Neural Networks.

Susmit Jha, Sunny Raj, Steven Lawrence Fernandes, Sumit Kumar Jha, Somesh Jha, Brian Jalaian, Gunjan Verma, Ananthram Swami

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Sherlock - A tool for verification of neural network feedback systems: demo abstract.

Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Trust, Resilience and Interpretability of AI Models.

Susmit Jha

Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

A Risk-Sensitive Finite-Time Reachability Approach for Safety of Stochastic Dynamic Systems.

Margaret P. Chapman, Jonathan Lacotte, Aviv Tamar, Donggun Lee, Kevin M. Smith, Victoria Cheng, Jaime F. Fisac, Susmit Jha, Marco Pavone, Claire J. Tomlin

Proceedings of the 2019 American Control Conference, 2019

Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions.

Susmit Jha, John Rushby

Proceedings of the Papers of the 2019 Towards Conscious AI Systems Symposium co-located with the Association for the Advancement of Artificial Intelligence 2019 Spring Symposium Series (AAAI SSS-19), 2019

2018

Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic.

Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia

J. Autom. Reason., 2018

Trusted Neural Networks for Safety-Constrained Autonomous Control.

Shalini Ghosh, Amaury Mercier, Dheeraj Pichapati, Susmit Jha, Vinod Yegneswaran, Patrick Lincoln

CoRR, 2018

Toward an Internet of Battlefield Things: A Resilience Perspective.

Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli

Computer, 2018

Learning Task Specifications from Demonstrations.

Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Mark K. Ho, Sanjit A. Seshia

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Output Range Analysis for Deep Feedforward Neural Networks.

Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Detecting Adversarial Examples Using Data Manifolds.

Susmit Jha, Uyeong Jang, Somesh Jha, Brian Jalaian

Proceedings of the 2018 IEEE Military Communications Conference, 2018

Will Distributed Computing Revolutionize Peace? The Emergence of Battlefield IoT.

Tarek F. Abdelzaher, Nora Ayanian, Tamer Basar, Suhas N. Diggavi, Jana Diesner, Deepak Ganesan, Ramesh Govindan, Susmit Jha, Tancrède Lepoint, Benjamin M. Marlin, Klara Nahrstedt, David M. Nicol, Raj Rajkumar, Stephen Russell, Sanjit A. Seshia, Fei Sha, Prashant J. Shenoy, Mani B. Srivastava, Gaurav S. Sukhatme, Ananthram Swami, Paulo Tabuada, Don Towsley, Nitin H. Vaidya, Venugopal V. Veeravalli

Proceedings of the 38th IEEE International Conference on Distributed Computing Systems, 2018

Duality-Based Nested Controller Synthesis from STL Specifications for Stochastic Linear Systems.

Susmit Jha, Sunny Raj, Sumit Kumar Jha, Natarajan Shankar

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes.

Shalini Ghosh, Susmit Jha, Ashish Tiwari, Patrick Lincoln, Xiaojin Zhu

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

Data Efficient Learning of Robust Control Policies.

Susmit Jha, Patrick Lincoln

Proceedings of the 56th Annual Allerton Conference on Communication, 2018

Learning and Verification of Feedback Control Systems using Feedforward Neural Networks.

Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Machine Learning and Formal Method (Dagstuhl Seminar 17351).

Sanjit A. Seshia, Xiaojin (Jerry) Zhu, Andreas Krause, Susmit Jha

Dagstuhl Reports, 2017

Specification Inference from Demonstrations.

Marcell Vazquez-Chanlatte, Susmit Jha, Ashish Tiwari, Sanjit A. Seshia

CoRR, 2017

Output Range Analysis for Deep Neural Networks.

Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari

CoRR, 2017

A theory of formal synthesis via inductive learning.

Susmit Jha, Sanjit A. Seshia

Acta Informatica, 2017

TeLEx: Passive STL Learning Using Only Positive Examples.

Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar

Proceedings of the Runtime Verification - 17th International Conference, 2017

On Learning Sparse Boolean Formulae for Explaining AI Decisions.

Susmit Jha, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, Michael Francis

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016

Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty.

Susmit Jha, Vasumathi Raman

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

On Optimal Control of Stochastic Linear Hybrid Systems.

Susmit Jha, Vasumathi Raman

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks.

Susmit Jha, Vasumathi Raman, Sanjit A. Seshia

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Optimizing mobile display brightness by leveraging human visual perception.

Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik

Proceedings of the 2015 International Conference on Compilers, 2015

2014

Parameter discovery in stochastic biological models using simulated annealing and statistical model checking.

Faraz Hussain, Sumit Kumar Jha, Susmit Jha, Christopher James Langmead

Int. J. Bioinform. Res. Appl., 2014

Discovering rare behaviours in stochastic differential equations using decision procedures: applications to a minimal cell cycle model.

Arup Kumar Ghosh, Faraz Hussain, Susmit Jha, Christopher James Langmead, Sumit Kumar Jha

Int. J. Bioinform. Res. Appl., 2014

Are There Good Mistakes? A Theoretical Analysis of CEGIS.

Susmit Jha, Sanjit A. Seshia

Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

Game theoretic secure localization in wireless sensor networks.

Susmit Jha, Stavros Tripakis, Sanjit A. Seshia, Krishnendu Chatterjee

Proceedings of the 4th International Conference on the Internet of Things, 2014

CAPED: Context-aware personalized display brightness for mobile devices.

Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik

Proceedings of the 2014 International Conference on Compilers, 2014

2013

SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction

Susmit Jha, Sanjit A. Seshia

CoRR, 2013

2012

Synthesis of insulin pump controllers from safety specifications using Bayesian model validation.

Sumit Kumar Jha, Raj Gautam Dutta, Christopher James Langmead, Susmit Jha, Emily Sassano

Int. J. Bioinform. Res. Appl., 2012

Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing.

Faraz Hussain, Raj Gautam Dutta, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha

Proceedings of the IEEE 2nd International Conference on Computational Advances in Bio and Medical Sciences, 2012

Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems.

Arup K. Ghosh, Faraz Hussain, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha

Proceedings of the IEEE 2nd International Conference on Computational Advances in Bio and Medical Sciences, 2012

2011

Towards Automated System Synthesis Using SCIDUCTION.

Susmit Jha

PhD thesis, 2011

Synthesizing Switching Logic to Minimize Long-Run Cost

Susmit Jha, Sanjit A. Seshia, Ashish Tiwari

CoRR, 2011

Synthesis of loop-free programs.

Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Synthesis of optimal switching logic for hybrid systems.

Susmit Jha, Sanjit A. Seshia, Ashish Tiwari

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Oracle-guided component-based program synthesis.

Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Synthesizing switching logic for safety and dwell-time requirements.

Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari

Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

Automating Security Mediation Placement.

Dave King, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia

Proceedings of the Programming Languages and Systems, 2010

2009

Statistical Analysis of Privacy and Anonymity Guarantees in Randomized Security Protocol Implementations

Susmit Jha

CoRR, 2009

On the Computational Complexity of Satisfiability Solving for String Theories

Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye

CoRR, 2009

Localizing transient faults using dynamic bayesian networks.

Susmit Jha, Wenchao Li, Sanjit A. Seshia

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2009

On voting machine design for verification and testability.

Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, David A. Wagner

Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic.

Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking.

Sumit Kumar Jha, Susmit Jha

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

Randomization Based Probabilistic Approach to Detect Trojan Circuits.

Susmit Jha, Sumit Kumar Jha

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.

Susmit Jha, Bryan A. Brady, Sanjit A. Seshia

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

Adapting Biochemical Kripke Structures for Distributed Model Checking.

Susmit Jha, R. K. Shyamasundar

Trans. Comp. Sys. Biology, 2006