default search action

combined dblp search
author search
venue search
publication search

ask others

R. K. Shyamasundar

Rudrapatna K. Shyamasundar

> Home > Persons

Person information

affiliation: Tata Institute of Fundamental Research, Mumbai, India

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[e20]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/2024
Vishwas T. Patil, Ram Krishnan, Rudrapatna K. Shyamasundar:
Information Systems Security - 20th International Conference, ICISS 2024, Jaipur, India, December 16-20, 2024, Proceedings. Lecture Notes in Computer Science 15416, Springer 2025, ISBN 978-3-031-80019-1 [contents]
2024
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/icbc/ShyamasundarBU24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icbc/ShyamasundarBU24
R. K. Shyamasundar, Snehal Borse, Mohammad Ummair:
Enhancing Robustness of Smart Contracts Through Declarations. ICBC 2024: 50-68
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/PatilS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/PatilS24
Vishwas Patil, R. K. Shyamasundar:
A Decoupling Mechanism for Transaction Privacy. ICISS 2024: 359-379
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/Shyamasundar24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/Shyamasundar24
Rudrapatna K. Shyamasundar:
Characterization of Consensus Correctness in Ripple (XRP) Networks. SECRYPT 2024: 103-113
2023
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/dbsec/RoyS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/RoyS23
Sangita Roy, Rudrapatna K. Shyamasundar:
An Analysis of Hybrid Consensus in Blockchain Protocols for Correctness and Progress. DBSec 2023: 404-412
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/Shyamasundar23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/Shyamasundar23
Rudrapatna K. Shyamasundar:
ERC20: Correctness via Linearizability and Interference Freedom of the Underlying Smart Contract. SECRYPT 2023: 557-566
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/RoyS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/RoyS23
Sangita Roy, Rudrapatna K. Shyamasundar:
A Rand Index-Based Analysis of Consensus Protocols. SECRYPT 2023: 567-576
[e19]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/2023
Vallipuram Muthukkumarasamy, Sithu D. Sudarsan, Rudrapatna K. Shyamasundar:
Information Systems Security - 19th International Conference, ICISS 2023, Raipur, India, December 16-20, 2023, Proceedings. Lecture Notes in Computer Science 14424, Springer 2023, ISBN 978-3-031-49098-9 [contents]
2022
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/icbc/Shyamasundar22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icbc/Shyamasundar22
R. K. Shyamasundar:
A Framework of Runtime Monitoring for Correct Execution of Smart Contracts. ICBC 2022: 92-116
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/RadhikaKS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/RadhikaKS22
B. S. Radhika, N. V. Narendra Kumar, R. K. Shyamasundar:
Samyukta: A Unified Access Control Model using Roles, Labels, and Attributes. ICISS 2022: 84-102
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/GhosalS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/GhosalS22
Sandip Ghosal, R. K. Shyamasundar:
Preventing Privacy-Violating Information Flows in JavaScript Applications Using Dynamic Labelling. ICISS 2022: 202-219
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/pkia/PatilS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pkia/PatilS22
Vishwas T. Patil, R. K. Shyamasundar:
Evolving Role of PKI in Facilitating Trust. PKIA 2022: 1-7
[e18]
- view
  authority control:
- export record
  dblp key:
  - conf/icbc/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icbc/2022
