Ashish Tiwari

Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, 2018, 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

Severity Levels of Inconsistent Code

Ashish Tiwari, Martin Schäf, A. Tiwari, 2015, ATVA.

Investment Decisions Under Ambiguity: Evidence from Mutual Fund Investor Behavior

Ashish Tiwari, Lin Tong, C. Wei Li, 2015, Manag. Sci..

HybridSAL Relational Abstracter

Ashish Tiwari, A. Tiwari, 2012, CAV.

Reverse Engineering Digital Circuits Using Structural and Functional Analyses

Ashish Tiwari, Sharad Malik, Natarajan Shankar, 2014, IEEE Transactions on Emerging Topics in Computing.

Invisible formal methods for embedded control systems

Ashish Tiwari, Natarajan Shankar, John M. Rushby, 2003, Proc. IEEE.

Rewrite Closure for Ground and Cancellative AC Theories

Ashish Tiwari, 2001, FSTTCS.

Combining Equational Reasoning

Ashish Tiwari, A. Tiwari, 2009, FroCoS.

Synthesis for Polynomial Lasso Programs

Ashish Tiwari, Jan Leike, A. Tiwari, 2013, VMCAI.

Synthesizing Switching Logic to Minimize Long-Run Cost pdf

Ashish Tiwari, Sanjit A. Seshia, Susmit Jha, 2011, ArXiv.

An optimized scheduling algorithm for cloud broker using adaptive cost model

Ashish Tiwari, Mehul Mahrishi, A. Nagaraju, 2013, 2013 3rd IEEE International Advance Computing Conference (IACC).

Generating Box Invariants

Ashish Tiwari, 2008, HSCC.

Efficient Service Utilization in Cloud Computing Exploitation Victimization as Revised Rough Set Optimization Service Parameters

Ashish Tiwari, Manoj Kumar Sah, Shashank Gupta, 2015 .

Proceedings of the 9th international conference on Hybrid Systems: computation and control

Ashish Tiwari, Joao P. Hespanha, J. Hespanha, 2006 .

D-Bases for Polynomial Ideals over Commutative Noetherian Rings

Ashish Tiwari, Leo Bachmair, 1997, RTA.

Component-based Synthesis Applied to Bitvector Programs

Sumit Gulwani, Ashish Tiwari, Susmit Jha, 2010 .

A Nonlinear Real Arithmetic Fragment

Ashish Tiwari, Patrick Lincoln, P. Lincoln, 2014, CAV.

Automated Deduction: Decidability, Complexity, Tractability

Ashish Tiwari, Ulrike Sattler, Silvio Ghilardi, 2013 .

Trusted Machine Learning: Model Repair and Data Repair for Probabilistic Models

Ashish Tiwari, Xiaojin Zhu, Patrick Lincoln, 2017, AAAI Workshops.

The ecology of an order-driven market system

Ashish Tiwari, Robert A. Schwartz, Puneet Handa, 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure

Ashish Tiwari, Guillem Godoy, 2004, IJCAR.

PORTABLE DEVICE FOR VEHICLE COUNTING, CLASSIFICATION AND SPEED MEASUREMENT

Ashish Tiwari, Madhura Bhavsar, Mansi Parhadkar, 2019 .

Review on Hearth diseases prediction on Neural Network

Ashish Tiwari, Vijay yadav, 2016 .

Lifting abstract interpreters to quantified logical domains

Sumit Gulwani, Ashish Tiwari, Bill McCloskey, 2008, POPL '08.

Series of Abstractions for Hybrid Automata

Ashish Tiwari, Gaurav Khanna, A. Tiwari, 2002, HSCC.

Constraint-Based Approach for Analysis of Hybrid Systems

Sumit Gulwani, Ashish Tiwari, A. Tiwari, 2008, CAV.

A Technique for Invariant Generation

Ashish Tiwari, Natarajan Shankar, Hassen Saïdi, 2001, TACAS.

Abstract Congruence Closure and Specializations

Ashish Tiwari, Leo Bachmair, 2000, CADE.

Declarative vs rule-based control for flocking dynamics

Ashish Tiwari, Radu Grosu, Nicola Paoletti, 2017, SAC.

Deductive Verification of Continuous Dynamical Systems

Ashish Tiwari, Ankur Taly, 2009, FSTTCS.

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

Sumit Gulwani, Ashish Tiwari, 2006, ESOP.

