Mahadevan Subramaniam

	2009
33		Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam: L2C2: logic-based LSC consistency checking. PPDP 2009: 183-194
32		Gábor Kovács, Gábor Árpád Németh, Mahadevan Subramaniam, Zoltán Pap: Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications. SDL Forum 2009: 82-97
31		Mahadevan Subramaniam, Bo Guo, Zoltán Pap: Using Change Impact Analysis to Select Tests for Extended Finite State Machines. SEFM 2009: 93-102
30		Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam: Consistency Checking for LSC Specifications. TASE 2009: 119-126
29		Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap: An Approach for Test Selection for EFSMs Using a Theorem Prover. TestCom/FATES 2009: 146-162
28		Parvathi Chundi, Mahadevan Subramaniam, Dileep K. Vasireddy: An approach for temporal analysis of email data based on segmentation. Data Knowl. Eng. 68(11): 1253-1270 (2009)
	2008
27		Harvey P. Siy, Parvathi Chundi, Mahadevan Subramaniam: Summarizing developer work history using time series segmentation: challenge report. MSR 2008: 137-140
26		Bo Guo, Mahadevan Subramaniam: Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover. SEFM 2008: 335-344
25		Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam: A segmentation-based approach for temporal analysis of software version repositories. Journal of Software Maintenance 20(3): 199-222 (2008)
	2007
24		Mahadevan Subramaniam, Harvey P. Siy: Consistently Incorporating Changes to Evolve Transition-based Systems. CSMR 2007: 17-26
23		Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam: Discovering Dynamic Developer Relationships from Software Version Histories by Time Series Segmentation. ICSM 2007: 415-424
22		Mahadevan Subramaniam, Parvathi Chundi, Harvey P. Siy: Aggregating changes to efficiently check consistency. IWPSE 2007: 39-42
21		Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh: A Bounded Incremental Test Generation Algorithm for Finite State Machines. TestCom/FATES 2007: 244-259
20		Mahadevan Subramaniam, Patrick Conway: A methodology for early validation of cache coherence protocols based on relational databases. Concurrency and Computation: Practice and Experience 19(3): 355-368 (2007)
	2006
19		Mahadevan Subramaniam, Zoltán Pap: Analyzing the Impact of Protocol Changes on Tests. TestCom 2006: 197-212
	2005
18		Mahadevan Subramaniam: Preserving Consistency of Runtime Monitors across Protocol Changes. ICECCS 2005: 590-599
17		Mahadevan Subramaniam, Jiangfan Shi: Using Dominators to Extract Observable Protocol Contexts. SEFM 2005: 96-105
	2004
16		Mahadevan Subramaniam, Parvathi Chundi: An Approach to Preserve Protocol Consistency and Executability Across Updates. ICFEM 2004: 341-356
15		Victor L. Winter, Mahadevan Subramaniam: The transient combinator, higher-order strategies, and the distributed data problem. Sci. Comput. Program. 52: 165-212 (2004)
	2003
14		Deepak Kapur, Mahadevan Subramaniam: Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report. ASIAN 2003: 125-145
13		Mahadevan Subramaniam: Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL. IPDPS 2003: 290
	2000
12		Deepak Kapur, Mahadevan Subramaniam: Extending Decision Procedures with Induction Schemes. CADE 2000: 324-345
11		Deepak Kapur, Mahadevan Subramaniam: Using an induction prover for verifying arithmetic circuits. STTT 3(1): 32-65 (2000)
	1998
10		Deepak Kapur, Mahadevan Subramaniam: Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover. ASIAN 1998: 22-42
9		Deepak Kapur, Mahadevan Subramaniam: Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory. Formal Methods in System Design 13(2): 127-158 (1998)
	1997
8		Deepak Kapur, Mahadevan Subramaniam: Mechanizing Verification of Arithmetic Circuits: SRT Division. FSTTCS 1997: 103-122
	1996
7		Deepak Kapur, Mahadevan Subramaniam: Automating Induction over Mutually Recursive Functions. AMAST 1996: 117-131
6		Deepak Kapur, Mahadevan Subramaniam: Lemma Discovery in Automated Induction. CADE 1996: 538-552
5		Deepak Kapur, Mahadevan Subramaniam: Mechanically Verifying a Family of Multiplier Circuits. CAV 1996: 135-146
4		Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam: Automating Proofs of Integrity Constraints in Situation Calculus. ISMIS 1996: 212-222
3		Deepak Kapur, Mahadevan Subramaniam: New Uses of Linear Arithmetic in Automated Theorem Proving by Induction. J. Autom. Reasoning 16(1-2): 39-78 (1996)
	1995
2		Deepak Kapur, Mahadevan Subramaniam: Automated Reasoning About Parallel Algorithms Using Powerlists. AMAST 1995: 416-430
	1994
1		Deepak Kapur, Mahadevan Subramaniam: Using Linear Arithmetic Procedure for Generating Induction Schemes. FSTTCS 1994: 438-449

Coauthor Index

1	Leopoldo E. Bertossi	[4]
2	Parvathi Chundi	[16] [22] [23] [25] [27] [28]
3	Patrick Conway	[20]
4	Bo Guo	[26] [29] [31]
5	Hai-Feng Guo	[30] [33]
6	Deepak Kapur	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [14]
7	Gábor Kovács	[21] [32]
8	Gábor Árpád Németh	[21] [32]
9	Zoltán Pap	[19] [21] [29] [31] [32]
10	Javier Pinto	[4]
11	Daniel J. Rosenkrantz	[23] [25]
12	Pablo Sáez	[4]
13	Jiangfan Shi	[17]
14	Harvey P. Siy	[22] [23] [24] [25] [27]
15	Dileep K. Vasireddy	[28]
16	Victor L. Winter	[15]
17	Ling Xiao	[29]
18	Wen Zheng	[30] [33]

Colors in the list of coauthors