Ashutosh Gupta

	2012
18		Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko: HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution). TACAS 2012: 549-551
	2011
17		Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko: Solving Recursion-Free Horn Clauses over LI+UIF. APLAS 2011: 188-203
16		Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko: Threader: A Constraint-Based Verifier for Multi-threaded Programs. CAV 2011: 412-417
15		Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko: Predicate abstraction and refinement for verifying multi-threaded programs. POPL 2011: 331-344
14		Ashutosh Gupta, Suneeta Agarwal: Searching a pattern in compressed DNA sequences. IJBRA 7(2): 115-129 (2011)
	2010
13		Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko: Non-monotonic Refinement of Control Abstraction for Concurrent Programs. ATVA 2010: 188-202
12		Ashutosh Gupta, Vinay Rishiwal, Suneeta Agarwal: Efficient Storage of Massive Biological Sequences in Compact Form. IC3 (2) 2010: 13-22
11		Ashutosh Gupta, Suneeta Agarwal: A fast dynamic compression scheme for natural language texts. Computers & Mathematics with Applications 60(12): 3139-3151 (2010)
10		Ashutosh Gupta, Suneeta Agarwal: Partial retrieval of compressed semi-structured documents. IJCAT 38(4): 239-249 (2010)
	2009
9		Solomon Raju Kota, J. L. Raheja, Ashutosh Gupta, Archana Rathi, Shashikant Sharma: Principal Component Analysis for Gesture Recognition Using SystemC. ARTCom 2009: 732-737
8		Ashutosh Gupta, Andrey Rybalchenko: InvGen: An Efficient Invariant Generator. CAV 2009: 634-640
7		Byron Cook, Ashutosh Gupta, Stephen Magill, Andrey Rybalchenko, Jirí Simsa, Satnam Singh, Viktor Vafeiadis: Finding heap-bounds for hardware synthesis. FMCAD 2009: 205-212
6		Chandan Maity, Ashutosh Gupta, Mahua Maity: Timing Analysis of Passive UHF RFID - EPC C1G2 System in Dynamic Frame. IC3 2009: 216-227
5		Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko: From Tests to Proofs. TACAS 2009: 262-276
	2008
4		Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu: Proving non-termination. POPL 2008: 147-158
3		Ashutosh Gupta, Bhaswati Mukherjee, S. K. Upadhyay: Weibull extension model: A Bayes study using Markov chain Monte Carlo simulation. Rel. Eng. & Sys. Safety 93(10): 1434-1443 (2008)
	2007
2		Ashutosh Gupta, Suneeta Agarwal: Word Based Text Compression Using Encryption. IMECS 2007: 471-473
1		Ashutosh Gupta, Suneeta Agarwal: New Transform for Improving Compression Performance in Natural Language Text. IMECS 2007: 564-567

Coauthor Index

1	Suneeta Agarwal	[1] [2] [10] [11] [12] [14]
2	Byron Cook	[7]
3	Sergey Grebenshchikov	[18]
4	Thomas A. Henzinger	[4]
5	Solomon Raju Kota	[9]
6	Nuno P. Lopes	[18]
7	Stephen Magill	[7]
8	Chandan Maity	[6]
9	Mahua Maity	[6]
10	Rupak Majumdar	[4] [5]
11	Bhaswati Mukherjee	[3]
12	Corneliu Popeea	[13] [15] [16] [17] [18]
13	J. L. Raheja	[9]
14	Archana Rathi	[9]
15	Vinay Rishiwal	[12]
16	Andrey Rybalchenko	[4] [5] [7] [8] [13] [15] [16] [17] [18]
17	Shashikant Sharma	[9]
18	Jirí Simsa	[7]
19	Satnam Singh	[7]
20	S. K. Upadhyay	[3]
21	Viktor Vafeiadis	[7]
22	Ru-Gang Xu	[4]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page