Rigid E-Unification Revisited

Ashish Tiwari, Harald Ruess, Leo Bachmair, 2000, CADE.

An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints

Ashish Tiwari, A. Tiwari, 2005, CSL.

Non-linear Rewrite Closure and Weak Normalization

Ashish Tiwari, Francesc Massanes, Guillem Godoy, 2009, LICS.

Time-aware relational abstractions for hybrid systems

Ashish Tiwari, Alessandro Cimatti, Stefano Tonetta, 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).

Approximate Reachability for Linear Systems

Ashish Tiwari, 2003, HSCC.

Analyzing Pathways Using SAT-Based Approaches

Ashish Tiwari, Carolyn L. Talcott, Patrick Lincoln, 2007, AB.

Time-Aware Abstractions in HybridSal

Ashish Tiwari, A. Tiwari, 2015, CAV.

Review on Hearth diseases prediction on ANN

Ashish Tiwari, Vijay yadav, 2016 .

RTA 2012 Proceedings Frontmatter

Ashish Tiwari, 2012, RTA.

Logical Interpretation: Static Program Analysis Using Theorem Proving

Sumit Gulwani, Ashish Tiwari, 2007, CADE.

Termination of Rewriting with Right-Flat Rules

Ashish Tiwari, Guillem Godoy, Eduard Huntingford, 2007, RTA.

Attacking a Feedback Controller

Ashish Tiwari, A. Tiwari, 2015, NSV.

Box invariance for biologically-inspired dynamical systems

Ashish Tiwari, S. Shankar Sastry, Alessandro Abate, 2007, 2007 46th IEEE Conference on Decision and Control.

Congruence Closure Modulo Associativity and Commutativity

I. V. Ramakrishnan, Ashish Tiwari, Laurent Vigneron, 2000, FroCoS.

Gamifying Program Analysis

Ashish Tiwari, Julien Signoles, Martin Schäf, 2015, LPAR.

Relational Abstractions for Continuous and Hybrid Systems

Ashish Tiwari, Sriram Sankaranarayanan, 2011, CAV.

One Context Unification Problems Solvable in Polynomial Time

Ashish Tiwari, Adrià Gascón, Manfred Schmidt-Schauß, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.

WordRev: Finding word-level structures in a sea of bit-level gates

Ashish Tiwari, Sharad Malik, Natarajan Shankar, 2013, 2013 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST).

Two-Restricted One Context Unification is in Polynomial Time

Ashish Tiwari, Adrià Gascón, Manfred Schmidt-Schauß, 2015, CSL.

A Skywatch on the Challenging Gradual Progression of Scheduling in Cloud Computing

Ashish Tiwari, Rajeev Mohan Sharma, Ashish Tiwari, 2019, Lecture Notes in Electrical Engineering.

Synthesizing switching logic for safety and dwell-time requirements

Sumit Gulwani, Ashish Tiwari, Sanjit A. Seshia, 2010, ICCPS '10.

A Synthesized Algorithm for Interactive Consistency

Ashish Tiwari, Adrià Gascón, 2014, NASA Formal Methods.

Template-based circuit understanding

Ashish Tiwari, Sharad Malik, Pramod Subramanyan, 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).

Switching logic synthesis for reachability

Ashish Tiwari, Ankur Taly, 2010, EMSOFT '10.

Service Adaptive Broking Mechanism Using MROSP Algorithm

Ashish Tiwari, Mehul Mahrishi, Vipin Sharma, 2014 .

Faces Recognition Using Neural Network

Ashish Tiwari, Ramiz Sheikh, 2016 .

Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories

Ashish Tiwari, Guillem Godoy, Luis Barguñó, 2010, Log. Methods Comput. Sci..

Assertion Checking Unified

Sumit Gulwani, Ashish Tiwari, 2007, VMCAI.

Bounded Verification of Adaptive Flight Control Systems

Ashish Tiwari, 2010 .

Oracle-guided component-based program synthesis

Sumit Gulwani, Ashish Tiwari, Sanjit A. Seshia, 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

Synthesizing geometry constructions

Sumit Gulwani, Ashish Tiwari, Vijay Anand Korthikanti, 2011, PLDI '11.

Optimization of an Air Intake System to Reduce Multiple Whoosh Noises from an Engine

Ashish Tiwari, Vivek Kolhe, Pawan Thakur, 2013 .

