S. Sheerazuddin

Orcid: 0009-0007-6004-2703

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Verification of Unbounded Client-Server Systems with Distinguishable Clients.
CoRR, February, 2026

2025
Counter abstraction for regular open teams.
Inf. Process. Lett., 2025

2022
Bounded Model Checking for Unbounded Client Server Systems.
CoRR, 2022

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

2016
Realizable temporal logics for web service choreography.
J. Log. Algebraic Methods Program., 2016

2014
A Local Logic for Realizability in Web Service Choreographies.
Proceedings of the Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, 2014


  Loading...