A Hierarchical Associative Memory Architecture for Logic Programming Unification. - Subash Shankar (ICLP/SLP, 1988)

Connection Based Strategies for Deciding Propositional Temporal Logic. - Subash Shankar; James R. Slagle (AAAI/IAAI, 1997)

A polymodal semantics for VHDL. - Subash Shankar; James R. Slagle (CHARME, 1997)

Model Checking VHDL with CV. - David Déharbe; Subash Shankar; Edmund M. Clarke (FMCAD, 1998)

Formal Verification of VHDL ¾ The Model Checker CV. - David Déharbe; Subash Shankar; Edmund M. Clarke (SBCCI, 1998)

Program Slicing of Hardware Description Languages. - Edmund M. Clarke; Masahiro Fujita; Sreeranga P. Rajan; Thomas W. Reps; Subash Shankar; Tim Teitelbaum (CHARME, 1999)

A Semantic Model of Real-Time UML. - Subash Shankar (ICFEM, 2002)

A Semantic Framework for Formal Analysis of Concurrent Systems. - Subash Shankar (PDPTA, 2002)

Program slicing for VHDL. - Edmund M. Clarke; Masahiro Fujita; Sreeranga P. Rajan; Thomas W. Reps; Subash Shankar; Tim Teitelbaum (Int. J. Softw. Tools Technol. Transf., 2002)

Automating Object-Oriented Software Refactoring. - Subash Shankar; Xiaowei Xu (Software Engineering Research and Practice, 2003)

Formal Semantics of UML with Real-Time Constructs. - Subash Shankar; Sinan Asa (UML, 2003)

Reasoning about real-time statecharts in the presence of semantic variations. - Subash Shankar; Sinan Asa; Vladimir Sipos; Xiaowei Xu (ASE, 2005)

Equivalence checking: a rule-based approach. - Masahiro Fujita; Subash Shankar; Sasaki Shunsuke (MEMOCODE, 2006)

Rule-Based Approaches for Equivalence Checking of SpecC Programs. - Subash Shankar; Masahiro Fujita (MEMOCODE, 2008)

A Two Stage Approach for Contiguous Sequential Pattern Mining. - Jinlin Chen; Subash Shankar; Angela M. Kelly; Serigne Geingue; Rathika Rajaravivarma (IRI, 2009)

A Categorical Modeling Approach of Aspect-Oriented Systems. - Arsène Sabas; Subash Shankar; Virginie Wiels; Michel Boyer (TASE, 2011)

Undesirable Aspect Interactions: A Prevention Policy. - Arsène Sabas; Subash Shankar; Virginie Wiels; Michel Boyer (TASE, 2011)

Undesirable Aspect Interactions: A Prevention Policy for Three Aspect Fault Types. - Arsène Sabas; Subash Shankar; Virginie Wiels; Michel Boyer (SERE (Companion), 2012)

A Tool Integrating Model Checking into a C Verification Toolset. - Subash Shankar; Gilbert Pajela (SPIN, 2016)

Formal Modeling and Analysis of Multi-Rogue Backoff Manipulation Attacks in Unlicensed Networks. - Jordi Navarrette; Subash Shankar; Xiaojie Zhang; Saptarshi Debroy (DRCN, 2020)

Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEM. - Alex J. Washburn; Subash Shankar (SBMF, 2024)