The SCEAS System
| |||||||

## Search the dblp DataBase
Mahadevan Subramaniam:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Deepak Kapur, Mahadevan Subramaniam
**Automated Reasoning About Parallel Algorithms Using Powerlists.**[Citation Graph (0, 0)][DBLP] AMAST, 1995, pp:416-430 [Conf] - Deepak Kapur, Mahadevan Subramaniam
**Automating Induction over Mutually Recursive Functions.**[Citation Graph (0, 0)][DBLP] AMAST, 1996, pp:117-131 [Conf] - Deepak Kapur, Mahadevan Subramaniam
**Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report.**[Citation Graph (0, 0)][DBLP] ASIAN, 2003, pp:125-145 [Conf] - Deepak Kapur, Mahadevan Subramaniam
**Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover.**[Citation Graph (0, 0)][DBLP] ASIAN, 1998, pp:22-42 [Conf] - Deepak Kapur, Mahadevan Subramaniam
**Extending Decision Procedures with Induction Schemes.**[Citation Graph (0, 0)][DBLP] CADE, 2000, pp:324-345 [Conf] - Deepak Kapur, Mahadevan Subramaniam
**Lemma Discovery in Automated Induction.**[Citation Graph (0, 0)][DBLP] CADE, 1996, pp:538-552 [Conf] - Deepak Kapur, Mahadevan Subramaniam
**Mechanically Verifying a Family of Multiplier Circuits.**[Citation Graph (0, 0)][DBLP] CAV, 1996, pp:135-146 [Conf] - Mahadevan Subramaniam, Harvey P. Siy
**Consistently Incorporating Changes to Evolve Transition-based Systems.**[Citation Graph (0, 0)][DBLP] CSMR, 2007, pp:17-26 [Conf] - Deepak Kapur, Mahadevan Subramaniam
**Using Linear Arithmetic Procedure for Generating Induction Schemes.**[Citation Graph (0, 0)][DBLP] FSTTCS, 1994, pp:438-449 [Conf] - Deepak Kapur, Mahadevan Subramaniam
**Mechanizing Verification of Arithmetic Circuits: SRT Division.**[Citation Graph (0, 0)][DBLP] FSTTCS, 1997, pp:103-122 [Conf] - Mahadevan Subramaniam
**Preserving Consistency of Runtime Monitors across Protocol Changes.**[Citation Graph (0, 0)][DBLP] ICECCS, 2005, pp:590-599 [Conf] - Mahadevan Subramaniam, Parvathi Chundi
**An Approach to Preserve Protocol Consistency and Executability Across Updates.**[Citation Graph (0, 0)][DBLP] ICFEM, 2004, pp:341-356 [Conf] - Mahadevan Subramaniam
**Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL.**[Citation Graph (0, 0)][DBLP] IPDPS, 2003, pp:290- [Conf] - Leopoldo E. Bertossi, Javier Pinto, Pablo Saez, Deepak Kapur, Mahadevan Subramaniam
**Automating Proofs of Integrity Constraints in Situation Calculus.**[Citation Graph (0, 0)][DBLP] ISMIS, 1996, pp:212-222 [Conf] - Mahadevan Subramaniam, Zoltán Pap
**Analyzing the Impact of Protocol Changes on Tests.**[Citation Graph (0, 0)][DBLP] TestCom, 2006, pp:197-212 [Conf] - Mahadevan Subramaniam, Jiangfan Shi
**Using Dominators to Extract Observable Protocol Contexts.**[Citation Graph (0, 0)][DBLP] SEFM, 2005, pp:96-105 [Conf] - Deepak Kapur, Mahadevan Subramaniam
**Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory.**[Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1998, v:13, n:2, pp:127-158 [Journal] - Deepak Kapur, Mahadevan Subramaniam
**New Uses of Linear Arithmetic in Automated Theorem Proving by Induction.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1996, v:16, n:1-2, pp:39-78 [Journal] - Victor L. Winter, Mahadevan Subramaniam
**The transient combinator, higher-order strategies, and the distributed data problem.**[Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2004, v:52, n:, pp:165-212 [Journal] - Deepak Kapur, Mahadevan Subramaniam
**Using an induction prover for verifying arithmetic circuits.**[Citation Graph (0, 0)][DBLP] STTT, 2000, v:3, n:1, pp:32-65 [Journal] - 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.**[Citation Graph (0, 0)][DBLP] TestCom/FATES, 2007, pp:244-259 [Conf] **Discovering Dynamic Developer Relationships from Software Version Histories by Time Series Segmentation.**[Citation Graph (, )][DBLP]**Aggregating changes to efficiently check consistency.**[Citation Graph (, )][DBLP]**Summarizing developer work history using time series segmentation: challenge report.**[Citation Graph (, )][DBLP]**L2C2: logic-based LSC consistency checking.**[Citation Graph (, )][DBLP]**An Approach for Test Selection for EFSMs Using a Theorem Prover.**[Citation Graph (, )][DBLP]**Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications.**[Citation Graph (, )][DBLP]**Using Change Impact Analysis to Select Tests for Extended Finite State Machines.**[Citation Graph (, )][DBLP]**Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover.**[Citation Graph (, )][DBLP]**Consistency Checking for LSC Specifications.**[Citation Graph (, )][DBLP]**A methodology for early validation of cache coherence protocols based on relational databases.**[Citation Graph (, )][DBLP]**L2C2: Logic-based LSC Consistency Checking**[Citation Graph (, )][DBLP]**An approach for temporal analysis of email data based on segmentation.**[Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.008secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |