Subash Shankar

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