| 2008 |
|---|
| 27 | EE | Harvey P. Siy,
Parvathi Chundi,
Mahadevan Subramaniam:
Summarizing developer work history using time series segmentation: challenge report.
MSR 2008: 137-140 |
| 26 | EE | Bo Guo,
Mahadevan Subramaniam:
Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover.
SEFM 2008: 335-344 |
| 25 | EE | 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 | EE | Mahadevan Subramaniam,
Harvey P. Siy:
Consistently Incorporating Changes to Evolve Transition-based Systems.
CSMR 2007: 17-26 |
| 23 | EE | 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 | EE | Mahadevan Subramaniam,
Parvathi Chundi,
Harvey P. Siy:
Aggregating changes to efficiently check consistency.
IWPSE 2007: 39-42 |
| 21 | EE | 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 | EE | 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 | EE | Mahadevan Subramaniam,
Zoltán Pap:
Analyzing the Impact of Protocol Changes on Tests.
TestCom 2006: 197-212 |
| 2005 |
|---|
| 18 | EE | Mahadevan Subramaniam:
Preserving Consistency of Runtime Monitors across Protocol Changes.
ICECCS 2005: 590-599 |
| 17 | EE | Mahadevan Subramaniam,
Jiangfan Shi:
Using Dominators to Extract Observable Protocol Contexts.
SEFM 2005: 96-105 |
| 2004 |
|---|
| 16 | EE | Mahadevan Subramaniam,
Parvathi Chundi:
An Approach to Preserve Protocol Consistency and Executability Across Updates.
ICFEM 2004: 341-356 |
| 15 | EE | 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 | EE | Deepak Kapur,
Mahadevan Subramaniam:
Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report.
ASIAN 2003: 125-145 |
| 13 | EE | 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 | EE | Deepak Kapur,
Mahadevan Subramaniam:
Using an induction prover for verifying arithmetic circuits.
STTT 3(1): 32-65 (2000) |
| 1998 |
|---|
| 10 | EE | 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 | EE | 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 |
