| Realizable temporal logics for web service choreography R Ramanujam, S Sheerazuddin Journal of Logical and Algebraic Methods in Programming 85 (5), 759-781, 2016 | 3 | 2016 |
| Identifying Conflicting Routes in Control Table of Indian Railways Interlocking System using NuSMV K Sriram, S Sheerazuddin International Journal of Computer Applications 146 (7), 1-6, 2016 | 3 | 2016 |
| A Local Logic for Realizability in Web Service Choreographies R Ramanujam, S Sheerazuddin arXiv preprint arXiv:1409.2591, 2014 | 2 | 2014 |
| Bounded model checking for unbounded client server systems R Phawade, T Prince, S Sheerazuddin arXiv preprint arXiv:2209.05879, 2022 | 1 | 2022 |
| A Scheme to Verify Services with Unboundedly many Clients using NuSMV S Sheerazuddin, S Anand, RS Badhri arXiv preprint arXiv:1812.00183, 2018 | 1 | 2018 |
| Temporal specifications for services with unboundedly many passive clients S Sheerazuddin Distributed Computing and Networking: 12th International Conference, ICDCN …, 2011 | 1 | 2011 |
| Formal Methods for Business Processes: A Survey S Sahayaraj, S Sheerazuddin Proceedings of the World Congress on Engineering and Computer Science 1, 2015 | | 2015 |
| Temporal specifications of client-server systems and unbounded Agents [HBNI Th49] S Sheerazuddin The Institute of Mathematical Sciences, 2013 | | 2013 |
| Using Petri Nets in the formal representation of Business Processes S Sahayaraj, S Sheerazuddin | | |
| International Journal Of Emerging Technology & Research MW Khan | | |
R. RamanujamInstitute of Mathematical SciencesVerified email at imsc.res.in
R. RamanujamInstitute of Mathematical SciencesVerified email at imsc.res.in