Search results for "Susmit Jha"

Found 16 publication records. Showing 16 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Arup K. Ghosh, Faraz Hussain, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha	Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems.	ICCABS	2012	DBLP DOI BibTeX RDF
1	Faraz Hussain, Raj Gautam Dutta, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha	Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing.	ICCABS	2012	DBLP DOI BibTeX RDF
1	Susmit Jha, Sanjit A. Seshia, Ashish Tiwari	Synthesizing Switching Logic to Minimize Long-Run Cost	CoRR	2011	DBLP BibTeX RDF
1	Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan	Synthesis of loop-free programs.	PLDI	2011	DBLP DOI BibTeX RDF
1	Susmit Jha, Sanjit A. Seshia, Ashish Tiwari	Synthesis of optimal switching logic for hybrid systems.	EMSOFT	2011	DBLP DOI BibTeX RDF
1	Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari	Oracle-guided component-based program synthesis.	ICSE	2010	DBLP DOI BibTeX RDF	oracle-based learning, SAT, program synthesis, SMT
1	Dave King 0002, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia	Automating Security Mediation Placement.	ESOP	2010	DBLP DOI BibTeX RDF
1	Susmit Jha, Sanjit A. Seshia, Rhishikesh Limaye	On the Computational Complexity of Satisfiability Solving for String Theories	CoRR	2009	DBLP BibTeX RDF
1	Susmit Jha	Statistical Analysis of Privacy and Anonymity Guarantees in Randomized Security Protocol Implementations	CoRR	2009	DBLP BibTeX RDF
1	Susmit Jha, Wenchao Li, Sanjit A. Seshia	Localizing transient faults using dynamic bayesian networks.	HLDVT	2009	DBLP DOI BibTeX RDF
1	Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia	Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic.	CAV	2009	DBLP DOI BibTeX RDF
1	Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, David Wagner	On voting machine design for verification and testability.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF
1	Sumit Kumar Jha, Susmit Jha	Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking.	HASE	2008	DBLP DOI BibTeX RDF
1	Susmit Jha, Sumit Kumar Jha	Randomization Based Probabilistic Approach to Detect Trojan Circuits.	HASE	2008	DBLP DOI BibTeX RDF
1	Susmit Jha, Bryan A. Brady, Sanjit A. Seshia	Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.	FORMATS	2007	DBLP DOI BibTeX RDF
1	Susmit Jha, R. K. Shyamasundar	Adapting Biochemical Kripke Structures for Distributed Model Checking.	T. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF

Publications of "Susmit Jha" ( http://dblp.L3S.de/Authors/Susmit_Jha )