| 2008 |
|---|
| 107 | | R. K. Shyamasundar:
Proceedings of the 1st Bangalore Annual Compute Conference, Compute 2008, Bangalore, India, January 18-20, 2008
ACM 2008 |
| 106 | | R. K. Shyamasundar:
Proceedings of the 2nd Bangalore Annual Compute Conference, Compute 2009, Bangalore, India, January 9-10, 2009
ACM 2008 |
| 105 | EE | 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 |
| 104 | EE | Shivali Agarwal,
Rajkishore Barik,
R. K. Shyamasundar:
A Static Characterization of Affinity in a Distributed Program.
HPCC 2008: 572-579 |
| 103 | EE | A. K. Bhattacharjee,
R. K. Shyamasundar:
Choreography = Orchestration with Scripts + Conversations.
ICWS 2008: 824-827 |
| 2007 |
|---|
| 102 | EE | Harshit Shah,
R. K. Shyamasundar:
On Run-Time Enforcement of Policies.
ASIAN 2007: 268-281 |
| 101 | EE | 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 |
| 100 | EE | 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 |
| 99 | EE | 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 |
| 98 | EE | Hrushikesha Mohanty,
Kakarlamudi Prasad,
R. K. Shyamasundar:
Trust Assessment in Web Services: an Extension to jUDDI.
ICEBE 2007: 759-762 |
| 97 | EE | Shivali Agarwal,
Rajkishore Barik,
Vivek Sarkar,
R. K. Shyamasundar:
May-happen-in-parallel analysis of X10 programs.
PPOPP 2007: 183-193 |
| 96 | EE | 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 |
| 95 | EE | Jagadish 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 |
|---|
| 94 | EE | N. V. Narendra Kumar,
R. K. Shyamasundar:
Specification and Realization of Access Control in SPKI/SDSI.
ICISS 2006: 177-193 |
| 93 | EE | Frederic Doucet,
Ingolf Krüger,
Rajesh K. Gupta,
R. K. Shyamasundar:
Compositional interaction specifications for SystemC.
MEMOCODE 2006: 201 |
| 92 | EE | N. Raja,
R. K. Shyamasundar:
A closer look at constraints as processes.
Inf. Process. Lett. 98(5): 206-210 (2006) |
| 91 | EE | Susmit Jha,
R. K. Shyamasundar:
Adapting Biochemical Kripke Structures for Distributed Model Checking.
T. Comp. Sys. Biology: 107-122 (2006) |
| 90 | EE | Rohit N. Kundaji,
R. K. Shyamasundar:
Refinement calculus: A basis for translation validation, debugging and certification.
Theor. Comput. Sci. 354(1): 153-168 (2006) |
| 2005 |
|---|
| 89 | EE | A. K. Bhattacharjee,
R. K. Shyamasundar:
Validated Code Generation for Activity Diagrams.
ICDCIT 2005: 508-521 |
| 88 | EE | Vishwas Patil,
R. K. Shyamasundar:
e-coupons: An Efficient, Secure and Delegable Micro-Payment System.
Information Systems Frontiers 7(4-5): 371-389 (2005) |
| 2004 |
|---|
| 87 | EE | Rajesh Gupta,
R. K. Shyamasundar:
Reactive Framework for Resource Aware Distributed Computing.
ASIAN 2004: 452-467 |
| 86 | EE | Vishwas 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 |
| 84 | EE | Amit Jain,
R. K. Shyamasundar:
Failure Detection and Membership Management in Grid Environments.
GRID 2004: 44-52 |
| 83 | EE | Neelima 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 |
| 81 | EE | Rohit 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 |
| 79 | EE | Krishnamani Kalyanasundaram,
R. K. Shyamasundar:
Formal verification of pipelined processors with precise exceptions.
MEMOCODE 2004: 129-139 |
| 78 | EE | N. Raja,
R. K. Shyamasundar:
Type Systems for Concurrent Programming Calculi.
Informatica (Slovenia) 28(1): 103-113 (2004) |
| 2003 |
|---|
| 77 | EE | Satyajit 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 |
| 75 | EE | N. Raja,
R. K. Shyamasundar:
Type Systems for Concurrent Programming Calculi.
Informatica (Slovenia) 27(4): 433-443 (2003) |
| 2002 |
|---|
| 74 | EE | R. K. Shyamasundar,
Siddharth B. Deshmukh:
MicroBill: An Efficient Secure System for Subscription Based Services.
ASIAN 2002: 220-232 |
| 73 | EE | R. K. Shyamasundar,
Basant Rajan,
Manish Prasad,
Amit Jain:
LLM: A Low Latency Messaging Infrastructure for Linux Clusters.
HiPC 2002: 112-123 |
| 72 | EE | R. K. Shyamasundar:
Analyzing Cryptographic Protocols in a Reactive Framework.
VMCAI 2002: 46-64 |
| 71 | EE | D. Ravi,
R. K. Shyamasundar:
Approximate Computation of Reach Sets in Hybrid Systems
CoRR cs.LO/0202006: (2002) |
| 2001 |
|---|
| 70 | EE | Mesfin Belachew,
R. K. Shyamasundar:
MSC+: From Requirement to Prototyped Systems.
ECRTS 2001: 117-124 |
| 69 | EE | R. K. Shyamasundar,
J. V. Aghav:
Validating Real-Time Constraints in Embedded Systems.
PRDC 2001: 347-355 |
| 68 | EE | 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 |
|---|
| 67 | | Basant Rajan,
R. K. Shyamasundar:
Modeling Distributed Embedded Systems in Multiclock ESTEREL.
FORTE 2000: 301-316 |
| 66 | EE | 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 |
| 65 | EE | Basant Rajan,
R. K. Shyamasundar:
Multiclock Esterel: A Reactive Framework for Asynchronous Design.
IPDPS 2000: 201-210 |
| 64 | EE | Basant 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 |
|---|
| 61 | EE | 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 |
| 60 | EE | 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 |
| 1998 |
|---|
| 59 | EE | Sophie Pinchinat,
Éric Rutten,
R. K. Shyamasundar:
Taxonomy and Expressiveness of Preemption: A Syntactic Approach.
ASIAN 1998: 125-141 |
| 58 | EE | N. 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 |
| 54 | EE | N. 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 |
| 50 | | N. Raja,
R. K. Shyamasundar:
Actors as a Coordinating Model of Computation (Extended Abstract).
Ershov Memorial Conference 1996: 191-202 |
| 49 | EE | Ladan Kazerouni,
Basant Rajan,
R. K. Shyamasundar:
Mapping Linear Recurrences onto Systolic Arrays.
IPPS 1996: 891-897 |
| 48 | EE | 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) |
| 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 |
| 35 | | M. 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) |
| 30 | EE | 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) |
| 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 |
|---|
| 26 | | M. R. K. Krishna Rao,
Deepak Kapur,
R. K. Shyamasundar:
A Transformational Methodology for Proving Termination of Logic Programs.
CSL 1991: 213-226 |
| 25 | | Bal Wang,
R. K. Shyamasundar:
Methodology for Proving the Termination of Logic Programs.
STACS 1991: 214-227 |
| 1990 |
|---|
| 24 | | Bal 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) |
| 21 | EE | Leo 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 |
| 19 | EE | R. 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 |
|---|
| 16 | | R. K. Shyamasundar,
K. T. Narayana,
Toniann Pitassi:
Semantics for Nondeterministic Asynchronous Broadcast Networks.
ICALP 1987: 72-83 |
| 1986 |
|---|
| 15 | EE | A. 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 |
| 12 | | Ramaswamy Ramanujam,
R. K. Shyamasundar:
Process Specification of Logic Programs.
FSTTCS 1984: 31-43 |
| 11 | EE | S. 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 |
| 8 | EE | S. 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 |
|---|
| 3 | EE | Kulathur 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) |
