Ashish Tiwari

	2011
73		Sriram Sankaranarayanan, Ashish Tiwari: Relational Abstractions for Continuous and Hybrid Systems. CAV 2011: 686-702
72		Ashish Tiwari: Compositionally analyzing a proportional-integral controller family. CDC-ECE 2011: 2693-2698
71		Susmit Jha, Sanjit A. Seshia, Ashish Tiwari: Synthesis of optimal switching logic for hybrid systems. EMSOFT 2011: 107-116
70		Thomas Sturm, Ashish Tiwari: Verification and synthesis using real quantifier elimination. ISSAC 2011: 329-336
69		Ashish Tiwari: Logic in Software, Dynamical and Biological Systems. LICS 2011: 9-10
68		Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari: Synthesizing geometry constructions. PLDI 2011: 50-61
67		Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan: Synthesis of loop-free programs. PLDI 2011: 62-73
66		Ashish Tiwari: Rewriting in Practice. RTA 2011: 3-8
65		Ashish Tiwari: Rewriting in Practice. TLCA 2011: 6-8
64		Susmit Jha, Sanjit A. Seshia, Ashish Tiwari: Synthesizing Switching Logic to Minimize Long-Run Cost CoRR abs/1103.0800: (2011)
63		Ankur Taly, Sumit Gulwani, Ashish Tiwari: Synthesizing switching logic using constraint solving. STTT 13(6): 519-535 (2011)
	2010
62		Ankur Taly, Ashish Tiwari: Switching logic synthesis for reachability. EMSOFT 2010: 19-28
61		Susmit Jha, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari: Oracle-guided component-based program synthesis. ICSE (1) 2010: 215-224
60		Ashish Tiwari: Theory of reals for verification and synthesis of hybrid dynamical systems. ISSAC 2010: 5-6
59		Yadu Kishore K, Ashish Tiwari, O. G. Kakde: Optimization Based Topology Control for Wireless Ad Hoc Networks to Meet QoS Requirements. SRDS 2010: 30-36
58		Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari: Special issue on automated deduction: Decidability, complexity, tractability. J. Symb. Comput. 45(2): 151-152 (2010)
57		Adria Gascón, Guillem Godoy, Manfred Schmidt-Schauß, Ashish Tiwari: Context unification with one context variable. J. Symb. Comput. 45(2): 173-193 (2010)
56		Luis Barguñó, Guillem Godoy, Eduard Huntingford, Ashish Tiwari: Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories Logical Methods in Computer Science 6(3): (2010)
	2009
55		Ankur Taly, Ashish Tiwari: Deductive Verification of Continuous Dynamical Systems. FSTTCS 2009: 383-394
54		Ashish Tiwari: Combining Equational Reasoning. FroCos 2009: 68-83
53		Carles Creus, Guillem Godoy, Francesc Massanes, Ashish Tiwari: Non-linear Rewrite Closure and Weak Normalization. LICS 2009: 365-374
52		Guillem Godoy, Ashish Tiwari: Invariant Checking for Programs with Procedure Calls. SAS 2009: 326-342
51		Ankur Taly, Sumit Gulwani, Ashish Tiwari: Synthesizing Switching Logic Using Constraint Solving. VMCAI 2009: 305-319
50		Alessandro Abate, Ashish Tiwari, Shankar Sastry: Box invariance in biologically-inspired dynamical systems. Automatica 45(7): 1601-1610 (2009)
	2008
49		Sumit Gulwani, Ashish Tiwari: Constraint-Based Approach for Analysis of Hybrid Systems. CAV 2008: 190-203
48		Ashish Tiwari, Carolyn L. Talcott: Analyzing a Discrete Model of Aplysia Central Pattern Generator CMSB 2008: 347-366
47		Ashish Tiwari: Generating Box Invariants. HSCC 2008: 658-661
46		Sumit Gulwani, Bill McCloskey, Ashish Tiwari: Lifting abstract interpreters to quantified logical domains. POPL 2008: 235-246
45		Satya 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)
44		Ashish Tiwari: Abstractions for hybrid systems. Formal Methods in System Design 32(1): 57-83 (2008)
	2007
43		Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute: Analyzing Pathways Using SAT-Based Approaches. AB 2007: 155-169
42		Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari: Quantitative and Probabilistic Modeling in Pathway Logic. BIBE 2007: 922-929
41		Ashish Tiwari, Sumit Gulwani: Logical Interpretation: Static Program Analysis Using Theorem Proving. CADE 2007: 147-166
40		Sumit Gulwani, Ashish Tiwari: An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software. CAV 2007: 379-392
39		Sumit 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
37		Guillem Godoy, Eduard Huntingford, Ashish Tiwari: Termination of Rewriting with Right-Flat Rules. RTA 2007: 200-213
36		Sumit 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
34		Sumit Gulwani, Ashish Tiwari: Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions. ESOP 2006: 279-293
33		Sumit Gulwani, Ashish Tiwari: Combining abstract interpreters. PLDI 2006: 376-386
	2005
32		Guillem Godoy, Ashish Tiwari: Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules. CADE 2005: 164-176
31		Ashish Tiwari: An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints. CSL 2005: 248-262
30		Guillem Godoy, Ashish Tiwari: Confluence of Shallow Right-Linear Rewrite Systems. CSL 2005: 541-556
29		Enric Rodríguez-Carbonell, Ashish Tiwari: Generating Polynomial Invariants for Hybrid Systems. HSCC 2005: 590-605
	2004
