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
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
City data fusion: Sensor data fusion in the internet of things
M Wang, C Perera, PP Jayaraman, M Zhang, P Strazdins, ...
The Internet of Things: Breakthroughs in Research and Practice, 398-422, 2017
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
Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
O Maler
Springer Science & Business Media, 1997
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
MRKK Rao, D Kapur, RK Shyamasundar
International Workshop on Computer Science Logic, 213-226, 1991
Smart cities cybersecurity and privacy
DB Rawat, KZ Ghafoor
Elsevier, 2018
Failure detection and membership management in grid environments
A Jain, RK Shyamasundar
Fifth IEEE/ACM International Workshop on Grid Computing, 44-52, 2004
An optimal multiprocessor real-time scheduling algorithm
A Khemka, RK Shyamasundar
Journal of parallel and distributed computing 43 (1), 37-45, 1997
Static analysis of real-time distributed systems
LY Liu, RK Shyamasundar
IEEE Transactions on Software Engineering 16 (4), 373-388, 1990
An efficient, secure and delegable micro-payment system
V Patil, RK Shyamasundar
IEEE International Conference on e-Technology, e-Commerce and e-Service …, 2004
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
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
International Symposium on Formal Methods, 983-1007, 1999
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 (4-5), 371-389, 2005
Multiclock ESTEREL: A reactive framework for asynchronous design
B Rajan, RK Shyamasundar
Proceedings 14th International Parallel and Distributed Processing Symposium …, 2000
Method for protecting user-managed memory using an exception
P Varma, RK Shyamasundar
US Patent 8,347,061, 2013
The system can't perform the operation now. Try again later.
Articles 1–20