S. Sheerazuddin

According to our database, S. Sheerazuddin authored at least 6 papers between 2014 and 2026.

Collaborative distances:

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

2026

Verification of Unbounded Client-Server Systems with Distinguishable Clients.

Ramchandra Phawade, Tephilla Prince, S. Sheerazuddin

CoRR, February, 2026

2025

Counter abstraction for regular open teams.

Shabana A. T., Alphy George, S. Sheerazuddin

Inf. Process. Lett., 2025

2022

Bounded Model Checking for Unbounded Client Server Systems.

Ramchandra Phawade, Tephilla Prince, S. Sheerazuddin

CoRR, 2022

2018

A Scheme to Verify Services with Unboundedly many Clients using NuSMV.

S. Sheerazuddin, S. Anand, R. S. Anish Badhri

CoRR, 2018

2016

Realizable temporal logics for web service choreography.

Ramaswamy Ramanujam, S. Sheerazuddin

J. Log. Algebraic Methods Program., 2016

2014

A Local Logic for Realizability in Web Service Choreographies.

Ramaswamy Ramanujam, S. Sheerazuddin

Proceedings of the Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, 2014