| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Susmit Jha, Sanjit A. Seshia, Ashish Tiwari |
Synthesizing Switching Logic to Minimize Long-Run Cost  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ankur Taly, Sumit Gulwani, Ashish Tiwari |
Synthesizing switching logic using constraint solving. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari |
Rewriting in Practice. |
TLCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan |
Synthesis of loop-free programs. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari |
Synthesizing geometry constructions. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmit Jha, Sanjit A. Seshia, Ashish Tiwari |
Synthesis of optimal switching logic for hybrid systems. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari |
Compositionally analyzing a proportional-integral controller family. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari |
Rewriting in Practice. |
RTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sriram Sankaranarayanan, Ashish Tiwari |
Relational Abstractions for Continuous and Hybrid Systems. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari |
Logic in Software, Dynamical and Biological Systems. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Sturm, Ashish Tiwari |
Verification and synthesis using real quantifier elimination. |
ISSAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adria Gascón, Guillem Godoy, Manfred Schmidt-Schauß, Ashish Tiwari |
Context unification with one context variable. |
J. Symb. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari |
Special issue on automated deduction: Decidability, complexity, tractability. |
J. Symb. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Barguñó, Guillem Godoy, Eduard Huntingford, Ashish Tiwari |
Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ankur Taly, Ashish Tiwari |
Switching logic synthesis for reachability. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yadu Kishore K, Ashish Tiwari, O. G. Kakde |
Optimization Based Topology Control for Wireless Ad Hoc Networks to Meet QoS Requirements. |
SRDS |
2010 |
DBLP DOI BibTeX RDF |
Adhoc Wireless Networks, Interference Feasibility, Genetic Algorithm, Linear Programming, Topology Control, Quality of Service Requirement, Conflict Graph |
| 1 | Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari |
Oracle-guided component-based program synthesis. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
oracle-based learning, SAT, program synthesis, SMT |
| 1 | Ashish Tiwari |
Theory of reals for verification and synthesis of hybrid dynamical systems. |
ISSAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate, Ashish Tiwari, Shankar Sastry |
Box invariance in biologically-inspired dynamical systems. |
Automatica |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari |
Combining Equational Reasoning. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari |
Non-linear Rewrite Closure and Weak Normalization. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillem Godoy, Ashish Tiwari |
Invariant Checking for Programs with Procedure Calls. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankur Taly, Sumit Gulwani, Ashish Tiwari |
Synthesizing Switching Logic Using Constraint Solving. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankur Taly, Ashish Tiwari |
Deductive Verification of Continuous Dynamical Systems. |
FSTTCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Satya Deo, Ashish Tiwari |
On the solution of a partial differential equation representing irrotational flow in bispherical polar coordinates. |
Applied Mathematics and Computation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari |
Abstractions for hybrid systems. |
Formal Methods in System Design |
2008 |
DBLP DOI BibTeX RDF |
Hybrid systems, Predicate abstraction, Qualitative simulation |
| 1 | Sumit Gulwani, Bill McCloskey, Ashish Tiwari |
Lifting abstract interpreters to quantified logical domains. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
logical lattices, quantified invariants, underapproximation algorithms, abstract interpreter |
| 1 | Ashish Tiwari, Carolyn L. Talcott |
Analyzing a Discrete Model of Aplysia Central Pattern Generator |
CMSB |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Ashish Tiwari |
Constraint-Based Approach for Analysis of Hybrid Systems. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari |
Generating Box Invariants. |
HSCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari, Sumit Gulwani |
Logical Interpretation: Static Program Analysis Using Theorem Proving. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arya Bhattacharya, Ashish Tiwari, Debjani Aditya, Utpal Nandi, Anindya Sarkar |
Online Evaluation of Steel Slab Quality in Production Phase by Surface Crack Image Segmentation using Relative Fuzzy Connectedness. |
IPCV |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari |
Quantitative and Probabilistic Modeling in Pathway Logic. |
BIBE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillem Godoy, Eduard Huntingford, Ashish Tiwari |
Termination of Rewriting with Right-Flat Rules. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Ashish Tiwari |
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Ashish Tiwari |
Assertion Checking Unified. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Ashish Tiwari |
Computing Procedure Summaries for Interprocedural Analysis. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute |
Analyzing Pathways Using SAT-Based Approaches. |
AB |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Ashish Tiwari |
Combining abstract interpreters. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
Nelson-Oppen combination, logical product, reduced product, abstract interpreter |
| 1 | João P. Hespanha, Ashish Tiwari (eds.) |
Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings |
HSCC |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sumit Gulwani, Ashish Tiwari |
Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillem Godoy, Ashish Tiwari |
Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Enric Rodríguez-Carbonell, Ashish Tiwari |
Generating Polynomial Invariants for Hybrid Systems. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillem Godoy, Ashish Tiwari |
Confluence of Shallow Right-Linear Rewrite Systems. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari |
An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Narjes Berregeb, Riadh Robbana, Ashish Tiwari |
Towards automated proofs of observational properties. |
Discrete Mathematics & Theoretical Computer Science |
2004 |
DBLP BibTeX RDF |
|
| 1 | Guillem Godoy, Ashish Tiwari, Rakesh M. Verma |
Deciding confluence of certain term rewriting systems in polynomial time. |
Ann. Pure Appl. Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillem Godoy, Ashish Tiwari, Rakesh M. Verma |
Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems. |
Appl. Algebra Eng. Commun. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Rewriting, Confluence, Terms |
| 1 | Guillem Godoy, Robert Nieuwenhuis, Ashish Tiwari |
Classes of term rewrite systems with polynomial confluence problems. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
Rewriting, confluence |
| 1 | Guillem Godoy, Ashish Tiwari |
Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure. |
IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari |
SAL 2. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari |
Termination of Linear Programs. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari, Gaurav Khanna |
Nonlinear Systems: Approximating Reach Sets. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Lincoln, Ashish Tiwari |
Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. |
HSCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Ashish Tiwari, George C. Necula |
Join Algorithms for the Theory of Uninterpreted Functions. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari, Natarajan Shankar, John M. Rushby |
Invisible formal methods for embedded control systems. |
Proceedings of the IEEE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Leo Bachmair, Ashish Tiwari, Laurent Vigneron |
Abstract Congruence Closure. |
J. Autom. Reasoning |
2003 |
DBLP DOI BibTeX RDF |
congruence closure, associative-commutative theories, term rewriting |
| 1 | Ashish Tiwari, Purnendu Sinha, Umabharathi Ramachandran |
On the Run-time Verification of Autonomy Software. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillem Godoy, Ashish Tiwari, Rakesh M. Verma |
On the Confluence of Linear Shallow Term Rewrite Systems. |
STACS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari |
Approximate Reachability for Linear Systems. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin |
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari, Gaurav Khanna |
Series of Abstractions for Hybrid Automata. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari |
Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar |
A Technique for Invariant Generation. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari |
Rewrite Closure for Ground and Cancellative AC Theories. |
FSTTCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravindra K. Ahuja, James B. Orlin, Ashish Tiwari |
A greedy genetic algorithm for the quadratic assignment problem. |
Computers & OR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo Bachmair, Ashish Tiwari |
Abstract Congruence Closure and Specializations. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashish Tiwari, Leo Bachmair, Harald Rueß |
Rigid E-Unification Revisited. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo Bachmair, I. V. Ramakrishnan, Ashish Tiwari, Laurent Vigneron |
Congruence Closure Modulo Associativity and Commutativity. |
FroCos |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Puneet Handa, Robert A. Schwartz, Ashish Tiwari |
A Tale of Two Trading Venues: Electronically Delivered Orders vs. Floor Brokered Orders on the American Stock Exchange. (PDF / PS) |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari |
Normalization via Rewrite Closures. |
RTA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Puneet Handa, Robert A. Schwartz, Ashish Tiwari |
The Ecology of an Order-Driven Market System. (PDF / PS) |
HICSS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo Bachmair, Ashish Tiwari |
D-Bases for Polynomial Ideals over Commutative Noetherian Rings. |
RTA |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")