Items where Author is "Suresh, S. P."

Conference or Workshop Item

Bouajjani, Ahmed ; Enea, Constantin ; Mukund, Madhavan ; Shenoy R., Gautham ; Suresh, S. P. (2020) Formalizing and Checking Multilevel Consistency In: 21st International Conference, Verification, Model Checking, and Abstract Interpretation 2020, January 16–21, 2020, New Orleans, LA, USA.

Khadir, Abdullah Abdul ; Mukund, Madhavan ; Suresh, S. P. (2017) Knowledge transfer and information leakage in protocols In: International Symposium on Automated Technology for Verification and Analysis - ATVA 2017, 03-06 Oct 2017, Pune, India.

Mukund, Madhavan ; Shenoy R., Gautham ; Suresh, S. P. (2015) Effective verification of replicated data types using later appearance records (LAR) In: 13th International Symposium, ATVA 2015, 12-15 Oct 2015, Shanghai, China.

Mukund, Madhavan ; Shenoy R., Gautham ; Suresh, S. P. (2015) Bounded implementations of replicated data types In: 16th International Conference, VMCAI 2015, 12-14 Jan 2015, Mumbai, India.

Mukund, Madhavan ; Shenoy R., Gautham ; Suresh, S. P. (2014) Optimized OR-Sets without ordering constraints In: International Conference on Distributed Computing and Networking (ICDCN) 2014, 04-07 Jan 2014, Coimbatore, India.

Khan, Abdul Sahid ; Mukund, Madhavan ; Suresh, S. P. (2005) Generic verification of security protocols In: 12th International SPIN Workshop on Model Checking of Software, 22-24 Aug 2005, San Francisco, CA, USA.