Subash Shankar

According to our database, Subash Shankar authored at least 21 papers between 1988 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal Verification of Forward Secrecy and Post-Compromise Security for TreeKEM.

Alex J. Washburn, Subash Shankar

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

2020

Formal Modeling and Analysis of Multi-Rogue Backoff Manipulation Attacks in Unlicensed Networks.

Jordi Navarrette, Subash Shankar, Xiaojie Zhang, Saptarshi Debroy

Proceedings of the 16th International Conference on the Design of Reliable Communication Networks, 2020

2016

A Tool Integrating Model Checking into a C Verification Toolset.

Subash Shankar, Gilbert Pajela

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

2012

Undesirable Aspect Interactions: A Prevention Policy for Three Aspect Fault Types.

Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

2011

Undesirable Aspect Interactions: A Prevention Policy.

Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

A Categorical Modeling Approach of Aspect-Oriented Systems.

Arsène Sabas, Subash Shankar, Virginie Wiels, Michel Boyer

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

2009

A Two Stage Approach for Contiguous Sequential Pattern Mining.

Jinlin Chen, Subash Shankar, Angela M. Kelly, Serigne Geingue, Rathika Rajaravivarma

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2009

2008

Rule-Based Approaches for Equivalence Checking of SpecC Programs.

Subash Shankar, Masahiro Fujita

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

2006

Equivalence checking: a rule-based approach.

Masahiro Fujita, Subash Shankar, Sasaki Shunsuke

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

2005

Reasoning about real-time statecharts in the presence of semantic variations.

Subash Shankar, Sinan Asa, Vladimir Sipos, Xiaowei Xu

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2003

Formal Semantics of UML with Real-Time Constructs.

Subash Shankar, Sinan Asa

Proceedings of the «UML» 2003, 2003

Automating Object-Oriented Software Refactoring.

Subash Shankar, Xiaowei Xu

Proceedings of the International Conference on Software Engineering Research and Practice, 2003

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

A Semantic Framework for Formal Analysis of Concurrent Systems.

Subash Shankar

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

A Semantic Model of Real-Time UML.

Subash Shankar

Proceedings of the Formal Methods and Software Engineering, 2002

1999

Program Slicing of Hardware Description Languages.

Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1998

Formal Verification of VHDL ¾ The Model Checker CV.

David Déharbe, Subash Shankar, Edmund M. Clarke

Proceedings of the 11th Annual Symposium on Integrated Circuits Design, 1998

Model Checking VHDL with CV.

David Déharbe, Subash Shankar, Edmund M. Clarke

Proceedings of the Formal Methods in Computer-Aided Design, 1998

1997

A polymodal semantics for VHDL.

Subash Shankar, James R. Slagle

Proceedings of the Advances in Hardware Design and Verification, 1997

Connection Based Strategies for Deciding Propositional Temporal Logic.

Subash Shankar, James R. Slagle

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1988

A Hierarchical Associative Memory Architecture for Logic Programming Unification.

Subash Shankar

Proceedings of the Logic Programming, 1988