|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 23 keywords
|
|
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Parvathi Chundi, Mahadevan Subramaniam, R. M. Aruna Weerakoon |
Extracting Temporal Equivalence Relationships among Keywords from Time-Stamped Documents.  |
DEXA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo |
An Approach to Regression Test Selection of Adaptive EFSM Tests. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam |
L2C2: Logic-based LSC Consistency Checking |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Parvathi Chundi, Mahadevan Subramaniam, Dileep K. Vasireddy |
An approach for temporal analysis of email data based on segmentation. |
Data Knowl. Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahadevan Subramaniam, Bo Guo, Zoltán Pap |
Using Change Impact Analysis to Select Tests for Extended Finite State Machines. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap |
An Approach for Test Selection for EFSMs Using a Theorem Prover. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam |
L2C2: logic-based LSC consistency checking. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
play-tree, logic programming, memoization, live sequence chart (lsc), scenario-based programming |
| 1 | Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam |
Consistency Checking for LSC Specifications. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
SDL based test selection, MSC test cases, string edit distance |
| 1 | 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 |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Guo, Mahadevan Subramaniam |
Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Harvey P. Siy, Parvathi Chundi, Mahadevan Subramaniam |
Summarizing developer work history using time series segmentation: challenge report. |
MSR |
2008 |
DBLP DOI BibTeX RDF |
time series, open source, mining software repositories, temporal segmentation |
| 1 | Mahadevan Subramaniam, Patrick Conway |
A methodology for early validation of cache coherence protocols based on relational databases. |
Concurrency and Computation: Practice and Experience |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahadevan Subramaniam, Parvathi Chundi, Harvey P. Siy |
Aggregating changes to efficiently check consistency. |
IWPSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
finite state machine, conformance testing, incremental algorithms, test generation algorithms |
| 1 | Harvey P. Siy, Parvathi Chundi, Daniel J. Rosenkrantz, Mahadevan Subramaniam |
Discovering Dynamic Developer Relationships from Software Version Histories by Time Series Segmentation. |
ICSM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahadevan Subramaniam, Harvey P. Siy |
Consistently Incorporating Changes to Evolve Transition-based Systems. |
CSMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahadevan Subramaniam, Zoltán Pap |
Analyzing the Impact of Protocol Changes on Tests. |
TestCom |
2006 |
DBLP DOI BibTeX RDF |
test consistency, protocol, evolution, Changes, communicating finite state machines |
| 1 | Mahadevan Subramaniam, Jiangfan Shi |
Using Dominators to Extract Observable Protocol Contexts. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahadevan Subramaniam |
Preserving Consistency of Runtime Monitors across Protocol Changes. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor L. Winter, Mahadevan Subramaniam |
The transient combinator, higher-order strategies, and the distributed data problem. |
Sci. Comput. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahadevan Subramaniam, Parvathi Chundi |
An Approach to Preserve Protocol Consistency and Executability Across Updates. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahadevan Subramaniam |
Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report. |
ASIAN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Using an induction prover for verifying arithmetic circuits. |
STTT |
2000 |
DBLP DOI BibTeX RDF |
Induction, Automated reasoning, Decision procedures, Rewriting, Arithmetic circuits, Hardware verification |
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Extending Decision Procedures with Induction Schemes. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory. |
Formal Methods in System Design |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Mechanizing Reasoning about Large Finite Tables in a Rewrite Based Theorem Prover. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Mechanizing Verification of Arithmetic Circuits: SRT Division. |
FSTTCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
New Uses of Linear Arithmetic in Automated Theorem Proving by Induction. |
J. Autom. Reasoning |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Lemma Discovery in Automated Induction. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam |
Automating Proofs of Integrity Constraints in Situation Calculus. |
ISMIS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Automating Induction over Mutually Recursive Functions. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Mechanically Verifying a Family of Multiplier Circuits. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Automated Reasoning About Parallel Algorithms Using Powerlists. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, Mahadevan Subramaniam |
Using Linear Arithmetic Procedure for Generating Induction Schemes. |
FSTTCS |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")