Get started
Author

S. Sheerazuddin

Observed names: S Sheerazuddin, S, Sheerazuddin, Shamimuddin Sheerazuddin, Sheerazuddin S, Sheerazuddin, S, Sheerazuddin, S.
ORCID: 0009-0007-6004-2703
Observed ORCID: 0009-0007-6004-2703
OpenAlex ID: A5014469255
Realizable temporal logics for web service choreography
2016 · R. Ramanujam, S. Sheerazuddin · Journal of Logical and Algebraic Methods in Programming · 3
PDF
Identifying Conflicting Routes in Control Table of Indian Railways Interlocking System using NuSMV
2016 · K. Sriram, S. Sheerazuddin · International Journal of Computer Applications · 2
PDF
A Local Logic for Realizability in Web Service Choreographies
2014 · R Ramanujam, S Sheerazuddin · Electronic Proceedings in Theoretical Computer Science · 2
PDF
Verification of Unbounded Client-Server Systems with Distinguishable Clients
2026 · Phawade, Ramchandra, Prince, Tephilla, et al. · arXiv (Cornell University)
PDF
On the Complexity of Safety Checking in Collective Regular Open Multi-agent Systems
2026 · Alphy George, Shabana AT, et al. · SSRN Electronic Journal
PDF
Counter abstraction for regular open teams
2024 · Shabana A.T., Alphy George, et al. · Information Processing Letters
Bounded Model Checking for Unbounded Client Server Systems
2022 · Phawade, Ramchandra, Prince, Tephilla, et al. · arXiv (Cornell University)
PDF
A Scheme to Verify Services with Unboundedly many Clients using NuSMV
2018 · Sheerazuddin, S, Anand, S, et al. · arXiv (Cornell University)
PDF
Temporal specifications of client-server systems and unbounded Agents[HBNI TH49]
2013 · S. Sheerazuddin
Temporal Specifications for Services with Unboundedly Many Passive Clients
2011 · Shamimuddin Sheerazuddin · Lecture notes in computer science
Works count: 14
Citation count: 7
H-index: 2
I10-index:
Year
Topic
Type