Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: R. K. Shyamasundar
@inproceedings{DBLP:conf/dbsec/RoyS23,
author = {Sangita Roy and
Rudrapatna K. Shyamasundar},
editor = {Vijayalakshmi Atluri and
Anna Lisa Ferrara},
title = {An Analysis of Hybrid Consensus in Blockchain Protocols for Correctness
and Progress},
booktitle = {Data and Applications Security and Privacy {XXXVII} - 37th Annual
{IFIP} {WG} 11.3 Conference, DBSec 2023, Sophia-Antipolis, France,
July 19-21, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13942},
pages = {404--412},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37586-6\_24},
doi = {10.1007/978-3-031-37586-6\_24},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/RoyS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/Shyamasundar23,
author = {Rudrapatna K. Shyamasundar},
editor = {Sabrina De Capitani di Vimercati and
Pierangela Samarati},
title = {{ERC20:} Correctness via Linearizability and Interference Freedom
of the Underlying Smart Contract},
booktitle = {Proceedings of the 20th International Conference on Security and Cryptography,
{SECRYPT} 2023, Rome, Italy, July 10-12, 2023},
pages = {557--566},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0012145800003555},
doi = {10.5220/0012145800003555},
timestamp = {Mon, 31 Jul 2023 15:34:21 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/Shyamasundar23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/RoyS23,
author = {Sangita Roy and
Rudrapatna K. Shyamasundar},
editor = {Sabrina De Capitani di Vimercati and
Pierangela Samarati},
title = {A Rand Index-Based Analysis of Consensus Protocols},
booktitle = {Proceedings of the 20th International Conference on Security and Cryptography,
{SECRYPT} 2023, Rome, Italy, July 10-12, 2023},
pages = {567--576},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0012148200003555},
doi = {10.5220/0012148200003555},
timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/RoyS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iciss/2023,
editor = {Vallipuram Muthukkumarasamy and
Sithu D. Sudarsan and
Rudrapatna K. Shyamasundar},
title = {Information Systems Security - 19th International Conference, {ICISS}
2023, Raipur, India, December 16-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14424},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-49099-6},
doi = {10.1007/978-3-031-49099-6},
isbn = {978-3-031-49098-9},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iciss/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbc/Shyamasundar22,
author = {R. K. Shyamasundar},
editor = {Shiping Chen and
Rudrapatna K. Shyamasundar and
Liang{-}Jie Zhang},
title = {A Framework of Runtime Monitoring for Correct Execution of Smart Contracts},
booktitle = {Blockchain - {ICBC} 2022 - 5th International Conference, Held as part
of the Services Conference Federation, {SCF} 2022, Honolulu, HI, USA,
December 10-14, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13733},
pages = {92--116},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-23495-8\_7},
doi = {10.1007/978-3-031-23495-8\_7},
timestamp = {Wed, 04 Jan 2023 16:48:41 +0100},
biburl = {https://dblp.org/rec/conf/icbc/Shyamasundar22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/RadhikaKS22,
author = {B. S. Radhika and
N. V. Narendra Kumar and
R. K. Shyamasundar},
editor = {Venkata Ramana Badarla and
Surya Nepal and
Rudrapatna K. Shyamasundar},
title = {Samyukta: {A} Unified Access Control Model using Roles, Labels, and
Attributes},
booktitle = {Information Systems Security - 18th International Conference, {ICISS}
2022, Tirupati, India, December 16-20, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13784},
pages = {84--102},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-23690-7\_5},
doi = {10.1007/978-3-031-23690-7\_5},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iciss/RadhikaKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/GhosalS22,
author = {Sandip Ghosal and
R. K. Shyamasundar},
editor = {Venkata Ramana Badarla and
Surya Nepal and
Rudrapatna K. Shyamasundar},
title = {Preventing Privacy-Violating Information Flows in JavaScript Applications
Using Dynamic Labelling},
booktitle = {Information Systems Security - 18th International Conference, {ICISS}
2022, Tirupati, India, December 16-20, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13784},
pages = {202--219},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-23690-7\_12},
doi = {10.1007/978-3-031-23690-7\_12},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iciss/GhosalS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkia/PatilS22,
author = {Vishwas T. Patil and
R. K. Shyamasundar},
title = {Evolving Role of {PKI} in Facilitating Trust},
booktitle = {{IEEE} International Conference on Public Key Infrastructure and its
Applications, {PKIA} 2022, Bangalore, India, September 9-10, 2022},
pages = {1--7},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/PKIA56009.2022.9952249},
doi = {10.1109/PKIA56009.2022.9952249},
timestamp = {Thu, 01 Dec 2022 15:24:23 +0100},
biburl = {https://dblp.org/rec/conf/pkia/PatilS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icbc/2022,
editor = {Shiping Chen and
Rudrapatna K. Shyamasundar and
Liang{-}Jie Zhang},
title = {Blockchain - {ICBC} 2022 - 5th International Conference, Held as part
of the Services Conference Federation, {SCF} 2022, Honolulu, HI, USA,
December 10-14, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13733},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-23495-8},
doi = {10.1007/978-3-031-23495-8},
isbn = {978-3-031-23494-1},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icbc/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iciss/2022,
editor = {Venkata Ramana Badarla and
Surya Nepal and
Rudrapatna K. Shyamasundar},
title = {Information Systems Security - 18th International Conference, {ICISS}
2022, Tirupati, India, December 16-20, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13784},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-23690-7},
doi = {10.1007/978-3-031-23690-7},
isbn = {978-3-031-23689-1},
timestamp = {Fri, 23 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iciss/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/LiSW21,
author = {Ying Li and
R. K. Shyamasundar and
Xinheng Wang},
title = {Special issue on computational intelligence for social media data
mining and knowledge discovery},
journal = {Comput. Intell.},
volume = {37},
number = {2},
pages = {658--659},
year = {2021},
url = {https://doi.org/10.1111/coin.12457},
doi = {10.1111/COIN.12457},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ci/LiSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/AnandSS21,
author = {Anshu S. Anand and
Karthik Sayani and
R. K. Shyamasundar},
title = {Fortress Abstractions in {X10} Framework},
journal = {Int. J. Parallel Program.},
volume = {49},
number = {6},
pages = {911--933},
year = {2021},
url = {https://doi.org/10.1007/s10766-021-00719-w},
doi = {10.1007/S10766-021-00719-W},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijpp/AnandSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/ShyamasundarCJK21,
author = {R. K. Shyamasundar and
Pratiksha Chaudhary and
Arushi Jaiswal and
Aniket Kuiri},
title = {Approaches to Enforce Privacy in Databases: Classical to Information
Flow-Based Models},
journal = {Inf. Syst. Frontiers},
volume = {23},
number = {4},
pages = {811--833},
year = {2021},
url = {https://doi.org/10.1007/s10796-021-10178-w},
doi = {10.1007/S10796-021-10178-W},
timestamp = {Fri, 10 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isf/ShyamasundarCJK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppna/LiSOY21,
author = {Ying Li and
R. K. Shyamasundar and
Mohammad S. Obaidat and
Yuyu Yin},
title = {Guest editorial special issue on "P2P computing for deep learning"},
journal = {Peer-to-Peer Netw. Appl.},
volume = {14},
number = {3},
pages = {1734--1735},
year = {2021},
url = {https://doi.org/10.1007/s12083-021-01089-3},
doi = {10.1007/S12083-021-01089-3},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppna/LiSOY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/css/RadhikaS21,
author = {B. S. Radhika and
R. K. Shyamasundar},
editor = {Weizhi Meng and
Mauro Conti},
title = {Realizing Information Flow Control in {ABAC} Mining},
booktitle = {Cyberspace Safety and Security - 13th International Symposium, {CSS}
2021, Virtual Event, November 9-11, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13172},
pages = {107--119},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-94029-4\_8},
doi = {10.1007/978-3-030-94029-4\_8},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/css/RadhikaS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/PatilS21,
author = {Vishwas Patil and
R. K. Shyamasundar},
editor = {Somanath Tripathy and
Rudrapatna K. Shyamasundar and
Rajiv Ranjan},
title = {Landcoin: {A} Practical Protocol for Transfer-of-Asset},
booktitle = {Information Systems Security - 17th International Conference, {ICISS}
2021, Patna, India, December 16-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13146},
pages = {124--141},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92571-0\_8},
doi = {10.1007/978-3-030-92571-0\_8},
timestamp = {Fri, 30 Dec 2022 14:59:16 +0100},
biburl = {https://dblp.org/rec/conf/iciss/PatilS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GhosalS21,
author = {Sandip Ghosal and
R. K. Shyamasundar},
title = {An Axiomatic Approach to Detect Information Leaks in Concurrent Programs},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
New Ideas and Emerging Results, {ICSE} {(NIER)} 2021, Madrid, Spain,
May 25-28, 2021},
pages = {31--35},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-NIER52604.2021.00015},
doi = {10.1109/ICSE-NIER52604.2021.00015},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GhosalS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/GoyalSSJR21,
author = {Amit Goyal and
R. K. Shyamasundar and
G. Sivakumar and
Raoul Jetley and
Srini Ramaswamy},
editor = {Durga Prasad Mohapatra and
Samaresh Mishra and
Tony Clark and
Alpana Dubey and
Richa Sharma and
Lov Kumar},
title = {Empirical Analysis of Greedy, {GE} and {GRE} Heuristics},
booktitle = {{ISEC} 2021: 14th Innovations in Software Engineering Conference,
Bhubaneswar, Odisha, India, February 25-27, 2021},
pages = {6:1--6:11},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3452383.3452389},
doi = {10.1145/3452383.3452389},
timestamp = {Tue, 04 May 2021 15:52:21 +0200},
biburl = {https://dblp.org/rec/conf/indiaSE/GoyalSSJR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotbd/GoyalGGSS21,
author = {Amit Goyal and
Akshat Garg and
Digvijaysingh Gour and
R. K. Shyamasundar and
G. Sivakumar},
editor = {Gary B. Wills and
P{\'{e}}ter Kacsuk and
Victor Chang},
title = {Information Flow Secure CAmkES},
booktitle = {Proceedings of the 6th International Conference on Internet of Things,
Big Data and Security, IoTBDS 2021, Online Streaming, April 23-25,
2021},
pages = {237--244},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010462602370244},
doi = {10.5220/0010462602370244},
timestamp = {Mon, 31 May 2021 12:07:54 +0200},
biburl = {https://dblp.org/rec/conf/iotbd/GoyalGGSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/VyasSPBS21,
author = {Parjanya Vyas and
R. K. Shyamasundar and
Bhagyesh V. Patil and
Snehal Borse and
Satyaki Sen},
title = {SP*: An Information Flow Secure Linux},
booktitle = {2021 {IEEE} Intl Conf on Parallel {\&} Distributed Processing
with Applications, Big Data {\&} Cloud Computing, Sustainable
Computing {\&} Communications, Social Computing {\&} Networking
(ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September
30 - Oct. 3, 2021},
pages = {1603--1612},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00214},
doi = {10.1109/ISPA-BDCLOUD-SOCIALCOM-SUSTAINCOM52081.2021.00214},
timestamp = {Thu, 06 Jan 2022 09:48:16 +0100},
biburl = {https://dblp.org/rec/conf/ispa/VyasSPBS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/VyasSP21,
author = {Parjanya Vyas and
R. K. Shyamasundar and
Bhagyesh V. Patil},
editor = {Chih{-}Cheng Hung and
Jiman Hong and
Alessio Bechini and
Eunjee Song},
title = {App2SecApp: privacy protection from Android applications},
booktitle = {{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, Republic of Korea, March 22-26, 2021},
pages = {908--911},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3412841.3442102},
doi = {10.1145/3412841.3442102},
timestamp = {Mon, 06 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/VyasSP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/RadhikaKS21,
author = {B. S. Radhika and
N. V. Narendra Kumar and
R. K. Shyamasundar},
editor = {Jorge Lobo and
Roberto Di Pietro and
Omar Chowdhury and
Hongxin Hu},
title = {Towards Unifying {RBAC} with Information Flow Control},
booktitle = {{SACMAT} '21: The 26th {ACM} Symposium on Access Control Models and
Technologies, Virtual Event, Spain, June 16-18, 2021},
pages = {45--54},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3450569.3463570},
doi = {10.1145/3450569.3463570},
timestamp = {Tue, 06 Jul 2021 18:09:51 +0200},
biburl = {https://dblp.org/rec/conf/sacmat/RadhikaKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/VyasS21,
author = {Parjanya Vyas and
R. K. Shyamasundar},
editor = {Sabrina De Capitani di Vimercati and
Pierangela Samarati},
title = {SecSDN: {A} Novel Architecture for a Secure {SDN}},
booktitle = {Proceedings of the 18th International Conference on Security and Cryptography,
{SECRYPT} 2021, July 6-8, 2021},
pages = {587--594},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010575505870594},
doi = {10.5220/0010575505870594},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/VyasS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iciss/2021,
editor = {Somanath Tripathy and
Rudrapatna K. Shyamasundar and
Rajiv Ranjan},
title = {Information Systems Security - 17th International Conference, {ICISS}
2021, Patna, India, December 16-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13146},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-92571-0},
doi = {10.1007/978-3-030-92571-0},
isbn = {978-3-030-92570-3},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iciss/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-02171,
author = {Sandip Ghosal and
R. K. Shyamasundar},
title = {An Axiomatic Approach to Detect Information Leaks in Concurrent Programs},
journal = {CoRR},
volume = {abs/2103.02171},
year = {2021},
url = {https://arxiv.org/abs/2103.02171},
eprinttype = {arXiv},
eprint = {2103.02171},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-02171.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-06039,
author = {Sandip Ghosal and
R. K. Shyamasundar},
title = {Pifthon: {A} Compile-Time Information Flow Analyzer For An Imperative
Language},
journal = {CoRR},
volume = {abs/2103.06039},
year = {2021},
url = {https://arxiv.org/abs/2103.06039},
eprinttype = {arXiv},
eprint = {2103.06039},
timestamp = {Tue, 16 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-06039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/RadhikaKSV20,
author = {B. S. Radhika and
N. V. Narendra Kumar and
R. K. Shyamasundar and
Parjanya Vyas},
title = {Consistency analysis and flow secure enforcement of SELinux policies},
journal = {Comput. Secur.},
volume = {94},
pages = {101816},
year = {2020},
url = {https://doi.org/10.1016/j.cose.2020.101816},
doi = {10.1016/J.COSE.2020.101816},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/RadhikaKSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/GhosalS20,
author = {Sandip Ghosal and
R. K. Shyamasundar},
title = {A Generalized Notion of Non-interference for Flow Security of Sequential
and Concurrent Programs},
booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore,
December 1-4, 2020},
pages = {51--60},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/APSEC51365.2020.00013},
doi = {10.1109/APSEC51365.2020.00013},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/GhosalS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/GhosalS20,
author = {Sandip Ghosal and
R. K. Shyamasundar},
editor = {Anoop Singhal and
Jaideep Vaidya},
title = {Information Flow Security Certification for {SPARK} Programs},
booktitle = {Data and Applications Security and Privacy {XXXIV} - 34th Annual {IFIP}
{WG} 11.3 Conference, DBSec 2020, Regensburg, Germany, June 25-26,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12122},
pages = {137--150},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-49669-2\_8},
doi = {10.1007/978-3-030-49669-2\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/GhosalS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/AnandSP19,
author = {Anshu S. Anand and
R. K. Shyamasundar and
Sathya Peri},
title = {STMs in practice: Partial rollback vs pure abort mechanisms},
journal = {Concurr. Comput. Pract. Exp.},
volume = {31},
number = {5},
year = {2019},
url = {https://doi.org/10.1002/cpe.4465},
doi = {10.1002/CPE.4465},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/AnandSP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/AnandSS19,
author = {Anshu S. Anand and
Akash Srivastava and
R. K. Shyamasundar},
title = {A deadlock-free lock-based synchronization for GPUs},
journal = {Concurr. Comput. Pract. Exp.},
volume = {31},
number = {7},
year = {2019},
url = {https://doi.org/10.1002/cpe.4991},
doi = {10.1002/CPE.4991},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/AnandSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/PatilS19,
author = {Vishwas T. Patil and
R. K. Shyamasundar},
editor = {Mohammad S. Obaidat and
Pierangela Samarati},
title = {Is Privacy a Myth for Facebook Users?},
booktitle = {Proceedings of the 16th International Joint Conference on e-Business
and Telecommunications, {ICETE} 2019 - Volume 2: SECRYPT, Prague,
Czech Republic, July 26-28, 2019},
pages = {510--516},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0008018805100516},
doi = {10.5220/0008018805100516},
timestamp = {Tue, 06 Jun 2023 14:58:02 +0200},
biburl = {https://dblp.org/rec/conf/icete/PatilS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/GoyalSJMR19,
author = {Amit Goyal and
R. K. Shyamasundar and
Raoul Jetley and
Devina Mohan and
Srini Ramaswamy},
editor = {Marten van Sinderen and
Leszek A. Maciaszek},
title = {Test Suite Minimization of Evolving Software Systems: {A} Case Study},
booktitle = {Proceedings of the 14th International Conference on Software Technologies,
{ICSOFT} 2019, Prague, Czech Republic, July 26-28, 2019},
pages = {226--237},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007842502260237},
doi = {10.5220/0007842502260237},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/GoyalSJMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nss/BilurGS19,
author = {Manjunath Bilur and
Anugrah Gari and
R. K. Shyamasundar},
editor = {Joseph K. Liu and
Xinyi Huang},
title = {Threat Assessment of Enterprise Applications via Graphical Modelling},
booktitle = {Network and System Security - 13th International Conference, {NSS}
2019, Sapporo, Japan, December 15-18, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11928},
pages = {146--166},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-36938-5\_9},
doi = {10.1007/978-3-030-36938-5\_9},
timestamp = {Wed, 17 Aug 2022 14:30:35 +0200},
biburl = {https://dblp.org/rec/conf/nss/BilurGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucc/ShyamasundarSMC19,
author = {Rudrapatna K. Shyamasundar and
Swatish Satheesan and
Deepali Mittal and
Aakash Chaudhary},
editor = {Kenneth Johnson and
Josef Spillner and
Dalibor Klus{\'{a}}cek and
Ashiq Anjum},
title = {SecHadoop: {A} Privacy Preserving Hadoop},
booktitle = {Proceedings of the 12th {IEEE/ACM} International Conference on Utility
and Cloud Computing, {UCC} 2019, Auckland, New Zealand, December 2-5,
2019},
pages = {111--121},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3344341.3368819},
doi = {10.1145/3344341.3368819},
timestamp = {Thu, 28 Nov 2019 13:06:26 +0100},
biburl = {https://dblp.org/rec/conf/ucc/ShyamasundarSMC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iciss/2019,
editor = {Deepak Garg and
N. V. Narendra Kumar and
Rudrapatna K. Shyamasundar},
title = {Information Systems Security - 15th International Conference, {ICISS}
2019, Hyderabad, India, December 16-20, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11952},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-36945-3},
doi = {10.1007/978-3-030-36945-3},
isbn = {978-3-030-36944-6},
timestamp = {Thu, 12 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iciss/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/PatilJS18,
author = {Vishwas T. Patil and
Nivia Jatain and
R. K. Shyamasundar},
editor = {Florian Kerschbaum and
Stefano Paraboschi},
title = {Role of Apps in Undoing of Privacy Policies on Facebook},
booktitle = {Data and Applications Security and Privacy {XXXII} - 32nd Annual {IFIP}
{WG} 11.3 Conference, DBSec 2018, Bergamo, Italy, July 16-18, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10980},
pages = {85--98},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95729-6\_6},
doi = {10.1007/978-3-319-95729-6\_6},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/PatilJS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/RadhikaKS18,
author = {B. S. Radhika and
N. V. Narendra Kumar and
R. K. Shyamasundar},
editor = {Florian Kerschbaum and
Stefano Paraboschi},
title = {FlowConSEAL: Automatic Flow Consistency Analysis of SEAndroid and
SELinux Policies},
booktitle = {Data and Applications Security and Privacy {XXXII} - 32nd Annual {IFIP}
{WG} 11.3 Conference, DBSec 2018, Bergamo, Italy, July 16-18, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10980},
pages = {219--231},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95729-6\_14},
doi = {10.1007/978-3-319-95729-6\_14},
timestamp = {Wed, 11 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/RadhikaKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/ShrikrishnaKS18,
author = {Khedkar Shrikrishna and
N. V. Narendra Kumar and
R. K. Shyamasundar},
editor = {Atul Negi and
Raj Bhatnagar and
Laxmi Parida},
title = {Security Analysis of {EMV} Protocol and Approaches for Strengthening
It},
booktitle = {Distributed Computing and Internet Technology - 14th International
Conference, {ICDCIT} 2018, Bhubaneswar, India, January 11-13, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10722},
pages = {69--85},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72344-0\_4},
doi = {10.1007/978-3-319-72344-0\_4},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/ShrikrishnaKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/KhobragadeKS18,
author = {Shashank Khobragade and
N. V. Narendra Kumar and
R. K. Shyamasundar},
editor = {Atul Negi and
Raj Bhatnagar and
Laxmi Parida},
title = {Secure Synthesis of IoT via Readers-Writers Flow Model},
booktitle = {Distributed Computing and Internet Technology - 14th International
Conference, {ICDCIT} 2018, Bhubaneswar, India, January 11-13, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10722},
pages = {86--104},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72344-0\_5},
doi = {10.1007/978-3-319-72344-0\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/KhobragadeKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/GhosalSK18,
author = {Sandip Ghosal and
R. K. Shyamasundar and
N. V. Narendra Kumar},
editor = {Pierangela Samarati and
Mohammad S. Obaidat},
title = {Static Security Certification of Programs via Dynamic Labelling},
booktitle = {Proceedings of the 15th International Joint Conference on e-Business
and Telecommunications, {ICETE} 2018 - Volume 2: SECRYPT, Porto, Portugal,
July 26-28, 2018},
pages = {400--411},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006868604000411},
doi = {10.5220/0006868604000411},
timestamp = {Wed, 29 Aug 2018 15:17:20 +0200},
biburl = {https://dblp.org/rec/conf/icete/GhosalSK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/PatilVS18,
author = {Bhagyesh V. Patil and
Parjanya Vyas and
R. K. Shyamasundar},
editor = {Vinod Ganapathy and
Trent Jaeger and
R. K. Shyamasundar},
title = {SecSmartLock: An Architecture and Protocol for Designing Secure Smart
Locks},
booktitle = {Information Systems Security - 14th International Conference, {ICISS}
2018, Bangalore, India, December 17-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11281},
pages = {24--43},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05171-6\_2},
doi = {10.1007/978-3-030-05171-6\_2},
timestamp = {Mon, 06 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iciss/PatilVS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/PatilS18,
author = {Vishwas T. Patil and
R. K. Shyamasundar},
editor = {Vinod Ganapathy and
Trent Jaeger and
R. K. Shyamasundar},
title = {Efficacy of GDPR's Right-to-be-Forgotten on Facebook},
booktitle = {Information Systems Security - 14th International Conference, {ICISS}
2018, Bangalore, India, December 17-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11281},
pages = {364--385},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05171-6\_19},
doi = {10.1007/978-3-030-05171-6\_19},
timestamp = {Mon, 10 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iciss/PatilS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/PathaniaRS18,
author = {Amit Pathania and
B. S. Radhika and
Rudrapatna K. Shyamasundar},
editor = {Vinod Ganapathy and
Trent Jaeger and
R. K. Shyamasundar},
title = {MySecPol: {A} Client-Side Policy Language for Safe and Secure Browsing},
booktitle = {Information Systems Security - 14th International Conference, {ICISS}
2018, Bangalore, India, December 17-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11281},
pages = {427--447},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05171-6\_22},
doi = {10.1007/978-3-030-05171-6\_22},
timestamp = {Mon, 10 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iciss/PathaniaRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iseaisap/KumarS18,
author = {N. V. Narendra Kumar and
R. K. Shyamasundar},
editor = {Sukumar Nandi and
Devesh Jinwala and
Virendra Singh and
Vijay Laxmi and
Manoj Singh Gaur and
Parvez Faruki},
title = {A Semantic Notion of Secure Information-Flow},
booktitle = {Security and Privacy - Second {ISEA} International Conference, {ISEA-ISAP}
2018, Jaipur, India, January, 9-11, 2019, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {939},
pages = {35--52},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-981-13-7561-3\_3},
doi = {10.1007/978-981-13-7561-3\_3},
timestamp = {Sun, 25 Oct 2020 22:32:41 +0100},
biburl = {https://dblp.org/rec/conf/iseaisap/KumarS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iseaisap/GhosalS18,
author = {Sandip Ghosal and
R. K. Shyamasundar},
editor = {Sukumar Nandi and
Devesh Jinwala and
Virendra Singh and
Vijay Laxmi and
Manoj Singh Gaur and
Parvez Faruki},
title = {A Solution to "Confused Deputy" Problem Using {RWFM} Labels},
booktitle = {Security and Privacy - Second {ISEA} International Conference, {ISEA-ISAP}
2018, Jaipur, India, January, 9-11, 2019, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {939},
pages = {67--76},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-981-13-7561-3\_5},
doi = {10.1007/978-981-13-7561-3\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iseaisap/GhosalS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/RudrapatnaKTV18,
author = {Rudrapatna K. Shyamasundar and
N. V. Narendra Kumar and
Abhijit Taware and
Parjanya Vyas},
title = {An Experimental Flow Secure File System},
booktitle = {17th {IEEE} International Conference On Trust, Security And Privacy
In Computing And Communications / 12th {IEEE} International Conference
On Big Data Science And Engineering, TrustCom/BigDataSE 2018, New
York, NY, USA, August 1-3, 2018},
pages = {790--799},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/TrustCom/BigDataSE.2018.00113},
doi = {10.1109/TRUSTCOM/BIGDATASE.2018.00113},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/trustcom/RudrapatnaKTV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iciss/2018,
editor = {Vinod Ganapathy and
Trent Jaeger and
R. K. Shyamasundar},
title = {Information Systems Security - 14th International Conference, {ICISS}
2018, Bangalore, India, December 17-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11281},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05171-6},
doi = {10.1007/978-3-030-05171-6},
isbn = {978-3-030-05170-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iciss/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-07530,
author = {Raj Gaire and
Chigulapalli Sriharsha and
Deepak Puthal and
Hendra Wijaya and
Jongkil Kim and
Prateeksha Keshari and
Rajiv Ranjan and
Rajkumar Buyya and
Ratan K. Ghosh and
R. K. Shyamasundar and
Surya Nepal},
title = {Internet of Things (IoT) and Cloud Computing Enabled Disaster Management},
journal = {CoRR},
volume = {abs/1806.07530},
year = {2018},
url = {http://arxiv.org/abs/1806.07530},
eprinttype = {arXiv},
eprint = {1806.07530},
timestamp = {Tue, 03 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-07530.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-07534,
author = {Raj Gaire and
Ratan K. Ghosh and
Jongkil Kim and
Alexander Krumpholz and
Rajiv Ranjan and
R. K. Shyamasundar and
Surya Nepal},
title = {Crowdsensing and privacy in smart city applications},
journal = {CoRR},
volume = {abs/1806.07534},
year = {2018},
url = {http://arxiv.org/abs/1806.07534},
eprinttype = {arXiv},
eprint = {1806.07534},
timestamp = {Mon, 23 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-07534.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/PatilS17,
author = {Vishwas T. Patil and
R. K. Shyamasundar},
editor = {Giovanni Livraga and
Sencun Zhu},
title = {Undoing of Privacy Policies on Facebook},
booktitle = {Data and Applications Security and Privacy {XXXI} - 31st Annual {IFIP}
{WG} 11.3 Conference, DBSec 2017, Philadelphia, PA, USA, July 19-21,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10359},
pages = {239--255},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61176-1\_13},
doi = {10.1007/978-3-319-61176-1\_13},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/PatilS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/KumarS17,
author = {N. V. Narendra Kumar and
R. K. Shyamasundar},
editor = {Padmanabhan Krishnan and
P. Radha Krishna and
Laxmi Parida},
title = {Analyzing Protocol Security Through Information-Flow Control},
booktitle = {Distributed Computing and Internet Technology - 13th International
Conference, {ICDCIT} 2017, Bhubaneswar, India, January 13-16, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10109},
pages = {159--171},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-50472-8\_13},
doi = {10.1007/978-3-319-50472-8\_13},
timestamp = {Wed, 26 May 2021 08:40:05 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/KumarS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/KumarS17a,
author = {N. V. Narendra Kumar and
R. K. Shyamasundar},
editor = {Padmanabhan Krishnan and
P. Radha Krishna and
Laxmi Parida},
title = {Dynamic Labelling to Enforce Conformance of Cross Domain Security/Privacy
Policies},
booktitle = {Distributed Computing and Internet Technology - 13th International
Conference, {ICDCIT} 2017, Bhubaneswar, India, January 13-16, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10109},
pages = {183--195},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-50472-8\_15},
doi = {10.1007/978-3-319-50472-8\_15},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/KumarS17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/RathAS17,
author = {Mayukh Rath and
Shivali Agarwal and
R. K. Shyamasundar},
editor = {Rudrapatna K. Shyamasundar and
Virendra Singh and
Jaideep Vaidya},
title = {Semi Supervised {NLP} Based Classification of Malware Documents},
booktitle = {Information Systems Security - 13th International Conference, {ICISS}
2017, Mumbai, India, December 16-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10717},
pages = {334--344},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72598-7\_21},
doi = {10.1007/978-3-319-72598-7\_21},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/iciss/RathAS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscc/ShyamasundarKT17,
author = {R. K. Shyamasundar and
N. V. Narendra Kumar and
Priyanka Teltumde},
title = {Realizing software vault on Android through information-flow control},
booktitle = {2017 {IEEE} Symposium on Computers and Communications, {ISCC} 2017,
Heraklion, Greece, July 3-6, 2017},
pages = {1007--1014},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISCC.2017.8024657},
doi = {10.1109/ISCC.2017.8024657},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iscc/ShyamasundarKT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secrypt/PatilS17,
author = {Vishwas T. Patil and
R. K. Shyamasundar},
editor = {Pierangela Samarati and
Mohammad S. Obaidat and
Enrique Cabello},
title = {Privacy as a Currency: Un-regulated?},
booktitle = {Proceedings of the 14th International Joint Conference on e-Business
and Telecommunications {(ICETE} 2017) - Volume 4: SECRYPT, Madrid,
Spain, July 24-26, 2017},
pages = {586--595},
publisher = {SciTePress},
year = {2017},
url = {https://doi.org/10.5220/0006478705860595},
doi = {10.5220/0006478705860595},
timestamp = {Thu, 17 Aug 2017 18:31:18 +0200},
biburl = {https://dblp.org/rec/conf/secrypt/PatilS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/KumarS17,
author = {N. V. Narendra Kumar and
R. K. Shyamasundar},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {A Complete Generative Label Model for Lattice-Based Access Control
Models},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {35--53},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_3},
doi = {10.1007/978-3-319-66197-1\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/KumarS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iciss/2017,
editor = {Rudrapatna K. Shyamasundar and
Virendra Singh and
Jaideep Vaidya},
title = {Information Systems Security - 13th International Conference, {ICISS}
2017, Mumbai, India, December 16-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10717},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72598-7},
doi = {10.1007/978-3-319-72598-7},
isbn = {978-3-319-72597-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iciss/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comsnets/BhatnagarKGS16,
author = {Abhiroop Bhatnagar and
Amit Kumar and
Ratan K. Ghosh and
Rudrapatna K. Shyamasundar},
title = {A framework of community inspired distributed message dissemination
and emergency alert response system over smart phones},
booktitle = {8th International Conference on Communication Systems and Networks,
{COMSNETS} 2016, Bangalore, India, January 5-10, 2016},
pages = {1--8},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/COMSNETS.2016.7439956},
doi = {10.1109/COMSNETS.2016.7439956},
timestamp = {Mon, 11 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/comsnets/BhatnagarKGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/ShyamasundarKR16,
author = {R. K. Shyamasundar and
N. V. Narendra Kumar and
Muttukrishnan Rajarajan},
editor = {Jinjun Chen and
Laurence T. Yang},
title = {Information-Flow Control for Building Security and Privacy Preserving
Hybrid Clouds},
booktitle = {18th {IEEE} International Conference on High Performance Computing
and Communications; 14th {IEEE} International Conference on Smart
City; 2nd {IEEE} International Conference on Data Science and Systems,
HPCC/SmartCity/DSS 2016, Sydney, Australia, December 12-14, 2016},
pages = {1410--1417},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HPCC-SmartCity-DSS.2016.0201},
doi = {10.1109/HPCC-SMARTCITY-DSS.2016.0201},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hpcc/ShyamasundarKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/KumarS16,
author = {N. V. Narendra Kumar and
R. K. Shyamasundar},
editor = {Jinjun Chen and
Laurence T. Yang},
title = {An End-to-End Privacy Preserving Design of a Map-Reduce Framework},
booktitle = {18th {IEEE} International Conference on High Performance Computing
and Communications; 14th {IEEE} International Conference on Smart
City; 2nd {IEEE} International Conference on Data Science and Systems,
HPCC/SmartCity/DSS 2016, Sydney, Australia, December 12-14, 2016},
pages = {1469--1476},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HPCC-SmartCity-DSS.2016.0209},
doi = {10.1109/HPCC-SMARTCITY-DSS.2016.0209},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/KumarS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/AnandSP16,
author = {Anshu S. Anand and
R. K. Shyamasundar and
Sathya Peri},
title = {Opacity proof for CaPR+ algorithm},
booktitle = {Proceedings of the 17th International Conference on Distributed Computing
and Networking, Singapore, January 4-7, 2016},
pages = {16:1--16:4},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2833312.2833445},
doi = {10.1145/2833312.2833445},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcn/AnandSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/KumarS15,
author = {N. V. Narendra Kumar and
R. K. Shyamasundar},
editor = {Indrajit Ray and
Ninghui Li and
Christopher Kruegel},
title = {{POSTER:} Dynamic Labelling for Analyzing Security Protocols},
booktitle = {Proceedings of the 22nd {ACM} {SIGSAC} Conference on Computer and
Communications Security, Denver, CO, USA, October 12-16, 2015},
pages = {1665--1667},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2810103.2810113},
doi = {10.1145/2810103.2810113},
timestamp = {Tue, 10 Nov 2020 19:58:09 +0100},
biburl = {https://dblp.org/rec/conf/ccs/KumarS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipc/AnandS15,
author = {Anshu S. Anand and
R. K. Shyamasundar},
title = {Scaling Computation on GPUs Using Powerlists},
booktitle = {22nd {IEEE} International Conference on High Performance Computing
Workshops, HiPCW 2015, Bengaluru, India, December 16-19, 2015},
pages = {34--43},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/HiPCW.2015.14},
doi = {10.1109/HIPCW.2015.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hipc/AnandS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/SusheelKS15,
author = {S. Susheel and
N. V. Narendra Kumar and
R. K. Shyamasundar},
editor = {Sushil Jajodia and
Chandan Mazumdar},
title = {Enforcing Secure Data Sharing in Web Application Development Frameworks
Like Django Through Information Flow Control},
booktitle = {Information Systems Security - 11th International Conference, {ICISS}
2015, Kolkata, India, December 16-20, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9478},
pages = {551--561},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26961-0\_34},
doi = {10.1007/978-3-319-26961-0\_34},
timestamp = {Wed, 25 Sep 2019 18:06:16 +0200},
biburl = {https://dblp.org/rec/conf/iciss/SusheelKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/CerinSGJ15,
author = {Christophe C{\'{e}}rin and
R. K. Shyamasundar and
Yuqing Gao and
Congfeng Jiang},
title = {{HPDIC} Introduction and Committees},
booktitle = {2015 {IEEE} International Parallel and Distributed Processing Symposium
Workshop, {IPDPS} 2015, Hyderabad, India, May 25-29, 2015},
pages = {536},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/IPDPSW.2015.175},
doi = {10.1109/IPDPSW.2015.175},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/CerinSGJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sin/KumarS15,
author = {N. V. Narendra Kumar and
R. K. Shyamasundar},
editor = {Oleg B. Makarevich and
Ron Poet and
Atilla El{\c{c}}i and
Manoj Singh Gaur and
Mehmet A. Orgun and
Ludmila K. Babenko and
Md. Sadek Ferdous and
Anthony T. S. Ho and
Vijay Laxmi and
Josef Pieprzyk},
title = {Labelled mobile ambients model for information flow security in distributed
systems},
booktitle = {Proceedings of the 8th International Conference on Security of Information
and Networks, {SIN} 2015, Sochi, Russian Federation, September 8-10,
2015},
pages = {330--337},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2799979.2800012},
doi = {10.1145/2799979.2800012},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sin/KumarS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AnandSP15,
author = {Anshu S. Anand and
R. K. Shyamasundar and
Sathya Peri},
title = {Opacity Proof for CaPR+ Algorithm},
journal = {CoRR},
volume = {abs/1510.06967},
year = {2015},
url = {http://arxiv.org/abs/1510.06967},
eprinttype = {arXiv},
eprint = {1510.06967},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AnandSP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/percom/ShekharMGS14,
author = {Shashank Shekhar and
Ranjeet Mishra and
R. K. Ghosh and
R. K. Shyamasundar},
title = {Post-order based routing {\&} transport protocol for wireless
sensor networks},
journal = {Pervasive Mob. Comput.},
volume = {11},
pages = {229--243},
year = {2014},
url = {https://doi.org/10.1016/j.pmcj.2013.07.015},
doi = {10.1016/J.PMCJ.2013.07.015},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/percom/ShekharMGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bdcloud/KumarS14,
author = {N. V. Narendra Kumar and
R. K. Shyamasundar},
title = {Realizing Purpose-Based Privacy Policies Succinctly via Information-Flow
Labels},
booktitle = {2014 {IEEE} Fourth International Conference on Big Data and Cloud
Computing, BDCloud 2014, Sydney, Australia, December 3-5, 2014},
pages = {753--760},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/BDCloud.2014.89},
doi = {10.1109/BDCLOUD.2014.89},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bdcloud/KumarS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iciss/2014,
editor = {Atul Prakash and
Rudrapatna K. Shyamasundar},
title = {Information Systems Security - 10th International Conference, {ICISS}
2014, Hyderabad, India, December 16-20, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8880},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13841-1},
doi = {10.1007/978-3-319-13841-1},
isbn = {978-3-319-13840-4},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iciss/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icegov/BelachewS13,
author = {Mesfin Belachew and
R. K. Shyamasundar},
editor = {Jeanne Holm and
Tomasz Janowski},
title = {Public private partnerships {(PPP)} in the e-government initiatives
for developing nations: the case of Ethiopia},
booktitle = {7th International Conference on Theory and Practice of Electronic
Governance, {ICEGOV} '13, Seoul, Republic of Korea, October 22-25,
2013},
pages = {42--45},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2591888.2591895},
doi = {10.1145/2591888.2591895},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icegov/BelachewS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/NarangSS13,
author = {Ankur Narang and
Abhinav Srivastava and
R. K. Shyamasundar},
title = {High Performance Adaptive Distributed Scheduling Algorithm},
booktitle = {2013 {IEEE} International Symposium on Parallel {\&} Distributed
Processing, Workshops and Phd Forum, Cambridge, MA, USA, May 20-24,
2013},
pages = {1725--1734},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IPDPSW.2013.232},
doi = {10.1109/IPDPSW.2013.232},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/NarangSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sin/Shyamasundar13,
author = {R. K. Shyamasundar},
editor = {Atilla El{\c{c}}i and
Manoj Singh Gaur and
Mehmet A. Orgun and
Oleg B. Makarevich},
title = {Security and protection of {SCADA:} a bigdata algorithmic approach},
booktitle = {The 6th International Conference on Security of Information and Networks,
{SIN} '13, Aksaray, Turkey, November 26-28, 2013},
pages = {20--27},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2523514.2523595},
doi = {10.1145/2523514.2523595},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sin/Shyamasundar13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compute/2013,
editor = {R. K. Shyamasundar and
Lokendra Shastri and
D. Janakiram and
Srinivas Padmanabhuni},
title = {Proceedings of the 6th {ACM} India Computing Convention, {COMPUTE}
2013, Vellore, Tamil Nadu, India, August 22 - 24, 2013},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2522548},
isbn = {978-1-4503-2545-5},
timestamp = {Sun, 15 Mar 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compute/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdcn/2013,
editor = {Davide Frey and
Michel Raynal and
Saswati Sarkar and
Rudrapatna K. Shyamasundar and
Prasun Sinha},
title = {Distributed Computing and Networking, 14th International Conference,
{ICDCN} 2013, Mumbai, India, January 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7730},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35668-1},
doi = {10.1007/978-3-642-35668-1},
isbn = {978-3-642-35667-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cube/VaddiMS12,
author = {Supriya Vaddi and
Hrushikesha Mohanty and
R. K. Shyamasundar},
editor = {Vidyasagar M. Potdar and
Debajyoti Mukhopadhyay},
title = {Service maps in {XML}},
booktitle = {{CUBE} International {IT} Conference {\&} Exhibition, {CUBE} '12,
Pune, India - September 03 - 06, 2012},
pages = {635--640},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2381716.2381838},
doi = {10.1145/2381716.2381838},
timestamp = {Fri, 01 Mar 2019 14:49:59 +0100},
biburl = {https://dblp.org/rec/conf/cube/VaddiMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/NarangSJS12,
author = {Ankur Narang and
Abhinav Srivastava and
Ramnik Jain and
R. K. Shyamasundar},
editor = {Christos Kaklamanis and
Theodore S. Papatheodorou and
Paul G. Spirakis},
title = {Dynamic Distributed Scheduling Algorithm for State Space Search},
booktitle = {Euro-Par 2012 Parallel Processing - 18th International Conference,
Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7484},
pages = {141--154},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32820-6\_16},
doi = {10.1007/978-3-642-32820-6\_16},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/NarangSJS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/ShekharGS12,
author = {Shashank Shekhar and
R. K. Ghosh and
R. K. Shyamasundar},
editor = {Luciano Bononi and
Ajoy Kumar Datta and
St{\'{e}}phane Devismes and
Archan Misra},
title = {Postorder Based Routing and Transport Protocol for WSNs},
booktitle = {Distributed Computing and Networking - 13th International Conference,
{ICDCN} 2012, Hong Kong, China, January 3-6, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7129},
pages = {281--294},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-25959-3\_21},
doi = {10.1007/978-3-642-25959-3\_21},
timestamp = {Mon, 26 Jun 2023 20:44:19 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/ShekharGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/JoshiSA12,
author = {Saurabh Joshi and
R. K. Shyamasundar and
Sanjeev K. Aggarwal},
title = {A New Method of {MHP} Analysis for Languages with Dynamic Barriers},
booktitle = {26th {IEEE} International Parallel and Distributed Processing Symposium
Workshops {\&} PhD Forum, {IPDPS} 2012, Shanghai, China, May 21-25,
2012},
pages = {519--528},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/IPDPSW.2012.70},
doi = {10.1109/IPDPSW.2012.70},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/JoshiSA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compute/2012,
editor = {R. K. Shyamasundar and
Lokendra Shastri},
title = {Proceedings of the 5th {ACM} {COMPUTE} Conference: Intelligent {\&}
scalable system technologies, Pune, India, January 23-24, 2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2459118},
isbn = {978-1-4503-1440-4},
timestamp = {Sun, 15 Mar 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compute/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/NarangSKS11,
author = {Ankur Narang and
Abhinav Srivastava and
Naga Praveen Kumar Katta and
Rudrapatna K. Shyamasundar},
title = {Performance driven multi-objective distributed scheduling for parallel
computations},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {45},
number = {2},
pages = {14--27},
year = {2011},
url = {https://doi.org/10.1145/2007183.2007186},
doi = {10.1145/2007183.2007186},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/NarangSKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NarangS11,
author = {Ankur Narang and
Rudrapatna K. Shyamasundar},
title = {Performance driven distributed scheduling of parallel hybrid computations},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {32},
pages = {4212--4225},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2010.11.044},
doi = {10.1016/J.TCS.2010.11.044},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NarangS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apscc/GoelS11,
author = {Nihita Goel and
R. K. Shyamasundar},
editor = {James J. Park and
Christos Nikolaou and
Jiannong Cao},
title = {An Executional Framework for {BPMN} Using Orc},
booktitle = {2011 {IEEE} Asia-Pacific Services Computing Conference, {APSCC} 2011,
Jeju, Korea (South), December 12-15, 2011},
pages = {29--36},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/APSCC.2011.72},
doi = {10.1109/APSCC.2011.72},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apscc/GoelS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/GoelKS11,
author = {Nihita Goel and
N. V. Narendra Kumar and
R. K. Shyamasundar},
editor = {Gianluigi Zavattaro and
Ulf Schreier and
Cesare Pautasso},
title = {{SLA} Monitor: {A} System for Dynamic Monitoring of Adaptive Web Services},
booktitle = {9th {IEEE} European Conference on Web Services, {ECOWS} 2011, Lugano,
Switzerland, September 14-16, 2011},
pages = {109--116},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ECOWS.2011.22},
doi = {10.1109/ECOWS.2011.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecows/GoelKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/AgarwalJS11,
author = {Shivali Agarwal and
Saurabh Joshi and
Rudrapatna K. Shyamasundar},
editor = {Marcos Kawazoe Aguilera and
Haifeng Yu and
Nitin H. Vaidya and
Vikram Srinivasan and
Romit Roy Choudhury},
title = {Distributed Generalized Dynamic Barrier Synchronization},
booktitle = {Distributed Computing and Networking - 12th International Conference,
{ICDCN} 2011, Bangalore, India, January 2-5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6522},
pages = {143--154},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-17679-1\_13},
doi = {10.1007/978-3-642-17679-1\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/AgarwalJS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/NarangSKS11,
author = {Ankur Narang and
Abhinav Srivastava and
Naga Praveen Kumar Katta and
Rudrapatna K. Shyamasundar},
editor = {Marcos Kawazoe Aguilera and
Haifeng Yu and
Nitin H. Vaidya and
Vikram Srinivasan and
Romit Roy Choudhury},
title = {Affinity Driven Distributed Scheduling Algorithm for Parallel Computations},
booktitle = {Distributed Computing and Networking - 12th International Conference,
{ICDCN} 2011, Bangalore, India, January 2-5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6522},
pages = {167--178},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-17679-1\_15},
doi = {10.1007/978-3-642-17679-1\_15},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/NarangSKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/KumarSS11,
author = {N. V. Narendra Kumar and
Harshit J. Shah and
R. K. Shyamasundar},
editor = {Raghu Santanam and
M. Sethumadhavan and
Mohit Virendra},
title = {Towards Checking Tampering of Software},
booktitle = {Cyber Security, Cyber Crime and Cyber Forensics - Applications and
Perspectives},
pages = {204--219},
publisher = {{IGI} Global},
year = {2011},
url = {https://doi.org/10.4018/978-1-60960-123-2.ch014},
doi = {10.4018/978-1-60960-123-2.CH014},
timestamp = {Wed, 18 Sep 2019 08:24:13 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/KumarSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compute/2011,
editor = {R. K. Shyamasundar and
Lokendra Shastri},
title = {Proceedings of the 4th Bangalore Annual Compute Conference, Compute
2011, Bangalore, India, March 25-26, 2011},
publisher = {{ACM}},
year = {2011},
isbn = {978-1-4503-0750-5},
timestamp = {Tue, 07 Jun 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compute/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apscc/GoelS10,
author = {Nihita Goel and
R. K. Shyamasundar},
title = {Automatic Monitoring of SLAs of Web Services},
booktitle = {5th {IEEE} Asia-Pacific Services Computing Conference, {APSCC} 2010,
6-10 December 2010, Hangzhou, China, Proceedings},
pages = {99--106},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/APSCC.2010.58},
doi = {10.1109/APSCC.2010.58},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apscc/GoelS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AgarwalS10,
author = {Shivali Agarwal and
R. K. Shyamasundar},
editor = {Dennis Dams and
Ulrich Hannemann and
Martin Steffen},
title = {A Proof System for a {PGAS} Language},
booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of
Willem-Paul de Roever},
series = {Lecture Notes in Computer Science},
volume = {5930},
pages = {162--184},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11512-7\_11},
doi = {10.1007/978-3-642-11512-7\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AgarwalS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/ShyamasundarSK10,
author = {R. K. Shyamasundar and
Harshit J. Shah and
N. V. Narendra Kumar},
editor = {Tomasz Janowski and
Hrushikesha Mohanty},
title = {Malware: From Modelling to Practical Detection},
booktitle = {Distributed Computing and Internet Technology, 6th International Conference,
{ICDCIT} 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5966},
pages = {21--39},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11659-9\_3},
doi = {10.1007/978-3-642-11659-9\_3},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/ShyamasundarSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/MohantyKS10,
author = {Hrushikesha Mohanty and
Rajesh Kurra and
R. K. Shyamasundar},
editor = {Tomasz Janowski and
Hrushikesha Mohanty},
title = {A Framework for Web-Based Negotiation},
booktitle = {Distributed Computing and Internet Technology, 6th International Conference,
{ICDCIT} 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5966},
pages = {140--151},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11659-9\_14},
doi = {10.1007/978-3-642-11659-9\_14},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/MohantyKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KumarSS10,
author = {N. V. Narendra Kumar and
Harshit J. Shah and
R. K. Shyamasundar},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Can we certify systems for freedom from malware},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {175--178},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810295.1810323},
doi = {10.1145/1810295.1810323},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KumarSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compute/2010,
editor = {R. K. Shyamasundar and
Prasad Deshpande},
title = {Proceedings of the 3rd Bangalore Annual Compute Conference, Compute
2010, Bangalore, India, January 22-23, 2010},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1754288},
doi = {10.1145/1754288},
isbn = {978-1-4503-0001-8},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compute/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/BhattacharjeeS09,
author = {A. K. Bhattacharjee and
R. K. Shyamasundar},
title = {Activity Diagrams : {A} Formal Framework to Model Business Processes
and Code Generation},
journal = {J. Object Technol.},
volume = {8},
number = {1},
pages = {189--220},
year = {2009},
url = {https://doi.org/10.5381/jot.2009.8.1.a3},
doi = {10.5381/JOT.2009.8.1.A3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/BhattacharjeeS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ems/MohantyVRS09,
author = {Hrushikesha Mohanty and
Martha VenkataSwamy and
Srini Ramaswamy and
R. K. Shyamasundar},
editor = {David Al{-}Dabass and
Sokratis K. Katsikas and
Ioannis Koukos and
Richard N. Zobel},
title = {Translating Security Policy to Executable Code for Sandboxing Linux
Kernel},
booktitle = {{EMS} 2009, Third UKSim European Symposium on Computer Modeling and
Simulation, 25-27 November 2009, Athens, Greece},
pages = {124--129},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/EMS.2009.42},
doi = {10.1109/EMS.2009.42},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ems/MohantyVRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/ShahSV09,
author = {Harshit J. Shah and
R. K. Shyamasundar and
Pradeep Varma},
title = {Concurrent {SSA} for general barrier-synchronized parallel programs},
booktitle = {23rd {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2009, Rome, Italy, May 23-29, 2009},
pages = {1--12},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/IPDPS.2009.5161030},
doi = {10.1109/IPDPS.2009.5161030},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/ShahSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/AgarwalNS09,
author = {Shivali Agarwal and
Ankur Narang and
R. K. Shyamasundar},
editor = {Yingfei Dong and
Ding{-}Zhu Du and
Oscar H. Ibarra},
title = {Distributed Scheduling of Parallel Hybrid Computations},
booktitle = {Algorithms and Computation, 20th International Symposium, {ISAAC}
2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5878},
pages = {1144--1154},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10631-6\_115},
doi = {10.1007/978-3-642-10631-6\_115},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/AgarwalNS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/ShyamasundarA09,
author = {R. K. Shyamasundar and
Shivali Agarwal},
editor = {Srikanta Tirthapura and
Lorenzo Alvisi},
title = {Brief announcement: distributed phase synchronization of dynamic set
of processes},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2009, Calgary, Alberta, Canada, August 10-12, 2009},
pages = {274--275},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1582716.1582761},
doi = {10.1145/1582716.1582761},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/ShyamasundarA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/VarmaSS09,
author = {Pradeep Varma and
R. K. Shyamasundar and
Harshit J. Shah},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Backward-compatible constant-time exception-protected memory},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {71--80},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595710},
doi = {10.1145/1595696.1595710},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/VarmaSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compute/2009,
editor = {R. K. Shyamasundar},
title = {Proceedings of the 2nd Bangalore Annual Compute Conference, Compute
2009, Bangalore, India, January 9-10, 2009},
publisher = {{ACM}},
year = {2009},
isbn = {978-1-60558-476-8},
timestamp = {Mon, 12 Apr 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compute/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/SuryadevaraCR08,
author = {Jagadish Suryadevara and
Lawrence Chung and
R. K. Shyamasundar},
title = {cmUML - {A} {UML} based Framework for Formal Specification of Concurrent,
Reactive Systems},
journal = {J. Object Technol.},
volume = {7},
number = {8},
pages = {187--207},
year = {2008},
url = {https://doi.org/10.5381/jot.2008.7.8.a7},
doi = {10.5381/JOT.2008.7.8.A7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/SuryadevaraCR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AgarwalBNSV08,
author = {Shivali Agarwal and
Rajkishore Barik and
V. Krishna Nandivada and
R. K. Shyamasundar and
Pradeep Varma},
editor = {G. Ramalingam},
title = {Static Detection of Place Locality and Elimination of Runtime Checks},
booktitle = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008,
Bangalore, India, December 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5356},
pages = {53--74},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89330-1\_5},
doi = {10.1007/978-3-540-89330-1\_5},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/AgarwalBNSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apscc/BhattacharjeeS08,
author = {A. K. Bhattacharjee and
R. K. Shyamasundar},
title = {ScriptOrc: {A} Specification Language for Web Service Choreography},
booktitle = {Proceedings of the 3rd {IEEE} Asia-Pacific Services Computing Conference,
{APSCC} 2008, Yilan, Taiwan, 9-12 December 2008},
pages = {1089--1096},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/APSCC.2008.249},
doi = {10.1109/APSCC.2008.249},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apscc/BhattacharjeeS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hpcc/AgarwalBS08,
author = {Shivali Agarwal and
Rajkishore Barik and
R. K. Shyamasundar},
title = {A Static Characterization of Affinity in a Distributed Program},
booktitle = {10th {IEEE} International Conference on High Performance Computing
and Communications, {HPCC} 2008, 25-27 Sept. 2008, Dalian, China},
pages = {572--579},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HPCC.2008.126},
doi = {10.1109/HPCC.2008.126},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/hpcc/AgarwalBS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/BhattacharjeeS08,
author = {A. K. Bhattacharjee and
R. K. Shyamasundar},
title = {Choreography = Orchestration with Scripts + Conversations},
booktitle = {2008 {IEEE} International Conference on Web Services {(ICWS} 2008),
September 23-26, 2008, Beijing, China},
pages = {824--827},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICWS.2008.129},
doi = {10.1109/ICWS.2008.129},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/BhattacharjeeS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compute/2008,
editor = {R. K. Shyamasundar},
title = {Proceedings of the 1st Bangalore Annual Compute Conference, Compute
2008, Bangalore, India, January 18-20, 2008},
publisher = {{ACM}},
year = {2008},
isbn = {978-1-59593-950-0},
timestamp = {Mon, 16 Jun 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compute/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/SuryadevaraS07,
author = {Jagadish Suryadevara and
R. K. Shyamasundar},
title = {UML-based Approach to Specify Secured, Fine-grained Concurrent Access
to Shared Resources},
journal = {J. Object Technol.},
volume = {6},
number = {1},
pages = {107--119},
year = {2007},
url = {https://doi.org/10.5381/jot.2007.6.1.a3},
doi = {10.5381/JOT.2007.6.1.A3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/SuryadevaraS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiams/MohantyMCS07,
author = {Hrushikesha Mohanty and
Jitesh Mulchandani and
Deepak Chenthati and
R. K. Shyamasundar},
title = {Modeling Web Services with {FSM} Modules},
booktitle = {First Asia International Conference on Modelling and Simulation, {AMS}
2007, Phuket, Thailand, March 27-30, 2007},
pages = {100--105},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/AMS.2007.63},
doi = {10.1109/AMS.2007.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asiams/MohantyMCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ShahS07,
author = {Harshit J. Shah and
R. K. Shyamasundar},
editor = {Iliano Cervesato},
title = {On Run-Time Enforcement of Policies},
booktitle = {Advances in Computer Science - {ASIAN} 2007. Computer and Network
Security, 12th Asian Computing Science Conference, Doha, Qatar, December
9-11, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4846},
pages = {268--281},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76929-3\_26},
doi = {10.1007/978-3-540-76929-3\_26},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/ShahS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KalyanasundaramS07,
author = {Krishnamani Kalyanasundaram and
R. K. Shyamasundar},
editor = {Madhavan Mukund and
K. Rangarajan and
K. G. Subramanian},
title = {Verification of Clock Synchronization in {TTP}},
booktitle = {Formal Models, Languages and Applications [this volume commemorates
the 75th birthday of Prof. Rani Siromoney]},
series = {Series in Machine Perception and Artificial Intelligence},
volume = {66},
pages = {176--195},
publisher = {World Scientific},
year = {2007},
url = {https://doi.org/10.1142/9789812773036\_0012},
doi = {10.1142/9789812773036\_0012},
timestamp = {Tue, 23 May 2017 01:06:47 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KalyanasundaramS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CavadaCFKRS07,
author = {Roberto Cavada and
Alessandro Cimatti and
Anders Franz{\'{e}}n and
Krishnamani Kalyanasundaram and
Marco Roveri and
R. K. Shyamasundar},
title = {Computing Predicate Abstractions by Integrating BDDs and {SMT} Solvers},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {69--76},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.35},
doi = {10.1109/FAMCAD.2007.35},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/CavadaCFKRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/DoucetSKJG07,
author = {Frederic Doucet and
R. K. Shyamasundar and
Ingolf H. Kr{\"{u}}ger and
Saurabh Joshi and
Rajesh K. Gupta},
editor = {Karen Yorav},
title = {Reactivity in SystemC Transaction-Level Models},
booktitle = {Hardware and Software: Verification and Testing, Third International
Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October
23-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4899},
pages = {34--50},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77966-7\_7},
doi = {10.1007/978-3-540-77966-7\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/DoucetSKJG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icebe/MohantyPS07,
author = {Hrushikesha Mohanty and
Kakarlamudi Prasad and
R. K. Shyamasundar},
editor = {S. C. Cheung and
Yinsheng Li and
Kuo{-}Ming Chao and
Muhammad Younas and
Jen{-}Yao Chung},
title = {Trust Assessment in Web Services: an Extension to jUDDI},
booktitle = {Proceedings of {ICEBE} 2007, {IEEE} International Conference on e-Business
Engineering and the Workshops {SOAIC} 2007, {SOSE} 2007, {SOKM} 2007,
24-26 October, 2007, Hong Kong, China},
pages = {759--762},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICEBE.2007.99},
doi = {10.1109/ICEBE.2007.99},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icebe/MohantyPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/AgarwalBSS07,
author = {Shivali Agarwal and
Rajkishore Barik and
Vivek Sarkar and
R. K. Shyamasundar},
editor = {Katherine A. Yelick and
John M. Mellor{-}Crummey},
title = {May-happen-in-parallel analysis of {X10} programs},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2007, San Jose, California,
USA, March 14-17, 2007},
pages = {183--193},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1229428.1229471},
doi = {10.1145/1229428.1229471},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/AgarwalBSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/AgarwalBBSSY07,
author = {Shivali Agarwal and
Rajkishore Barik and
Dan Bonachea and
Vivek Sarkar and
R. K. Shyamasundar and
Katherine A. Yelick},
editor = {Phillip B. Gibbons and
Christian Scheideler},
title = {Deadlock-free scheduling of {X10} computations with bounded resources},
booktitle = {{SPAA} 2007: Proceedings of the 19th Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, San Diego, California, USA, June
9-11, 2007},
pages = {229--240},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1248377.1248416},
doi = {10.1145/1248377.1248416},
timestamp = {Wed, 21 Nov 2018 11:13:44 +0100},
biburl = {https://dblp.org/rec/conf/spaa/AgarwalBBSSY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/RajaS06,
author = {N. Raja and
R. K. Shyamasundar},
title = {Actors as a Coordinating Model of Computation},
journal = {Informatica (Slovenia)},
volume = {30},
number = {2},
pages = {233--244},
year = {2006},
url = {http://www.informatica.si/index.php/informatica/article/view/90},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/RajaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/RajaS06,
author = {N. Raja and
R. K. Shyamasundar},
title = {A closer look at constraints as processes},
journal = {Inf. Process. Lett.},
volume = {98},
number = {5},
pages = {206--210},
year = {2006},
url = {https://doi.org/10.1016/j.ipl.2006.01.010},
doi = {10.1016/J.IPL.2006.01.010},
timestamp = {Mon, 11 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/RajaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KundajiS06,
author = {Rohit N. Kundaji and
R. K. Shyamasundar},
title = {Refinement calculus: {A} basis for translation validation, debugging
and certification},
journal = {Theor. Comput. Sci.},
volume = {354},
number = {1},
pages = {153--168},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.11.013},
doi = {10.1016/J.TCS.2005.11.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KundajiS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/JhaS06,
author = {Susmit Jha and
R. K. Shyamasundar},
title = {Adapting Biochemical Kripke Structures for Distributed Model Checking},
journal = {Trans. Comp. Sys. Biology},
volume = {7},
pages = {107--122},
year = {2006},
url = {https://doi.org/10.1007/11905455\_6},
doi = {10.1007/11905455\_6},
timestamp = {Wed, 06 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcsb/JhaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciss/KumarS06,
author = {N. V. Narendra Kumar and
R. K. Shyamasundar},
editor = {Aditya Bagchi and
Vijayalakshmi Atluri},
title = {Specification and Realization of Access Control in {SPKI/SDSI}},
booktitle = {Information Systems Security, Second International Conference, {ICISS}
2006, Kolkata, India, December 19-21, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4332},
pages = {177--193},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961635\_12},
doi = {10.1007/11961635\_12},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/iciss/KumarS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/DoucetKGS06,
author = {Frederic Doucet and
Ingolf Kr{\"{u}}ger and
Rajesh K. Gupta and
R. K. Shyamasundar},
title = {Compositional interaction specifications for SystemC},
booktitle = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
Suites, Napa, California, {USA}},
pages = {201},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/MEMCOD.2006.1695930},
doi = {10.1109/MEMCOD.2006.1695930},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/DoucetKGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/AroraS06,
author = {Neelima Arora and
R. K. Shyamasundar},
editor = {Jo{\~{a}}o Ascenso and
Luminita Vasiu and
Carlos Belo and
M{\'{o}}nica Saramago},
title = {{UGSP:} Authentication based secure protocol for {AD-HOC} networks},
booktitle = {e-Business and Telecommunication Networks},
pages = {242--247},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/1-4020-4761-4\_22},
doi = {10.1007/1-4020-4761-4\_22},
timestamp = {Tue, 16 May 2017 14:01:33 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/AroraS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isf/PatilS05,
author = {Vishwas Patil and
R. K. Shyamasundar},
title = {\emph{e-coupons}: An Efficient, Secure and Delegable Micro-Payment
System},
journal = {Inf. Syst. Frontiers},
volume = {7},
number = {4-5},
pages = {371--389},
year = {2005},
url = {https://doi.org/10.1007/s10796-005-4809-1},
doi = {10.1007/S10796-005-4809-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isf/PatilS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/BhattacharjeeS05,
author = {A. K. Bhattacharjee and
R. K. Shyamasundar},
editor = {Goutam Chakraborty},
title = {Validated Code Generation for Activity Diagrams},
booktitle = {Distributed Computing and Internet Technology, Second International
Conference, {ICDCIT} 2005, Bhubaneswar, India, December 22-24, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3816},
pages = {508--521},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11604655\_57},
doi = {10.1007/11604655\_57},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/BhattacharjeeS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcnc/AroraS05,
author = {Neelima Arora and
R. K. Shyamasundar},
title = {{PGSP:} a protocol for secure communication in peer-to-peer system},
booktitle = {{IEEE} Wireless Communications and Networking Conference, {WCNC} 2005,
March 13-17, 2005, New Orleans, Louisiana, {USA}},
pages = {2094--2099},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/WCNC.2005.1424841},
doi = {10.1109/WCNC.2005.1424841},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/wcnc/AroraS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/RajaS04,
author = {N. Raja and
R. K. Shyamasundar},
title = {Type Systems for Concurrent Programming Calculi},
journal = {Informatica (Slovenia)},
volume = {28},
number = {1},
pages = {103--113},
year = {2004},
timestamp = {Mon, 11 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/RajaS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/GuptaS04,
author = {Rajesh Gupta and
R. K. Shyamasundar},
editor = {Michael J. Maher},
title = {Reactive Framework for Resource Aware Distributed Computing},
booktitle = {Advances in Computer Science - {ASIAN} 2004, Higher-Level Decision
Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis
Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand,
December 8-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3321},
pages = {452--467},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30502-6\_33},
doi = {10.1007/978-3-540-30502-6\_33},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/GuptaS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eee/PatilS04,
author = {Vishwas Patil and
R. K. Shyamasundar},
title = {An Efficient, Secure and Delegable Micro-Payment System},
booktitle = {2004 {IEEE} International Conference on e-Technology, e-Commerce,
and e-Services {(EEE} 04), 29-31 March 2004, Taipei, Taiwan},
pages = {394--404},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/EEE.2004.1287338},
doi = {10.1109/EEE.2004.1287338},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eee/PatilS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egcdmas/PatilS04,
author = {Vishwas Patil and
R. K. Shyamasundar},
editor = {Mohammad S. Obaidat and
Noureddine Boudriga},
title = {Towards a Flexible Access Control Mechanism for E-Transactions},
booktitle = {Electronic Government and Commerce: Design, Modeling, Analysis and
Security - Proceedings of the 1st International Workshop on Electronic
Government and Commerce: Design, Modeling, Analysis and Security,
{EGCDMAS} 2004, In conjunction with {ICETE} 2004, Set{\'{u}}bal,
Portugal, August 2004},
pages = {66--81},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Wed, 15 Dec 2004 14:13:59 +0100},
biburl = {https://dblp.org/rec/conf/egcdmas/PatilS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grid/JainS04,
author = {Amit Jain and
R. K. Shyamasundar},
editor = {Rajkumar Buyya},
title = {Failure Detection and Membership Management in Grid Environments},
booktitle = {5th International Workshop on Grid Computing {(GRID} 2004), 8 November
2004, Pittsburgh, PA, USA, Proceedings},
pages = {44--52},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/GRID.2004.30},
doi = {10.1109/GRID.2004.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/grid/JainS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/AroraS04,
author = {Neelima Arora and
R. K. Shyamasundar},
editor = {R. K. Ghosh and
Hrushikesha Mohanty},
title = {{UGSP:} Secure Key Establishment Protocol for Ad-Hoc Network},
booktitle = {Distributed Computing and Internet Technology, First International
Conference, {ICDCIT} 2004, Bhubaneswar, India, December 22-24, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3347},
pages = {391--399},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30555-2\_46},
doi = {10.1007/978-3-540-30555-2\_46},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/AroraS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icete/AroraS04,
author = {Neelima Arora and
R. K. Shyamasundar},
editor = {Jo{\~{a}}o Ascenso and
Carlos Belo and
Luminita Vasiu and
M{\'{o}}nica Saramago and
Helder Coelhas},
title = {{UGSP:} Authentication Based Secure Protocol for Ad-Hoc Networks},
booktitle = {{ICETE} 2004, 1st International Conference on E-Business and Telecommunication
Networks, Set{\'{u}}bal, Portugal, August 24-28, 2004, Proceedings},
pages = {191--196},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Mon, 25 Oct 2004 15:24:15 +0200},
biburl = {https://dblp.org/rec/conf/icete/AroraS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KundajiS04,
author = {Rohit N. Kundaji and
R. K. Shyamasundar},
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {Development of Semantic Debuggers Based on Refinement Calculus},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
pages = {460--461},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_38},
doi = {10.1007/978-3-540-27775-0\_38},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/KundajiS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icwn/GargS04,
author = {Mohit Garg and
R. K. Shyamasundar},
editor = {Hamid R. Arabnia and
Laurence Tianruo Yang and
Chi{-}Hsiang Yeh},
title = {A Distributed Clustering Framework in Mobile Ad Hoc Networks},
booktitle = {Proceedings of the International Conference on Wireless Networks,
{ICWN} '04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 1},
pages = {32--38},
publisher = {{CSREA} Press},
year = {2004},
timestamp = {Mon, 22 Nov 2004 14:01:57 +0100},
biburl = {https://dblp.org/rec/conf/icwn/GargS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/KalyanasundaramS04,
author = {Krishnamani Kalyanasundaram and
R. K. Shyamasundar},
title = {Formal verification of pipelined processors with precise exceptions},
booktitle = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
California, USA, Proceedings},
pages = {129--139},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/MEMCOD.2004.1459832},
doi = {10.1109/MEMCOD.2004.1459832},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/KalyanasundaramS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/RajaS03,
author = {N. Raja and
R. K. Shyamasundar},
title = {Type Systems for Concurrent Programming Calculi},
journal = {Informatica (Slovenia)},
volume = {27},
number = {4},
pages = {433--443},
year = {2003},
timestamp = {Mon, 11 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/RajaS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/AcharyaMS03,
author = {Satyajit Acharya and
Hrushikesha Mohanty and
R. K. Shyamasundar},
title = {{MOBICHARTS:} {A} Notation to Specify Mobile Computing Applications},
booktitle = {36th Hawaii International Conference on System Sciences {(HICSS-36}
2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island,
HI, {USA}},
pages = {298},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/HICSS.2003.1174844},
doi = {10.1109/HICSS.2003.1174844},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/AcharyaMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iicai/BorkarDS03,
author = {Vivek S. Borkar and
Mehul S. Dave and
R. K. Shyamasundar},
editor = {Bhanu Prasad},
title = {Algorithmic Mechanisms for Secure Multi-Auction Systems},
booktitle = {Proceedings of the 1st Indian International Conference on Artificial
Intelligence, {IICAI} 2003, Hyderabad, India, December 18-20, 2003},
pages = {212--225},
publisher = {{IICAI}},
year = {2003},
timestamp = {Fri, 15 Dec 2023 18:26:01 +0100},
biburl = {https://dblp.org/rec/conf/iicai/BorkarDS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/ShyamasundarD02,
author = {R. K. Shyamasundar and
Siddharth B. Deshmukh},
editor = {Alain Jean{-}Marie},
title = {MicroBill: An Efficient Secure System for Subscription Based Services},
booktitle = {Advances in Computing Science - {ASIAN} 2002, Internet Computing and
Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing,
7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2550},
pages = {220--232},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36184-7\_20},
doi = {10.1007/3-540-36184-7\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/ShyamasundarD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipc/ShyamasundarRPJ02,
author = {R. K. Shyamasundar and
Basant Rajan and
Manish Prasad and
Amit Jain},
editor = {Sartaj Sahni and
Viktor K. Prasanna and
Uday Shukla},
title = {{LLM:} {A} Low Latency Messaging Infrastructure for Linux Clusters},
booktitle = {High Performance Computing - HiPC 2002, 9th International Conference,
Bangalore, India, December 18-21, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2552},
pages = {112--123},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36265-7\_11},
doi = {10.1007/3-540-36265-7\_11},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/hipc/ShyamasundarRPJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Shyamasundar02,
author = {R. K. Shyamasundar},
editor = {Agostino Cortesi},
title = {Analyzing Cryptographic Protocols in a Reactive Framework},
booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International
Workshop, {VMCAI} 2002, Venice, Italy, January 21-22, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2294},
pages = {46--64},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47813-2\_4},
doi = {10.1007/3-540-47813-2\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Shyamasundar02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0202006,
author = {D. Ravi and
R. K. Shyamasundar},
title = {Approximate Computation of Reach Sets in Hybrid Systems},
journal = {CoRR},
volume = {cs.LO/0202006},
year = {2002},
url = {https://arxiv.org/abs/cs/0202006},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0202006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/BhattacharjeeDS01,
author = {A. K. Bhattacharjee and
S. D. Dhodapkar and
R. K. Shyamasundar},
title = {{PERTS:} an environment for specification and verification of reactive
systems},
journal = {Reliab. Eng. Syst. Saf.},
volume = {71},
number = {3},
pages = {299--310},
year = {2001},
url = {https://doi.org/10.1016/S0951-8320(00)00081-8},
doi = {10.1016/S0951-8320(00)00081-8},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/BhattacharjeeDS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/BhattacharjeeDS01a,
author = {A. K. Bhattacharjee and
S. D. Dhodapkar and
R. K. Shyamasundar},
title = {{PERTS:} an environment for specification and verification of reactive
systems: [Reliability Engineering and System Safety, 71(3), 2001,
299-310]},
journal = {Reliab. Eng. Syst. Saf.},
volume = {72},
number = {2},
pages = {223},
year = {2001},
url = {https://doi.org/10.1016/S0951-8320(01)00021-7},
doi = {10.1016/S0951-8320(01)00021-7},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ress/BhattacharjeeDS01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BelachewS01,
author = {Mesfin Belachew and
R. K. Shyamasundar},
title = {{MSC+:} From Requirement to Prototyped Systems},
booktitle = {13th Euromicro Conference on Real-Time Systems {(ECRTS} 2001), 13-15
June 2001, Delft, The Netherlands, Proceedings},
pages = {117--124},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/EMRTS.2001.934013},
doi = {10.1109/EMRTS.2001.934013},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/BelachewS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ShyamasundarA01,
author = {R. K. Shyamasundar and
J. V. Aghav},
title = {Validating Real-Time Constraints in Embedded Systems},
booktitle = {8th Pacific Rim International Symposium on Dependable Computing {(PRDC}
2001), 17-19 December 2001, Seoul, Korea},
pages = {347--355},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/PRDC.2001.992719},
doi = {10.1109/PRDC.2001.992719},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/ShyamasundarA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/PhanseS01,
author = {Siddharth R. Phanse and
R. K. Shyamasundar},
title = {Application of Esterel for Modelling and Verification of Cachet Protocol
on {CRF} Memory Model},
booktitle = {14th International Conference on {VLSI} Design {(VLSI} Design 2001),
3-7 January 2001, Bangalore, India},
pages = {179--188},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICVD.2001.902658},
doi = {10.1109/ICVD.2001.902658},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/PhanseS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ShyamasundarR00,
author = {R. K. Shyamasundar and
S. Ramesh},
title = {Languages for Reactive Specifications: Synchrony Vs Asynchrony},
journal = {Int. J. Found. Comput. Sci.},
volume = {11},
number = {2},
pages = {283--314},
year = {2000},
url = {https://doi.org/10.1142/S012905410000017X},
doi = {10.1142/S012905410000017X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/ShyamasundarR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/AnandS00,
author = {K. C. Anand and
R. K. Shyamasundar},
title = {Formal Verification of Activity-Based Specification of Protocols},
journal = {J. Parallel Distributed Comput.},
volume = {60},
number = {5},
pages = {639--676},
year = {2000},
url = {https://doi.org/10.1006/jpdc.2000.1622},
doi = {10.1006/JPDC.2000.1622},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/AnandS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/RajanS00,
author = {Basant Rajan and
R. K. Shyamasundar},
editor = {Tommaso Bolognesi and
Diego Latella},
title = {Modeling Distributed Embedded Systems in Multiclock {ESTEREL}},
booktitle = {Formal Techniques for Distributed System Development, {FORTE/PSTV}
2000, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal
Description Techniques for Distributed Systems and Communication Protocols
{(FORTE} {XIII)} and Protocol Specification, Testing and Verification
{(PSTV} XX), October 10-13, 2000, Pisa, Italy},
series = {{IFIP} Conference Proceedings},
volume = {183},
pages = {301--316},
publisher = {Kluwer},
year = {2000},
timestamp = {Tue, 19 Feb 2002 10:53:34 +0100},
biburl = {https://dblp.org/rec/conf/forte/RajanS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BhattacharjeeSDKRS00,
author = {A. K. Bhattacharjee and
Gopa Sen and
S. D. Dhodapkar and
Kundapur Karunakar and
Basant Rajan and
R. K. Shyamasundar},
editor = {Mathai Joseph},
title = {A System for Object Code Validation},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International
Symposium, {FTRTFT} 2000, Pune, India, September 20-22, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1926},
pages = {152--169},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45352-0\_14},
doi = {10.1007/3-540-45352-0\_14},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/BhattacharjeeSDKRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/RajanS00,
author = {Basant Rajan and
R. K. Shyamasundar},
title = {Multiclock Esterel: {A} Reactive Framework for Asynchronous Design},
booktitle = {Proceedings of the 14th International Parallel {\&} Distributed
Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000},
pages = {201--210},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/IPDPS.2000.845982},
doi = {10.1109/IPDPS.2000.845982},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/RajanS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/RajanS00,
author = {Basant Rajan and
R. K. Shyamasundar},
title = {Modeling {VHDL} in Multiclock {ESTEREL}},
booktitle = {13th International Conference on {VLSI} Design {(VLSI} Design 2000),
4-7 January 2000, Calcutta, India},
pages = {76--83},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICVD.2000.812588},
doi = {10.1109/ICVD.2000.812588},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/RajanS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SeshiaSBD99,
author = {Sanjit A. Seshia and
R. K. Shyamasundar and
A. K. Bhattacharjee and
S. D. Dhodapkar},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {A Translation of Statecharts to Esterel},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {983--1007},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_3},
doi = {10.1007/3-540-48118-4\_3},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/SeshiaSBD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BhattacharjeeDSS99,
author = {A. K. Bhattacharjee and
S. D. Dhodapkar and
Sanjit A. Seshia and
R. K. Shyamasundar},
editor = {Massimo Felici and
Karama Kanoun and
Alberto Pasquini},
title = {A Graphical Environment for the Specification and Verification of
Reactive Systems},
booktitle = {Computer Safety, Reliability and Security, 18th International Conference,
SAFECOMP'99, Toulouse, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1698},
pages = {431--444},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48249-0\_37},
doi = {10.1007/3-540-48249-0\_37},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BhattacharjeeDSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RaoKS98,
author = {M. R. K. Krishna Rao and
Deepak Kapur and
R. K. Shyamasundar},
title = {Transformational Methodology for Proving Termination of Logic Programs},
journal = {J. Log. Program.},
volume = {34},
number = {1},
pages = {1--41},
year = {1998},
url = {https://doi.org/10.1016/S0743-1066(97)00028-9},
doi = {10.1016/S0743-1066(97)00028-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/RaoKS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/PinchinatRS98,
author = {Sophie Pinchinat and
{\'{E}}ric Rutten and
R. K. Shyamasundar},
editor = {Jieh Hsiang and
Atsushi Ohori},
title = {Taxonomy and Expressiveness of Preemption: {A} Syntactic Approach},
booktitle = {Advances in Computing Science - {ASIAN} '98, 4th Asian Computing Science
Conference, Manila, The Philippines, December 8-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1538},
pages = {125--141},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49366-2\_11},
doi = {10.1007/3-540-49366-2\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/PinchinatRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/RajaS98,
author = {N. Raja and
R. K. Shyamasundar},
editor = {Jieh Hsiang and
Atsushi Ohori},
title = {Mobile Computation: Calculus and Languages {(A} Tutorial)},
booktitle = {Advances in Computing Science - {ASIAN} '98, 4th Asian Computing Science
Conference, Manila, The Philippines, December 8-10, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1538},
pages = {300--304},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49366-2\_22},
doi = {10.1007/3-540-49366-2\_22},
timestamp = {Mon, 11 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asian/RajaS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/KhemkaS97,
author = {Ashok Khemka and
R. K. Shyamasundar},
title = {An Optimal Multiprocessor Real-Time Scheduling Algorithm},
journal = {J. Parallel Distributed Comput.},
volume = {43},
number = {1},
pages = {37--45},
year = {1997},
url = {https://doi.org/10.1006/jpdc.1997.1327},
doi = {10.1006/JPDC.1997.1327},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/KhemkaS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/RaoKS97,
author = {M. R. K. Krishna Rao and
Deepak Kapur and
R. K. Shyamasundar},
title = {Proving Termination of {GHC} Programs},
journal = {New Gener. Comput.},
volume = {15},
number = {3},
pages = {293--338},
year = {1997},
url = {https://doi.org/10.1007/BF03037949},
doi = {10.1007/BF03037949},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/RaoKS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RajaS97,
author = {N. Raja and
R. K. Shyamasundar},
title = {Combinatory Formaulations of Concurrent Languages},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {19},
number = {6},
pages = {899--915},
year = {1997},
url = {https://doi.org/10.1145/267959.269967},
doi = {10.1145/267959.269967},
timestamp = {Mon, 11 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RajaS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/KapurS97,
author = {Deepak Kapur and
R. K. Shyamasundar},
editor = {Oded Maler},
title = {Synthesizing Controllers for Hybrid Systems},
booktitle = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble,
France, March 26-28, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1201},
pages = {361--375},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014738},
doi = {10.1007/BFB0014738},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/KapurS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asian/1997,
editor = {R. K. Shyamasundar and
Kazunori Ueda},
title = {Advances in Computing Science - {ASIAN} '97, Third Asian Computing
Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1345},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63875-X},
doi = {10.1007/3-540-63875-X},
isbn = {3-540-63875-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijhsc/KazerouniRS96,
author = {Ladan Kazerouni and
Basant Rajan and
R. K. Shyamasundar},
title = {Mapping Linear Recurrence Equations onto Systolic Architectures},
journal = {Int. J. High Speed Comput.},
volume = {8},
number = {3},
pages = {229--270},
year = {1996},
url = {https://doi.org/10.1142/S0129053396000148},
doi = {10.1142/S0129053396000148},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijhsc/KazerouniRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/MajumdarS96,
author = {Rupak Majumdar and
R. K. Shyamasundar},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Design of Controllers for Linear Hybrid Systems},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {309--320},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027803},
doi = {10.1007/BFB0027803},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/MajumdarS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/RajaS96,
author = {N. Raja and
R. K. Shyamasundar},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Igor V. Pottosin},
title = {Actors as a Coordinating Model of Computation (Extended Abstract)},
booktitle = {Perspectives of System Informatics, Second International Andrei Ershov
Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1181},
pages = {191--202},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62064-8\_17},
doi = {10.1007/3-540-62064-8\_17},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/RajaS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/KazerouniRS96,
author = {Ladan Kazerouni and
Basant Rajan and
R. K. Shyamasundar},
title = {Mapping Linear Recurrences onto Systolic Arrays},
booktitle = {Proceedings of {IPPS} '96, The 10th International Parallel Processing
Symposium, April 15-19, 1996, Honolulu, Hawaii, {USA}},
pages = {891--897},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/IPPS.1996.508197},
doi = {10.1109/IPPS.1996.508197},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/KazerouniRS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/RajaS95,
author = {N. Raja and
R. K. Shyamasundar},
title = {The Quine-Bernays Combinatory Calculus},
journal = {Int. J. Found. Comput. Sci.},
volume = {6},
number = {4},
pages = {417--430},
year = {1995},
url = {https://doi.org/10.1142/S0129054195000226},
doi = {10.1142/S0129054195000226},
timestamp = {Mon, 11 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/RajaS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/PinchinatRS95,
author = {Sophie Pinchinat and
{\'{E}}ric Rutten and
R. K. Shyamasundar},
editor = {Kanchana Kanchanasut and
Jean{-}Jacques L{\'{e}}vy},
title = {Preemption Primitives in Reactive Languages {(A} Preliminary Report)},
booktitle = {Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science
Conference, {ACSC} '95, Pathumthani, Thailand, December 11-13, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1023},
pages = {111--125},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60688-2\_39},
doi = {10.1007/3-540-60688-2\_39},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/PinchinatRS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/RajaS95,
author = {N. Raja and
R. K. Shyamasundar},
editor = {Kanchana Kanchanasut and
Jean{-}Jacques L{\'{e}}vy},
title = {Combinatory Formulations of Concurrent Languages},
booktitle = {Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science
Conference, {ACSC} '95, Pathumthani, Thailand, December 11-13, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1023},
pages = {156--170},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60688-2\_42},
doi = {10.1007/3-540-60688-2\_42},
timestamp = {Mon, 11 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asian/RajaS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/RaoS95,
author = {M. R. K. Krishna Rao and
R. K. Shyamasundar},
editor = {Alan Mycroft},
title = {Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs},
booktitle = {Static Analysis, Second International Symposium, SAS'95, Glasgow,
UK, September 25-27, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {983},
pages = {243--260},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60360-3\_43},
doi = {10.1007/3-540-60360-3\_43},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/RaoS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/LiuS94,
author = {Leo Yuhsiang Liu and
R. K. Shyamasundar},
title = {{RT-CDL:} {A} Distributed Real-Time Design Language and Its Operational
Semantics},
journal = {Comput. Lang.},
volume = {20},
number = {1},
pages = {1--23},
year = {1994},
url = {https://doi.org/10.1016/0096-0551(94)90011-6},
doi = {10.1016/0096-0551(94)90011-6},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/LiuS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ShyamasundarW94,
author = {R. K. Shyamasundar and
Bal Wang},
title = {A Methodology for Provin Termination of Logic Programs},
journal = {J. Log. Program.},
volume = {21},
number = {1},
pages = {1--30},
year = {1994},
url = {https://doi.org/10.1016/0743-1066(94)90004-3},
doi = {10.1016/0743-1066(94)90004-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ShyamasundarW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/ShyamasundarR94,
author = {R. K. Shyamasundar and
S. Ramesh},
editor = {Hans Langmaack and
Willem P. de Roever and
Jan Vytopil},
title = {Languages for Reactive Specifications: Synchrony Vs Asynchrony},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International
Symposium Organized Jointly with the Working Group Provably Correct
Systems - ProCoS, L{\"{u}}beck, Germany, September 19-23, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {863},
pages = {621--640},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58468-4\_187},
doi = {10.1007/3-540-58468-4\_187},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/ShyamasundarR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ShyamasundarR94,
author = {R. K. Shyamasundar and
S. Ramesh},
editor = {Panos J. Antsaklis and
Wolf Kohn and
Anil Nerode and
Shankar Sastry},
title = {Semantics and Verification of Hierarchical {CRP} Programs},
booktitle = {Hybrid Systems II, Proceedings of the Third International Workshop
on Hybrid Systems, Ithaca, NY, USA, October 1994},
series = {Lecture Notes in Computer Science},
volume = {999},
pages = {436--461},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-60472-3\_23},
doi = {10.1007/3-540-60472-3\_23},
timestamp = {Fri, 29 Apr 2022 09:17:30 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ShyamasundarR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/KazerouniRS94,
author = {Ladan Kazerouni and
Basant Rajan and
R. K. Shyamasundar},
editor = {Jagdish Chandra},
title = {Derivation of Systolic Programs},
booktitle = {Proceedings of the 1994 International Conference on Parallel Processing,
North Carolina State University, NC, USA, August 15-19, 1994. Volume
{I:} Algorithms {\&} Applications},
pages = {69--73},
publisher = {{CRC} Press},
year = {1994},
url = {https://doi.org/10.1109/ICPP.1994.86},
doi = {10.1109/ICPP.1994.86},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpp/KazerouniRS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Shyamasandar94,
author = {R. K. Shyamasundar},
editor = {Bj{\"{o}}rn Pehrson and
Imre Simon},
title = {Specifying Dynamic Reat-Time Systems in {CRP}},
booktitle = {Technology and Foundations - Information Processing '94, Volume 1,
Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
28 August - 2 September, 1994},
series = {{IFIP} Transactions},
volume = {{A-51}},
pages = {75--80},
publisher = {North-Holland},
year = {1994},
timestamp = {Tue, 15 Mar 2016 13:03:03 +0100},
biburl = {https://dblp.org/rec/conf/ifip/Shyamasandar94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ShyamasundarNP93,
author = {R. K. Shyamasundar and
K. T. Narayana and
Toniann Pitassi},
title = {Semantics of Nondeterministic Asynchronous Broadcast Networks},
journal = {Inf. Comput.},
volume = {104},
number = {2},
pages = {215--252},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1031},
doi = {10.1006/INCO.1993.1031},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ShyamasundarNP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijhsc/KhemkaS93,
author = {Ashok Khemka and
R. K. Shyamasundar},
title = {Multiprocessor Scheduling of Periodic Tasks in a Hard Real-Time Environment},
journal = {Int. J. High Speed Comput.},
volume = {5},
number = {4},
pages = {617--636},
year = {1993},
url = {https://doi.org/10.1142/S0129053393000256},
doi = {10.1142/S0129053393000256},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijhsc/KhemkaS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Shyamasundar93,
author = {R. K. Shyamasundar},
editor = {Maurice Nivat and
Charles Rattray and
Teodor Rus and
Giuseppe Scollo},
title = {Specification of Hybrid Systems in {CRP}},
booktitle = {Algebraic Methodology and Software Technology {(AMAST} '93), Proceedings
of the Third International Conference on Methodology and Software
Technology, University of Twente, Enschede, The Netherlands, 21-25
June, 1993},
series = {Workshops in Computing},
pages = {225--236},
publisher = {Springer},
year = {1993},
timestamp = {Tue, 18 Feb 2003 11:00:12 +0100},
biburl = {https://dblp.org/rec/conf/amast/Shyamasundar93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/RaoPS93,
author = {M. R. K. Krishna Rao and
Paritosh K. Pandya and
R. K. Shyamasundar},
editor = {Jim Woodcock and
Peter Gorm Larsen},
title = {Verification Tools in the Development of Provably Correct Compilers},
booktitle = {{FME} '93: Industrial-Strength Formal Methods, First International
Symposium of Formal Methods Europe, Odense, Denmark, April 19-23,
1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {670},
pages = {442--461},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0024661},
doi = {10.1007/BFB0024661},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/RaoPS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RaoKS93,
author = {M. R. K. Krishna Rao and
Deepak Kapur and
R. K. Shyamasundar},
editor = {David Scott Warren},
title = {Proving Termination of {GHC} Programs},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference
on Logic Programming, Budapest, Hungary, June 21-25, 1993},
pages = {720--736},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/RaoKS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/KhemakaSS93,
author = {Ashok Khemka and
K. V. Subramanyam and
R. K. Shyamasundar},
title = {Multiprocessors Scheduling for Imprecise Computations in a Hard Real-Time
Environment},
booktitle = {The Seventh International Parallel Processing Symposium, Proceedings,
Newport Beach, California, USA, April 13-16, 1993},
pages = {374--378},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/IPPS.1993.262909},
doi = {10.1109/IPPS.1993.262909},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/KhemakaSS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BerryRS93,
author = {G{\'{e}}rard Berry and
S. Ramesh and
R. K. Shyamasundar},
editor = {Mary S. Van Deusen and
Bernard Lang},
title = {Communicating Reactive Processes},
booktitle = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Charleston, South Carolina,
USA, January 1993},
pages = {85--98},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/158511.158526},
doi = {10.1145/158511.158526},
timestamp = {Wed, 16 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/BerryRS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1993,
editor = {R. K. Shyamasundar},
title = {Foundations of Software Technology and Theoretical Computer Science,
13th Conference, Bombay, India, December 15-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {761},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57529-4},
doi = {10.1007/3-540-57529-4},
isbn = {3-540-57529-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alpuk/ShyamasundarRK92,
author = {R. K. Shyamasundar and
M. R. K. Krishna Rao and
Deepak Kapur},
editor = {Krysia Broda},
title = {Rewriting Concepts in the Study of Termination of Logic Programs},
booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
London, 30 March - 1 April 1992},
series = {Workshops in Computing},
pages = {3--20},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3421-3\_1},
doi = {10.1007/978-1-4471-3421-3\_1},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/alpuk/ShyamasundarRK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/KhemkaS92,
author = {Ashok Khemka and
R. K. Shyamasundar},
editor = {Viktor K. Prasanna and
Larry H. Canter},
title = {Multiprocessor Scheduling of Periodic Tasks in a Hard Real-Time Environment},
booktitle = {Proceedings of the 6th International Parallel Processing Symposium,
Beverly Hills, CA, USA, March 1992},
pages = {76--81},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/IPPS.1992.223068},
doi = {10.1109/IPPS.1992.223068},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/KhemkaS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1992,
editor = {R. K. Shyamasundar},
title = {Foundations of Software Technology and Theoretical Computer Science,
12th Conference, New Delhi, India, December 18-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {652},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56287-7},
doi = {10.1007/3-540-56287-7},
isbn = {3-540-56287-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/RaoKS91,
author = {M. R. K. Krishna Rao and
Deepak Kapur and
R. K. Shyamasundar},
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine B{\"{u}}ning and
Michael M. Richter},
title = {A Transformational Methodology for Proving Termination of Logic Programs},
booktitle = {Computer Science Logic, 5th Workshop, {CSL} '91, Berne, Switzerland,
October 7-11, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {626},
pages = {213--226},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023769},
doi = {10.1007/BFB0023769},
timestamp = {Fri, 17 Jul 2020 16:12:45 +0200},
biburl = {https://dblp.org/rec/conf/csl/RaoKS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/WangS91,
author = {Bal Wang and
R. K. Shyamasundar},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Methodology for Proving the Termination of Logic Programs},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {214--227},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020800},
doi = {10.1007/BFB0020800},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/WangS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LodayaS90,
author = {Kamal Lodaya and
R. K. Shyamasundar},
title = {Proof Theory for Exception Handling in a Tasking Environment},
journal = {Acta Informatica},
volume = {28},
number = {1},
pages = {7--41},
year = {1990},
url = {https://doi.org/10.1007/BF02983373},
doi = {10.1007/BF02983373},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/LodayaS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/LiuS90,
author = {Leo Yuhsiang Liu and
R. K. Shyamasundar},
title = {Exception Handling in {RT-CDL}},
journal = {Comput. Lang.},
volume = {15},
number = {3},
pages = {177--192},
year = {1990},
url = {https://doi.org/10.1016/0096-0551(90)90010-M},
doi = {10.1016/0096-0551(90)90010-M},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/LiuS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LiuS90,
author = {Leo Yuhsiang Liu and
R. K. Shyamasundar},
title = {Static Analysis of Real-Time Distributed Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {16},
number = {4},
pages = {373--388},
year = {1990},
url = {https://doi.org/10.1109/32.54290},
doi = {10.1109/32.54290},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LiuS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/WangS90,
author = {Bal Wang and
R. K. Shyamasundar},
editor = {Pierre Deransart and
Jan Maluszynski},
title = {Towards a Characterization of Termination of Logic Programs},
booktitle = {Programming Language Implementation and Logic Programming, 2nd International
Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {456},
pages = {204--221},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0024186},
doi = {10.1007/BFB0024186},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/WangS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ShyamasundarT89,
author = {R. K. Shyamasundar and
James W. Thatcher},
title = {Language Constructs for Specifying Concurrency in CDL*},
journal = {{IEEE} Trans. Software Eng.},
volume = {15},
number = {8},
pages = {977--993},
year = {1989},
url = {https://doi.org/10.1109/32.31354},
doi = {10.1109/32.31354},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ShyamasundarT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/LiuS89,
author = {Leo Yuhsiang Liu and
R. K. Shyamasundar},
editor = {Gerhard X. Ritter},
title = {{RT-CDL:} {A} Real Time Design Language and Its Semantics},
booktitle = {Information Processing 89, Proceedings of the {IFIP} 11th World Computer
Congress, San Francisco, USA, August 28 - September 1, 1989},
pages = {21--26},
publisher = {North-Holland/IFIP},
year = {1989},
timestamp = {Wed, 02 Feb 2022 21:17:54 +0100},
biburl = {https://dblp.org/rec/conf/ifip/LiuS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/LiuS89,
author = {Leo Yuhsiang Liu and
R. K. Shyamasundar},
editor = {Sol J. Greenspan},
title = {An operational semantics of real time design language {RT-CDL}},
booktitle = {Proceedings of the 5th International Workshop on Software Specification
and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
pages = {75--82},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/75199.75212},
doi = {10.1145/75199.75212},
timestamp = {Fri, 18 Feb 2022 16:26:12 +0100},
biburl = {https://dblp.org/rec/conf/iwssd/LiuS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/ShyamasundarHG89,
author = {Rudrapatna K. Shyamasundar and
Jozef Hooman and
Rob Gerth},
editor = {Sol J. Greenspan},
title = {Reasoning of real-time distributed programming languages},
booktitle = {Proceedings of the 5th International Workshop on Software Specification
and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
pages = {91--99},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/75199.75214},
doi = {10.1145/75199.75214},
timestamp = {Fri, 18 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwssd/ShyamasundarHG89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KoymansSRGA88,
author = {Ron Koymans and
R. K. Shyamasundar and
Willem P. de Roever and
Rob Gerth and
S. Arun{-}Kumar},
title = {Compositional Semantics for Real-Time Distributed Computing},
journal = {Inf. Comput.},
volume = {79},
number = {3},
pages = {210--256},
year = {1988},
url = {https://doi.org/10.1016/0890-5401(88)90020-X},
doi = {10.1016/0890-5401(88)90020-X},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KoymansSRGA88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/LiuS88,
author = {Leo Yuhsiang Liu and
R. K. Shyamasundar},
editor = {Mathai Joseph},
title = {Static Analysis of Real-time Distributed Systems},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings
of a Symposium, Warwick, UK, September 22-23, 1988},
series = {Lecture Notes in Computer Science},
volume = {331},
pages = {134--138},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50302-1\_9},
doi = {10.1007/3-540-50302-1\_9},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/LiuS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ShyamasundarNP87,
author = {R. K. Shyamasundar and
K. T. Narayana and
Toniann Pitassi},
editor = {Thomas Ottmann},
title = {Semantics for Nondeterministic Asynchronous Broadcast Networks},
booktitle = {Automata, Languages and Programming, 14th International Colloquium,
ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {267},
pages = {72--83},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18088-5\_7},
doi = {10.1007/3-540-18088-5\_7},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ShyamasundarNP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/RavichandranS86,
author = {A. Ravichandran and
R. K. Shyamasundar},
title = {Correctness proof for the majority consensus algorithm},
journal = {Inf. Sci.},
volume = {38},
number = {3},
pages = {213--227},
year = {1986},
url = {https://doi.org/10.1016/0020-0255(86)90022-8},
doi = {10.1016/0020-0255(86)90022-8},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/RavichandranS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/KoymansSRGA85,
author = {Ron Koymans and
R. K. Shyamasundar and
Willem P. de Roever and
Rob Gerth and
S. Arun{-}Kumar},
editor = {Rohit Parikh},
title = {Compositional Semantics for Real-time Distributed Computing},
booktitle = {Logics of Programs, Conference, Brooklyn College, New York, NY, USA,
June 17-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {193},
pages = {167--189},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15648-8\_14},
doi = {10.1007/3-540-15648-8\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/KoymansSRGA85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pr/GhoshS84,
author = {Subir Kumar Ghosh and
R. K. Shyamasundar},
title = {A linear time algorithm for computing the convex hull of an ordered
crossing polygon},
journal = {Pattern Recognit.},
volume = {17},
number = {3},
pages = {351--358},
year = {1984},
url = {https://doi.org/10.1016/0031-3203(84)90086-4},
doi = {10.1016/0031-3203(84)90086-4},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pr/GhoshS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Shyamasundar84,
author = {R. K. Shyamasundar},
title = {A Simple Livelock-Free Algorithm for Packet Switching},
journal = {Sci. Comput. Program.},
volume = {4},
number = {3},
pages = {249--256},
year = {1984},
url = {https://doi.org/10.1016/0167-6423(84)90002-9},
doi = {10.1016/0167-6423(84)90002-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Shyamasundar84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/RamanujamS84,
author = {Ramaswamy Ramanujam and
R. K. Shyamasundar},
editor = {Mathai Joseph and
R. K. Shyamasundar},
title = {Process Specification of Logic Programs},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {181},
pages = {31--43},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13883-8\_63},
doi = {10.1007/3-540-13883-8\_63},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/RamanujamS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1984,
editor = {Mathai Joseph and
R. K. Shyamasundar},
title = {Foundations of Software Technology and Theoretical Computer Science,
Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {181},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13883-8},
doi = {10.1007/3-540-13883-8},
isbn = {3-540-13883-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/1984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pr/GhoshS83,
author = {Subir Kumar Ghosh and
R. K. Shyamasundar},
title = {A linear time algorithm for obtaining the convex hull of a simple
polygon},
journal = {Pattern Recognit.},
volume = {16},
number = {6},
pages = {587--592},
year = {1983},
url = {https://doi.org/10.1016/0031-3203(83)90075-4},
doi = {10.1016/0031-3203(83)90075-4},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pr/GhoshS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/MuraliS83,
author = {V. Murali and
R. K. Shyamasundar},
title = {A Sentence Generator for a Compiler for PT, a Pascal Subset},
journal = {Softw. Pract. Exp.},
volume = {13},
number = {9},
pages = {857--869},
year = {1983},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/MuraliS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MahadevanS83,
author = {S. Mahadevan and
R. K. Shyamasundar},
editor = {R. E. A. Mason},
title = {Correctness Preserving Transformations for Distributed Programs},
booktitle = {Information Processing 83, Proceedings of the {IFIP} 9th World Computer
Congress, Paris, France, September 19-23, 1983},
pages = {307--313},
publisher = {North-Holland/IFIP},
year = {1983},
timestamp = {Sun, 28 Jul 2019 17:03:41 +0200},
biburl = {https://dblp.org/rec/conf/ifip/MahadevanS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/RajasethupathyyS82,
author = {Kulathur S. Rajasethupathy and
R. K. Shyamasundar},
title = {A New Parsing Algorithm for EOL-Systems},
journal = {J. Inf. Process. Cybern.},
volume = {18},
number = {10/11},
pages = {543--564},
year = {1982},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/RajasethupathyyS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Shyamasundar82,
author = {R. K. Shyamasundar},
title = {On a Characterization of Pushdown Permuters},
journal = {Theor. Comput. Sci.},
volume = {17},
pages = {333--341},
year = {1982},
url = {https://doi.org/10.1016/0304-3975(82)90029-9},
doi = {10.1016/0304-3975(82)90029-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Shyamasundar82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/HehnerS81,
author = {Eric C. R. Hehner and
R. K. Shyamasundar},
title = {An Implementation of {P} and {V}},
journal = {Inf. Process. Lett.},
volume = {12},
number = {4},
pages = {196--198},
year = {1981},
url = {https://doi.org/10.1016/0020-0190(81)90100-9},
doi = {10.1016/0020-0190(81)90100-9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/HehnerS81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/RajasethupathyS80,
author = {Kulathur S. Rajasethupathy and
R. K. Shyamasundar},
title = {Programmed OL-systems},
journal = {Inf. Sci.},
volume = {20},
number = {2},
pages = {137--150},
year = {1980},
url = {https://doi.org/10.1016/0020-0255(80)90017-1},
doi = {10.1016/0020-0255(80)90017-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/RajasethupathyS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/Shyamasundar78,
author = {R. K. Shyamasundar},
title = {LR-Deterministic Grammars},
journal = {J. Inf. Process. Cybern.},
volume = {14},
number = {7/8},
pages = {361--376},
year = {1978},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/Shyamasundar78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Shyamasundar78a,
author = {R. K. Shyamasundar},
title = {A note on the transitive closure of a boolean matrix},
journal = {{SIGACT} News},
volume = {9},
number = {4},
pages = {18--21},
year = {1978},
url = {https://doi.org/10.1145/1008369.1008372},
doi = {10.1145/1008369.1008372},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Shyamasundar78a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Shyamasundar78,
author = {R. K. Shyamasundar},
title = {A note on the multiplication of 4x4 matrices},
journal = {{SIGACT} News},
volume = {10},
number = {1},
pages = {31--32},
year = {1978},
url = {https://doi.org/10.1145/1008605.1008610},
doi = {10.1145/1008605.1008610},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Shyamasundar78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KuichS76,
author = {Werner Kuich and
R. K. Shyamasundar},
title = {The Structure Generating Function of Some Families of Languages},
journal = {Inf. Control.},
volume = {32},
number = {1},
pages = {85--92},
year = {1976},
url = {https://doi.org/10.1016/S0019-9958(76)90128-5},
doi = {10.1016/S0019-9958(76)90128-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KuichS76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Shyamasundar76,
author = {R. K. Shyamasundar},
title = {A Note on Linear Precedence Functions},
journal = {Inf. Process. Lett.},
volume = {5},
number = {3},
pages = {81},
year = {1976},
url = {https://doi.org/10.1016/0020-0190(76)90070-3},
doi = {10.1016/0020-0190(76)90070-3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Shyamasundar76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 05:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
