dblp.uni-trier.dewww.uni-trier.de

R. K. Shyamasundar Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
111EEPradeep Varma, R. K. Shyamasundar, Harshit J. Shah: Backward-compatible constant-time exception-protected memory. ESEC/SIGSOFT FSE 2009: 71-80
110EEHarshit J. Shah, R. K. Shyamasundar, Pradeep Varma: Concurrent SSA for general barrier-synchronized parallel programs. IPDPS 2009: 1-12
109EER. K. Shyamasundar, Shivali Agarwal: Brief announcement: distributed phase synchronization of dynamic set of processes. PODC 2009: 274-275
2008
108 R. K. Shyamasundar: Proceedings of the 1st Bangalore Annual Compute Conference, Compute 2008, Bangalore, India, January 18-20, 2008 ACM 2008
107 R. K. Shyamasundar: Proceedings of the 2nd Bangalore Annual Compute Conference, Compute 2009, Bangalore, India, January 9-10, 2009 ACM 2008
106EEShivali 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
105EEShivali Agarwal, Rajkishore Barik, R. K. Shyamasundar: A Static Characterization of Affinity in a Distributed Program. HPCC 2008: 572-579
104EEA. K. Bhattacharjee, R. K. Shyamasundar: Choreography = Orchestration with Scripts + Conversations. ICWS 2008: 824-827
2007
103EEHarshit J. Shah, R. K. Shyamasundar: On Run-Time Enforcement of Policies. ASIAN 2007: 268-281
102EEHrushikesha Mohanty, Jitesh Mulchandani, Deepak Chenthati, R. K. Shyamasundar: Modeling Web Services with FSM Modules. Asia International Conference on Modelling and Simulation 2007: 100-105
101EERoberto 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
100EEFrederic 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
99EEHrushikesha Mohanty, Kakarlamudi Prasad, R. K. Shyamasundar: Trust Assessment in Web Services: an Extension to jUDDI. ICEBE 2007: 759-762
98EEShivali Agarwal, Rajkishore Barik, Vivek Sarkar, R. K. Shyamasundar: May-happen-in-parallel analysis of X10 programs. PPOPP 2007: 183-193
97EEShivali 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
96EEJagadish Suryadevara, R. K. Shyamasundar: UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources. Journal of Object Technology 6(1): (2007)
2006
95EEN. V. Narendra Kumar, R. K. Shyamasundar: Specification and Realization of Access Control in SPKI/SDSI. ICISS 2006: 177-193
94EEFrederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar: Compositional interaction specifications for SystemC. MEMOCODE 2006: 201
93EEN. Raja, R. K. Shyamasundar: A closer look at constraints as processes. Inf. Process. Lett. 98(5): 206-210 (2006)
92EEN. Raja, R. K. Shyamasundar: Actors as a Coordinating Model of Computation. Informatica (Slovenia) 30(2): 233-244 (2006)
91EESusmit Jha, R. K. Shyamasundar: Adapting Biochemical Kripke Structures for Distributed Model Checking. T. Comp. Sys. Biology: 107-122 (2006)
90EERohit N. Kundaji, R. K. Shyamasundar: Refinement calculus: A basis for translation validation, debugging and certification. Theor. Comput. Sci. 354(1): 153-168 (2006)
2005
89EEA. K. Bhattacharjee, R. K. Shyamasundar: Validated Code Generation for Activity Diagrams. ICDCIT 2005: 508-521
88EEVishwas Patil, R. K. Shyamasundar: e-coupons: An Efficient, Secure and Delegable Micro-Payment System. Information Systems Frontiers 7(4-5): 371-389 (2005)
2004
87EERajesh Gupta, R. K. Shyamasundar: Reactive Framework for Resource Aware Distributed Computing. ASIAN 2004: 452-467
86EEVishwas Patil, R. K. Shyamasundar: An Efficient, Secure and Delegable Micro-Payment System. EEE 2004: 394-404
85 Vishwas Patil, R. K. Shyamasundar: Towards a Flexible Access Control Mechanism for E-Transactions. EGCDMAS 2004: 66-81
84EEAmit Jain, R. K. Shyamasundar: Failure Detection and Membership Management in Grid Environments. GRID 2004: 44-52
83EENeelima Arora, R. K. Shyamasundar: UGSP: Secure Key Establishment Protocol for Ad-Hoc Network. ICDCIT 2004: 391-399
82 Neelima Arora, R. K. Shyamasundar: UGSP: Authentication Based Secure Protocol for Ad-Hoc Networks. ICETE (3) 2004: 191-196
81EERohit N. Kundaji, R. K. Shyamasundar: Development of Semantic Debuggers Based on Refinement Calculus. ICLP 2004: 460-461
80 Mohit Garg, R. K. Shyamasundar: A Distributed Clustering Framework in Mobile Ad Hoc Networks. International Conference on Wireless Networks 2004: 32-38
79EEKrishnamani Kalyanasundaram, R. K. Shyamasundar: Formal verification of pipelined processors with precise exceptions. MEMOCODE 2004: 129-139
78EEN. Raja, R. K. Shyamasundar: Type Systems for Concurrent Programming Calculi. Informatica (Slovenia) 28(1): 103-113 (2004)
2003
77EESatyajit Acharya, Hrushikesha Mohanty, R. K. Shyamasundar: MOBICHARTS: A Notation to Specify Mobile Computing Applications. HICSS 2003: 298
76 Vivek S. Borkar, Mehul S. Dave, R. K. Shyamasundar: Algorithmic Mechanisms for Secure Multi-Auction Systems. IICAI 2003: 212-225
75EEN. Raja, R. K. Shyamasundar: Type Systems for Concurrent Programming Calculi. Informatica (Slovenia) 27(4): 433-443 (2003)
2002
74EER. K. Shyamasundar, Siddharth B. Deshmukh: MicroBill: An Efficient Secure System for Subscription Based Services. ASIAN 2002: 220-232
73EER. K. Shyamasundar, Basant Rajan, Manish Prasad, Amit Jain: LLM: A Low Latency Messaging Infrastructure for Linux Clusters. HiPC 2002: 112-123
72EER. K. Shyamasundar: Analyzing Cryptographic Protocols in a Reactive Framework. VMCAI 2002: 46-64
71EED. Ravi, R. K. Shyamasundar: Approximate Computation of Reach Sets in Hybrid Systems CoRR cs.LO/0202006: (2002)
2001
70EEMesfin Belachew, R. K. Shyamasundar: MSC+: From Requirement to Prototyped Systems. ECRTS 2001: 117-124
69EER. K. Shyamasundar, J. V. Aghav: Validating Real-Time Constraints in Embedded Systems. PRDC 2001: 347-355
68EESiddharth 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
67 Basant Rajan, R. K. Shyamasundar: Modeling Distributed Embedded Systems in Multiclock ESTEREL. FORTE 2000: 301-316
66EEA. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar: A System for Object Code Validation. FTRTFT 2000: 152-169
65EEBasant Rajan, R. K. Shyamasundar: Multiclock Esterel: A Reactive Framework for Asynchronous Design. IPDPS 2000: 201-210
64EEBasant Rajan, R. K. Shyamasundar: Modeling VHDL in Multiclock ESTEREL. VLSI Design 2000: 76-83
63 R. K. Shyamasundar, S. Ramesh: Languages for Reactive Specifications: Synchrony Vs Asynchrony. Int. J. Found. Comput. Sci. 11(2): 283-314 (2000)
62 K. C. Anand, R. K. Shyamasundar: Formal Verification of Activity-Based Specification of Protocols. J. Parallel Distrib. Comput. 60(5): 639-676 (2000)
1999
61EEA. 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
60EESanjit 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
1998
59EESophie Pinchinat, Éric Rutten, R. K. Shyamasundar: Taxonomy and Expressiveness of Preemption: A Syntactic Approach. ASIAN 1998: 125-141
58EEN. Raja, R. K. Shyamasundar: Mobile Computation: Calculus and Languages (A Tutorial). ASIAN 1998: 300-304
57 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)
1997
56 R. K. Shyamasundar, Kazunori Ueda: Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings Springer 1997
55 Deepak Kapur, R. K. Shyamasundar: Synthesizing Controllers for Hybrid Systems. HART 1997: 361-375
54EEN. Raja, R. K. Shyamasundar: Combinatory Formaulations of Concurrent Languages. ACM Trans. Program. Lang. Syst. 19(6): 899-915 (1997)
53 Ashok Khemka, R. K. Shyamasundar: An Optimal Multiprocessor Real-Time Scheduling Algorithm. J. Parallel Distrib. Comput. 43(1): 37-45 (1997)
52 M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar: Proving Termination of GHC Programs. New Generation Comput. 15(3): 293-338 (1997)
1996
51 Rupak Majumdar, R. K. Shyamasundar: Design of Controllers for Linear Hybrid Systems. ASIAN 1996: 309-320
50EEN. Raja, R. K. Shyamasundar: Actors as a Coordinating Model of Computation (Extended Abstract). Ershov Memorial Conference 1996: 191-202
49EELadan Kazerouni, Basant Rajan, R. K. Shyamasundar: Mapping Linear Recurrences onto Systolic Arrays. IPPS 1996: 891-897
48EELadan Kazerouni, Basant Rajan, R. K. Shyamasundar: Mapping Linear Recurrence Equations onto Systolic Architectures. International Journal of High Speed Computing 8(3): 229-270 (1996)
1995
47 Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar: Preemption Primitives in Reactive Languages (A Preliminary Report). ASIAN 1995: 111-125
46 N. Raja, R. K. Shyamasundar: Combinatory Formulations of Concurrent Languages. ASIAN 1995: 156-170
45 M. R. K. Krishna Rao, R. K. Shyamasundar: Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs SAS 1995: 243-260
44 N. Raja, R. K. Shyamasundar: The Quine-Bernays Combinatory Calculus. Int. J. Found. Comput. Sci. 6(4): 417-430 (1995)
1994
43 R. K. Shyamasundar, S. Ramesh: Languages for Reactive Specifications: Synchrony Vs Asynchrony. FTRTFT 1994: 621-640
42 R. K. Shyamasundar, S. Ramesh: Semantics and Verification of Hierarchical CRP Programs. Hybrid Systems 1994: 436-461
41 Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar: Derivation of Systolic Programs. ICPP (3) 1994: 69-73
40 R. K. Shyamasundar: Specifying Dynamic Reat-Time Systems in CRP. IFIP Congress (1) 1994: 75-80
39 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)
38 R. K. Shyamasundar, Bal Wang: A Methodology for Provin Termination of Logic Programs. J. Log. Program. 21(1): 1-30 (1994)
1993
37 R. K. Shyamasundar: Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, Proceedings Springer 1993
36 R. K. Shyamasundar: Specification of Hybrid Systems in CRP. AMAST 1993: 225-236
35EEM. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar: Verification Tools in the Development of Provably Correct Compilers. FME 1993: 442-461
34 M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar: Proving Termination of GHC Programs. ICLP 1993: 720-736
33 Ashok Khemka, K. V. Subramanyam, R. K. Shyamasundar: Multiprocessors Scheduling for Imprecise Computations in a Hard Real-Time Environment. IPPS 1993: 374-378
32 G. Berry, S. Ramesh, R. K. Shyamasundar: Communicating Reactive Processes. POPL 1993: 85-98
31 R. K. Shyamasundar, K. T. Narayana, Toniann Pitassi: Semantics of Nondeterministic Asynchronous Broadcast Networks Inf. Comput. 104(2): 215-252 (1993)
30EEAshok 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)
1992
29 R. K. Shyamasundar: Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings Springer 1992
28 R. K. Shyamasundar, M. R. K. Krishna Rao, Deepak Kapur: Rewriting Concepts in the Study of Termination of Logic Programs. ALPUK 1992: 3-20
27 Ashok Khemka, R. K. Shyamasundar: Multiprocessor Scheduling of Periodic Tasks in a Hard Real-Time Environment. IPPS 1992: 76-81
1991
26EEM. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar: A Transformational Methodology for Proving Termination of Logic Programs. CSL 1991: 213-226
25EEBal Wang, R. K. Shyamasundar: Methodology for Proving the Termination of Logic Programs. STACS 1991: 214-227
1990
24EEBal Wang, R. K. Shyamasundar: Towards a Characterization of Termination of Logic Programs. PLILP 1990: 204-221
23 Kamal Lodaya, R. K. Shyamasundar: Proof Theory for Exception Handling in a Tasking Environment. Acta Inf. 28(1): 7-41 (1990)
22 Leo Yuhsiang Liu, R. K. Shyamasundar: Exception Handling in RT-CDL. Comput. Lang. 15(3): 177-192 (1990)
21EELeo Yuhsiang Liu, R. K. Shyamasundar: Static Analysis of Real-Time Distributed Systems. IEEE Trans. Software Eng. 16(4): 373-388 (1990)
1989
20 Leo Yuhsiang Liu, R. K. Shyamasundar: RT-CDL: A Real Time Design Language and Its Semantics. IFIP Congress 1989: 21-26
19EER. K. Shyamasundar, James W. Thatcher: Language Constructs for Specifying Concurrency in CDL*. IEEE Trans. Software Eng. 15(8): 977-993 (1989)
1988
18 Leo Yuhsiang Liu, R. K. Shyamasundar: Static Analysis of Real-time Distributed Systems. FTRTFT 1988: 134-138
17 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)
1987
16EER. K. Shyamasundar, K. T. Narayana, Toniann Pitassi: Semantics for Nondeterministic Asynchronous Broadcast Networks. ICALP 1987: 72-83
1986
15EEA. Ravichandran, R. K. Shyamasundar: Correctness proof for the majority consensus algorithm. Inf. Sci. 38(3): 213-227 (1986)
1985
14 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
13 Mathai Joseph, R. K. Shyamasundar: Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings Springer 1984
12EERamaswamy Ramanujam, R. K. Shyamasundar: Process Specification of Logic Programs. FSTTCS 1984: 31-43
11EES. K. 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)
10 R. K. Shyamasundar: A Simple Livelock-Free Algorithm for Packet Switching. Sci. Comput. Program. 4(3): 249-256 (1984)
1983
9 S. Mahadevan, R. K. Shyamasundar: Correctness Preserving Transformations for Distributed Programs. IFIP Congress 1983: 307-313
8EES. K. Ghosh, R. K. Shyamasundar: A linear time algorithm for obtaining the convex hull of a simple polygon. Pattern Recognition 16(6): 587-592 (1983)
7 V. Murali, R. K. Shyamasundar: A Sentence Generator for a Compiler for PT, a Pascal Subset. Softw., Pract. Exper. 13(9): 857-869 (1983)
1982
6 Kulathur S. Rajasethupathy, R. K. Shyamasundar: A New Parsing Algorithm for EOL-Systems. Elektronische Informationsverarbeitung und Kybernetik 18(10/11): 543-564 (1982)
5 R. K. Shyamasundar: On a Characterization of Pushdown Permuters. Theor. Comput. Sci. 17: 333-341 (1982)
1981
4 Eric C. R. Hehner, R. K. Shyamasundar: An Implementation of P and V. Inf. Process. Lett. 12(4): 196-198 (1981)
1980
3EEKulathur S. Rajasethupathy, R. K. Shyamasundar: Programmed OL-systems. Inf. Sci. 20(2): 137-150 (1980)
1978
2 R. K. Shyamasundar: LR-Deterministic Grammars. Elektronische Informationsverarbeitung und Kybernetik 14(7/8): 361-376 (1978)
1976
1 R. K. Shyamasundar: A Note on Linear Precedence Functions. Inf. Process. Lett. 5(3): 81 (1976)

