# Susmit Jha

According to our database

^{1}, Susmit Jha## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

Specification Inference from Demonstrations.

CoRR, 2017

Output Range Analysis for Deep Neural Networks.

CoRR, 2017

A theory of formal synthesis via inductive learning.

Acta Inf., 2017

TeLEx: Passive STL Learning Using Only Positive Examples.

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

On Learning Sparse Boolean Formulae for Explaining AI Decisions.

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

2016

Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty.

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

On Optimal Control of Stochastic Linear Hybrid Systems.

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

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

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

2015

A Theory of Formal Synthesis via Inductive Learning.

CoRR, 2015

Optimizing mobile display brightness by leveraging human visual perception.

Proceedings of the 2015 International Conference on Compilers, 2015

2014

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

IJBRA, 2014

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

IJBRA, 2014

Are There Good Mistakes? A Theoretical Analysis of CEGIS.

Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

Game theoretic secure localization in wireless sensor networks.

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

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

Proceedings of the 2014 International Conference on Compilers, 2014

2013

SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction

CoRR, 2013

2012

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

IJBRA, 2012

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

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.

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

2011

Towards Automated System Synthesis Using SCIDUCTION.

PhD thesis, 2011

Synthesizing Switching Logic to Minimize Long-Run Cost

CoRR, 2011

Synthesis of loop-free programs.

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

Synthesis of optimal switching logic for hybrid systems.

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

2010

Oracle-guided component-based program synthesis.

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

Synthesizing switching logic for safety and dwell-time requirements.

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

Automating Security Mediation Placement.

Proceedings of the Programming Languages and Systems, 2010

2009

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

CoRR, 2009

On the Computational Complexity of Satisfiability Solving for String Theories

CoRR, 2009

Localizing transient faults using dynamic bayesian networks.

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

On voting machine design for verification and testability.

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

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

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.

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

Randomization Based Probabilistic Approach to Detect Trojan Circuits.

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

2007

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.

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

2006

Adapting Biochemical Kripke Structures for Distributed Model Checking.

, 2006