Computing minimal nutrient sets from metabolic networks via linear constraint solving

Ashish Tiwari, Peter D. Karp, Carolyn L. Talcott, 2013, BMC Bioinformatics.

Formal Verification and Automated Testing for Diagnostic and Monitoring Systems

Ashish Tiwari, John Rushby, Bruno Dutertre, 2008 .

Synthesis of a simple self-stabilizing system

Ashish Tiwari, Adrià Gascón, 2014, SYNT.

TeLEx: Passive STL Learning Using Only Positive Examples

Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, 2017, RV.

Combining abstract interpreters

Sumit Gulwani, Ashish Tiwari, A. Tiwari, 2006, PLDI '06.

A search-based procedure for nonlinear real arithmetic

Ashish Tiwari, Patrick Lincoln, P. Lincoln, 2016, Formal Methods Syst. Des..

Classes of term rewrite systems with polynomial confluence problems

Ashish Tiwari, Robert Nieuwenhuis, Guillem Godoy, 2004, TOCL.

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

Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, 2019, Formal Methods Syst. Des..

Safety envelope for security

Ashish Tiwari, Sanjit A. Seshia, Patrick Lincoln, 2014, HiCoNS.

Invariant Checking for Programs with Procedure Calls

Ashish Tiwari, Guillem Godoy, 2009, SAS.

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

Ashish Tiwari, Sriram Sankaranarayanan, Susmit Jha, 2019, HSCC.

Rewriting in Practice

Ashish Tiwari, A. Tiwari, 2011, TLCA.

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

Ashish Tiwari, Patrick Lincoln, P. Lincoln, 2004, HSCC.

Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems

Ashish Tiwari, Rakesh M. Verma, Guillem Godoy, 2004, Applicable Algebra in Engineering, Communication and Computing.

Realm Towards Service Optimization in Fog Computing

Ashish Tiwari, Rajeev Mohan Sharma, Ashish Tiwari, 2019, Int. J. Fog Comput..

Design & Analysis of Wireless Network for Signaling and Safety in Railways

Ashish Tiwari, Achintya Jain, M. Jasmin Pemeena Priyadarshini, 2010 .

Termination of Linear Programs

Ashish Tiwari, A. Tiwari, 2004, CAV.

Box invariance for biologically-inspired dynamical systems

Ashish Tiwari, S. Shankar Sastry, Alessandro Abate, 2009, 2007 46th IEEE Conference on Decision and Control.

Computing Procedure Summaries for Interprocedural Analysis

Sumit Gulwani, Ashish Tiwari, A. Tiwari, 2007, ESOP.

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

Ashish Tiwari, Susmit Jha, Xiaojin Zhu, 2018, 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).

HFDA: Hybrid Face Detection Algorithm for Analyzing of Biometric Application

Ashish Tiwari, Surbhi Choudhary, 2017 .

A comprehensive survey on hybridization of artificial bee colony with particle swarm optimization algorithm and ABC applications to data clustering

Ashish Tiwari, Amit Patel, Vaishali Patel, 2016, ICIA.

Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 July 2, 2016, Proceedings

Ashish Tiwari, Nicola Olivetti, 2016 .

Synthesis of optimal switching logic for hybrid systems

Ashish Tiwari, Sanjit A. Seshia, Susmit Jha, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

Abstractions for hybrid systems

Ashish Tiwari, A. Tiwari, 2008, Formal Methods Syst. Des..

Abstract Congruence Closure

Ashish Tiwari, Laurent Vigneron, Leo Bachmair, 2003, Journal of Automated Reasoning.

On the solution of a partial differential equation representing irrotational flow in bispherical polar coordinates

Ashish Tiwari, Satya Deo, 2008, Appl. Math. Comput..

Output Range Analysis for Deep Neural Networks pdf

Ashish Tiwari, Sriram Sankaranarayanan, Susmit Jha, 2017, ArXiv.

Concise semantic analysis based text categorization using modified hybrid union feature selection approach

Ashish Tiwari, Amol P. Bhopale, S. Sowmya Kamath, 2018, 2018 4th International Conference on Recent Advances in Information Technology (RAIT).

Hybrid Systems: Computation and Control

Ashish Tiwari, Joao P. Hespanha, J. Hespanha, 2006 .

Program Synthesis Using Dual Interpretation

Ashish Tiwari, Bruno Dutertre, Adrià Gascón, 2015, CADE.