Coauthor Index

1Satyajit Acharya [77]
2Shivali Agarwal [97] [98] [105] [106] [109]
3J. V. Aghav [69]
4K. C. Anand [62]
5Neelima Arora [82] [83]
6S. Arun-Kumar [14] [17]
7Rajkishore Barik [97] [98] [105] [106]
8Mesfin Belachew [70]
9G. Berry [32]
10A. K. Bhattacharjee [60] [61] [66] [89] [104]
11Dan Bonachea [97]
12Vivek S. Borkar [76]
13Roberto Cavada [101]
14Deepak Chenthati [102]
15Alessandro Cimatti [101]
16Mehul S. Dave [76]
17Siddharth B. Deshmukh [74]
18S. D. Dhodapkar [60] [61] [66]
19Frederic Doucet [94] [100]
20Anders Franzén [101]
21Mohit Garg [80]
22Rob Gerth [14] [17]
23S. K. Ghosh [8] [11]
24Rajesh K. Gupta (Rajesh Gupta) [87] [94] [100]
25Eric C. R. Hehner [4]
26Amit Jain [73] [84]
27Susmit Jha [91]
28Mathai Joseph [13]
29Saurabh Joshi [100]
30Krishnamani Kalyanasundaram [79] [101]
31Deepak Kapur [26] [28] [34] [52] [55] [57]
32Kundapur Karunakar [66]
33Ladan Kazerouni [41] [48] [49]
34Ashok Khemka [27] [30] [33] [53]
35Ron Koymans [14] [17]
36Ingolf Krüger (Ingolf H. Krüger) [94] [100]
37N. V. Narendra Kumar [95]
38Rohit N. Kundaji [81] [90]
39Leo Yuhsiang Liu [18] [20] [21] [22] [39]
40Kamal Lodaya [23]
41S. Mahadevan [9]
42Rupak Majumdar [51]
43Hrushikesha Mohanty [77] [99] [102]
44Jitesh Mulchandani [102]
45V. Murali [7]
46V. Krishna Nandivada [106]
47K. T. Narayana [16] [31]
48Paritosh K. Pandya [35]
49Vishwas Patil [85] [86] [88]
50Siddharth R. Phanse [68]
51Sophie Pinchinat [47] [59]
52Toniann Pitassi [16] [31]
53Kakarlamudi Prasad [99]
54Manish Prasad [73]
55N. Raja [44] [46] [50] [54] [58] [75] [78] [92] [93]
56Basant Rajan [41] [48] [49] [64] [65] [66] [67] [73]
57Kulathur S. Rajasethupathy [3] [6]
58Ramaswamy Ramanujam [12]
59S. Ramesh (Sethu Ramesh) [32] [42] [43] [63]
60M. R. K. Krishna Rao [26] [28] [34] [35] [45] [52] [57]
61D. Ravi [71]
62A. Ravichandran [15]
63Willem P. de Roever [14] [17]
64Marco Roveri [101]
65Éric Rutten [47] [59]
66Vivek Sarkar [97] [98]
67Gopa Sen [66]
68Sanjit A. Seshia [60] [61]
69Harshit J. Shah [103] [110] [111]
70K. V. Subramanyam [33]
71Jagadish Suryadevara [96]
72James W. Thatcher [19]
73Kazunori Ueda [56]
74Pradeep Varma [106] [110] [111]
75Bal Wang [24] [25] [38]
76Katherine A. Yelick [97]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)