RK Shyamasundar
Cited by
Cited by
Communicating reactive processes
G Berry, S Ramesh, RK Shyamasundar
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
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
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
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
Smart cities cybersecurity and privacy
DB Rawat, KZ Ghafoor
Elsevier, 2018
Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
O Maler
Springer Science & Business Media, 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
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
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
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
Failure detection and membership management in grid environments
A Jain, RK Shyamasundar
Fifth IEEE/ACM International Workshop on Grid Computing, 44-52, 2004
Static code analysis
S Chandra, P Dhoolia, M Gowri III, M Gupta, RK Shyamasundar, S Sinha
US Patent 8,806,441, 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
Static analysis of real-time distributed systems
LY Liu, RK Shyamasundar
IEEE Transactions on Software Engineering 16 (4), 373-388, 1990
An optimal multiprocessor real-time scheduling algorithm
A Khemka, RK Shyamasundar
Journal of parallel and distributed computing 43 (1), 37-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
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
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
e-coupons: An Efficient, Secure and Delegable Micro-Payment System
V Patil, RK Shyamasundar
Information Systems Frontiers 7, 371-389, 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
The system can't perform the operation now. Try again later.
Articles 1–20