A Local Logic for Realizability in Web Service Choreographies. - Ramaswamy Ramanujam; S. Sheerazuddin (WWV, 2014)

Realizable temporal logics for web service choreography. - Ramaswamy Ramanujam; S. Sheerazuddin (J. Log. Algebraic Methods Program., 2016)

A Scheme to Verify Services with Unboundedly many Clients using NuSMV. - S. Sheerazuddin; S. Anand; R. S. Anish Badhri (CoRR, 2018)

Bounded Model Checking for Unbounded Client Server Systems. - Ramchandra Phawade; Tephilla Prince; S. Sheerazuddin (CoRR, 2022)

Counter abstraction for regular open teams. - Shabana A. T.; Alphy George; S. Sheerazuddin (Inf. Process. Lett., 2025)