Subash Shankar

Publication Activity (10 Years)

Years Active: 1988-2020
Publications (10 Years): 2

Top Topics

Formal Analysis

Pspace Complete

Transition Systems

Top Venues

Publications

Jordi Navarrette, Subash Shankar, Xiaojie Zhang, Saptarshi Debroy
Formal Modeling and Analysis of Multi-Rogue Backoff Manipulation Attacks in Unlicensed Networks. DRCN (2020)
Subash Shankar, Gilbert Pajela
A Tool Integrating Model Checking into a C Verification Toolset. SPIN (2016)
Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer
Undesirable Aspect Interactions: A Prevention Policy for Three Aspect Fault Types. SERE (Companion) (2012)
Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer
A Categorical Modeling Approach of Aspect-Oriented Systems. TASE (2011)
Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer
Undesirable Aspect Interactions: A Prevention Policy. TASE (2011)
Jinlin Chen, Subash Shankar, Angela M. Kelly, Serigne Geingue, Rathika Rajaravivarma
A Two Stage Approach for Contiguous Sequential Pattern Mining. IRI (2009)
Subash Shankar, Masahiro Fujita
Rule-Based Approaches for Equivalence Checking of SpecC Programs. MEMOCODE (2008)
Masahiro Fujita, Subash Shankar, Sasaki Shunsuke
Equivalence checking: a rule-based approach. MEMOCODE (2006)
Subash Shankar, Sinan Asa, Vladimir Sipos, Xiaowei Xu
Reasoning about real-time statecharts in the presence of semantic variations. ASE (2005)
Subash Shankar, Xiaowei Xu
Automating Object-Oriented Software Refactoring. Software Engineering Research and Practice (2003)
Subash Shankar, Sinan Asa
Formal Semantics of UML with Real-Time Constructs. UML (2003)
Subash Shankar
A Semantic Framework for Formal Analysis of Concurrent Systems. PDPTA (2002)
Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum
Program slicing for VHDL. Int. J. Softw. Tools Technol. Transf. 4 (1) (2002)
Subash Shankar
A Semantic Model of Real-Time UML. ICFEM (2002)
Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum
Program Slicing of Hardware Description Languages. CHARME (1999)
David Déharbe, Subash Shankar, Edmund M. Clarke
Formal Verification of VHDL ¾ The Model Checker CV. SBCCI (1998)
David Déharbe, Subash Shankar, Edmund M. Clarke
Model Checking VHDL with CV. FMCAD (1998)
Subash Shankar, James R. Slagle
A polymodal semantics for VHDL. CHARME (1997)
Subash Shankar, James R. Slagle
Connection Based Strategies for Deciding Propositional Temporal Logic. AAAI/IAAI (1997)
Subash Shankar
A Hierarchical Associative Memory Architecture for Logic Programming Unification. ICLP/SLP (1988)