Shiping Chen, Rudrapatna K. Shyamasundar, Liang-Jie Zhang:
Blockchain - ICBC 2022 - 5th International Conference, Held as part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings. Lecture Notes in Computer Science 13733, Springer 2022, ISBN 978-3-031-23494-1 [contents]
[e17]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/2022
Venkata Ramana Badarla, Surya Nepal, Rudrapatna K. Shyamasundar:
Information Systems Security - 18th International Conference, ICISS 2022, Tirupati, India, December 16-20, 2022, Proceedings. Lecture Notes in Computer Science 13784, Springer 2022, ISBN 978-3-031-23689-1 [contents]
2021
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/ci/LiSW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ci/LiSW21
Ying Li, R. K. Shyamasundar, Xinheng Wang:
Special issue on computational intelligence for social media data mining and knowledge discovery. Comput. Intell. 37(2): 658-659 (2021)
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/ijpp/AnandSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijpp/AnandSS21
Anshu S. Anand, Karthik Sayani, R. K. Shyamasundar:
Fortress Abstractions in X10 Framework. Int. J. Parallel Program. 49(6): 911-933 (2021)
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/isf/ShyamasundarCJK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isf/ShyamasundarCJK21
R. K. Shyamasundar, Pratiksha Chaudhary, Arushi Jaiswal, Aniket Kuiri:
Approaches to Enforce Privacy in Databases: Classical to Information Flow-Based Models. Inf. Syst. Frontiers 23(4): 811-833 (2021)
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/ppna/LiSOY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ppna/LiSOY21
Ying Li, R. K. Shyamasundar, Mohammad S. Obaidat, Yuyu Yin:
Guest editorial special issue on "P2P computing for deep learning". Peer-to-Peer Netw. Appl. 14(3): 1734-1735 (2021)
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/css/RadhikaS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/css/RadhikaS21
B. S. Radhika, R. K. Shyamasundar:
Realizing Information Flow Control in ABAC Mining. CSS 2021: 107-119
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/PatilS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/PatilS21
Vishwas Patil, R. K. Shyamasundar:
Landcoin: A Practical Protocol for Transfer-of-Asset. ICISS 2021: 124-141
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GhosalS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GhosalS21
Sandip Ghosal, R. K. Shyamasundar:
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs. ICSE (NIER) 2021: 31-35
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/indiaSE/GoyalSSJR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indiaSE/GoyalSSJR21
Amit Goyal, R. K. Shyamasundar, G. Sivakumar, Raoul Jetley, Srini Ramaswamy:
Empirical Analysis of Greedy, GE and GRE Heuristics. ISEC 2021: 6:1-6:11
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/iotbd/GoyalGGSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iotbd/GoyalGGSS21
Amit Goyal, Akshat Garg, Digvijaysingh Gour, R. K. Shyamasundar, G. Sivakumar:
Information Flow Secure CAmkES. IoTBDS 2021: 237-244
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/ispa/VyasSPBS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispa/VyasSPBS21
Parjanya Vyas, R. K. Shyamasundar, Bhagyesh V. Patil, Snehal Borse, Satyaki Sen:
SP*: An Information Flow Secure Linux. ISPA/BDCloud/SocialCom/SustainCom 2021: 1603-1612
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/VyasSP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/VyasSP21
Parjanya Vyas, R. K. Shyamasundar, Bhagyesh V. Patil:
App2SecApp: privacy protection from Android applications. SAC 2021: 908-911
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/sacmat/RadhikaKS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sacmat/RadhikaKS21
B. S. Radhika, N. V. Narendra Kumar, R. K. Shyamasundar:
Towards Unifying RBAC with Information Flow Control. SACMAT 2021: 45-54
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/VyasS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/VyasS21
Parjanya Vyas, R. K. Shyamasundar:
SecSDN: A Novel Architecture for a Secure SDN. SECRYPT 2021: 587-594
[e16]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/2021
Somanath Tripathy, Rudrapatna K. Shyamasundar, Rajiv Ranjan:
Information Systems Security - 17th International Conference, ICISS 2021, Patna, India, December 16-20, 2021, Proceedings. Lecture Notes in Computer Science 13146, Springer 2021, ISBN 978-3-030-92570-3 [contents]
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2103-02171
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-02171
Sandip Ghosal, R. K. Shyamasundar:
An Axiomatic Approach to Detect Information Leaks in Concurrent Programs. CoRR abs/2103.02171 (2021)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2103-06039
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-06039
Sandip Ghosal, R. K. Shyamasundar:
Pifthon: A Compile-Time Information Flow Analyzer For An Imperative Language. CoRR abs/2103.06039 (2021)
2020
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/RadhikaKSV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/RadhikaKSV20
B. S. Radhika, N. V. Narendra Kumar, R. K. Shyamasundar, Parjanya Vyas:
Consistency analysis and flow secure enforcement of SELinux policies. Comput. Secur. 94: 101816 (2020)
[c125]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/GhosalS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/GhosalS20
Sandip Ghosal, R. K. Shyamasundar:
A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs. APSEC 2020: 51-60
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/dbsec/GhosalS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/GhosalS20
Sandip Ghosal, R. K. Shyamasundar:
Information Flow Security Certification for SPARK Programs. DBSec 2020: 137-150

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/AnandSP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/AnandSP19
Anshu S. Anand, R. K. Shyamasundar, Sathya Peri:
STMs in practice: Partial rollback vs pure abort mechanisms. Concurr. Comput. Pract. Exp. 31(5) (2019)
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/AnandSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/AnandSS19
Anshu S. Anand, Akash Srivastava, R. K. Shyamasundar:
A deadlock-free lock-based synchronization for GPUs. Concurr. Comput. Pract. Exp. 31(7) (2019)
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/icete/PatilS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icete/PatilS19
Vishwas T. Patil, R. K. Shyamasundar:
Is Privacy a Myth for Facebook Users? ICETE (2) 2019: 510-516
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/GoyalSJMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/GoyalSJMR19
Amit Goyal, R. K. Shyamasundar, Raoul Jetley, Devina Mohan, Srini Ramaswamy:
Test Suite Minimization of Evolving Software Systems: A Case Study. ICSOFT 2019: 226-237
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/nss/BilurGS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nss/BilurGS19
Manjunath Bilur, Anugrah Gari, R. K. Shyamasundar:
Threat Assessment of Enterprise Applications via Graphical Modelling. NSS 2019: 146-166
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/ucc/ShyamasundarSMC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ucc/ShyamasundarSMC19
Rudrapatna K. Shyamasundar, Swatish Satheesan, Deepali Mittal, Aakash Chaudhary:
SecHadoop: A Privacy Preserving Hadoop. UCC 2019: 111-121
[e15]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/2019
Deepak Garg, N. V. Narendra Kumar, Rudrapatna K. Shyamasundar:
Information Systems Security - 15th International Conference, ICISS 2019, Hyderabad, India, December 16-20, 2019, Proceedings. Lecture Notes in Computer Science 11952, Springer 2019, ISBN 978-3-030-36944-6 [contents]
2018
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/dbsec/PatilJS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/PatilJS18
Vishwas T. Patil, Nivia Jatain, R. K. Shyamasundar:
Role of Apps in Undoing of Privacy Policies on Facebook. DBSec 2018: 85-98
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/dbsec/RadhikaKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/RadhikaKS18
B. S. Radhika, N. V. Narendra Kumar, R. K. Shyamasundar:
FlowConSEAL: Automatic Flow Consistency Analysis of SEAndroid and SELinux Policies. DBSec 2018: 219-231
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcit/ShrikrishnaKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcit/ShrikrishnaKS18
Khedkar Shrikrishna, N. V. Narendra Kumar, R. K. Shyamasundar:
Security Analysis of EMV Protocol and Approaches for Strengthening It. ICDCIT 2018: 69-85
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcit/KhobragadeKS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcit/KhobragadeKS18
Shashank Khobragade, N. V. Narendra Kumar, R. K. Shyamasundar:
Secure Synthesis of IoT via Readers-Writers Flow Model. ICDCIT 2018: 86-104
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/icete/GhosalSK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icete/GhosalSK18
Sandip Ghosal, R. K. Shyamasundar, N. V. Narendra Kumar:
Static Security Certification of Programs via Dynamic Labelling. ICETE (2) 2018: 400-411
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/PatilVS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/PatilVS18
Bhagyesh V. Patil, Parjanya Vyas, R. K. Shyamasundar:
SecSmartLock: An Architecture and Protocol for Designing Secure Smart Locks. ICISS 2018: 24-43
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/PatilS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/PatilS18
Vishwas T. Patil, R. K. Shyamasundar:
Efficacy of GDPR's Right-to-be-Forgotten on Facebook. ICISS 2018: 364-385
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/PathaniaRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/PathaniaRS18
Amit Pathania, B. S. Radhika, Rudrapatna K. Shyamasundar:
MySecPol: A Client-Side Policy Language for Safe and Secure Browsing. ICISS 2018: 427-447
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/iseaisap/KumarS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iseaisap/KumarS18
N. V. Narendra Kumar, R. K. Shyamasundar:
A Semantic Notion of Secure Information-Flow. ISEA-ISAP 2018: 35-52
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/iseaisap/GhosalS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iseaisap/GhosalS18
Sandip Ghosal, R. K. Shyamasundar:
A Solution to "Confused Deputy" Problem Using RWFM Labels. ISEA-ISAP 2018: 67-76
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/trustcom/RudrapatnaKTV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/trustcom/RudrapatnaKTV18
Rudrapatna K. Shyamasundar, N. V. Narendra Kumar, Abhijit Taware, Parjanya Vyas:
An Experimental Flow Secure File System. TrustCom/BigDataSE 2018: 790-799
[e14]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/2018
Vinod Ganapathy, Trent Jaeger, R. K. Shyamasundar:
Information Systems Security - 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings. Lecture Notes in Computer Science 11281, Springer 2018, ISBN 978-3-030-05170-9 [contents]
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1806-07530
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-07530
Raj Gaire, Chigulapalli Sriharsha, Deepak Puthal, Hendra Wijaya, Jongkil Kim, Prateeksha Keshari, Rajiv Ranjan, Rajkumar Buyya, Ratan K. Ghosh, R. K. Shyamasundar, Surya Nepal:
Internet of Things (IoT) and Cloud Computing Enabled Disaster Management. CoRR abs/1806.07530 (2018)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1806-07534
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-07534
Raj Gaire, Ratan K. Ghosh, Jongkil Kim, Alexander Krumpholz, Rajiv Ranjan, R. K. Shyamasundar, Surya Nepal:
Crowdsensing and privacy in smart city applications. CoRR abs/1806.07534 (2018)
2017
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/dbsec/PatilS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/PatilS17
Vishwas T. Patil, R. K. Shyamasundar:
Undoing of Privacy Policies on Facebook. DBSec 2017: 239-255
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcit/KumarS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcit/KumarS17
N. V. Narendra Kumar, R. K. Shyamasundar:
Analyzing Protocol Security Through Information-Flow Control. ICDCIT 2017: 159-171
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcit/KumarS17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcit/KumarS17a
N. V. Narendra Kumar, R. K. Shyamasundar:
Dynamic Labelling to Enforce Conformance of Cross Domain Security/Privacy Policies. ICDCIT 2017: 183-195
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/RathAS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/RathAS17
Mayukh Rath, Shivali Agarwal, R. K. Shyamasundar:
Semi Supervised NLP Based Classification of Malware Documents. ICISS 2017: 334-344
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/ShyamasundarKT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/ShyamasundarKT17
R. K. Shyamasundar, N. V. Narendra Kumar, Priyanka Teltumde:
Realizing software vault on Android through information-flow control. ISCC 2017: 1007-1014
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/secrypt/PatilS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/PatilS17
Vishwas T. Patil, R. K. Shyamasundar:
Privacy as a Currency: Un-regulated?. SECRYPT 2017: 586-595
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/KumarS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/KumarS17
N. V. Narendra Kumar, R. K. Shyamasundar:
A Complete Generative Label Model for Lattice-Based Access Control Models. SEFM 2017: 35-53
[e13]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/2017
Rudrapatna K. Shyamasundar, Virendra Singh, Jaideep Vaidya:
Information Systems Security - 13th International Conference, ICISS 2017, Mumbai, India, December 16-20, 2017, Proceedings. Lecture Notes in Computer Science 10717, Springer 2017, ISBN 978-3-319-72597-0 [contents]
2016
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/comsnets/BhatnagarKGS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/comsnets/BhatnagarKGS16
Abhiroop Bhatnagar, Amit Kumar, Ratan K. Ghosh, Rudrapatna K. Shyamasundar:
A framework of community inspired distributed message dissemination and emergency alert response system over smart phones. COMSNETS 2016: 1-8
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcc/ShyamasundarKR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcc/ShyamasundarKR16
R. K. Shyamasundar, N. V. Narendra Kumar, Muttukrishnan Rajarajan:
Information-Flow Control for Building Security and Privacy Preserving Hybrid Clouds. HPCC/SmartCity/DSS 2016: 1410-1417
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcc/KumarS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcc/KumarS16
N. V. Narendra Kumar, R. K. Shyamasundar:
An End-to-End Privacy Preserving Design of a Map-Reduce Framework. HPCC/SmartCity/DSS 2016: 1469-1476
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcn/AnandSP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcn/AnandSP16
Anshu S. Anand, R. K. Shyamasundar, Sathya Peri:
Opacity proof for CaPR+ algorithm. ICDCN 2016: 16:1-16:4
2015
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/KumarS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/KumarS15
N. V. Narendra Kumar, R. K. Shyamasundar:
POSTER: Dynamic Labelling for Analyzing Security Protocols. CCS 2015: 1665-1667
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/hipc/AnandS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipc/AnandS15
Anshu S. Anand, R. K. Shyamasundar:
Scaling Computation on GPUs Using Powerlists. HiPC Workshops 2015: 34-43
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/SusheelKS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/SusheelKS15
S. Susheel, N. V. Narendra Kumar, R. K. Shyamasundar:
Enforcing Secure Data Sharing in Web Application Development Frameworks Like Django Through Information Flow Control. ICISS 2015: 551-561
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/CerinSGJ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/CerinSGJ15
Christophe Cérin, R. K. Shyamasundar, Yuqing Gao, Congfeng Jiang:
HPDIC Introduction and Committees. IPDPS Workshops 2015: 536
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/sin/KumarS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sin/KumarS15
N. V. Narendra Kumar, R. K. Shyamasundar:
Labelled mobile ambients model for information flow security in distributed systems. SIN 2015: 330-337
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AnandSP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AnandSP15
Anshu S. Anand, R. K. Shyamasundar, Sathya Peri:
Opacity Proof for CaPR+ Algorithm. CoRR abs/1510.06967 (2015)
2014
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/percom/ShekharMGS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/percom/ShekharMGS14
Shashank Shekhar, Ranjeet Mishra, R. K. Ghosh, R. K. Shyamasundar:
Post-order based routing & transport protocol for wireless sensor networks. Pervasive Mob. Comput. 11: 229-243 (2014)
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/bdcloud/KumarS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bdcloud/KumarS14
N. V. Narendra Kumar, R. K. Shyamasundar:
Realizing Purpose-Based Privacy Policies Succinctly via Information-Flow Labels. BDCloud 2014: 753-760
[e12]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/2014
Atul Prakash, Rudrapatna K. Shyamasundar:
Information Systems Security - 10th International Conference, ICISS 2014, Hyderabad, India, December 16-20, 2014, Proceedings. Lecture Notes in Computer Science 8880, Springer 2014, ISBN 978-3-319-13840-4 [contents]
2013
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/icegov/BelachewS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icegov/BelachewS13
Mesfin Belachew, R. K. Shyamasundar:
Public private partnerships (PPP) in the e-government initiatives for developing nations: the case of Ethiopia. ICEGOV 2013: 42-45
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/NarangSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/NarangSS13
Ankur Narang, Abhinav Srivastava, R. K. Shyamasundar:
High Performance Adaptive Distributed Scheduling Algorithm. IPDPS Workshops 2013: 1725-1734
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/sin/Shyamasundar13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sin/Shyamasundar13
R. K. Shyamasundar:
Security and protection of SCADA: a bigdata algorithmic approach. SIN 2013: 20-27
[e11]
- view
- export record
  dblp key:
  - conf/compute/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compute/2013
