dblp.uni-trier.dewww.uni-trier.de

Ashish Tiwari Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
53EEAshish Tiwari: Combining Equational Reasoning. FroCos 2009: 68-83
52EEGuillem Godoy, Ashish Tiwari: Invariant Checking for Programs with Procedure Calls. SAS 2009: 326-342
51EEAnkur Taly, Sumit Gulwani, Ashish Tiwari: Synthesizing Switching Logic Using Constraint Solving. VMCAI 2009: 305-319
50EEAlessandro Abate, Ashish Tiwari, Shankar Sastry: Box invariance in biologically-inspired dynamical systems. Automatica 45(7): 1601-1610 (2009)
2008
49EESumit Gulwani, Ashish Tiwari: Constraint-Based Approach for Analysis of Hybrid Systems. CAV 2008: 190-203
48EEAshish Tiwari, Carolyn L. Talcott: Analyzing a Discrete Model of Aplysia Central Pattern Generator CMSB 2008: 347-366
47EEAshish Tiwari: Generating Box Invariants. HSCC 2008: 658-661
46EESumit Gulwani, Bill McCloskey, Ashish Tiwari: Lifting abstract interpreters to quantified logical domains. POPL 2008: 235-246
45EESatya Deo, Ashish Tiwari: On the solution of a partial differential equation representing irrotational flow in bispherical polar coordinates. Applied Mathematics and Computation 205(1): 475-477 (2008)
44EEAshish Tiwari: Abstractions for hybrid systems. Formal Methods in System Design 32(1): 57-83 (2008)
2007
43EEAshish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute: Analyzing Pathways Using SAT-Based Approaches. AB 2007: 155-169
42EEAlessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari: Quantitative and Probabilistic Modeling in Pathway Logic. BIBE 2007: 922-929
41EEAshish Tiwari, Sumit Gulwani: Logical Interpretation: Static Program Analysis Using Theorem Proving. CADE 2007: 147-166
40EESumit Gulwani, Ashish Tiwari: An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. CAV 2007: 379-392
39EESumit Gulwani, Ashish Tiwari: Computing Procedure Summaries for Interprocedural Analysis. ESOP 2007: 253-267
38 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: 353-362
37EEGuillem Godoy, Eduard Huntingford, Ashish Tiwari: Termination of Rewriting with Right-Flat Rules. RTA 2007: 200-213
36EESumit Gulwani, Ashish Tiwari: Assertion Checking Unified. VMCAI 2007: 363-377
2006
35 João P. Hespanha, Ashish Tiwari: Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings Springer 2006
34EESumit Gulwani, Ashish Tiwari: Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. ESOP 2006: 279-293
33EESumit Gulwani, Ashish Tiwari: Combining abstract interpreters. PLDI 2006: 376-386
2005
32EEGuillem Godoy, Ashish Tiwari: Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules. CADE 2005: 164-176
31EEAshish Tiwari: An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints. CSL 2005: 248-262
30EEGuillem Godoy, Ashish Tiwari: Confluence of Shallow Right-Linear Rewrite Systems. CSL 2005: 541-556
29EEEnric Rodríguez-Carbonell, Ashish Tiwari: Generating Polynomial Invariants for Hybrid Systems. HSCC 2005: 590-605
2004
28EELeonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari: SAL 2. CAV 2004: 496-500
27EEAshish Tiwari: Termination of Linear Programs. CAV 2004: 70-82
26EESumit Gulwani, Ashish Tiwari, George C. Necula: Join Algorithms for the Theory of Uninterpreted Functions. FSTTCS 2004: 311-323
25EEAshish Tiwari, Gaurav Khanna: Nonlinear Systems: Approximating Reach Sets. HSCC 2004: 600-614
24EEPatrick Lincoln, Ashish Tiwari: Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. HSCC 2004: 660-672
23EEGuillem Godoy, Ashish Tiwari: Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure. IJCAR 2004: 91-106
22EEGuillem Godoy, Robert Nieuwenhuis, Ashish Tiwari: Classes of term rewrite systems with polynomial confluence problems. ACM Trans. Comput. Log. 5(2): 321-331 (2004)
21EEGuillem Godoy, Ashish Tiwari, Rakesh M. Verma: Deciding confluence of certain term rewriting systems in polynomial time. Ann. Pure Appl. Logic 130(1-3): 33-59 (2004)
20EEGuillem Godoy, Ashish Tiwari, Rakesh M. Verma: Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems. Appl. Algebra Eng. Commun. Comput. 15(1): 13-36 (2004)
19EENarjes Berregeb, Riadh Robbana, Ashish Tiwari: Towards automated proofs of observational properties. Discrete Mathematics & Theoretical Computer Science 6(2): 143-162 (2004)
2003
18EERonojoy Ghosh, Ashish Tiwari, Claire Tomlin: Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata. HSCC 2003: 233-248
17EEAshish Tiwari: Approximate Reachability for Linear Systems. HSCC 2003: 514-525
16EEAshish Tiwari, Purnendu Sinha, Umabharathi Ramachandran: On the Run-time Verification of Autonomy Software. SEW 2003: 58
15EEGuillem Godoy, Ashish Tiwari, Rakesh M. Verma: On the Confluence of Linear Shallow Term Rewrite Systems. STACS 2003: 85-96
14EELeo Bachmair, Ashish Tiwari, Laurent Vigneron: Abstract Congruence Closure. J. Autom. Reasoning 31(2): 129-168 (2003)
13 Ashish Tiwari, Natarajan Shankar, John M. Rushby: Invisible formal methods for embedded control systems. Proceedings of the IEEE 91(1): 29-39 (2003)
2002
12EEAshish Tiwari, Gaurav Khanna: Series of Abstractions for Hybrid Automata. HSCC 2002: 465-478
11EEAshish Tiwari: Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time. LICS 2002: 447-
2001
10EEAshish Tiwari: Rewrite Closure for Ground and Cancellative AC Theories. FSTTCS 2001: 334-346
9EEAshish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar: A Technique for Invariant Generation. TACAS 2001: 113-127
2000
8EEAshish Tiwari, Leo Bachmair, Harald Rueß: Rigid E-Unification Revisited. CADE 2000: 220-234
7EELeo Bachmair, Ashish Tiwari: Abstract Congruence Closure and Specializations. CADE 2000: 64-78
6 Leo Bachmair, I. V. Ramakrishnan, Ashish Tiwari, Laurent Vigneron: Congruence Closure Modulo Associativity and Commutativity. FroCos 2000: 245-259
5EERavindra K. Ahuja, James B. Orlin, Ashish Tiwari: A greedy genetic algorithm for the quadratic assignment problem. Computers & OR 27(10): 917-934 (2000)
1999
4EEPuneet Handa, Robert A. Schwartz, Ashish Tiwari: A Tale of Two Trading Venues: Electronically Delivered Orders vs. Floor Brokered Orders on the American Stock Exchange. HICSS 1999
3EELeo Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari: Normalization via Rewrite Closures. RTA 1999: 190-204
1998
2EEPuneet Handa, Robert A. Schwartz, Ashish Tiwari: The Ecology of an Order-Driven Market System. HICSS (6) 1998: 353-362
1997
1EELeo Bachmair, Ashish Tiwari: D-Bases for Polynomial Ideals over Commutative Noetherian Rings. RTA 1997: 113-127

