Sheerazuddin S
Sheerazuddin S
Verified email at
TitleCited byYear
Realizable temporal logics for web service choreography
R Ramanujam, S Sheerazuddin
Journal of Logical and Algebraic Methods in Programming 85 (5), 759-781, 2016
A Local Logic for Realizability in Web Service Choreographies
R Ramanujam, S Sheerazuddin
arXiv preprint arXiv:1409.2591, 2014
Temporal specifications for services with unboundedly many passive clients
S Sheerazuddin
International Conference on Distributed Computing and Networking, 179-190, 2011
A Scheme to Verify Services with Unboundedly many Clients using NuSMV
S Sheerazuddin, S Anand, RS Badhri
arXiv preprint arXiv:1812.00183, 2018
Formal Methods for Business Processes: A Survey
S Sahayaraj, S Sheerazuddin
Proceedings of the World Congress on Engineering and Computer Science 1, 2015
Temporal specifications of client-server systems and unbounded Agents [HBNI TH49]
S Sheerazuddin
HBNI, 2013
International Journal of Emerging Technology & Research
MW Khan
The system can't perform the operation now. Try again later.
Articles 1–7