Tiwari, Ashish - Computer Science Laboratory, SRI International

• Nonlinear Systems: Approximating Reach Sets # Ashish Tiwari 1 and Gaurav Khanna 2,3
• Constraint-based Approach for Analysis of Hybrid Systems
• Tiwari@csl.sri.com International
• On the Confluence of Linear Shallow Term Rewrite Systems
• Termination of Linear Programs Ashish Tiwari
• Generating Polynomial Invariants for Hybrid Enric RodrguezCarbonell 1 and Ashish Tiwari 2
• MATHEMATICAL AND LOGICAL SEQUENCE IDENTIFICATION
• GROUP TESTING Ashish Tiwari
• Synthesizing Switching Logic using Constraint Ankur Taly1
• Invariant Checking for Programs with Procedure Guillem Godoy1
• RSA Public Key Cryptosystem Zhong Li Ashish Tiwari
• Generating Box Invariants Ashish Tiwari
• An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software
• EOLC: Efficiently Modelling Inconsistency for Commonsense Reasoning
• Classes of Term Rewrite Systems with Polynomial Confluence Problems
• Combining Equational Theories and Other Results
• Assertion Checking Unified Sumit Gulwani
• Formal Composition for Time-Triggered Systems
• Combining Abstract Interpreters Sumit Gulwani
• Confluence of Shallow Right-Linear Rewrite Guillem Godoy1
• Generating Polynomial Invariants for Hybrid Enric Rodriguez-Carbonell1
• Nonlinear Systems: Approximating Reach Sets Ashish Tiwari1
• Automated Techniques for Stability Analysis of DeltaNotch Lateral Inhibition Mechanism
• Termination of Rewriting with Right-Flat Rules Guillem Godoy 1 , Eduard Huntingford 2 , and Ashish Tiwari 3
• Termination of Linear Programs Ashish Tiwari #
• Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks #
• Verification Tiwari@csl.sri.com
• Box Invariance for biologically-inspired dynamical systems Alessandro Abate Ashish Tiwari Shankar Sastry
• Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks
• CSE 528 Project : Sweeping a 3D Tetrahedral Complex
• HybridSAL: Modeling and Abstracting Hybrid Ashish Tiwari
• Lifting Abstract Interpreters to Quantified Logical Domains Sumit Gulwani
• Formal Composition Technology for Time-Triggered Systems
• Deciding Fundamental Properties of Right(Ground or Variable) Rewrite Systems by Rewrite Closure ?
• An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints
• Analyzing a Discrete Model of Aplysia Central Pattern Generator
• Termination of Rewrite Systems with Shallow RightLinear, Collapsing, and RightGround
• Ashish Tiwari Statement of Research Interests
• Assertion Checking Over Combined Abstraction of Linear Arithmetic and Uninterpreted
• Decision Procedures in Automated Deduction a dissertation presented
• Join Algorithms for the Theory of Uninterpreted Functions #
• Synthesizing Geometry Constructions Sumit Gulwani
• Verification and Synthesis Using Real Quantifier Elimination
• RTA 2012: Call For Papers 23rd International Conference on Rewriting Techniques and Applications