Communicating reactive processes G Berry, S Ramesh, RK Shyamasundar Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993 | 216 | 1993 |
City data fusion: Sensor data fusion in the internet of things M Wang, C Perera, PP Jayaraman, M Zhang, P Strazdins, ... International Journal of Distributed Systems and Technologies (IJDST) 7 (1 …, 2016 | 122 | 2016 |
May-happen-in-parallel analysis of X10 programs S Agarwal, R Barik, V Sarkar, RK Shyamasundar Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of …, 2007 | 122 | 2007 |
Compositional semantics for real-time distributed computing R Koymans, RK Shyamasundar, WP de Roever, R Gerth, S Arun-Kumar Information and Computation 79 (3), 210-256, 1988 | 116 | 1988 |
Smart cities cybersecurity and privacy DB Rawat, KZ Ghafoor Elsevier, 2018 | 110 | 2018 |
Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings O Maler Springer Science & Business Media, 1997 | 73* | 1997 |
Deadlock-free scheduling of X10 computations with bounded resources S Agarwal, R Barik, D Bonachea, V Sarkar, RK Shyamasundar, K Yelick Proceedings of the nineteenth annual ACM symposium on Parallel algorithms …, 2007 | 71 | 2007 |
Computing predicate abstractions by integrating BDDs and SMT solvers R Cavada, A Cimatti, A Franzén, K Kalyanasundaram, M Roveri, ... Formal Methods in Computer Aided Design (FMCAD'07), 69-76, 2007 | 70 | 2007 |
A transformational methodology for proving termination of logic programs MRK Krishna Rao, D Kapur, RK Shyamasundar Computer Science Logic: 5th Workshop, CSL'91 Berne, Switzerland, October 7 …, 1992 | 66* | 1992 |
Realizing purpose-based privacy policies succinctly via information-flow labels NVN Kumar, RK Shyamasundar 2014 IEEE Fourth International Conference on Big Data and Cloud Computing …, 2014 | 55 | 2014 |
Failure detection and membership management in grid environments A Jain, RK Shyamasundar Fifth IEEE/ACM International Workshop on Grid Computing, 44-52, 2004 | 49 | 2004 |
Static analysis of real-time distributed systems LY Liu, RK Shyamasundar IEEE Transactions on Software Engineering 16 (4), 373-388, 1990 | 48 | 1990 |
Static code analysis S Chandra, P Dhoolia, M Gowri III, M Gupta, RK Shyamasundar, S Sinha US Patent 8,806,441, 2014 | 47 | 2014 |
A translation of Statecharts to Esterel SA Seshia, RK Shyamasundar, AK Bhattacharjee, SD Dhodapkar FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999 | 46 | 1999 |
An optimal multiprocessor real-time scheduling algorithm A Khemka, RK Shyamasundar Journal of parallel and distributed computing 43 (1), 37-45, 1997 | 45 | 1997 |
An efficient, secure and delegable micro-payment system V Patil, RK Shyamasundar IEEE International Conference on e-Technology, e-Commerce and e-Service …, 2004 | 41 | 2004 |
Activity diagrams: A formal framework to model business processes and code generation AK Bhattacharjee, RK Shyamasundar Journal of Object Technology 8 (1), 189-220, 2009 | 38 | 2009 |
SLA monitor: A system for dynamic monitoring of adaptive web services N Goel, NVN Kumar, RK Shyamasundar 2011 IEEE Ninth European Conference on Web Services, 109-116, 2011 | 37 | 2011 |
e-coupons: An Efficient, Secure and Delegable Micro-Payment System V Patil, RK Shyamasundar Information Systems Frontiers 7, 371-389, 2005 | 36 | 2005 |
Holistic performance monitoring of hybrid clouds: Complexities and future directions M Natu, RK Ghosh, RK Shyamsundar, R Ranjan IEEE Cloud Computing 3 (1), 72-81, 2016 | 31 | 2016 |