R. K. Shyamasundar, Lokendra Shastri, D. Janakiram, Srinivas Padmanabhuni:
Proceedings of the 6th ACM India Computing Convention, COMPUTE 2013, Vellore, Tamil Nadu, India, August 22 - 24, 2013. ACM 2013, ISBN 978-1-4503-2545-5 [contents]
[e10]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcn/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcn/2013
Davide Frey, Michel Raynal, Saswati Sarkar, Rudrapatna K. Shyamasundar, Prasun Sinha:
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 [contents]
2012
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/cube/VaddiMS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cube/VaddiMS12
Supriya Vaddi, Hrushikesha Mohanty, R. K. Shyamasundar:
Service maps in XML. CUBE 2012: 635-640
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/NarangSJS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/NarangSJS12
Ankur Narang, Abhinav Srivastava, Ramnik Jain, R. K. Shyamasundar:
Dynamic Distributed Scheduling Algorithm for State Space Search. Euro-Par 2012: 141-154
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcn/ShekharGS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcn/ShekharGS12
Shashank Shekhar, R. K. Ghosh, R. K. Shyamasundar:
Postorder Based Routing and Transport Protocol for WSNs. ICDCN 2012: 281-294
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/JoshiSA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/JoshiSA12
Saurabh Joshi, R. K. Shyamasundar, Sanjeev K. Aggarwal:
A New Method of MHP Analysis for Languages with Dynamic Barriers. IPDPS Workshops 2012: 519-528
[e9]
- view
- export record
  dblp key:
  - conf/compute/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compute/2012