Coauthor Index

1Alessandro Abate [42] [50]
2Debjani Aditya [38]
3Ravindra K. Ahuja [5]
4Leo Bachmair [1] [3] [6] [7] [8] [14]
5Yu Bai [42]
6Narjes Berregeb [19]
7Arya Bhattacharya [38]
8Satya Deo [45]
9Ronojoy Ghosh [18]
10Guillem Godoy [15] [20] [21] [22] [23] [30] [32] [37] [52]
11Sumit Gulwani [26] [33] [34] [36] [39] [40] [41] [46] [49] [51]
12Puneet Handa [2] [4]
13João Pedro Hespanha (João P. Hespanha) [35]
14Eduard Huntingford [37]
15Gaurav Khanna [12] [25]
16Merrill Knapp [43]
17Keith Laderoute [43]
18Patrick Lincoln [24] [43]
19Bill McCloskey [46]
20Leonardo Mendonça de Moura [28]
21Utpal Nandi [38]
22George C. Necula [26]
23Robert Nieuwenhuis [22]
24James B. Orlin [5]
25Sam Owre [28]
26Umabharathi Ramachandran [16]
27C. R. Ramakrishnan [3]
28I. V. Ramakrishnan [3] [6]
29Riadh Robbana [19]
30Enric Rodríguez-Carbonell [29]
31Harald Rueß [8] [9] [28]
32John M. Rushby [13] [28]
33Hassen Saïdi [9]
34Anindya Sarkar [38]
35Shankar Sastry (Shankar S. Sastry) [50]
36Robert A. Schwartz [2] [4]
37Natarajan Shankar [9] [13] [28]
38Purnendu Sinha [16]
39Maria Sorea [28]
40Nathalie Sznajder [42]
41Carolyn L. Talcott [42] [43] [48]
42Ankur Taly [51]
43Claire Tomlin [18]
44Rakesh M. Verma [15] [20] [21]
45Laurent Vigneron [6] [14]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)