Susmit Jha

Sriram Sankaranarayanan

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

Detecting Adversarial Examples Using Data Manifolds.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Military Communications Conference, 2018

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Data Efficient Learning of Robust Control Policies.

[BibT_eX]

[DOI]

Patrick Lincoln

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

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

[BibT_eX]

[DOI]

Souradeep Dutta

Sriram Sankaranarayanan

Marcell Vazquez-Chanlatte

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

2017

Machine Learning and Formal Method (Dagstuhl Seminar 17351).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2017

Specification Inference from Demonstrations.

[BibT_eX]

[DOI]

CoRR, 2017

Output Range Analysis for Deep Neural Networks.

[BibT_eX]

[DOI]

Souradeep Dutta

Sriram Sankaranarayanan

CoRR, 2017

A theory of formal synthesis via inductive learning.

[BibT_eX]

[DOI]

Acta Informatica, 2017

TeLEx: Passive STL Learning Using Only Positive Examples.

[BibT_eX]

[DOI]

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

On Learning Sparse Boolean Formulae for Explaining AI Decisions.

[BibT_eX]

[DOI]

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

2016

Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty.

[BibT_eX]

[DOI]

Vasumathi Raman

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

On Optimal Control of Stochastic Linear Hybrid Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Vasumathi Raman

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

2015

Optimizing mobile display brightness by leveraging human visual perception.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Compilers, 2015

2014

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Arup Kumar Ghosh

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

Are There Good Mistakes? A Theoretical Analysis of CEGIS.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

Game theoretic secure localization in wireless sensor networks.

[BibT_eX]

[DOI]

Stavros Tripakis

Krishnendu Chatterjee

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

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

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Compilers, 2014

2013

SWATI: Synthesizing Wordlengths Automatically Using Testing and Induction

[BibT_eX]

[DOI]

CoRR, 2013

2012

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

[BibT_eX]

[DOI]

Raj Gautam Dutta

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.

[BibT_eX]

[DOI]

Raj Gautam Dutta

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.

[BibT_eX]

[DOI]

Arup K. Ghosh

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

2011

Towards Automated System Synthesis Using SCIDUCTION.

[BibT_eX]

[DOI]

PhD thesis, 2011

Synthesizing Switching Logic to Minimize Long-Run Cost

[BibT_eX]

[DOI]

CoRR, 2011

Synthesis of loop-free programs.

[BibT_eX]

[DOI]

Sumit Gulwani

Ramarathnam Venkatesan

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

Synthesis of optimal switching logic for hybrid systems.

[BibT_eX]

[DOI]

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

2010

Oracle-guided component-based program synthesis.

[BibT_eX]

[DOI]

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

Synthesizing switching logic for safety and dwell-time requirements.

[BibT_eX]

[DOI]

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

Automating Security Mediation Placement.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2010

2009

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

[BibT_eX]

[DOI]

CoRR, 2009

On the Computational Complexity of Satisfiability Solving for String Theories

[BibT_eX]

[DOI]

Rhishikesh Limaye

CoRR, 2009

Localizing transient faults using dynamic bayesian networks.

[BibT_eX]

[DOI]

Wenchao Li

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

On voting machine design for verification and testability.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Rhishikesh Limaye

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.

[BibT_eX]

[DOI]

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

Randomization Based Probabilistic Approach to Detect Trojan Circuits.

[BibT_eX]

[DOI]

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

2007

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.

[BibT_eX]

[DOI]

Bryan A. Brady

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

2006

Adapting Biochemical Kripke Structures for Distributed Model Checking.

[BibT_eX]

[DOI]