28		Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari: SAL 2. CAV 2004: 496-500
27		Ashish Tiwari: Termination of Linear Programs. CAV 2004: 70-82
26		Sumit Gulwani, Ashish Tiwari, George C. Necula: Join Algorithms for the Theory of Uninterpreted Functions. FSTTCS 2004: 311-323
25		Ashish Tiwari, Gaurav Khanna: Nonlinear Systems: Approximating Reach Sets. HSCC 2004: 600-614
24		Patrick Lincoln, Ashish Tiwari: Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. HSCC 2004: 660-672
23		Guillem Godoy, Ashish Tiwari: Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure. IJCAR 2004: 91-106
22		Guillem Godoy, Robert Nieuwenhuis, Ashish Tiwari: Classes of term rewrite systems with polynomial confluence problems. ACM Trans. Comput. Log. 5(2): 321-331 (2004)
21		Guillem 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)
20		Guillem 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)
19		Narjes Berregeb, Riadh Robbana, Ashish Tiwari: Towards automated proofs of observational properties. Discrete Mathematics & Theoretical Computer Science 6(2): 143-162 (2004)
	2003
18		Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin: Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata. HSCC 2003: 233-248
17		Ashish Tiwari: Approximate Reachability for Linear Systems. HSCC 2003: 514-525
16		Ashish Tiwari, Purnendu Sinha, Umabharathi Ramachandran: On the Run-time Verification of Autonomy Software. SEW 2003: 58
15		Guillem Godoy, Ashish Tiwari, Rakesh M. Verma: On the Confluence of Linear Shallow Term Rewrite Systems. STACS 2003: 85-96
14		Leo 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
12		Ashish Tiwari, Gaurav Khanna: Series of Abstractions for Hybrid Automata. HSCC 2002: 465-478
11		Ashish Tiwari: Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time. LICS 2002: 447-
	2001
10		Ashish Tiwari: Rewrite Closure for Ground and Cancellative AC Theories. FSTTCS 2001: 334-346
9		Ashish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar: A Technique for Invariant Generation. TACAS 2001: 113-127
	2000
8		Ashish Tiwari, Leo Bachmair, Harald Rueß: Rigid E-Unification Revisited. CADE 2000: 220-234
7		Leo 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
5		Ravindra K. Ahuja, James B. Orlin, Ashish Tiwari: A greedy genetic algorithm for the quadratic assignment problem. Computers & OR 27(10): 917-934 (2000)
	1999
4		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. HICSS 1999
3		Leo Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari: Normalization via Rewrite Closures. RTA 1999: 190-204
	1998
2		Puneet Handa, Robert A. Schwartz, Ashish Tiwari: The Ecology of an Order-Driven Market System. HICSS (6) 1998: 353-362
	1997
1		Leo Bachmair, Ashish Tiwari: D-Bases for Polynomial Ideals over Commutative Noetherian Rings. RTA 1997: 113-127

Coauthor Index

1	Alessandro Abate	[42] [50]
2	Debjani Aditya	[38]
3	Ravindra K. Ahuja	[5]
4	Leo Bachmair	[1] [3] [6] [7] [8] [14]
5	Yu Bai	[42]
6	Luis Barguñó	[56]
7	Narjes Berregeb	[19]
8	Arya Bhattacharya	[38]
9	Carles Creus	[53]
10	Satya Deo	[45]
11	Adria Gascón	[57]
12	Silvio Ghilardi	[58]
13	Ronojoy Ghosh	[18]
14	Guillem Godoy	[15] [20] [21] [22] [23] [30] [32] [37] [52] [53] [56] [57]
15	Sumit Gulwani	[26] [33] [34] [36] [39] [40] [41] [46] [49] [51] [61] [63] [67] [68]
16	Puneet Handa	[2] [4]
17	João Pedro Hespanha (João P. Hespanha)	[35]
18	Eduard Huntingford	[37] [56]
19	Susmit Jha	[61] [64] [67] [71]
20	Yadu Kishore K	[59]
21	O. G. Kakde	[59]
22	Gaurav Khanna	[12] [25]
23	Merrill Knapp	[43]
24	Vijay Anand Korthikanti (Vijay Anand Reddy)	[68]
25	Keith Laderoute	[43]
26	Patrick Lincoln	[24] [43]
27	Francesc Massanes	[53]
28	Bill McCloskey	[46]
29	Leonardo Mendonça de Moura	[28]
30	Utpal Nandi	[38]
31	George C. Necula	[26]
32	Robert Nieuwenhuis	[22]
33	James B. Orlin	[5]
34	Sam Owre	[28]
35	Umabharathi Ramachandran	[16]
36	C. R. Ramakrishnan	[3]
37	I. V. Ramakrishnan	[3] [6]
38	Riadh Robbana	[19]
39	Enric Rodríguez-Carbonell	[29]
40	Harald Ruess (Harald Rueß)	[8] [9] [28]
41	John M. Rushby	[13] [28]
42	Hassen Saïdi	[9]
43	Sriram Sankaranarayanan	[73]
44	Anindya Sarkar	[38]
45	Shankar Sastry (Shankar S. Sastry)	[50]
46	Ulrike Sattler	[58]
47	Manfred Schmidt-Schauß	[57]
48	Robert A. Schwartz	[2] [4]
49	Sanjit A. Seshia	[61] [64] [71]
50	Natarajan Shankar	[9] [13] [28]
51	Purnendu Sinha	[16]
52	Viorica Sofronie-Stokkermans (Viorica Sofronie)	[58]
53	Maria Sorea	[28]
54	Thomas Sturm	[70]
55	Nathalie Sznajder	[42]
56	Carolyn L. Talcott	[42] [43] [48]
57	Ankur Taly	[51] [55] [62] [63]
58	Claire J. Tomlin (Claire Tomlin)	[18]
59	Ramarathnam Venkatesan	[67]
60	Rakesh M. Verma	[15] [20] [21]
61	Laurent Vigneron	[6] [14]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page