| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Shashank Shekhar, R. K. Ghosh, R. K. Shyamasundar |
Postorder Based Routing and Transport Protocol for WSNs.  |
ICDCN  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nihita Goel, N. V. Narendra Kumar, R. K. Shyamasundar |
SLA Monitor: A System for Dynamic Monitoring of Adaptive Web Services. |
ECOWS |
2011 |
DBLP DOI BibTeX RDF |
Dynamic Monitoring, Web services, SLA |
| 1 | Nihita Goel, R. K. Shyamasundar |
An Executional Framework for BPMN Using Orc. |
APSCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | R. K. Shyamasundar, Lokendra Shastri (eds.) |
Proceedings of the 4th Bangalore Annual Compute Conference, Compute 2011, Bangalore, India, March 25-26, 2011 |
Bangalore Compute Conf. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ankur Narang, Rudrapatna K. Shyamasundar |
Performance driven distributed scheduling of parallel hybrid computations. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankur Narang, Abhinav Srivastava, Naga Praveen Kumar Katta, Rudrapatna K. Shyamasundar |
Performance driven multi-objective distributed scheduling for parallel computations. |
Operating Systems Review |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shivali Agarwal, Saurabh Joshi, Rudrapatna K. Shyamasundar |
Distributed Generalized Dynamic Barrier Synchronization. |
ICDCN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankur Narang, Abhinav Srivastava, Naga Praveen Kumar Katta, Rudrapatna K. Shyamasundar |
Affinity Driven Distributed Scheduling Algorithm for Parallel Computations. |
ICDCN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nihita Goel, R. K. Shyamasundar |
Automatic Monitoring of SLAs of Web Services. |
APSCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | R. K. Shyamasundar, Prasad Deshpande (eds.) |
Proceedings of the 3rd Bangalore Annual Compute Conference, Compute 2010, Bangalore, India, January 22-23, 2010 |
Bangalore Compute Conf. |
2010 |
DBLP BibTeX RDF |
|
| 1 | R. K. Shyamasundar, Harshit J. Shah, N. V. Narendra Kumar |
Malware: From Modelling to Practical Detection. |
ICDCIT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hrushikesha Mohanty, Rajesh Kurra, R. K. Shyamasundar |
A Framework for Web-Based Negotiation. |
ICDCIT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shivali Agarwal, R. K. Shyamasundar |
A Proof System for a PGAS Language. |
Concurrency, Compositionality, and Correctness |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | N. V. Narendra Kumar, Harshit J. Shah, R. K. Shyamasundar |
Can we certify systems for freedom from malware. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | A. K. Bhattacharjee, R. K. Shyamasundar |
Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation. |
Journal of Object Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Harshit J. Shah, R. K. Shyamasundar, Pradeep Varma |
Concurrent SSA for general barrier-synchronized parallel programs. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hrushikesha Mohanty, Martha VenkataSwamy, Srini Ramaswamy, R. K. Shyamasundar |
Translating Security Policy to Executable Code for Sandboxing Linux Kernel. |
EMS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | R. K. Shyamasundar (eds.) |
Proceedings of the 2nd Bangalore Annual Compute Conference, Compute 2009, Bangalore, India, January 9-10, 2009 |
Bangalore Compute Conf. |
2009 |
DBLP BibTeX RDF |
|
| 1 | R. K. Shyamasundar, Shivali Agarwal |
Brief announcement: distributed phase synchronization of dynamic set of processes. |
PODC |
2009 |
DBLP DOI BibTeX RDF |
starvation freedom, barriers, phase synchronization |
| 1 | Shivali Agarwal, Ankur Narang, R. K. Shyamasundar |
Distributed Scheduling of Parallel Hybrid Computations. |
ISAAC |
2009 |
DBLP DOI BibTeX RDF |
Multithreaded Computation, Scheduling, Algorithm, Work Stealing |
| 1 | Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah |
Backward-compatible constant-time exception-protected memory. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
scalar fat pointer, spatial access error, temporal access error, memory safety, object version, backward compatibility |
| 1 | Jagadish Suryadevara, Lawrence Chung, R. K. Shyamasundar |
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems. |
Journal of Object Technology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | A. K. Bhattacharjee, R. K. Shyamasundar |
ScriptOrc: A Specification Language for Web Service Choreography. |
APSCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shivali Agarwal, Rajkishore Barik, R. K. Shyamasundar |
A Static Characterization of Affinity in a Distributed Program. |
HPCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | R. K. Shyamasundar (eds.) |
Proceedings of the 1st Bangalore Annual Compute Conference, Compute 2008, Bangalore, India, January 18-20, 2008 |
Bangalore Compute Conf. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma |
Static Detection of Place Locality and Elimination of Runtime Checks. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | A. K. Bhattacharjee, R. K. Shyamasundar |
Choreography = Orchestration with Scripts + Conversations. |
ICWS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jagadish Suryadevara, R. K. Shyamasundar |
UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources. |
Journal of Object Technology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar |
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. |
FMCAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Harshit J. Shah, R. K. Shyamasundar |
On Run-Time Enforcement of Policies. |
ASIAN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shivali Agarwal, Rajkishore Barik, Dan Bonachea, Vivek Sarkar, R. K. Shyamasundar, Katherine A. Yelick |
Deadlock-free scheduling of X10 computations with bounded resources. |
SPAA |
2007 |
DBLP DOI BibTeX RDF |
deadlock-free scheduling, X10, active messages |
| 1 | Hrushikesha Mohanty, Jitesh Mulchandani, Deepak Chenthati, R. K. Shyamasundar |
Modeling Web Services with FSM Modules. |
Asia International Conference on Modelling and Simulation |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta |
Reactivity in SystemC Transaction-Level Models. |
Haifa Verification Conference |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shivali Agarwal, Rajkishore Barik, Vivek Sarkar, R. K. Shyamasundar |
May-happen-in-parallel analysis of X10 programs. |
PPOPP |
2007 |
DBLP DOI BibTeX RDF |
may-happen-in-parallel, parallel program analysis, concurrent, atomic, activity, place, X10 |
| 1 | Hrushikesha Mohanty, Kakarlamudi Prasad, R. K. Shyamasundar |
Trust Assessment in Web Services: an Extension to jUDDI. |
ICEBE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | N. Raja, R. K. Shyamasundar |
A closer look at constraints as processes. |
Inf. Process. Lett. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit N. Kundaji, R. K. Shyamasundar |
Refinement calculus: A basis for translation validation, debugging and certification. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | N. Raja, R. K. Shyamasundar |
Actors as a Coordinating Model of Computation. |
Informatica (Slovenia) |
2006 |
DBLP BibTeX RDF |
|
| 1 | Susmit Jha, R. K. Shyamasundar |
Adapting Biochemical Kripke Structures for Distributed Model Checking. |
T. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar |
Compositional interaction specifications for SystemC. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | N. V. Narendra Kumar, R. K. Shyamasundar |
Specification and Realization of Access Control in SPKI/SDSI. |
ICISS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vishwas Patil, R. K. Shyamasundar |
e-coupons: An Efficient, Secure and Delegable Micro-Payment System. |
Information Systems Frontiers |
2005 |
DBLP DOI BibTeX RDF |
PayWord, security, delegation, one-way hash function, micro-payment, TESLA, SPKI/SDSI |
| 1 | A. K. Bhattacharjee, R. K. Shyamasundar |
Validated Code Generation for Activity Diagrams. |
ICDCIT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | N. Raja, R. K. Shyamasundar |
Type Systems for Concurrent Programming Calculi. |
Informatica (Slovenia) |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mohit Garg, R. K. Shyamasundar |
A Distributed Clustering Framework in Mobile Ad Hoc Networks. |
International Conference on Wireless Networks |
2004 |
DBLP BibTeX RDF |
|
| 1 | Krishnamani Kalyanasundaram, R. K. Shyamasundar |
Formal verification of pipelined processors with precise exceptions. |
MEMOCODE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vishwas Patil, R. K. Shyamasundar |
Towards a Flexible Access Control Mechanism for E-Transactions. |
EGCDMAS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Vishwas Patil, R. K. Shyamasundar |
An Efficient, Secure and Delegable Micro-Payment System. |
EEE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelima Arora, R. K. Shyamasundar |
UGSP: Authentication Based Secure Protocol for Ad-Hoc Networks. |
ICETE |
2004 |
DBLP BibTeX RDF |
|
| 1 | Rohit N. Kundaji, R. K. Shyamasundar |
Development of Semantic Debuggers Based on Refinement Calculus. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajesh Gupta, R. K. Shyamasundar |
Reactive Framework for Resource Aware Distributed Computing. |
ASIAN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelima Arora, R. K. Shyamasundar |
UGSP: Secure Key Establishment Protocol for Ad-Hoc Network. |
ICDCIT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit Jain, R. K. Shyamasundar |
Failure Detection and Membership Management in Grid Environments. |
GRID |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | N. Raja, R. K. Shyamasundar |
Type Systems for Concurrent Programming Calculi. |
Informatica (Slovenia) |
2003 |
DBLP BibTeX RDF |
|
| 1 | Vivek S. Borkar, Mehul S. Dave, R. K. Shyamasundar |
Algorithmic Mechanisms for Secure Multi-Auction Systems. |
IICAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Satyajit Acharya, Hrushikesha Mohanty, R. K. Shyamasundar |
MOBICHARTS: A Notation to Specify Mobile Computing Applications. (PDF / PS) |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Ravi, R. K. Shyamasundar |
Approximate Computation of Reach Sets in Hybrid Systems |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | R. K. Shyamasundar, Basant Rajan, Manish Prasad, Amit Jain |
LLM: A Low Latency Messaging Infrastructure for Linux Clusters. |
HiPC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | R. K. Shyamasundar, Siddharth B. Deshmukh |
MicroBill: An Efficient Secure System for Subscription Based Services. |
ASIAN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | R. K. Shyamasundar |
Analyzing Cryptographic Protocols in a Reactive Framework. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | R. K. Shyamasundar, J. V. Aghav |
Validating Real-Time Constraints in Embedded Systems. |
PRDC |
2001 |
DBLP DOI BibTeX RDF |
Validation & Verification, Embedded Systems, Synchronous Languages, Esterel, RealTime Systems |
| 1 | Mesfin Belachew, R. K. Shyamasundar |
MSC+: From Requirement to Prototyped Systems. |
ECRTS |
2001 |
DBLP DOI BibTeX RDF |
hMSCs, Requirement Specification, Preemption, MSCs |
| 1 | Siddharth R. Phanse, R. K. Shyamasundar |
Application of Esterel for Modelling and Verification of Cachet Protocol on CRF Memory Model. |
VLSI Design |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | R. K. Shyamasundar, S. Ramesh |
Languages for Reactive Specifications: Synchrony Vs Asynchrony. |
Int. J. Found. Comput. Sci. |
2000 |
DBLP BibTeX RDF |
|
| 1 | K. C. Anand, R. K. Shyamasundar |
Formal Verification of Activity-Based Specification of Protocols. |
J. Parallel Distrib. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Basant Rajan, R. K. Shyamasundar |
Modeling Distributed Embedded Systems in Multiclock ESTEREL. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
| 1 | Basant Rajan, R. K. Shyamasundar |
Multiclock Esterel: A Reactive Framework for Asynchronous Design. (PDF / PS) |
IPDPS |
2000 |
DBLP DOI BibTeX RDF |
VHDL, Reactive Systems, Asynchronous System, Synchrony, Esterel |
| 1 | Basant Rajan, R. K. Shyamasundar |
Modeling VHDL in Multiclock ESTEREL. |
VLSI Design |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar |
A System for Object Code Validation. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar |
A Graphical Environment for the Specification and Verification of Reactive Systems. |
SAFECOMP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar |
A Translation of Statecharts to Esterel. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar |
Transformational Methodology for Proving Termination of Logic Programs. |
J. Log. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar |
Taxonomy and Expressiveness of Preemption: A Syntactic Approach. |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | N. Raja, R. K. Shyamasundar |
Mobile Computation: Calculus and Languages (A Tutorial). |
ASIAN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashok Khemka, R. K. Shyamasundar |
An Optimal Multiprocessor Real-Time Scheduling Algorithm. |
J. Parallel Distrib. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | N. Raja, R. K. Shyamasundar |
Combinatory Formaulations of Concurrent Languages. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
Quine-Bernays combinators, functional completeness |
| 1 | M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar |
Proving Termination of GHC Programs. |
New Generation Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | R. K. Shyamasundar, Kazunori Ueda (eds.) |
Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings |
ASIAN |
1997 |
DBLP BibTeX RDF |
|
| 1 | Deepak Kapur, R. K. Shyamasundar |
Synthesizing Controllers for Hybrid Systems. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar |
Mapping Linear Recurrence Equations onto Systolic Architectures. |
International Journal of High Speed Computing |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | N. Raja, R. K. Shyamasundar |
Actors as a Coordinating Model of Computation (Extended Abstract). |
Ershov Memorial Conference |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar |
Mapping Linear Recurrences onto Systolic Arrays. (PDF / PS) |
IPPS |
1996 |
DBLP DOI BibTeX RDF |
Actors, Irregular problem, Partition and distribution strategy |
| 1 | Rupak Majumdar, R. K. Shyamasundar |
Design of Controllers for Linear Hybrid Systems. |
ASIAN |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | N. Raja, R. K. Shyamasundar |
The Quine-Bernays Combinatory Calculus. |
Int. J. Found. Comput. Sci. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar |
Preemption Primitives in Reactive Languages (A Preliminary Report). |
ASIAN |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | N. Raja, R. K. Shyamasundar |
Combinatory Formulations of Concurrent Languages. |
ASIAN |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | M. R. K. Krishna Rao, R. K. Shyamasundar |
Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs |
SAS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | R. K. Shyamasundar, Bal Wang |
A Methodology for Provin Termination of Logic Programs. |
J. Log. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo Yuhsiang Liu, R. K. Shyamasundar |
RT-CDL: A Distributed Real-Time Design Language and Its Operational Semantics. |
Comput. Lang. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar |
Derivation of Systolic Programs. |
ICPP |
1994 |
DBLP BibTeX RDF |
|
| 1 | R. K. Shyamasundar |
Specifying Dynamic Reat-Time Systems in CRP. |
IFIP Congress |
1994 |
DBLP BibTeX RDF |
|
| 1 | R. K. Shyamasundar, S. Ramesh |
Semantics and Verification of Hierarchical CRP Programs. |
Hybrid Systems |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | R. K. Shyamasundar, S. Ramesh |
Languages for Reactive Specifications: Synchrony Vs Asynchrony. |
FTRTFT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashok Khemka, R. K. Shyamasundar |
Multiprocessor Scheduling of Periodic Tasks in a Hard Real-Time Environment. |
International Journal of High Speed Computing |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | R. K. Shyamasundar, K. T. Narayana, Toniann Pitassi |
Semantics of Nondeterministic Asynchronous Broadcast Networks |
Inf. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashok Khemka, K. V. Subramanyam, R. K. Shyamasundar |
Multiprocessors Scheduling for Imprecise Computations in a Hard Real-Time Environment. |
IPPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | R. K. Shyamasundar |
Specification of Hybrid Systems in CRP. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
| 1 | M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar |
Proving Termination of GHC Programs. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
| 1 | G. Berry, S. Ramesh, R. K. Shyamasundar |
Communicating Reactive Processes. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
CSP, CSP |
| 1 | M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar |
Verification Tools in the Development of Provably Correct Compilers. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")