| 2008 |
|---|
| 13 | EE | Subash Shankar,
Masahiro Fujita:
Rule-Based Approaches for Equivalence Checking of SpecC Programs.
MEMOCODE 2008: 39-48 |
| 2006 |
|---|
| 12 | EE | Masahiro Fujita,
Subash Shankar,
S. Shunsuke:
Equivalence checking: a rule-based approach.
MEMOCODE 2006: 197 |
| 2005 |
|---|
| 11 | EE | Subash Shankar,
Sinan Asa,
Vladimir Sipos,
Xiaowei Xu:
Reasoning about real-time statecharts in the presence of semantic variations.
ASE 2005: 243-252 |
| 2003 |
|---|
| 10 | | Subash Shankar,
Xiaowei Xu:
Automating Object-Oriented Software Refactoring.
Software Engineering Research and Practice 2003: 561-567 |
| 9 | EE | Subash Shankar,
Sinan Asa:
Formal Semantics of UML with Real-Time Constructs.
UML 2003: 60-75 |
| 2002 |
|---|
| 8 | EE | Subash Shankar:
A Semantic Model of Real-Time UML.
ICFEM 2002: 573-577 |
| 7 | | Subash Shankar:
A Semantic Framework for Formal Analysis of Concurrent Systems.
PDPTA 2002: 617-623 |
| 6 | EE | Edmund M. Clarke,
Masahiro Fujita,
Sreeranga P. Rajan,
Thomas W. Reps,
Subash Shankar,
Tim Teitelbaum:
Program slicing for VHDL.
STTT 4(1): 125-137 (2002) |
| 1999 |
|---|
| 5 | EE | Edmund M. Clarke,
Masahiro Fujita,
Sreeranga P. Rajan,
Thomas W. Reps,
Subash Shankar,
Tim Teitelbaum:
Program Slicing of Hardware Description Languages.
CHARME 1999: 298-312 |
| 1998 |
|---|
| 4 | EE | David Déharbe,
Subash Shankar,
Edmund M. Clarke:
Model Checking VHDL with CV.
FMCAD 1998: 508-514 |
| 1997 |
|---|
| 3 | | Subash Shankar,
James R. Slagle:
Connection Based Strategies for Deciding Propositional Temporal Logic.
AAAI/IAAI 1997: 172-177 |
| 2 | | Subash Shankar,
James R. Slagle:
A polymodal semantics for VHDL.
CHARME 1997: 88-105 |
| 1988 |
|---|
| 1 | | Subash Shankar:
A Hierarchical Associative Memory Architecture for Logic Programming Unification.
ICLP/SLP 1988: 1428-1447 |
