R. K. Shyamasundar

203 papers A* 4A 4B 19C 20Misc 24Journal 56Unranked 64
YearRankTypeTitle / Venue / Authors
2025 C conf
Why is it Challenging to Overcome, Minimize or Regulate MEV?
ICBC
R. K. Shyamasundar
2024 Misc conf
A Decoupling Mechanism for Transaction Privacy.
ICISS
Vishwas Patil, R. K. Shyamasundar
2024 C conf
Enhancing Robustness of Smart Contracts Through Declarations.
ICBC
R. K. Shyamasundar, Snehal Borse, Mohammad Ummair
2022 C conf
A Framework of Runtime Monitoring for Correct Execution of Smart Contracts.
ICBC
R. K. Shyamasundar
2022 — conf
Evolving Role of PKI in Facilitating Trust.
PKIA
Vishwas T. Patil, R. K. Shyamasundar
2022 Misc conf
Preventing Privacy-Violating Information Flows in JavaScript Applications Using Dynamic Labelling.
ICISS
Sandip Ghosal, R. K. Shyamasundar
2022 Misc conf
Samyukta: A Unified Access Control Model using Roles, Labels, and Attributes.
ICISS
B. S. Radhika, N. V. Narendra Kumar, R. K. Shyamasundar
2021 — conf
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs.
ICSE (NIER)
Sandip Ghosal, R. K. Shyamasundar
2021 J jnl
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs.
CoRR
Sandip Ghosal, R. K. Shyamasundar
2021 Misc conf
App2SecApp: privacy protection from Android applications.
SAC
Parjanya Vyas, R. K. Shyamasundar, Bhagyesh V. Patil
2021 J jnl
Approaches to Enforce Privacy in Databases: Classical to Information Flow-Based Models.
Inf. Syst. Frontiers
R. K. Shyamasundar, Pratiksha Chaudhary, Arushi Jaiswal, Aniket Kuiri
2021 — conf
Empirical Analysis of Greedy, GE and GRE Heuristics.
ISEC
Amit Goyal, R. K. Shyamasundar, G. Sivakumar, Raoul Jetley, Srini Ramaswamy
2021 J jnl
Fortress Abstractions in X10 Framework.
Int. J. Parallel Program.
Anshu S. Anand, Karthik Sayani, R. K. Shyamasundar
2021 J jnl
Guest editorial special issue on "P2P computing for deep learning".
Peer-to-Peer Netw. Appl.
Ying Li, R. K. Shyamasundar, Mohammad S. Obaidat, Yuyu Yin
2021 C conf
Information Flow Secure CAmkES.
IoTBDS
Amit Goyal, Akshat Garg, Digvijaysingh Gour, R. K. Shyamasundar, G. Sivakumar
2021 Misc conf
Landcoin: A Practical Protocol for Transfer-of-Asset.
ICISS
Vishwas Patil, R. K. Shyamasundar
2021 J jnl
Pifthon: A Compile-Time Information Flow Analyzer For An Imperative Language.
CoRR
Sandip Ghosal, R. K. Shyamasundar
2021 — conf
Realizing Information Flow Control in ABAC Mining.
CSS
B. S. Radhika, R. K. Shyamasundar
2021 — conf
SP*: An Information Flow Secure Linux.
ISPA/BDCloud/SocialCom/SustainCom
Parjanya Vyas, R. K. Shyamasundar, Bhagyesh V. Patil, Snehal Borse, Satyaki Sen
2021 C conf
SecSDN: A Novel Architecture for a Secure SDN.
SECRYPT
Parjanya Vyas, R. K. Shyamasundar
2021 J jnl
Special issue on computational intelligence for social media data mining and knowledge discovery.
Comput. Intell.
Ying Li, R. K. Shyamasundar, Xinheng Wang
2021 C conf
Towards Unifying RBAC with Information Flow Control.
SACMAT
B. S. Radhika, N. V. Narendra Kumar, R. K. Shyamasundar
2020 C conf
A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs.
APSEC
Sandip Ghosal, R. K. Shyamasundar
2020 J jnl
Consistency analysis and flow secure enforcement of SELinux policies.
Comput. Secur.
B. S. Radhika, N. V. Narendra Kumar, R. K. Shyamasundar, Parjanya Vyas
2020 B conf
Information Flow Security Certification for SPARK Programs.
DBSec
Sandip Ghosal, R. K. Shyamasundar
2019 J jnl
A deadlock-free lock-based synchronization for GPUs.
Concurr. Comput. Pract. Exp.
Anshu S. Anand, Akash Srivastava, R. K. Shyamasundar
2019 — conf
Is Privacy a Myth for Facebook Users?
ICETE (2)
Vishwas T. Patil, R. K. Shyamasundar
2019 J jnl
STMs in practice: Partial rollback vs pure abort mechanisms.
Concurr. Comput. Pract. Exp.
Anshu S. Anand, R. K. Shyamasundar, Sathya Peri
2019 C conf
Test Suite Minimization of Evolving Software Systems: A Case Study.
ICSOFT
Amit Goyal, R. K. Shyamasundar, Raoul Jetley, Devina Mohan, Srini Ramaswamy
2019 B conf
Threat Assessment of Enterprise Applications via Graphical Modelling.
NSS
Manjunath Bilur, Anugrah Gari, R. K. Shyamasundar
2018 — conf
A Semantic Notion of Secure Information-Flow.
ISEA-ISAP
N. V. Narendra Kumar, R. K. Shyamasundar
2018 — conf
A Solution to "Confused Deputy" Problem Using RWFM Labels.
ISEA-ISAP
Sandip Ghosal, R. K. Shyamasundar
2018 J jnl
Crowdsensing and privacy in smart city applications.
CoRR
Raj Gaire, Ratan K. Ghosh, Jongkil Kim, Alexander Krumpholz, Rajiv Ranjan, R. K. Shyamasundar, Surya Nepal
2018 Misc conf
Efficacy of GDPR's Right-to-be-Forgotten on Facebook.
ICISS
Vishwas T. Patil, R. K. Shyamasundar
2018 B conf
FlowConSEAL: Automatic Flow Consistency Analysis of SEAndroid and SELinux Policies.
DBSec
B. S. Radhika, N. V. Narendra Kumar, R. K. Shyamasundar
2018 Misc ed.
Information Systems Security - 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings
ICISS
Vinod Ganapathy, Trent Jaeger, R. K. Shyamasundar
2018 J jnl
Internet of Things (IoT) and Cloud Computing Enabled Disaster Management.
CoRR
Raj Gaire, Chigulapalli Sriharsha, Deepak Puthal, Hendra Wijaya, Jongkil Kim, Prateeksha Keshari, Rajiv Ranjan, Rajkumar Buyya, Ratan K. Ghosh, R. K. Shyamasundar, Surya Nepal
2018 B conf
Role of Apps in Undoing of Privacy Policies on Facebook.
DBSec
Vishwas T. Patil, Nivia Jatain, R. K. Shyamasundar
2018 Misc conf
SecSmartLock: An Architecture and Protocol for Designing Secure Smart Locks.
ICISS
Bhagyesh V. Patil, Parjanya Vyas, R. K. Shyamasundar
2018 Misc conf
Secure Synthesis of IoT via Readers-Writers Flow Model.
ICDCIT
Shashank Khobragade, N. V. Narendra Kumar, R. K. Shyamasundar
2018 Misc conf
Security Analysis of EMV Protocol and Approaches for Strengthening It.
ICDCIT
Khedkar Shrikrishna, N. V. Narendra Kumar, R. K. Shyamasundar
2018 — conf
Static Security Certification of Programs via Dynamic Labelling.
ICETE (2)
Sandip Ghosal, R. K. Shyamasundar, N. V. Narendra Kumar
2017 B conf
A Complete Generative Label Model for Lattice-Based Access Control Models.
SEFM
N. V. Narendra Kumar, R. K. Shyamasundar
2017 Misc conf
Analyzing Protocol Security Through Information-Flow Control.
ICDCIT
N. V. Narendra Kumar, R. K. Shyamasundar
2017 Misc conf
Dynamic Labelling to Enforce Conformance of Cross Domain Security/Privacy Policies.
ICDCIT
N. V. Narendra Kumar, R. K. Shyamasundar
2017 C conf
Privacy as a Currency: Un-regulated?.
SECRYPT
Vishwas T. Patil, R. K. Shyamasundar
2017 C conf
Realizing software vault on Android through information-flow control.
ISCC
R. K. Shyamasundar, N. V. Narendra Kumar, Priyanka Teltumde
2017 Misc conf
Semi Supervised NLP Based Classification of Malware Documents.
ICISS
Mayukh Rath, Shivali Agarwal, R. K. Shyamasundar
2017 B conf
Undoing of Privacy Policies on Facebook.
DBSec
Vishwas T. Patil, R. K. Shyamasundar
2016 — conf
An End-to-End Privacy Preserving Design of a Map-Reduce Framework.
HPCC/SmartCity/DSS
N. V. Narendra Kumar, R. K. Shyamasundar
2016 — conf
Information-Flow Control for Building Security and Privacy Preserving Hybrid Clouds.
HPCC/SmartCity/DSS
R. K. Shyamasundar, N. V. Narendra Kumar, Muttukrishnan Rajarajan
2016 Misc conf
Opacity proof for CaPR+ algorithm.
ICDCN
Anshu S. Anand, R. K. Shyamasundar, Sathya Peri
2015 Misc conf
Enforcing Secure Data Sharing in Web Application Development Frameworks Like Django Through Information Flow Control.
ICISS
S. Susheel, N. V. Narendra Kumar, R. K. Shyamasundar
2015 — conf
HPDIC Introduction and Committees.
IPDPS Workshops
Christophe Cérin, R. K. Shyamasundar, Yuqing Gao, Congfeng Jiang
2015 C conf
Labelled mobile ambients model for information flow security in distributed systems.
SIN
N. V. Narendra Kumar, R. K. Shyamasundar
2015 J jnl
Opacity Proof for CaPR+ Algorithm.
CoRR
Anshu S. Anand, R. K. Shyamasundar, Sathya Peri
2015 A* conf
POSTER: Dynamic Labelling for Analyzing Security Protocols.
CCS
N. V. Narendra Kumar, R. K. Shyamasundar
2015 — conf
Scaling Computation on GPUs Using Powerlists.
HiPC Workshops
Anshu S. Anand, R. K. Shyamasundar
2014 J jnl
Post-order based routing & transport protocol for wireless sensor networks.
Pervasive Mob. Comput.
Shashank Shekhar, Ranjeet Mishra, R. K. Ghosh, R. K. Shyamasundar
2014 — conf
Realizing Purpose-Based Privacy Policies Succinctly via Information-Flow Labels.
BDCloud
N. V. Narendra Kumar, R. K. Shyamasundar
2013 — conf
High Performance Adaptive Distributed Scheduling Algorithm.
IPDPS Workshops
Ankur Narang, Abhinav Srivastava, R. K. Shyamasundar
2013 — ed.
Proceedings of the 6th ACM India Computing Convention, COMPUTE 2013, Vellore, Tamil Nadu, India, August 22 - 24, 2013
COMPUTE
R. K. Shyamasundar, Lokendra Shastri, D. Janakiram, Srinivas Padmanabhuni
2013 — conf
Public private partnerships (PPP) in the e-government initiatives for developing nations: the case of Ethiopia.
ICEGOV
Mesfin Belachew, R. K. Shyamasundar
2013 C conf
Security and protection of SCADA: a bigdata algorithmic approach.
SIN
R. K. Shyamasundar
2012 — conf
A New Method of MHP Analysis for Languages with Dynamic Barriers.
IPDPS Workshops
Saurabh Joshi, R. K. Shyamasundar, Sanjeev K. Aggarwal
2012 — conf
Dynamic Distributed Scheduling Algorithm for State Space Search.
Euro-Par
Ankur Narang, Abhinav Srivastava, Ramnik Jain, R. K. Shyamasundar
2012 Misc conf
Postorder Based Routing and Transport Protocol for WSNs.
ICDCN
Shashank Shekhar, R. K. Ghosh, R. K. Shyamasundar
2012 — ed.
Proceedings of the 5th ACM COMPUTE Conference: Intelligent & scalable system technologies, Pune, India, January 23-24, 2012
COMPUTE
R. K. Shyamasundar, Lokendra Shastri
2012 — conf
Service maps in XML.
CUBE
Supriya Vaddi, Hrushikesha Mohanty, R. K. Shyamasundar
2011 C conf
An Executional Framework for BPMN Using Orc.
APSCC
Nihita Goel, R. K. Shyamasundar
2011 — ed.
Proceedings of the 4th Bangalore Annual Compute Conference, Compute 2011, Bangalore, India, March 25-26, 2011
Bangalore Compute Conf.
R. K. Shyamasundar, Lokendra Shastri
2011 — conf
SLA Monitor: A System for Dynamic Monitoring of Adaptive Web Services.
ECOWS
Nihita Goel, N. V. Narendra Kumar, R. K. Shyamasundar
2011 — ch.
Towards Checking Tampering of Software.
Cyber Security, Cyber Crime and Cyber Forensics
N. V. Narendra Kumar, Harshit J. Shah, R. K. Shyamasundar
2010 Misc conf
A Framework for Web-Based Negotiation.
ICDCIT
Hrushikesha Mohanty, Rajesh Kurra, R. K. Shyamasundar
2010 — conf
A Proof System for a PGAS Language.
Concurrency, Compositionality, and Correctness
Shivali Agarwal, R. K. Shyamasundar
2010 C conf
Automatic Monitoring of SLAs of Web Services.
APSCC
Nihita Goel, R. K. Shyamasundar
2010 — conf
Can we certify systems for freedom from malware.
ICSE (2)
N. V. Narendra Kumar, Harshit J. Shah, R. K. Shyamasundar
2010 Misc conf
Malware: From Modelling to Practical Detection.
ICDCIT
R. K. Shyamasundar, Harshit J. Shah, N. V. Narendra Kumar
2010 — ed.
Proceedings of the 3rd Bangalore Annual Compute Conference, Compute 2010, Bangalore, India, January 22-23, 2010
Bangalore Compute Conf.
R. K. Shyamasundar, Prasad Deshpande
2009 J jnl
Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation.
J. Object Technol.
A. K. Bhattacharjee, R. K. Shyamasundar
2009 — conf
Backward-compatible constant-time exception-protected memory.
ESEC/SIGSOFT FSE
Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah
2009 A* conf
Brief announcement: distributed phase synchronization of dynamic set of processes.
PODC
R. K. Shyamasundar, Shivali Agarwal
2009 A conf
Concurrent SSA for general barrier-synchronized parallel programs.
IPDPS
Harshit J. Shah, R. K. Shyamasundar, Pradeep Varma
2009 B conf
Distributed Scheduling of Parallel Hybrid Computations.
ISAAC
Shivali Agarwal, Ankur Narang, R. K. Shyamasundar
2009 — ed.
Proceedings of the 2nd Bangalore Annual Compute Conference, Compute 2009, Bangalore, India, January 9-10, 2009
Bangalore Compute Conf.
R. K. Shyamasundar
2009 — conf
Translating Security Policy to Executable Code for Sandboxing Linux Kernel.
EMS
Hrushikesha Mohanty, Martha VenkataSwamy, Srini Ramaswamy, R. K. Shyamasundar
2008 C conf
A Static Characterization of Affinity in a Distributed Program.
HPCC
Shivali Agarwal, Rajkishore Barik, R. K. Shyamasundar
2008 A conf
Choreography = Orchestration with Scripts + Conversations.
ICWS
A. K. Bhattacharjee, R. K. Shyamasundar
2008 — ed.
Proceedings of the 1st Bangalore Annual Compute Conference, Compute 2008, Bangalore, India, January 18-20, 2008
Bangalore Compute Conf.
R. K. Shyamasundar
2008 C conf
ScriptOrc: A Specification Language for Web Service Choreography.
APSCC
A. K. Bhattacharjee, R. K. Shyamasundar
2008 B conf
Static Detection of Place Locality and Elimination of Runtime Checks.
APLAS
Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma
2008 J jnl
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems.
J. Object Technol.
Jagadish Suryadevara, Lawrence Chung, R. K. Shyamasundar
2007 B conf
Computing Predicate Abstractions by Integrating BDDs and SMT Solvers.
FMCAD
Roberto Cavada, Alessandro Cimatti, Anders Franzén, Krishnamani Kalyanasundaram, Marco Roveri, R. K. Shyamasundar
2007 B conf
Deadlock-free scheduling of X10 computations with bounded resources.
SPAA
Shivali Agarwal, Rajkishore Barik, Dan Bonachea, Vivek Sarkar, R. K. Shyamasundar, Katherine A. Yelick
2007 B conf
May-happen-in-parallel analysis of X10 programs.
PPoPP
Shivali Agarwal, Rajkishore Barik, Vivek Sarkar, R. K. Shyamasundar
2007 — conf
Modeling Web Services with FSM Modules.
Asia International Conference on Modelling and Simulation
Hrushikesha Mohanty, Jitesh Mulchandani, Deepak Chenthati, R. K. Shyamasundar
2007 — conf
On Run-Time Enforcement of Policies.
ASIAN
Harshit J. Shah, R. K. Shyamasundar
2007 — conf
Reactivity in SystemC Transaction-Level Models.
Haifa Verification Conference
Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta
2007 — conf
Trust Assessment in Web Services: an Extension to jUDDI.
ICEBE
Hrushikesha Mohanty, Kakarlamudi Prasad, R. K. Shyamasundar
2007 J jnl
UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources.
J. Object Technol.
Jagadish Suryadevara, R. K. Shyamasundar
2007 — conf
Verification of Clock Synchronization in TTP.
Formal Models, Languages and Applications
Krishnamani Kalyanasundaram, R. K. Shyamasundar
2006 J jnl
A closer look at constraints as processes.
Inf. Process. Lett.
N. Raja, R. K. Shyamasundar
2006 J jnl
Actors as a Coordinating Model of Computation.
Informatica (Slovenia)
N. Raja, R. K. Shyamasundar
2006 J jnl
Adapting Biochemical Kripke Structures for Distributed Model Checking.
Trans. Comp. Sys. Biology
Susmit Jha, R. K. Shyamasundar
2006 C conf
Compositional interaction specifications for SystemC.
MEMOCODE
Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar
2006 J jnl
Refinement calculus: A basis for translation validation, debugging and certification.
Theor. Comput. Sci.
Rohit N. Kundaji, R. K. Shyamasundar
2006 Misc conf
Specification and Realization of Access Control in SPKI/SDSI.
ICISS
N. V. Narendra Kumar, R. K. Shyamasundar
2006 — ch.
UGSP: Authentication based secure protocol for AD-HOC networks.
e-Business and Telecommunication Networks
Neelima Arora, R. K. Shyamasundar
2005 B conf
PGSP: a protocol for secure communication in peer-to-peer system.
WCNC
Neelima Arora, R. K. Shyamasundar
2005 Misc conf
Validated Code Generation for Activity Diagrams.
ICDCIT
A. K. Bhattacharjee, R. K. Shyamasundar
2004 — conf
A Distributed Clustering Framework in Mobile Ad Hoc Networks.
International Conference on Wireless Networks
Mohit Garg, R. K. Shyamasundar
2004 — conf
An Efficient, Secure and Delegable Micro-Payment System.
EEE
Vishwas Patil, R. K. Shyamasundar
2004 B conf
Development of Semantic Debuggers Based on Refinement Calculus.
ICLP
Rohit N. Kundaji, R. K. Shyamasundar
2004 — conf
Failure Detection and Membership Management in Grid Environments.
GRID
Amit Jain, R. K. Shyamasundar
2004 C conf
Formal verification of pipelined processors with precise exceptions.
MEMOCODE
Krishnamani Kalyanasundaram, R. K. Shyamasundar
2004 — conf
Reactive Framework for Resource Aware Distributed Computing.
ASIAN
Rajesh Gupta, R. K. Shyamasundar
2004 — conf
Towards a Flexible Access Control Mechanism for E-Transactions.
EGCDMAS
Vishwas Patil, R. K. Shyamasundar
2004 J jnl
Type Systems for Concurrent Programming Calculi.
Informatica (Slovenia)
N. Raja, R. K. Shyamasundar
2004 — conf
UGSP: Authentication Based Secure Protocol for Ad-Hoc Networks.
ICETE (3)
Neelima Arora, R. K. Shyamasundar
2004 Misc conf
UGSP: Secure Key Establishment Protocol for Ad-Hoc Network.
ICDCIT
Neelima Arora, R. K. Shyamasundar
2003 — conf
Algorithmic Mechanisms for Secure Multi-Auction Systems.
IICAI
Vivek S. Borkar, Mehul S. Dave, R. K. Shyamasundar
2003 — conf
MOBICHARTS: A Notation to Specify Mobile Computing Applications.
HICSS
Satyajit Acharya, Hrushikesha Mohanty, R. K. Shyamasundar
2003 J jnl
Type Systems for Concurrent Programming Calculi.
Informatica (Slovenia)
N. Raja, R. K. Shyamasundar
2002 B conf
Analyzing Cryptographic Protocols in a Reactive Framework.
VMCAI
R. K. Shyamasundar
2002 J jnl
Approximate Computation of Reach Sets in Hybrid Systems
CoRR
D. Ravi, R. K. Shyamasundar
2002 Misc conf
LLM: A Low Latency Messaging Infrastructure for Linux Clusters.
HiPC
R. K. Shyamasundar, Basant Rajan, Manish Prasad, Amit Jain
2002 — conf
MicroBill: An Efficient Secure System for Subscription Based Services.
ASIAN
R. K. Shyamasundar, Siddharth B. Deshmukh
2001 Misc conf
Application of Esterel for Modelling and Verification of Cachet Protocol on CRF Memory Model.
VLSI Design
Siddharth R. Phanse, R. K. Shyamasundar
2001 B conf
MSC+: From Requirement to Prototyped Systems.
ECRTS
Mesfin Belachew, R. K. Shyamasundar
2001 J jnl
PERTS: an environment for specification and verification of reactive systems.
Reliab. Eng. Syst. Saf.
A. K. Bhattacharjee, S. D. Dhodapkar, R. K. Shyamasundar
2001 J jnl
PERTS: an environment for specification and verification of reactive systems: [Reliability Engineering and System Safety, 71(3), 2001, 299-310].
Reliab. Eng. Syst. Saf.
A. K. Bhattacharjee, S. D. Dhodapkar, R. K. Shyamasundar
2001 C conf
Validating Real-Time Constraints in Embedded Systems.
PRDC
R. K. Shyamasundar, J. V. Aghav
2000 — conf
A System for Object Code Validation.
FTRTFT
A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar
2000 J jnl
Formal Verification of Activity-Based Specification of Protocols.
J. Parallel Distributed Comput.
K. C. Anand, R. K. Shyamasundar
2000 J jnl
Languages for Reactive Specifications: Synchrony Vs Asynchrony.
Int. J. Found. Comput. Sci.
R. K. Shyamasundar, S. Ramesh
2000 C conf
Modeling Distributed Embedded Systems in Multiclock ESTEREL.
FORTE
Basant Rajan, R. K. Shyamasundar
2000 Misc conf
Modeling VHDL in Multiclock ESTEREL.
VLSI Design
Basant Rajan, R. K. Shyamasundar
2000 A conf
Multiclock Esterel: A Reactive Framework for Asynchronous Design.
IPDPS
Basant Rajan, R. K. Shyamasundar
1999 B conf
A Graphical Environment for the Specification and Verification of Reactive Systems.
SAFECOMP
A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar
1999 — conf
A Translation of Statecharts to Esterel.
World Congress on Formal Methods
Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar
1998 — conf
Mobile Computation: Calculus and Languages (A Tutorial).
ASIAN
N. Raja, R. K. Shyamasundar
1998 — conf
Taxonomy and Expressiveness of Preemption: A Syntactic Approach.
ASIAN
Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar
1998 J jnl
Transformational Methodology for Proving Termination of Logic Programs.
J. Log. Program.
M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar
1997 — ed.
Advances in Computing Science - ASIAN '97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings
ASIAN
R. K. Shyamasundar, Kazunori Ueda
1997 J jnl
An Optimal Multiprocessor Real-Time Scheduling Algorithm.
J. Parallel Distributed Comput.
Ashok Khemka, R. K. Shyamasundar
1997 J jnl
Combinatory Formaulations of Concurrent Languages.
ACM Trans. Program. Lang. Syst.
N. Raja, R. K. Shyamasundar
1997 J jnl
Proving Termination of GHC Programs.
New Gener. Comput.
M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar
1997 — conf
Synthesizing Controllers for Hybrid Systems.
HART
Deepak Kapur, R. K. Shyamasundar
1996 — conf
Actors as a Coordinating Model of Computation (Extended Abstract).
Ershov Memorial Conference
N. Raja, R. K. Shyamasundar
1996 — conf
Design of Controllers for Linear Hybrid Systems.
ASIAN
Rupak Majumdar, R. K. Shyamasundar
1996 J jnl
Mapping Linear Recurrence Equations onto Systolic Architectures.
Int. J. High Speed Comput.
Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar
1996 — conf
Mapping Linear Recurrences onto Systolic Arrays.
IPPS
Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar
1995 — conf
Combinatory Formulations of Concurrent Languages.
ASIAN
N. Raja, R. K. Shyamasundar
1995 — conf
Preemption Primitives in Reactive Languages (A Preliminary Report).
ASIAN
Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar
1995 J jnl
The Quine-Bernays Combinatory Calculus.
Int. J. Found. Comput. Sci.
N. Raja, R. K. Shyamasundar
1995 B conf
Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs
SAS
M. R. K. Krishna Rao, R. K. Shyamasundar
1994 J jnl
A Methodology for Provin Termination of Logic Programs.
J. Log. Program.
R. K. Shyamasundar, Bal Wang
1994 — conf
Derivation of Systolic Programs.
ICPP (3)
Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar
1994 — conf
Languages for Reactive Specifications: Synchrony Vs Asynchrony.
FTRTFT
R. K. Shyamasundar, S. Ramesh
1994 J jnl
RT-CDL: A Distributed Real-Time Design Language and Its Operational Semantics.
Comput. Lang.
Leo Yuhsiang Liu, R. K. Shyamasundar
1994 — conf
Semantics and Verification of Hierarchical CRP Programs.
Hybrid Systems
R. K. Shyamasundar, S. Ramesh
1994 — conf
Specifying Dynamic Reat-Time Systems in CRP.
IFIP Congress (1)
R. K. Shyamasundar
1993 A* conf
Communicating Reactive Processes.
POPL
Gérard Berry, S. Ramesh, R. K. Shyamasundar
1993 — ed.
Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, Proceedings
FSTTCS
R. K. Shyamasundar
1993 J jnl
Multiprocessor Scheduling of Periodic Tasks in a Hard Real-Time Environment.
Int. J. High Speed Comput.
Ashok Khemka, R. K. Shyamasundar
1993 — conf
Multiprocessors Scheduling for Imprecise Computations in a Hard Real-Time Environment.
IPPS
Ashok Khemka, K. V. Subramanyam, R. K. Shyamasundar
1993 B conf
Proving Termination of GHC Programs.
ICLP
M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar
1993 J jnl
Semantics of Nondeterministic Asynchronous Broadcast Networks
Inf. Comput.
R. K. Shyamasundar, K. T. Narayana, Toniann Pitassi
1993 — conf
Specification of Hybrid Systems in CRP.
AMAST
R. K. Shyamasundar
1993 — conf
Verification Tools in the Development of Provably Correct Compilers.
FME
M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar
1992 — ed.
Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings
FSTTCS
R. K. Shyamasundar
1992 — conf
Multiprocessor Scheduling of Periodic Tasks in a Hard Real-Time Environment.
IPPS
Ashok Khemka, R. K. Shyamasundar
1992 — conf
Rewriting Concepts in the Study of Termination of Logic Programs.
ALPUK
R. K. Shyamasundar, M. R. K. Krishna Rao, Deepak Kapur
1991 B conf
A Transformational Methodology for Proving Termination of Logic Programs.
CSL
M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar
1991 A conf
Methodology for Proving the Termination of Logic Programs.
STACS
Bal Wang, R. K. Shyamasundar
1990 J jnl
Exception Handling in RT-CDL.
Comput. Lang.
Leo Yuhsiang Liu, R. K. Shyamasundar
1990 J jnl
Proof Theory for Exception Handling in a Tasking Environment.
Acta Informatica
Kamal Lodaya, R. K. Shyamasundar
1990 J jnl
Static Analysis of Real-Time Distributed Systems.
IEEE Trans. Software Eng.
Leo Yuhsiang Liu, R. K. Shyamasundar
1990 — conf
Towards a Characterization of Termination of Logic Programs.
PLILP
Bal Wang, R. K. Shyamasundar
1989 — conf
An operational semantics of real time design language RT-CDL.
IWSSD
Leo Yuhsiang Liu, R. K. Shyamasundar
1989 J jnl
Language Constructs for Specifying Concurrency in CDL*.
IEEE Trans. Software Eng.
R. K. Shyamasundar, James W. Thatcher
1989 — conf
RT-CDL: A Real Time Design Language and Its Semantics.
IFIP Congress
Leo Yuhsiang Liu, R. K. Shyamasundar
1988 J jnl
Compositional Semantics for Real-Time Distributed Computing
Inf. Comput.
Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
1988 — conf
Static Analysis of Real-time Distributed Systems.
FTRTFT
Leo Yuhsiang Liu, R. K. Shyamasundar
1987 A* conf
Semantics for Nondeterministic Asynchronous Broadcast Networks.
ICALP
R. K. Shyamasundar, K. T. Narayana, Toniann Pitassi
1986 J jnl
Correctness proof for the majority consensus algorithm.
Inf. Sci.
A. Ravichandran, R. K. Shyamasundar
1985 — conf
Compositional Semantics for Real-time Distributed Computing.
Logic of Programs
Ron Koymans, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, S. Arun-Kumar
1984 J jnl
A Simple Livelock-Free Algorithm for Packet Switching.
Sci. Comput. Program.
R. K. Shyamasundar
1984 J jnl
A linear time algorithm for computing the convex hull of an ordered crossing polygon.
Pattern Recognit.
Subir Kumar Ghosh, R. K. Shyamasundar
1984 — ed.
Foundations of Software Technology and Theoretical Computer Science, Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings
FSTTCS
Mathai Joseph, R. K. Shyamasundar
1984 — conf
Process Specification of Logic Programs.
FSTTCS
Ramaswamy Ramanujam, R. K. Shyamasundar
1983 J jnl
A Sentence Generator for a Compiler for PT, a Pascal Subset.
Softw. Pract. Exp.
V. Murali, R. K. Shyamasundar
1983 J jnl
A linear time algorithm for obtaining the convex hull of a simple polygon.
Pattern Recognit.
Subir Kumar Ghosh, R. K. Shyamasundar
1983 — conf
Correctness Preserving Transformations for Distributed Programs.
IFIP Congress
S. Mahadevan, R. K. Shyamasundar
1982 J jnl
A New Parsing Algorithm for EOL-Systems.
J. Inf. Process. Cybern.
Kulathur S. Rajasethupathy, R. K. Shyamasundar
1982 J jnl
On a Characterization of Pushdown Permuters.
Theor. Comput. Sci.
R. K. Shyamasundar
1981 J jnl
An Implementation of P and V.
Inf. Process. Lett.
Eric C. R. Hehner, R. K. Shyamasundar
1980 J jnl
Programmed OL-systems.
Inf. Sci.
Kulathur S. Rajasethupathy, R. K. Shyamasundar
1978 J jnl
A note on the multiplication of 4x4 matrices.
SIGACT News
R. K. Shyamasundar
1978 J jnl
A note on the transitive closure of a boolean matrix.
SIGACT News
R. K. Shyamasundar
1978 J jnl
LR-Deterministic Grammars.
J. Inf. Process. Cybern.
R. K. Shyamasundar
1976 J jnl
A Note on Linear Precedence Functions.
Inf. Process. Lett.
R. K. Shyamasundar
1976 J jnl
The Structure Generating Function of Some Families of Languages
Inf. Control.
Werner Kuich, R. K. Shyamasundar