Suman Roy
Suman Roy
Optum Global Services India Pvt Ltd
Verified email at optum.com - Homepage
Title
Cited by
Cited by
Year
An empirical study of error patterns in industrial business process models
S Roy, ASM Sajeev, S Bihary, A Ranjan
IEEE Transactions on Services Computing 7 (2), 140-153, 2013
402013
Completeness of neighbourhood logic
R Barua, S Roy, Z Chaochen
Journal of Logic and Computation 10 (2), 271-295, 2000
292000
An efficient XML to OWL converter
D Lacoste, KP Sawant, S Roy
Proceedings of the 4th India software engineering conference, 145-154, 2011
252011
A ZKP-based identification scheme for base nodes in wireless sensor networks
D Anshul, S Roy
Proceedings of the 2005 ACM symposium on Applied computing, 319-323, 2005
222005
Notes on neighbourhood logic
S Roy, Z Chaochen
Journal of Logic and Computation, 1997
211997
A finite state analysis of time-triggered CAN (TTCAN) protocol using spin
I Saha, S Roy
2007 International Conference on Computing: Theory and Applications (ICCTA …, 2007
202007
System and method for checking the conformance of the behavior of a process
S Roy, SS Bihary, M Khattri
US Patent App. 13/418,316, 2013
192013
A numerical method for the hyperbolic-heat conduction equation based on multiple scale technique
S Roy, ASV Murthy, RB Kudenatti
Applied numerical mathematics 59 (6), 1419-1430, 2009
182009
Defending against sybil attacks in sensor networks
S Banerjee, D Mukhopadhyay, S Roy
US Patent App. 11/258,976, 2007
162007
Clustering and labeling IT maintenance tickets
S Roy, DP Muni, JJYT Yan, N Budhiraja, F Ceiler
International Conference on Service-Oriented Computing, 829-845, 2016
152016
A framework for security quantification of networked machines
H Wang, S Roy, A Das, S Paul
2010 Second International Conference on COMmunication Systems and NETworks …, 2010
152010
Formal verification of fault-tolerant startup algorithms for time-triggered architectures: a survey
I Saha, S Roy, S Ramesh
Proceedings of the IEEE 104 (5), 904-922, 2016
142016
A finite state modeling of AFDX frame management using spin
I Saha, S Roy
International Workshop on Parallel and Distributed Methods in Verification …, 2006
142006
Computationally and resource efficient group key agreement for ad hoc sensor networks
DR Choudhary, D Anshul, S Roy, CS Thejaswi
2007 2nd International Conference on Communication Systems Software and …, 2007
122007
An approach to reverse engineering of C programs to Simulink models with conformance testing
IS Saha, K Chakraborty, S Roy, BVV Reddy, V Kurapati, V Sharma
Proceedings of the 2nd India software engineering conference, 137-138, 2009
112009
Method and apparatus for managing process flow
S Roy, KP Sawant
US Patent App. 13/173,568, 2013
102013
Modeling a sensor network design to secure a network against attack
SSR Roy, D Mukhopadhyay, CT PS
US Patent 7,804,962, 2010
102010
Enforcing structure on textual use cases via annotation models
KP Sawant, S Roy, D Parachuri, F Plesse, P Bhattacharya
Proceedings of the 7th India Software Engineering Conference, 1-6, 2014
82014
Timeout and calendar based finite state modeling and verification of real-time systems
I Saha, J Misra, S Roy
International Symposium on Automated Technology for Verification and …, 2007
82007
Modeling and verification of TTCAN startup protocol using synchronous calendar
I Saha, S Roy, K Chakraborty
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
82007
The system can't perform the operation now. Try again later.
Articles 1–20