Rk Shyamasundar
TitleCited byYear
Communicating reactive processes
G Berry, S Ramesh, RK Shyamasundar
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
1951993
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
1012007
Hybrid and Real-Time Systems: International Workshop, HART'97, Grenoble, France, March 26-28, 1997, Proceedings
O Maler
Springer Science & Business Media, 1997
671997
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
642016
A transformational methodology for proving termination of logic programs
MRKK Rao, D Kapur, RK Shyamasundar
International Workshop on Computer Science Logic, 213-226, 1991
60*1991
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
581988
Compositional semantics for real-time distributed computing
R Koymans, RK Shyamasundar, WP de Roever, R Gerth, S Arun-Kumar
Workshop on Logic of Programs, 167-189, 1985
581985
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
552007
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
522007
Failure detection and membership management in grid environments
A Jain, RK Shyamasundar
Fifth IEEE/ACM International Workshop on Grid Computing, 44-52, 2004
432004
An optimal multiprocessor real-time scheduling algorithm
A Khemka, RK Shyamasundar
Journal of parallel and distributed computing 43 (1), 37-45, 1997
391997
Static analysis of real-time distributed systems
LY Liu, RK Shyamasundar
IEEE Transactions on Software Engineering 16 (4), 373-388, 1990
391990
A translation of Statecharts to Esterel
SA Seshia, RK Shyamasundar, AK Bhattacharjee, SD Dhodapkar
International Symposium on Formal Methods, 983-1007, 1999
381999
An efficient, secure and delegable micro-payment system
V Patil, RK Shyamasundar
IEEE International Conference on e-Technology, e-Commerce and e-Service …, 2004
352004
Static code analysis
S Chandra, P Dhoolia, M Gowri III, M Gupta, RK Shyamasundar, S Sinha
US Patent 8,806,441, 2014
332014
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
312011
Method for protecting user-managed memory using an exception
P Varma, RK Shyamasundar
US Patent 8,347,061, 2013
292013
E-coupons: an efficient, secure and delegable micro-payment system
V Patil, RK Shyamasundar
Information Systems Frontiers 7 (4-5), 371-389, 2005
292005
Multiclock ESTEREL: A reactive framework for asynchronous design
B Rajan, RK Shyamasundar
Proceedings 14th International Parallel and Distributed Processing Symposium …, 2000
282000
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
272014
The system can't perform the operation now. Try again later.
Articles 1–20