Suman Roy - Citegraph

Author Info

Name	Affiliation	Papers
SUMAN ROY	Honeywell Technology Solutions Lab, India	19
Collaborators	Citations	PageRank
21	21	7.25
Referers	Referees	References
49	289	180

Search Limit

100289

Publications (19 rows)

Collaborators (21 rows)

Referers (49 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Patterns for Process Edification in Process-Aware Information Systems	0	0.34	2018
A NMF-Based Learning of Topics and Clusters for IT Maintenance Tickets Aided by Heuristic.	0	0.34	2018
Fuzzy QoS Modeling of IT Maintenance Tickets	0	0.34	2017
A New Threshold Certification Scheme Based Defense Against Sybil Attack for Sensor Networks.	0	0.34	2015
A decidable timeout-based extension of linear temporal logic.	0	0.34	2014
A Simplification of a Real-Time Verification Problem	1	0.37	2010
A Decidable Timeout based Extension of Propositional Linear Temporal Logic	0	0.34	2010
Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions	0	0.34	2009
An approach to reverse engineering of C programs to simulink models with conformance testing	2	0.45	2009
A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin	4	0.44	2007
Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar	1	0.39	2007
Reasoning with 'And Then' and 'While'	0	0.34	2007
Timeout and calendar based finite state modeling and verification of real-time systems	2	0.38	2007
A Sensor Network Design from a Probabilistic Automaton Model of Impersonation Attack	0	0.34	2006
A finite state modeling of AFDX frame management using spin	4	0.47	2006
A finite union of DFAs in symbolic model checking of infinite systems	0	0.34	2006
A ZKP-based identification scheme for base nodes in wireless sensor networks	4	0.63	2005
A game based model of security for key predistribution schemes in wireless sensor network	2	0.37	2005
Symbolic Verification of Infinite Systems using a Finite Union of DFAs	1	0.37	2004

1