S. Sheerazuddin

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 3

Top Topics

Mazurkiewicz Traces

Service Providers

Top Venues

J. Log. Algebraic Methods Program.

Publications

Ramchandra Phawade, Tephilla Prince, S. Sheerazuddin
Bounded Model Checking for Unbounded Client Server Systems. CoRR (2022)
S. Sheerazuddin, S. Anand, R. S. Anish Badhri
A Scheme to Verify Services with Unboundedly many Clients using NuSMV. CoRR (2018)
Ramaswamy Ramanujam, S. Sheerazuddin
Realizable temporal logics for web service choreography. J. Log. Algebraic Methods Program. 85 (5) (2016)
Ramaswamy Ramanujam, S. Sheerazuddin
A Local Logic for Realizability in Web Service Choreographies. WWV (2014)