Mahadevan Subramaniam - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Extracting Temporal Equivalence Relationships among Keywords from Time-Stamped DocumentsParvathi Chundi, Mahadevan Subramaniam, R. M. Aruna Weerakoon. DEXA 2011: 110-124 [doi]

2009

An approach for temporal analysis of email data based on segmentationParvathi Chundi, Mahadevan Subramaniam, Dileep K. Vasireddy. DKE, 68(11):1253-1270, 2009. [doi]

Consistency Checking for LSC SpecificationsHai-Feng Guo, Wen Zheng, Mahadevan Subramaniam. tase 2009: 119-126 [doi]

L2C2: logic-based LSC consistency checkingHai-Feng Guo, Wen Zheng, Mahadevan Subramaniam. ppdp 2009: 183-194 [doi]

Optimal String Edit Distance Based Test Suite Reduction for SDL SpecificationsGÃ¡bor KovÃ¡cs, GÃ¡bor ÃrpÃ¡d NÃ©meth, Mahadevan Subramaniam, ZoltÃ¡n Pap. sdl 2009: 82-97 [doi]

Using Change Impact Analysis to Select Tests for Extended Finite State MachinesMahadevan Subramaniam, Bo Guo, ZoltÃ¡n Pap. sefm 2009: 93-102 [doi]

An Approach for Test Selection for EFSMs Using a Theorem ProverMahadevan Subramaniam, Ling Xiao, Bo Guo, ZoltÃ¡n Pap. pts 2009: 146-162 [doi]

2008

Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem ProverBo Guo, Mahadevan Subramaniam. sefm 2008: 335-344 [doi]

Summarizing developer work history using time series segmentation: challenge reportHarvey P. Siy, Parvathi Chundi, Mahadevan Subramaniam. msr 2008: 137-140 [doi]

A segmentation-based approach for temporal analysis of software version repositoriesHarvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam. SMR, 20(3):199-222, 2008. [doi]

2007

2006

Analyzing the Impact of Protocol Changes on TestsMahadevan Subramaniam, Zoltán Pap. pts 2006: 197-212 [doi]

2005

Using Dominators to Extract Observable Protocol ContextsMahadevan Subramaniam, Jiangfan Shi. sefm 2005: 96-105 [doi]

Preserving Consistency of Runtime Monitors across Protocol ChangesMahadevan Subramaniam. iceccs 2005: 590-599 [doi]

2004

An Approach to Preserve Protocol Consistency and Executability Across UpdatesMahadevan Subramaniam, Parvathi Chundi. icfem 2004: 341-356 [doi]

The transient combinator, higher-order strategies, and the distributed data problemVictor L. Winter, Mahadevan Subramaniam. SCP, 52:165-212, 2004. [doi]

2003

Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary ReportDeepak Kapur, Mahadevan Subramaniam. asian 2003: 125-145 [doi]

Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQLMahadevan Subramaniam. ipps 2003: 290 [doi]

2000

Extending Decision Procedures with Induction SchemesDeepak Kapur, Mahadevan Subramaniam. cade 2000: 324-345

Using an induction prover for verifying arithmetic circuitsDeepak Kapur, Mahadevan Subramaniam. STTT, 3(1):32-65, 2000. [doi]

1998

Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem ProverDeepak Kapur, Mahadevan Subramaniam. asian 1998: 22-42 [doi]

Mechanical Verification of Adder Circuits using Rewrite Rule LaboratoryDeepak Kapur, Mahadevan Subramaniam. fmsd, 13(2):127-158, 1998.

1997

Mechanizing Verification of Arithmetic Circuits: SRT DivisionDeepak Kapur, Mahadevan Subramaniam. fsttcs 1997: 103-122 [doi]

1996

1995

Automated Reasoning About Parallel Algorithms Using PowerlistsDeepak Kapur, Mahadevan Subramaniam. amast 1995: 416-430

1994

Using Linear Arithmetic Procedure for Generating Induction SchemesDeepak Kapur, Mahadevan Subramaniam. fsttcs 1994: 438-449