Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
R. K. Shyamasundar
Rudrapatna K. Shyamasundar
2010 – today
- 2013
[e9]Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha (Eds.): Distributed Computing and Networking, 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings. Lecture Notes in Computer Science 7730, Springer 2013, ISBN 978-3-642-35667-4- 2012
- [c86]
- [c85]Ankur Narang, Abhinav Srivastava, Ramnik Jain, R. K. Shyamasundar: Dynamic Distributed Scheduling Algorithm for State Space Search. Euro-Par 2012: 141-154
- [c84]Shashank Shekhar, R. K. Ghosh, R. K. Shyamasundar: Postorder Based Routing and Transport Protocol for WSNs. ICDCN 2012: 281-294
- [c83]Saurabh Joshi, R. K. Shyamasundar, Sanjeev K. Aggarwal: A New Method of MHP Analysis for Languages with Dynamic Barriers. IPDPS Workshops 2012: 519-528
- 2011
- [j41]Ankur Narang, Abhinav Srivastava, Naga Praveen Kumar Katta, Rudrapatna K. Shyamasundar: Performance driven multi-objective distributed scheduling for parallel computations. Operating Systems Review 45(2): 14-27 (2011)
- [j40]Ankur Narang, Rudrapatna K. Shyamasundar: Performance driven distributed scheduling of parallel hybrid computations. Theor. Comput. Sci. 412(32): 4212-4225 (2011)
- [c82]
- [c81]Nihita Goel, N. V. Narendra Kumar, R. K. Shyamasundar: SLA Monitor: A System for Dynamic Monitoring of Adaptive Web Services. ECOWS 2011: 109-116
- [c80]Shivali Agarwal, Saurabh Joshi, Rudrapatna K. Shyamasundar: Distributed Generalized Dynamic Barrier Synchronization. ICDCN 2011: 143-154
- [c79]Ankur Narang, Abhinav Srivastava, Naga Praveen Kumar Katta, Rudrapatna K. Shyamasundar: Affinity Driven Distributed Scheduling Algorithm for Parallel Computations. ICDCN 2011: 167-178
- [e8]R. K. Shyamasundar, Lokendra Shastri (Eds.): Proceedings of the 4th Bangalore Annual Compute Conference, Compute 2011, Bangalore, India, March 25-26, 2011. ACM 2011, ISBN 978-1-4503-0750-5
- 2010
- [c78]
- [c77]Shivali Agarwal, R. K. Shyamasundar: A Proof System for a PGAS Language. Concurrency, Compositionality, and Correctness 2010: 162-184
- [c76]R. K. Shyamasundar, Harshit J. Shah, N. V. Narendra Kumar: Malware: From Modelling to Practical Detection. ICDCIT 2010: 21-39
- [c75]Hrushikesha Mohanty, Rajesh Kurra, R. K. Shyamasundar: A Framework for Web-Based Negotiation. ICDCIT 2010: 140-151
- [c74]N. V. Narendra Kumar, Harshit J. Shah, R. K. Shyamasundar: Can we certify systems for freedom from malware. ICSE (2) 2010: 175-178
- [e7]R. K. Shyamasundar, Prasad Deshpande (Eds.): Proceedings of the 3rd Bangalore Annual Compute Conference, Compute 2010, Bangalore, India, January 22-23, 2010. ACM 2010, ISBN 978-1-4503-0001-8
2000 – 2009
- 2009
- [j39]A. K. Bhattacharjee, R. K. Shyamasundar: Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation. Journal of Object Technology 8(1): 189-220 (2009)
- [c73]Hrushikesha Mohanty, Martha VenkataSwamy, Srini Ramaswamy, R. K. Shyamasundar: Translating Security Policy to Executable Code for Sandboxing Linux Kernel. EMS 2009: 124-129
- [c72]Harshit J. Shah, R. K. Shyamasundar, Pradeep Varma: Concurrent SSA for general barrier-synchronized parallel programs. IPDPS 2009: 1-12
- [c71]Shivali Agarwal, Ankur Narang, R. K. Shyamasundar: Distributed Scheduling of Parallel Hybrid Computations. ISAAC 2009: 1144-1154
- [c70]R. K. Shyamasundar, Shivali Agarwal: Brief announcement: distributed phase synchronization of dynamic set of processes. PODC 2009: 274-275
- [c69]Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah: Backward-compatible constant-time exception-protected memory. ESEC/SIGSOFT FSE 2009: 71-80
- [e6]R. K. Shyamasundar (Ed.): Proceedings of the 2nd Bangalore Annual Compute Conference, Compute 2009, Bangalore, India, January 9-10, 2009. ACM 2009, ISBN 978-1-60558-476-8
- 2008
- [j38]Jagadish Suryadevara, Lawrence Chung, R. K. Shyamasundar: cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems. Journal of Object Technology 7(8): 187-207 (2008)
- [c68]Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma: Static Detection of Place Locality and Elimination of Runtime Checks. APLAS 2008: 53-74
- [c67]A. K. Bhattacharjee, R. K. Shyamasundar: ScriptOrc: A Specification Language for Web Service Choreography. APSCC 2008: 1089-1096
- [c66]Shivali Agarwal, Rajkishore Barik, R. K. Shyamasundar: A Static Characterization of Affinity in a Distributed Program. HPCC 2008: 572-579
- [c65]A. K. Bhattacharjee, R. K. Shyamasundar: Choreography = Orchestration with Scripts + Conversations. ICWS 2008: 824-827
- [e5]R. K. Shyamasundar (Ed.): Proceedings of the 1st Bangalore Annual Compute Conference, Compute 2008, Bangalore, India, January 18-20, 2008. ACM 2008, ISBN 978-1-59593-950-0
- 2007
- [j37]Jagadish Suryadevara, R. K. Shyamasundar: UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources. Journal of Object Technology 6(1): 107-119 (2007)
- [c64]Hrushikesha Mohanty, Jitesh Mulchandani, Deepak Chenthati, R. K. Shyamasundar: Modeling Web Services with FSM Modules. Asia International Conference on Modelling and Simulation 2007: 100-105
- [c63]
- [c62]Krishnamani Kalyanasundaram, R. K. Shyamasundar: Verification of Clock Synchronization in TTP. Formal Models, Languages and Applications 2007: 176-195
- [c61]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: 69-76
- [c60]Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta: Reactivity in SystemC Transaction-Level Models. Haifa Verification Conference 2007: 34-50
- [c59]Hrushikesha Mohanty, Kakarlamudi Prasad, R. K. Shyamasundar: Trust Assessment in Web Services: an Extension to jUDDI. ICEBE 2007: 759-762
- [c58]Shivali Agarwal, Rajkishore Barik, Vivek Sarkar, R. K. Shyamasundar: May-happen-in-parallel analysis of X10 programs. PPOPP 2007: 183-193
- [c57]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: 229-240
- 2006
- [j36]N. Raja, R. K. Shyamasundar: Actors as a Coordinating Model of Computation. Informatica (Slovenia) 30(2): 233-244 (2006)
- [j35]N. Raja, R. K. Shyamasundar: A closer look at constraints as processes. Inf. Process. Lett. 98(5): 206-210 (2006)
- [j34]Rohit N. Kundaji, R. K. Shyamasundar: Refinement calculus: A basis for translation validation, debugging and certification. Theor. Comput. Sci. 354(1): 153-168 (2006)
- [j33]Susmit Jha, R. K. Shyamasundar: Adapting Biochemical Kripke Structures for Distributed Model Checking. : 107-122 (2006)
- [c56]N. V. Narendra Kumar, R. K. Shyamasundar: Specification and Realization of Access Control in SPKI/SDSI. ICISS 2006: 177-193
- [c55]Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar: Compositional interaction specifications for SystemC. MEMOCODE 2006: 201
- 2005
- [j32]Vishwas Patil, R. K. Shyamasundar: e-coupons: An Efficient, Secure and Delegable Micro-Payment System. Information Systems Frontiers 7(4-5): 371-389 (2005)
- [c54]A. K. Bhattacharjee, R. K. Shyamasundar: Validated Code Generation for Activity Diagrams. ICDCIT 2005: 508-521
- [c53]Neelima Arora, R. K. Shyamasundar: PGSP: a protocol for secure communication in peer-to-peer system. WCNC 2005: 2094-2099
- 2004
- [j31]N. Raja, R. K. Shyamasundar: Type Systems for Concurrent Programming Calculi. Informatica (Slovenia) 28(1): 103-113 (2004)
- [c52]Rajesh Gupta, R. K. Shyamasundar: Reactive Framework for Resource Aware Distributed Computing. ASIAN 2004: 452-467
- [c51]Vishwas Patil, R. K. Shyamasundar: An Efficient, Secure and Delegable Micro-Payment System. EEE 2004: 394-404
- [c50]Vishwas Patil, R. K. Shyamasundar: Towards a Flexible Access Control Mechanism for E-Transactions. EGCDMAS 2004: 66-81
- [c49]
- [c48]Neelima Arora, R. K. Shyamasundar: UGSP: Secure Key Establishment Protocol for Ad-Hoc Network. ICDCIT 2004: 391-399
- [c47]Neelima Arora, R. K. Shyamasundar: UGSP: Authentication Based Secure Protocol for Ad-Hoc Networks. ICETE (3) 2004: 191-196
- [c46]Rohit N. Kundaji, R. K. Shyamasundar: Development of Semantic Debuggers Based on Refinement Calculus. ICLP 2004: 460-461
- [c45]Mohit Garg, R. K. Shyamasundar: A Distributed Clustering Framework in Mobile Ad Hoc Networks. International Conference on Wireless Networks 2004: 32-38
- [c44]Krishnamani Kalyanasundaram, R. K. Shyamasundar: Formal verification of pipelined processors with precise exceptions. MEMOCODE 2004: 129-139
- 2003
- [j30]N. Raja, R. K. Shyamasundar: Type Systems for Concurrent Programming Calculi. Informatica (Slovenia) 27(4): 433-443 (2003)
- [c43]Satyajit Acharya, Hrushikesha Mohanty, R. K. Shyamasundar: MOBICHARTS: A Notation to Specify Mobile Computing Applications. HICSS 2003: 298
- [c42]Vivek S. Borkar, Mehul S. Dave, R. K. Shyamasundar: Algorithmic Mechanisms for Secure Multi-Auction Systems. IICAI 2003: 212-225
- 2002
- [c41]R. K. Shyamasundar, Siddharth B. Deshmukh: MicroBill: An Efficient Secure System for Subscription Based Services. ASIAN 2002: 220-232
- [c40]R. K. Shyamasundar, Basant Rajan, Manish Prasad, Amit Jain: LLM: A Low Latency Messaging Infrastructure for Linux Clusters. HiPC 2002: 112-123
- [c39]
- [i1]D. Ravi, R. K. Shyamasundar: Approximate Computation of Reach Sets in Hybrid Systems. CoRR cs.LO/0202006 (2002)
- 2001
- [c38]Mesfin Belachew, R. K. Shyamasundar: MSC+: From Requirement to Prototyped Systems. ECRTS 2001: 117-124
- [c37]R. K. Shyamasundar, J. V. Aghav: Validating Real-Time Constraints in Embedded Systems. PRDC 2001: 347-355
- [c36]Siddharth R. Phanse, R. K. Shyamasundar: Application of Esterel for Modelling and Verification of Cachet Protocol on CRF Memory Model. VLSI Design 2001: 179-188
- 2000
- [j29]R. K. Shyamasundar, S. Ramesh: Languages for Reactive Specifications: Synchrony Vs Asynchrony. Int. J. Found. Comput. Sci. 11(2): 283-314 (2000)
- [j28]K. C. Anand, R. K. Shyamasundar: Formal Verification of Activity-Based Specification of Protocols. J. Parallel Distrib. Comput. 60(5): 639-676 (2000)
- [c35]Basant Rajan, R. K. Shyamasundar: Modeling Distributed Embedded Systems in Multiclock ESTEREL. FORTE 2000: 301-316
- [c34]A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar: A System for Object Code Validation. FTRTFT 2000: 152-169
- [c33]Basant Rajan, R. K. Shyamasundar: Multiclock Esterel: A Reactive Framework for Asynchronous Design. IPDPS 2000: 201-210
- [c32]
1990 – 1999
- 1999
- [c31]Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar: A Translation of Statecharts to Esterel. World Congress on Formal Methods 1999: 983-1007
- [c30]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: 431-444
- 1998
- [j27]M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar: Transformational Methodology for Proving Termination of Logic Programs. J. Log. Program. 34(1): 1-41 (1998)
- [c29]Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar: Taxonomy and Expressiveness of Preemption: A Syntactic Approach. ASIAN 1998: 125-141
- [c28]N. Raja, R. K. Shyamasundar: Mobile Computation: Calculus and Languages (A Tutorial). ASIAN 1998: 300-304
- 1997
- [j26]Ashok Khemka, R. K. Shyamasundar: An Optimal Multiprocessor Real-Time Scheduling Algorithm. J. Parallel Distrib. Comput. 43(1): 37-45 (1997)
- [j25]M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar: Proving Termination of GHC Programs. New Generation Comput. 15(3): 293-338 (1997)
- [j24]N. Raja, R. K. Shyamasundar: Combinatory Formaulations of Concurrent Languages. ACM Trans. Program. Lang. Syst. 19(6): 899-915 (1997)
- [c27]
- [e4]R. K. Shyamasundar, Kazunori Ueda (Eds.): Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings. Lecture Notes in Computer Science 1345, Springer 1997, ISBN 3-540-63875-X
- 1996
- [j23]Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar: Mapping Linear Recurrence Equations onto Systolic Architectures. International Journal of High Speed Computing 8(3): 229-270 (1996)
- [c26]Rupak Majumdar, R. K. Shyamasundar: Design of Controllers for Linear Hybrid Systems. ASIAN 1996: 309-320
- [c25]N. Raja, R. K. Shyamasundar: Actors as a Coordinating Model of Computation (Extended Abstract). Ershov Memorial Conference 1996: 191-202
- [c24]Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar: Mapping Linear Recurrences onto Systolic Arrays. IPPS 1996: 891-897
- 1995
- [j22]N. Raja, R. K. Shyamasundar: The Quine-Bernays Combinatory Calculus. Int. J. Found. Comput. Sci. 6(4): 417-430 (1995)
- [c23]Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar: Preemption Primitives in Reactive Languages (A Preliminary Report). ASIAN 1995: 111-125
- [c22]
- [c21]M. R. K. Krishna Rao, R. K. Shyamasundar: Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs. SAS 1995: 243-260
- 1994
- [j21]Leo Yuhsiang Liu, R. K. Shyamasundar: RT-CDL: A Distributed Real-Time Design Language and Its Operational Semantics. Comput. Lang. 20(1): 1-23 (1994)
- [j20]R. K. Shyamasundar, Bal Wang: A Methodology for Provin Termination of Logic Programs. J. Log. Program. 21(1): 1-30 (1994)
- [c20]R. K. Shyamasundar, S. Ramesh: Languages for Reactive Specifications: Synchrony Vs Asynchrony. FTRTFT 1994: 621-640
- [c19]R. K. Shyamasundar, S. Ramesh: Semantics and Verification of Hierarchical CRP Programs. Hybrid Systems 1994: 436-461
- [c18]Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar: Derivation of Systolic Programs. ICPP (3) 1994: 69-73
- [c17]
- 1993
- [j19]R. K. Shyamasundar, K. T. Narayana, Toniann Pitassi: Semantics of Nondeterministic Asynchronous Broadcast Networks. Inf. Comput. 104(2): 215-252 (1993)
- [j18]Ashok Khemka, R. K. Shyamasundar: Multiprocessor Scheduling of Periodic Tasks in a Hard Real-Time Environment. International Journal of High Speed Computing 5(4): 617-636 (1993)
- [c16]
- [c15]M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar: Verification Tools in the Development of Provably Correct Compilers. FME 1993: 442-461
- [c14]M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar: Proving Termination of GHC Programs. ICLP 1993: 720-736
- [c13]Ashok Khemka, K. V. Subramanyam, R. K. Shyamasundar: Multiprocessors Scheduling for Imprecise Computations in a Hard Real-Time Environment. IPPS 1993: 374-378
- [c12]
- [e3]R. K. Shyamasundar (Ed.): Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, Proceedings. Lecture Notes in Computer Science 761, Springer 1993, ISBN 3-540-57529-4
- 1992
- [c11]R. K. Shyamasundar, M. R. K. Krishna Rao, Deepak Kapur: Rewriting Concepts in the Study of Termination of Logic Programs. ALPUK 1992: 3-20
- [c10]Ashok Khemka, R. K. Shyamasundar: Multiprocessor Scheduling of Periodic Tasks in a Hard Real-Time Environment. IPPS 1992: 76-81
- [e2]R. K. Shyamasundar (Ed.): Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings. Lecture Notes in Computer Science 652, Springer 1992, ISBN 3-540-56287-7
- 1991
- [c9]M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar: A Transformational Methodology for Proving Termination of Logic Programs. CSL 1991: 213-226
- [c8]Bal Wang, R. K. Shyamasundar: Methodology for Proving the Termination of Logic Programs. STACS 1991: 214-227
- 1990
- [j17]Kamal Lodaya, R. K. Shyamasundar: Proof Theory for Exception Handling in a Tasking Environment. Acta Inf. 28(1): 7-41 (1990)
- [j16]Leo Yuhsiang Liu, R. K. Shyamasundar: Exception Handling in RT-CDL. Comput. Lang. 15(3): 177-192 (1990)
- [j15]Leo Yuhsiang Liu, R. K. Shyamasundar: Static Analysis of Real-Time Distributed Systems. IEEE Trans. Software Eng. 16(4): 373-388 (1990)
- [c7]Bal Wang, R. K. Shyamasundar: Towards a Characterization of Termination of Logic Programs. PLILP 1990: 204-221
1980 – 1989
- 1989
- [j14]R. K. Shyamasundar, James W. Thatcher: Language Constructs for Specifying Concurrency in CDL*. IEEE Trans. Software Eng. 15(8): 977-993 (1989)
- [c6]Leo Yuhsiang Liu, R. K. Shyamasundar: RT-CDL: A Real Time Design Language and Its Semantics. IFIP Congress 1989: 21-26
- 1988
- [j13]Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar: Compositional Semantics for Real-Time Distributed Computing. Inf. Comput. 79(3): 210-256 (1988)
- [c5]Leo Yuhsiang Liu, R. K. Shyamasundar: Static Analysis of Real-time Distributed Systems. FTRTFT 1988: 134-138
- 1987
- [c4]R. K. Shyamasundar, K. T. Narayana, Toniann Pitassi: Semantics for Nondeterministic Asynchronous Broadcast Networks. ICALP 1987: 72-83
- 1986
- [j12]A. Ravichandran, R. K. Shyamasundar: Correctness proof for the majority consensus algorithm. Inf. Sci. 38(3): 213-227 (1986)
- 1985
- [c3]Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar: Compositional Semantics for Real-time Distributed Computing. Logic of Programs 1985: 167-189
- 1984
- [j11]Subir Kumar Ghosh, R. K. Shyamasundar: A linear time algorithm for computing the convex hull of an ordered crossing polygon. Pattern Recognition 17(3): 351-358 (1984)
- [j10]R. K. Shyamasundar: A Simple Livelock-Free Algorithm for Packet Switching. Sci. Comput. Program. 4(3): 249-256 (1984)
- [c2]Ramaswamy Ramanujam, R. K. Shyamasundar: Process Specification of Logic Programs. FSTTCS 1984: 31-43
- [e1]Mathai Joseph, R. K. Shyamasundar (Eds.): Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings. Lecture Notes in Computer Science 181, Springer 1984, ISBN 3-540-13883-8
- 1983
- [j9]Subir Kumar Ghosh, R. K. Shyamasundar: A linear time algorithm for obtaining the convex hull of a simple polygon. Pattern Recognition 16(6): 587-592 (1983)
- [j8]V. Murali, R. K. Shyamasundar: A Sentence Generator for a Compiler for PT, a Pascal Subset. Softw., Pract. Exper. 13(9): 857-869 (1983)
- [c1]S. Mahadevan, R. K. Shyamasundar: Correctness Preserving Transformations for Distributed Programs. IFIP Congress 1983: 307-313
- 1982
- [j7]Kulathur S. Rajasethupathy, R. K. Shyamasundar: A New Parsing Algorithm for EOL-Systems. Elektronische Informationsverarbeitung und Kybernetik 18(10/11): 543-564 (1982)
- [j6]R. K. Shyamasundar: On a Characterization of Pushdown Permuters. Theor. Comput. Sci. 17: 333-341 (1982)
- 1981
- [j5]Eric C. R. Hehner, R. K. Shyamasundar: An Implementation of P and V. Inf. Process. Lett. 12(4): 196-198 (1981)
- 1980
- [j4]Kulathur S. Rajasethupathy, R. K. Shyamasundar: Programmed OL-systems. Inf. Sci. 20(2): 137-150 (1980)
1970 – 1979
- 1978
- [j3]R. K. Shyamasundar: LR-Deterministic Grammars. Elektronische Informationsverarbeitung und Kybernetik 14(7/8): 361-376 (1978)
- 1976
- [j2]Werner Kuich, R. K. Shyamasundar: The Structure Generating Function of Some Families of Languages. Information and Control 32(1): 85-92 (1976)
- [j1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-03 21:38 CEST by the dblp team