R. K. Shyamasundar, Lokendra Shastri:
Proceedings of the 5th ACM COMPUTE Conference: Intelligent & scalable system technologies, Pune, India, January 23-24, 2012. ACM 2012, ISBN 978-1-4503-1440-4 [contents]
2011
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/sigops/NarangSKS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigops/NarangSKS11
Ankur Narang, Abhinav Srivastava, Naga Praveen Kumar Katta, Rudrapatna K. Shyamasundar:
Performance driven multi-objective distributed scheduling for parallel computations. ACM SIGOPS Oper. Syst. Rev. 45(2): 14-27 (2011)
[j44]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NarangS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NarangS11
Ankur Narang, Rudrapatna K. Shyamasundar:
Performance driven distributed scheduling of parallel hybrid computations. Theor. Comput. Sci. 412(32): 4212-4225 (2011)
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/apscc/GoelS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apscc/GoelS11
Nihita Goel, R. K. Shyamasundar:
An Executional Framework for BPMN Using Orc. APSCC 2011: 29-36
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/ecows/GoelKS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecows/GoelKS11
Nihita Goel, N. V. Narendra Kumar, R. K. Shyamasundar:
SLA Monitor: A System for Dynamic Monitoring of Adaptive Web Services. ECOWS 2011: 109-116
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcn/AgarwalJS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcn/AgarwalJS11
Shivali Agarwal, Saurabh Joshi, Rudrapatna K. Shyamasundar:
Distributed Generalized Dynamic Barrier Synchronization. ICDCN 2011: 143-154
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcn/NarangSKS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcn/NarangSKS11
Ankur Narang, Abhinav Srivastava, Naga Praveen Kumar Katta, Rudrapatna K. Shyamasundar:
Affinity Driven Distributed Scheduling Algorithm for Parallel Computations. ICDCN 2011: 167-178
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/KumarSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/KumarSS11
N. V. Narendra Kumar, Harshit J. Shah, R. K. Shyamasundar:
Towards Checking Tampering of Software. Cyber Security, Cyber Crime and Cyber Forensics 2011: 204-219
[e8]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/compute/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compute/2011
R. K. Shyamasundar, Lokendra Shastri:
Proceedings of the 4th Bangalore Annual Compute Conference, Compute 2011, Bangalore, India, March 25-26, 2011. ACM 2011, ISBN 978-1-4503-0750-5 [contents]
2010
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/apscc/GoelS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apscc/GoelS10
Nihita Goel, R. K. Shyamasundar:
Automatic Monitoring of SLAs of Web Services. APSCC 2010: 99-106
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AgarwalS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AgarwalS10
Shivali Agarwal, R. K. Shyamasundar:
A Proof System for a PGAS Language. Concurrency, Compositionality, and Correctness 2010: 162-184
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcit/ShyamasundarSK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcit/ShyamasundarSK10
R. K. Shyamasundar, Harshit J. Shah, N. V. Narendra Kumar:
Malware: From Modelling to Practical Detection. ICDCIT 2010: 21-39
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcit/MohantyKS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcit/MohantyKS10
Hrushikesha Mohanty, Rajesh Kurra, R. K. Shyamasundar:
A Framework for Web-Based Negotiation. ICDCIT 2010: 140-151
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KumarSS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KumarSS10
N. V. Narendra Kumar, Harshit J. Shah, R. K. Shyamasundar:
Can we certify systems for freedom from malware. ICSE (2) 2010: 175-178
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/compute/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compute/2010
R. K. Shyamasundar, Prasad Deshpande:
Proceedings of the 3rd Bangalore Annual Compute Conference, Compute 2010, Bangalore, India, January 22-23, 2010. ACM 2010, ISBN 978-1-4503-0001-8 [contents]

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j43]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/BhattacharjeeS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/BhattacharjeeS09
A. K. Bhattacharjee, R. K. Shyamasundar:
Activity Diagrams : A Formal Framework to Model Business Processes and Code Generation. J. Object Technol. 8(1): 189-220 (2009)
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/ems/MohantyVRS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ems/MohantyVRS09
Hrushikesha Mohanty, Martha VenkataSwamy, Srini Ramaswamy, R. K. Shyamasundar:
Translating Security Policy to Executable Code for Sandboxing Linux Kernel. EMS 2009: 124-129
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/ShahSV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/ShahSV09
Harshit J. Shah, R. K. Shyamasundar, Pradeep Varma:
Concurrent SSA for general barrier-synchronized parallel programs. IPDPS 2009: 1-12
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/isaac/AgarwalNS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isaac/AgarwalNS09
Shivali Agarwal, Ankur Narang, R. K. Shyamasundar:
Distributed Scheduling of Parallel Hybrid Computations. ISAAC 2009: 1144-1154
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/podc/ShyamasundarA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/podc/ShyamasundarA09
R. K. Shyamasundar, Shivali Agarwal:
Brief announcement: distributed phase synchronization of dynamic set of processes. PODC 2009: 274-275
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/VarmaSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/VarmaSS09
Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah:
Backward-compatible constant-time exception-protected memory. ESEC/SIGSOFT FSE 2009: 71-80
[e6]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/compute/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compute/2009
R. K. Shyamasundar:
Proceedings of the 2nd Bangalore Annual Compute Conference, Compute 2009, Bangalore, India, January 9-10, 2009. ACM 2009, ISBN 978-1-60558-476-8 [contents]
2008
[j42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/SuryadevaraCR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/SuryadevaraCR08
Jagadish Suryadevara, Lawrence Chung, R. K. Shyamasundar:
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems. J. Object Technol. 7(8): 187-207 (2008)
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/AgarwalBNSV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/AgarwalBNSV08
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
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/apscc/BhattacharjeeS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apscc/BhattacharjeeS08
A. K. Bhattacharjee, R. K. Shyamasundar:
ScriptOrc: A Specification Language for Web Service Choreography. APSCC 2008: 1089-1096
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcc/AgarwalBS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcc/AgarwalBS08
Shivali Agarwal, Rajkishore Barik, R. K. Shyamasundar:
A Static Characterization of Affinity in a Distributed Program. HPCC 2008: 572-579
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/icws/BhattacharjeeS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icws/BhattacharjeeS08
A. K. Bhattacharjee, R. K. Shyamasundar:
Choreography = Orchestration with Scripts + Conversations. ICWS 2008: 824-827
[e5]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/compute/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compute/2008
R. K. Shyamasundar:
Proceedings of the 1st Bangalore Annual Compute Conference, Compute 2008, Bangalore, India, January 18-20, 2008. ACM 2008, ISBN 978-1-59593-950-0 [contents]
2007
[j41]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jot/SuryadevaraS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jot/SuryadevaraS07
Jagadish Suryadevara, R. K. Shyamasundar:
UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources. J. Object Technol. 6(1): 107-119 (2007)
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/asiams/MohantyMCS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asiams/MohantyMCS07
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
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/ShahS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/ShahS07
Harshit J. Shah, R. K. Shyamasundar:
On Run-Time Enforcement of Policies. ASIAN 2007: 268-281
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/KalyanasundaramS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/KalyanasundaramS07
Krishnamani Kalyanasundaram, R. K. Shyamasundar:
Verification of Clock Synchronization in TTP. Formal Models, Languages and Applications 2007: 176-195
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/CavadaCFKRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/CavadaCFKRS07
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
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/DoucetSKJG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/DoucetSKJG07
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
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/icebe/MohantyPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icebe/MohantyPS07
Hrushikesha Mohanty, Kakarlamudi Prasad, R. K. Shyamasundar:
Trust Assessment in Web Services: an Extension to jUDDI. ICEBE 2007: 759-762
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/AgarwalBSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/AgarwalBSS07
Shivali Agarwal, Rajkishore Barik, Vivek Sarkar, R. K. Shyamasundar:
May-happen-in-parallel analysis of X10 programs. PPoPP 2007: 183-193
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/spaa/AgarwalBBSSY07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spaa/AgarwalBBSSY07
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
[j40]
- view
  - electronic edition @ informatica.si (open access)
  - details & citations
- export record
  dblp key:
  - journals/informaticaSI/RajaS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/informaticaSI/RajaS06
N. Raja, R. K. Shyamasundar:
Actors as a Coordinating Model of Computation. Informatica (Slovenia) 30(2): 233-244 (2006)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/RajaS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/RajaS06
N. Raja, R. K. Shyamasundar:
A closer look at constraints as processes. Inf. Process. Lett. 98(5): 206-210 (2006)
[j38]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/KundajiS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/KundajiS06
Rohit N. Kundaji, R. K. Shyamasundar:
Refinement calculus: A basis for translation validation, debugging and certification. Theor. Comput. Sci. 354(1): 153-168 (2006)
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/tcsb/JhaS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcsb/JhaS06
Susmit Jha, R. K. Shyamasundar:
Adapting Biochemical Kripke Structures for Distributed Model Checking. Trans. Comp. Sys. Biology 7: 107-122 (2006)
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/iciss/KumarS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciss/KumarS06
N. V. Narendra Kumar, R. K. Shyamasundar:
Specification and Realization of Access Control in SPKI/SDSI. ICISS 2006: 177-193
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/DoucetKGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/DoucetKGS06
Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar:
Compositional interaction specifications for SystemC. MEMOCODE 2006: 201
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/AroraS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/AroraS06
Neelima Arora, R. K. Shyamasundar:
UGSP: Authentication based secure protocol for AD-HOC networks. e-Business and Telecommunication Networks 2006: 242-247
2005
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/isf/PatilS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isf/PatilS05
Vishwas Patil, R. K. Shyamasundar:
e-coupons: An Efficient, Secure and Delegable Micro-Payment System. Inf. Syst. Frontiers 7(4-5): 371-389 (2005)
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcit/BhattacharjeeS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcit/BhattacharjeeS05
A. K. Bhattacharjee, R. K. Shyamasundar:
Validated Code Generation for Activity Diagrams. ICDCIT 2005: 508-521
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/wcnc/AroraS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcnc/AroraS05
Neelima Arora, R. K. Shyamasundar:
PGSP: a protocol for secure communication in peer-to-peer system. WCNC 2005: 2094-2099
2004
[j35]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/informaticaSI/RajaS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/informaticaSI/RajaS04
N. Raja, R. K. Shyamasundar:
Type Systems for Concurrent Programming Calculi. Informatica (Slovenia) 28(1): 103-113 (2004)
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/GuptaS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/GuptaS04
Rajesh Gupta, R. K. Shyamasundar:
Reactive Framework for Resource Aware Distributed Computing. ASIAN 2004: 452-467
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/eee/PatilS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eee/PatilS04
Vishwas Patil, R. K. Shyamasundar:
An Efficient, Secure and Delegable Micro-Payment System. EEE 2004: 394-404
[c52]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/egcdmas/PatilS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/egcdmas/PatilS04
Vishwas Patil, R. K. Shyamasundar:
Towards a Flexible Access Control Mechanism for E-Transactions. EGCDMAS 2004: 66-81
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/grid/JainS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/grid/JainS04
Amit Jain, R. K. Shyamasundar:
Failure Detection and Membership Management in Grid Environments. GRID 2004: 44-52
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcit/AroraS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcit/AroraS04
Neelima Arora, R. K. Shyamasundar:
UGSP: Secure Key Establishment Protocol for Ad-Hoc Network. ICDCIT 2004: 391-399
[c49]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icete/AroraS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icete/AroraS04
Neelima Arora, R. K. Shyamasundar:
UGSP: Authentication Based Secure Protocol for Ad-Hoc Networks. ICETE (3) 2004: 191-196
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/KundajiS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/KundajiS04
Rohit N. Kundaji, R. K. Shyamasundar:
Development of Semantic Debuggers Based on Refinement Calculus. ICLP 2004: 460-461
[c47]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icwn/GargS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icwn/GargS04
Mohit Garg, R. K. Shyamasundar:
A Distributed Clustering Framework in Mobile Ad Hoc Networks. International Conference on Wireless Networks 2004: 32-38
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/KalyanasundaramS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/KalyanasundaramS04
Krishnamani Kalyanasundaram, R. K. Shyamasundar:
Formal verification of pipelined processors with precise exceptions. MEMOCODE 2004: 129-139
2003
[j34]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/informaticaSI/RajaS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/informaticaSI/RajaS03
N. Raja, R. K. Shyamasundar:
Type Systems for Concurrent Programming Calculi. Informatica (Slovenia) 27(4): 433-443 (2003)
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/AcharyaMS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/AcharyaMS03
Satyajit Acharya, Hrushikesha Mohanty, R. K. Shyamasundar:
MOBICHARTS: A Notation to Specify Mobile Computing Applications. HICSS 2003: 298
[c44]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iicai/BorkarDS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iicai/BorkarDS03
Vivek S. Borkar, Mehul S. Dave, R. K. Shyamasundar:
Algorithmic Mechanisms for Secure Multi-Auction Systems. IICAI 2003: 212-225
2002
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/ShyamasundarD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/ShyamasundarD02
R. K. Shyamasundar, Siddharth B. Deshmukh:
MicroBill: An Efficient Secure System for Subscription Based Services. ASIAN 2002: 220-232
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/hipc/ShyamasundarRPJ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipc/ShyamasundarRPJ02
R. K. Shyamasundar, Basant Rajan, Manish Prasad, Amit Jain:
LLM: A Low Latency Messaging Infrastructure for Linux Clusters. HiPC 2002: 112-123
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Shyamasundar02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Shyamasundar02
R. K. Shyamasundar:
Analyzing Cryptographic Protocols in a Reactive Framework. VMCAI 2002: 46-64
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0202006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0202006
D. Ravi, R. K. Shyamasundar:
Approximate Computation of Reach Sets in Hybrid Systems. CoRR cs.LO/0202006 (2002)
2001
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/BhattacharjeeDS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/BhattacharjeeDS01
A. K. Bhattacharjee, S. D. Dhodapkar, R. K. Shyamasundar:
PERTS: an environment for specification and verification of reactive systems. Reliab. Eng. Syst. Saf. 71(3): 299-310 (2001)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/BhattacharjeeDS01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/BhattacharjeeDS01a
A. K. Bhattacharjee, S. D. Dhodapkar, R. K. Shyamasundar:
PERTS: an environment for specification and verification of reactive systems: [Reliability Engineering and System Safety, 71(3), 2001, 299-310]. Reliab. Eng. Syst. Saf. 72(2): 223 (2001)
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/ecrts/BelachewS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/BelachewS01
Mesfin Belachew, R. K. Shyamasundar:
MSC+: From Requirement to Prototyped Systems. ECRTS 2001: 117-124
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/ShyamasundarA01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/ShyamasundarA01
R. K. Shyamasundar, J. V. Aghav:
Validating Real-Time Constraints in Embedded Systems. PRDC 2001: 347-355
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/PhanseS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/PhanseS01
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
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/ShyamasundarR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/ShyamasundarR00
R. K. Shyamasundar, S. Ramesh:
Languages for Reactive Specifications: Synchrony Vs Asynchrony. Int. J. Found. Comput. Sci. 11(2): 283-314 (2000)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/AnandS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/AnandS00
K. C. Anand, R. K. Shyamasundar:
Formal Verification of Activity-Based Specification of Protocols. J. Parallel Distributed Comput. 60(5): 639-676 (2000)
[c37]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/RajanS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/RajanS00
Basant Rajan, R. K. Shyamasundar:
Modeling Distributed Embedded Systems in Multiclock ESTEREL. FORTE 2000: 301-316
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/BhattacharjeeSDKRS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/BhattacharjeeSDKRS00
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
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/RajanS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/RajanS00
Basant Rajan, R. K. Shyamasundar:
Multiclock Esterel: A Reactive Framework for Asynchronous Design. IPDPS 2000: 201-210
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/vlsid/RajanS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlsid/RajanS00
Basant Rajan, R. K. Shyamasundar:
Modeling VHDL in Multiclock ESTEREL. VLSI Design 2000: 76-83

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/SeshiaSBD99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/SeshiaSBD99
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
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/BhattacharjeeDSS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/BhattacharjeeDSS99
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
[j29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/RaoKS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/RaoKS98
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)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/PinchinatRS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/PinchinatRS98
Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar:
Taxonomy and Expressiveness of Preemption: A Syntactic Approach. ASIAN 1998: 125-141
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/RajaS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/RajaS98
N. Raja, R. K. Shyamasundar:
Mobile Computation: Calculus and Languages (A Tutorial). ASIAN 1998: 300-304
1997
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/jpdc/KhemkaS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jpdc/KhemkaS97
Ashok Khemka, R. K. Shyamasundar:
An Optimal Multiprocessor Real-Time Scheduling Algorithm. J. Parallel Distributed Comput. 43(1): 37-45 (1997)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/ngc/RaoKS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ngc/RaoKS97
M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar:
Proving Termination of GHC Programs. New Gener. Comput. 15(3): 293-338 (1997)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/RajaS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/RajaS97
N. Raja, R. K. Shyamasundar:
Combinatory Formaulations of Concurrent Languages. ACM Trans. Program. Lang. Syst. 19(6): 899-915 (1997)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/KapurS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/KapurS97
Deepak Kapur, R. K. Shyamasundar:
Synthesizing Controllers for Hybrid Systems. HART 1997: 361-375
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/1997
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/1997
R. K. Shyamasundar, Kazunori Ueda:
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 [contents]
1996
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/ijhsc/KazerouniRS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijhsc/KazerouniRS96
Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar:
Mapping Linear Recurrence Equations onto Systolic Architectures. Int. J. High Speed Comput. 8(3): 229-270 (1996)
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/MajumdarS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/MajumdarS96
Rupak Majumdar, R. K. Shyamasundar:
Design of Controllers for Linear Hybrid Systems. ASIAN 1996: 309-320
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/RajaS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/RajaS96
N. Raja, R. K. Shyamasundar:
Actors as a Coordinating Model of Computation (Extended Abstract). Ershov Memorial Conference 1996: 191-202
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/KazerouniRS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/KazerouniRS96
Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar:
Mapping Linear Recurrences onto Systolic Arrays. IPPS 1996: 891-897
1995
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/RajaS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/RajaS95
N. Raja, R. K. Shyamasundar:
The Quine-Bernays Combinatory Calculus. Int. J. Found. Comput. Sci. 6(4): 417-430 (1995)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/PinchinatRS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/PinchinatRS95
Sophie Pinchinat, Éric Rutten, R. K. Shyamasundar:
Preemption Primitives in Reactive Languages (A Preliminary Report). ASIAN 1995: 111-125
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/RajaS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/RajaS95
N. Raja, R. K. Shyamasundar:
Combinatory Formulations of Concurrent Languages. ASIAN 1995: 156-170
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/RaoS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/RaoS95
M. R. K. Krishna Rao, R. K. Shyamasundar:
Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs. SAS 1995: 243-260
1994
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/LiuS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/LiuS94
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)
[j22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/ShyamasundarW94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/ShyamasundarW94
R. K. Shyamasundar, Bal Wang:
A Methodology for Provin Termination of Logic Programs. J. Log. Program. 21(1): 1-30 (1994)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/ShyamasundarR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/ShyamasundarR94
R. K. Shyamasundar, S. Ramesh:
Languages for Reactive Specifications: Synchrony Vs Asynchrony. FTRTFT 1994: 621-640
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/ShyamasundarR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/ShyamasundarR94
R. K. Shyamasundar, S. Ramesh:
Semantics and Verification of Hierarchical CRP Programs. Hybrid Systems 1994: 436-461
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icpp/KazerouniRS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpp/KazerouniRS94
Ladan Kazerouni, Basant Rajan, R. K. Shyamasundar:
Derivation of Systolic Programs. ICPP (3) 1994: 69-73
[c19]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip/Shyamasandar94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/Shyamasandar94
R. K. Shyamasundar:
Specifying Dynamic Reat-Time Systems in CRP. IFIP Congress (1) 1994: 75-80
1993
[j21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/ShyamasundarNP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ShyamasundarNP93
R. K. Shyamasundar, K. T. Narayana, Toniann Pitassi:
Semantics of Nondeterministic Asynchronous Broadcast Networks. Inf. Comput. 104(2): 215-252 (1993)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/ijhsc/KhemkaS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijhsc/KhemkaS93
Ashok Khemka, R. K. Shyamasundar:
Multiprocessor Scheduling of Periodic Tasks in a Hard Real-Time Environment. Int. J. High Speed Comput. 5(4): 617-636 (1993)
[c18]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/amast/Shyamasundar93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/Shyamasundar93
R. K. Shyamasundar:
Specification of Hybrid Systems in CRP. AMAST 1993: 225-236
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/RaoPS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/RaoPS93
M. R. K. Krishna Rao, Paritosh K. Pandya, R. K. Shyamasundar:
Verification Tools in the Development of Provably Correct Compilers. FME 1993: 442-461
[c16]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/RaoKS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/RaoKS93
M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar:
Proving Termination of GHC Programs. ICLP 1993: 720-736
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/KhemakaSS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/KhemakaSS93
Ashok Khemka, K. V. Subramanyam, R. K. Shyamasundar:
Multiprocessors Scheduling for Imprecise Computations in a Hard Real-Time Environment. IPPS 1993: 374-378
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/BerryRS93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/BerryRS93
Gérard Berry, S. Ramesh, R. K. Shyamasundar:
Communicating Reactive Processes. POPL 1993: 85-98
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/1993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/1993
R. K. Shyamasundar:
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 [contents]
1992
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/alpuk/ShyamasundarRK92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/alpuk/ShyamasundarRK92
R. K. Shyamasundar, M. R. K. Krishna Rao, Deepak Kapur:
Rewriting Concepts in the Study of Termination of Logic Programs. ALPUK 1992: 3-20
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/KhemkaS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/KhemkaS92
Ashok Khemka, R. K. Shyamasundar:
Multiprocessor Scheduling of Periodic Tasks in a Hard Real-Time Environment. IPPS 1992: 76-81
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/1992
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/1992
R. K. Shyamasundar:
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 [contents]
1991
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/RaoKS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/RaoKS91
M. R. K. Krishna Rao, Deepak Kapur, R. K. Shyamasundar:
A Transformational Methodology for Proving Termination of Logic Programs. CSL 1991: 213-226
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/WangS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/WangS91
Bal Wang, R. K. Shyamasundar:
Methodology for Proving the Termination of Logic Programs. STACS 1991: 214-227
1990
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/LodayaS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/LodayaS90
Kamal Lodaya, R. K. Shyamasundar:
Proof Theory for Exception Handling in a Tasking Environment. Acta Informatica 28(1): 7-41 (1990)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/LiuS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/LiuS90
Leo Yuhsiang Liu, R. K. Shyamasundar:
Exception Handling in RT-CDL. Comput. Lang. 15(3): 177-192 (1990)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/LiuS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/LiuS90
Leo Yuhsiang Liu, R. K. Shyamasundar:
Static Analysis of Real-Time Distributed Systems. IEEE Trans. Software Eng. 16(4): 373-388 (1990)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/plilp/WangS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plilp/WangS90
Bal Wang, R. K. Shyamasundar:
Towards a Characterization of Termination of Logic Programs. PLILP 1990: 204-221

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ShyamasundarT89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ShyamasundarT89
R. K. Shyamasundar, James W. Thatcher:
Language Constructs for Specifying Concurrency in CDL*. IEEE Trans. Software Eng. 15(8): 977-993 (1989)
[c8]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip/LiuS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/LiuS89
Leo Yuhsiang Liu, R. K. Shyamasundar:
RT-CDL: A Real Time Design Language and Its Semantics. IFIP Congress 1989: 21-26
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/iwssd/LiuS89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwssd/LiuS89
Leo Yuhsiang Liu, R. K. Shyamasundar:
An operational semantics of real time design language RT-CDL. IWSSD 1989: 75-82
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iwssd/ShyamasundarHG89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwssd/ShyamasundarHG89
Rudrapatna K. Shyamasundar, Jozef Hooman, Rob Gerth:
Reasoning of real-time distributed programming languages. IWSSD 1989: 91-99
1988
[j15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KoymansSRGA88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KoymansSRGA88
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/LiuS88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/LiuS88
Leo Yuhsiang Liu, R. K. Shyamasundar:
Static Analysis of Real-time Distributed Systems. FTRTFT 1988: 134-138
1987
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/ShyamasundarNP87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/ShyamasundarNP87
R. K. Shyamasundar, K. T. Narayana, Toniann Pitassi:
Semantics for Nondeterministic Asynchronous Broadcast Networks. ICALP 1987: 72-83
1986
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/RavichandranS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/RavichandranS86
A. Ravichandran, R. K. Shyamasundar:
Correctness proof for the majority consensus algorithm. Inf. Sci. 38(3): 213-227 (1986)
1985
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/lop/KoymansSRGA85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lop/KoymansSRGA85
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
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/pr/GhoshS84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pr/GhoshS84
Subir Kumar Ghosh, R. K. Shyamasundar:
A linear time algorithm for computing the convex hull of an ordered crossing polygon. Pattern Recognit. 17(3): 351-358 (1984)
[j12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Shyamasundar84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Shyamasundar84
R. K. Shyamasundar:
A Simple Livelock-Free Algorithm for Packet Switching. Sci. Comput. Program. 4(3): 249-256 (1984)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/RamanujamS84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/RamanujamS84
Ramaswamy Ramanujam, R. K. Shyamasundar:
Process Specification of Logic Programs. FSTTCS 1984: 31-43
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/1984
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/1984
Mathai Joseph, R. K. Shyamasundar:
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 [contents]
1983
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/pr/GhoshS83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pr/GhoshS83
Subir Kumar Ghosh, R. K. Shyamasundar:
A linear time algorithm for obtaining the convex hull of a simple polygon. Pattern Recognit. 16(6): 587-592 (1983)
[j10]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/spe/MuraliS83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/MuraliS83
V. Murali, R. K. Shyamasundar:
A Sentence Generator for a Compiler for PT, a Pascal Subset. Softw. Pract. Exp. 13(9): 857-869 (1983)
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ifip/MahadevanS83
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip/MahadevanS83
S. Mahadevan, R. K. Shyamasundar:
Correctness Preserving Transformations for Distributed Programs. IFIP Congress 1983: 307-313
1982
[j9]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eik/RajasethupathyyS82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eik/RajasethupathyyS82
Kulathur S. Rajasethupathy, R. K. Shyamasundar:
A New Parsing Algorithm for EOL-Systems. J. Inf. Process. Cybern. 18(10/11): 543-564 (1982)
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Shyamasundar82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Shyamasundar82
R. K. Shyamasundar:
On a Characterization of Pushdown Permuters. Theor. Comput. Sci. 17: 333-341 (1982)
1981
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/HehnerS81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/HehnerS81
Eric C. R. Hehner, R. K. Shyamasundar:
An Implementation of P and V. Inf. Process. Lett. 12(4): 196-198 (1981)
1980
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/RajasethupathyS80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/RajasethupathyS80
Kulathur S. Rajasethupathy, R. K. Shyamasundar:
Programmed OL-systems. Inf. Sci. 20(2): 137-150 (1980)

1970 – 1979

see FAQ

What is the meaning of the colors in the publication lists?

1978
[j5]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eik/Shyamasundar78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eik/Shyamasundar78
R. K. Shyamasundar:
LR-Deterministic Grammars. J. Inf. Process. Cybern. 14(7/8): 361-376 (1978)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sigact/Shyamasundar78a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/Shyamasundar78a
R. K. Shyamasundar:
A note on the transitive closure of a boolean matrix. SIGACT News 9(4): 18-21 (1978)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigact/Shyamasundar78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigact/Shyamasundar78
R. K. Shyamasundar:
A note on the multiplication of 4x4 matrices. SIGACT News 10(1): 31-32 (1978)
1976
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KuichS76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KuichS76
Werner Kuich, R. K. Shyamasundar:
The Structure Generating Function of Some Families of Languages. Inf. Control. 32(1): 85-92 (1976)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/Shyamasundar76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/Shyamasundar76
R. K. Shyamasundar:
A Note on Linear Precedence Functions. Inf. Process. Lett. 5(3): 81 (1976)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.