Static Analysis of Heap-Manipulating Low-Level Software

Sumit Gulwani, Ashish Tiwari, A. Tiwari, 2006 .

The concept of Box Invariance for biologically- inspired dynamical systems

Ashish Tiwari, S. Shankar Sastry, Alessandro Abate, 2006 .

Rewriting in Practice

Ashish Tiwari, 2011, RTA.

Resilient Control and Safety for Cyber-Physical Systems

Ashish Tiwari, Radu Grosu, Scott A. Smolka, 2018, 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS).

Normalization via Rewrite Closures

C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari, 1999, RTA.

META 2f: Probabilistic, Compositional, Multi-dimension Model-Based Verification (PROMISE)

Ashish Tiwari, Devesh Bhatt, Shalini Ghosh, 2011 .

Timed Relational Abstractions for Sampled Data Control Systems

Ashish Tiwari, Sriram Sankaranarayanan, Aditya Zutshi, 2012, CAV.

Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems

Ashish Tiwari, Radu Grosu, Scott A. Smolka, 2019, SAC.

Verification and synthesis using real quantifier elimination

Ashish Tiwari, Thomas Sturm, A. Tiwari, 2011, ISSAC '11.

On the Confluence of Linear Shallow Term Rewrite Systems

Ashish Tiwari, Rakesh M. Verma, Guillem Godoy, 2003, STACS.

Learning and Verification of Feedback Control Systems using Feedforward Neural Networks

Ashish Tiwari, Sriram Sankaranarayanan, Susmit Jha, 2018, ADHS.

Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design

Ashish Tiwari, Sharad Malik, Pramod Subramanyan, 2014 .

An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software

Sumit Gulwani, Ashish Tiwari, A. Tiwari, 2007, CAV.

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans pdf

Ashish Tiwari, Ezio Bartocci, Radu Grosu, 2016, TACAS.

Theory of reals for verification and synthesis of hybrid dynamical systems

Ashish Tiwari, 2010, ISSAC.

A greedy genetic algorithm for the quadratic assignment problem

Ashish Tiwari, Ravindra K. Ahuja, James B. Orlin, 2000, Comput. Oper. Res..

Towards automated proofs of observational properties

Ashish Tiwari, Narjes Berregeb, Riadh Robbana, 2004, Discret. Math. Theor. Comput. Sci..

Sal 2

Ashish Tiwari, Natarajan Shankar, Harald Ruess, 2004, CAV.

SOTER: Programming Safe Robotics System using Runtime Assurance pdf

Ashish Tiwari, Natarajan Shankar, Sanjit A. Seshia, 2018, ArXiv.

Modeling and Analysis of Asynchronous Systems Using SAL and Hybrid SAL

Ashish Tiwari, Bruno Dutertre, 2013 .

Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata

Ashish Tiwari, Claire J. Tomlin, Ronojoy Ghosh, 2003, HSCC.

Deciding confluence of certain term rewriting systems in polynomial time

Ashish Tiwari, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.

Logic in Software, Dynamical and Biological Systems

Ashish Tiwari, A. Tiwari, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.

A Conjecture Equivalent to the Collatz Conjecture pdf

Ashish Tiwari, 2021, ArXiv.

Multi-modal program inference: a marriage of pre-trained language models and component-based synthesis

Sumit Gulwani, Ashish Tiwari, Vu Le, 2021, Proc. ACM Program. Lang..

Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding

Ashish Tiwari, Radu Grosu, Scott A. Smolka, 2021, 2021 American Control Conference (ACC).

Linear Invariants for Linear Systems pdf

Ashish Tiwari, 2021, ArXiv.

CoCo: Interactive Exploration of Conformance Constraints for Data Understanding and Data Cleaning

Sumit Gulwani, Ashish Tiwari, Alexandra Meliou, 2021, SIGMOD Conference.

Sherlock : A Tool for Verification of Deep Neural Networks

Ashish Tiwari, Natarajan Shankar, Sriram Sankaranarayanan, 2019 .

Formally Analyzing Adaptive Flight Control ?

Ashish Tiwari, 2009 .

The Concept of Box Invariance for special classes of Dynamical Systems

Ashish Tiwari, Alessandro Abate, A. Tiwari, 2006 .

Non-Monotonic Program Analysis

Ashish Tiwari, Thomas Wies, Philipp Rümmer, 2015 .