Susmit Jha
According to our database^{1}, Susmit Jha
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:

at orcid.org
On csauthors.net:
Bibliography
2018
Safe Autonomy Under Perception Uncertainty Using ChanceConstrained Temporal Logic.
J. Autom. Reasoning, 2018
2017
Machine Learning and Formal Method (Dagstuhl Seminar 17351).
Dagstuhl Reports, 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 ComputerAided 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: Contextaware 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 LongRun Cost
CoRR, 2011
Synthesis of loopfree 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
Oracleguided componentbased program synthesis.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
Synthesizing switching logic for safety and dwelltime requirements.
Proceedings of the ACM/IEEE 1st International Conference on CyberPhysical 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 BitVector 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