dblp.uni-trier.dewww.uni-trier.de

Subash Shankar Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
13EESubash Shankar, Masahiro Fujita: Rule-Based Approaches for Equivalence Checking of SpecC Programs. MEMOCODE 2008: 39-48
2006
12EEMasahiro Fujita, Subash Shankar, S. Shunsuke: Equivalence checking: a rule-based approach. MEMOCODE 2006: 197
2005
11EESubash 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
9EESubash Shankar, Sinan Asa: Formal Semantics of UML with Real-Time Constructs. UML 2003: 60-75
2002
8EESubash 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
6EEEdmund 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
5EEEdmund 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
4EEDavid 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

Coauthor Index

1Sinan Asa [9] [11]
2Edmund M. Clarke [4] [5] [6]
3David Déharbe [4]
4Masahiro Fujita [5] [6] [12] [13]
5Sreeranga P. Rajan [5] [6]
6Thomas W. Reps [5] [6]
7S. Shunsuke [12]
8Vladimir Sipos [11]
9James R. Slagle [2] [3]
10Tim Teitelbaum [5] [6]
11Xiaowei Xu [10] [11]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)