The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mahadevan Subramaniam: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Deepak Kapur, Mahadevan Subramaniam
    Automated Reasoning About Parallel Algorithms Using Powerlists. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:416-430 [Conf]
  2. Deepak Kapur, Mahadevan Subramaniam
    Automating Induction over Mutually Recursive Functions. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:117-131 [Conf]
  3. 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]
  4. 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]
  5. Deepak Kapur, Mahadevan Subramaniam
    Extending Decision Procedures with Induction Schemes. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:324-345 [Conf]
  6. Deepak Kapur, Mahadevan Subramaniam
    Lemma Discovery in Automated Induction. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:538-552 [Conf]
  7. Deepak Kapur, Mahadevan Subramaniam
    Mechanically Verifying a Family of Multiplier Circuits. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:135-146 [Conf]
  8. Mahadevan Subramaniam, Harvey P. Siy
    Consistently Incorporating Changes to Evolve Transition-based Systems. [Citation Graph (0, 0)][DBLP]
    CSMR, 2007, pp:17-26 [Conf]
  9. Deepak Kapur, Mahadevan Subramaniam
    Using Linear Arithmetic Procedure for Generating Induction Schemes. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1994, pp:438-449 [Conf]
  10. Deepak Kapur, Mahadevan Subramaniam
    Mechanizing Verification of Arithmetic Circuits: SRT Division. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1997, pp:103-122 [Conf]
  11. Mahadevan Subramaniam
    Preserving Consistency of Runtime Monitors across Protocol Changes. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:590-599 [Conf]
  12. 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]
  13. Mahadevan Subramaniam
    Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2003, pp:290- [Conf]
  14. 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]
  15. Mahadevan Subramaniam, Zoltán Pap
    Analyzing the Impact of Protocol Changes on Tests. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:197-212 [Conf]
  16. Mahadevan Subramaniam, Jiangfan Shi
    Using Dominators to Extract Observable Protocol Contexts. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:96-105 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  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. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:244-259 [Conf]

  22. Discovering Dynamic Developer Relationships from Software Version Histories by Time Series Segmentation. [Citation Graph (, )][DBLP]


  23. Aggregating changes to efficiently check consistency. [Citation Graph (, )][DBLP]


  24. Summarizing developer work history using time series segmentation: challenge report. [Citation Graph (, )][DBLP]


  25. L2C2: logic-based LSC consistency checking. [Citation Graph (, )][DBLP]


  26. An Approach for Test Selection for EFSMs Using a Theorem Prover. [Citation Graph (, )][DBLP]


  27. Optimal String Edit Distance Based Test Suite Reduction for SDL Specifications. [Citation Graph (, )][DBLP]


  28. Using Change Impact Analysis to Select Tests for Extended Finite State Machines. [Citation Graph (, )][DBLP]


  29. Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover. [Citation Graph (, )][DBLP]


  30. Consistency Checking for LSC Specifications. [Citation Graph (, )][DBLP]


  31. A methodology for early validation of cache coherence protocols based on relational databases. [Citation Graph (, )][DBLP]


  32. L2C2: Logic-based LSC Consistency Checking [Citation Graph (, )][DBLP]


  33. An approach for temporal analysis of email data based on segmentation. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002