default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSandeep S. Kulkarni
- > Home > Persons > Sandeep S. Kulkarni
Publications
- 2025
[j57]Arya Tanmay Gupta
, Sandeep S. Kulkarni:
Tolerance to asynchrony in algorithms for multiplication and modulo. Theor. Comput. Sci. 1024: 114914 (2025)- [c130]Amit Garu, Arya Tanmay Gupta, Duong Ngoc Nguyen, Sandeep S. Kulkarni:
Quantitative characterization of consistency violating faults at individual distributed computing processes. ICDCN 2025: 274-275 - [c129]Raaghav Ravishankar, Sandeep S. Kulkarni, Sathya Peri, Gokarna Sharma:
Distributing Context-Aware Shared Memory Data Structures: A Case Study on Singly-Linked Lists. ICDCN 2025: 280-281 - 2024
- [j56]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Eventually lattice-linear algorithms. J. Parallel Distributed Comput. 185: 104802 (2024) - [c128]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Tolerance to Asynchrony of an Algorithm for Gathering Myopic Robots on an Infinite Triangular Grid. EDCC 2024: 61-68 - [i38]Raaghav Ravishankar, Sandeep S. Kulkarni, Sathya Peri, Gokarna Sharma:
Distributing Context-Aware Shared Memory Data Structures: A Case Study on Unordered Linked List. CoRR abs/2404.10151 (2024) - 2023
- [c126]Duong Ngoc Nguyen, Arya Tanmay Gupta, Sandeep S. Kulkarni:
Analyzing Program Transitions to Compute Benefit of Tolerating Consistency Violation Faults. ICDCN 2023: 58-69 - [c125]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Inducing Lattices in Non-Lattice-Linear Problems. SRDS 2023: 232-242 - [c124]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Lattice Linearity of Multiplication and Modulo. SSS 2023: 141-156 - [i36]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Multiplication and Modulo are Lattice Linear. CoRR abs/2302.07207 (2023) - [i35]Arya Tanmay Gupta, Sandeep S. Kulkarni:
DAG-Inducing Problems and Algorithms. CoRR abs/2302.14834 (2023) - [i34]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Lattice Linearity in Assembling Myopic Robots on an Infinite Triangular Grid. CoRR abs/2307.13080 (2023) - [i32]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Eventually Lattice-Linear Algorithms. CoRR abs/2311.09760 (2023) - 2022
- [j55]Ved Prakash Chaudhary, Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri:
Achieving starvation-freedom in multi-version transactional memory systems. Computing 104(10): 2159-2179 (2022) - [j54]Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani:
An efficient approach to achieve compositionality using optimized multi-version object based transactional systems. Inf. Comput. 285(Part): 104696 (2022) - [c123]Sandeep S. Kulkarni, Gabe Appleton, Duong N. Nguyen:
Achieving Causality with Physical Clocks. ICDCN 2022: 97-106 - [c122]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Brief Announcement: Fully Lattice Linear Algorithms. SSS 2022: 341-345 - [e2]Raju S. Bapi, Sandeep S. Kulkarni, Swarup Mohalik, Sathya Peri:
Distributed Computing and Intelligent Technology - 18th International Conference, ICDCIT 2022, Bhubaneswar, India, January 19-23, 2022, Proceedings. Lecture Notes in Computer Science 13145, Springer 2022, ISBN 978-3-030-94875-7 [contents] - [i30]Sandeep S. Kulkarni, Duong N. Nguyen, Lewis Tseng, Nitin H. Vaidya:
Impact of the Consistency Model on Checkpointing of Distributed Shared Memory. CoRR abs/2208.02411 (2022) - [i29]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Lattice Linear Algorithms. CoRR abs/2209.14703 (2022) - [i28]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Lattice Linear Problems vs Algorithms. CoRR abs/2210.03055 (2022) - 2021
- [j53]Duong N. Nguyen, Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas:
Precision, recall, and sensitivity of monitoring partially synchronous distributed programs. Distributed Comput. 34(5): 319-348 (2021) - [c121]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Extending Lattice Linearity for Self-stabilizing Algorithms. SSS 2021: 365-379 - [i27]Sandeep S. Kulkarni, Gabe Appleton, Duong N. Nguyen:
Achieving Causality with Physical Clocks. CoRR abs/2104.15099 (2021) - [i26]Sandeep S. Kulkarni, Duong N. Nguyen:
Analyzing the Effect of Consistency Violation Faults in Self-Stabilizing Programs. CoRR abs/2108.09418 (2021) - [i25]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Extending Lattice linearity for Self-Stabilizing Algorithms. CoRR abs/2109.13216 (2021) - 2020
- [j52]Vidhya Tekken Valapil, Sandeep S. Kulkarni:
Preserving stabilization while practically bounding state space using incorruptible partially synchronized clocks. Distributed Comput. 33(5): 423-443 (2020) - [c120]Duong N. Nguyen, Sandeep S. Kulkarni:
Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores. SRDS 2020: 11-20 - [c119]Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Gabe Appleton:
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems. SRDS 2020: 123-132 - [i24]Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Gabe Appleton:
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report). CoRR abs/2007.13030 (2020) - [i23]Duong N. Nguyen, Sandeep S. Kulkarni:
Technical Report: Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores. CoRR abs/2007.14218 (2020) - 2019
- [j51]Yiyan Lin, Sandeep S. Kulkarni, Arshad Jhumka:
Automation of fault-tolerant graceful degradation. Distributed Comput. 32(1): 1-25 (2019) - [j50]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions †. Future Internet 11(7): 144 (2019) - [j49]Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas:
Using weaker consistency models with monitoring and recovery for improving performance of key-value stores. J. Braz. Comput. Soc. 25(1): 10:1-10:25 (2019) - [j48]Aleksey Charapko, Ailidani Ailijiang, Murat Demirbas, Sandeep S. Kulkarni:
Retroscope: Retrospective Monitoring of Distributed Systems. IEEE Trans. Parallel Distributed Syst. 30(11): 2582-2594 (2019) - [c118]Mohammad Roohitavaf, Jung-Sang Ahn, Woon-Hak Kang, Kun Ren, Gene Zhang, Sami Ben-Romdhane, Sandeep S. Kulkarni:
Session guarantees with raft and hybrid logical clocks. ICDCN 2019: 100-109 - [c117]Duong N. Nguyen, Sandeep S. Kulkarni, Ajoy K. Datta:
Benefit of self-stabilizing protocols in eventually consistent key-value stores: a case study. ICDCN 2019: 148-157 - [c116]Ved Prakash Chaudhary, Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri:
Achieving Starvation-Freedom in Multi-version Transactional Memory Systems. NETYS 2019: 291-310 - [c115]Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani:
Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems. SSS 2019: 209-227 - [i22]Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani:
Obtaining Progress Guarantee and GreaterConcurrency in Multi-Version Object Semantics. CoRR abs/1904.03700 (2019) - [i21]Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani:
An Efficient Approach to Achieve Compositionality using Optimized Multi-Version Object Based Transactional Systems. CoRR abs/1905.01200 (2019) - [i20]Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas:
Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores. CoRR abs/1909.01980 (2019) - [i19]Duong N. Nguyen, Sandeep S. Kulkarni:
Benefits of Stabilization versus Rollback in Eventually Consistent Key-Value Stores. CoRR abs/1910.08248 (2019) - 2018
- [j47]Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni:
Automated Synthesis of Distributed Self-Stabilizing Protocols. Log. Methods Comput. Sci. 14(1) (2018) - [j46]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
A theory of integrating tamper evidence with stabilization. Sci. Comput. Program. 160: 93-114 (2018) - [j45]Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni:
Handling Multiple Scenarios in Evolutionary Multiobjective Numerical Optimization. IEEE Trans. Evol. Comput. 22(6): 920-933 (2018) - [j44]Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Sandeep S. Kulkarni, Murat Demirbas:
Analysis of Bounds on Hybrid Vector Clocks. IEEE Trans. Parallel Distributed Syst. 29(9): 1947-1960 (2018) - [c114]Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas:
NetSynth: a framework for synthesizing customized network protocols using genetic programming. GECCO (Companion) 2018: 243-244 - [c113]Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas:
Synthesizing customized network protocols using genetic programming. GECCO (Companion) 2018: 1616-1623 - [c112]Mohammad Roohitavaf, Sandeep S. Kulkarni:
DKVF: a framework for rapid prototyping and evaluating distributed key-value stores. ASE 2018: 912-915 - [c111]Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas:
Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores. LADC 2018: 67-76 - [c110]Bruhadeshwar Bezawada, Sandeep S. Kulkarni, Indrajit Ray, Indrakshi Ray, Rui Li:
Independent Key Distribution Protocols for Broadcast Authentication. SACMAT 2018: 27-38 - [c109]Vidhya Tekken Valapil, Sandeep S. Kulkarni:
Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks. SIROCCO 2018: 345-360 - [c108]Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani:
An Innovative Approach to Achieve Compositionality Efficiently Using Multi-version Object Based Transactional Systems. SSS 2018: 284-300 - [i18]Mohammad Roohitavaf, Sandeep S. Kulkarni:
DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-value Stores. CoRR abs/1801.05064 (2018) - [i17]Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas:
Optimistic Execution in Key-Value Store. CoRR abs/1801.07319 (2018) - [i16]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Toward Adaptive Causal Consistency for Replicated Data Stores. CoRR abs/1803.08609 (2018) - [i15]Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas:
Technical Report: Optimistic Execution in Key-Value Store. CoRR abs/1805.11453 (2018) - [i14]Duong N. Nguyen, Sandeep S. Kulkarni, Ajoy K. Datta:
Benefit of Self-Stabilizing Protocols in Eventually Consistent Key-Value Stores: A Case Study. CoRR abs/1808.00822 (2018) - [i13]Mohammad Roohitavaf, Jung-Sang Ahn, Woon-Hak Kang, Kun Ren, Gene Zhang, Sami Ben-Romdhane, Sandeep S. Kulkarni:
Session Guarantees with Raft and Hybrid Logical Clocks. CoRR abs/1808.05698 (2018) - [i12]Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni:
CausalSpartanX: Causal Consistency and Non-Blocking Read-Only Transactions. CoRR abs/1812.07123 (2018) - 2017
- [j43]Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni:
Bounded Auditable Restoration of Distributed Systems. IEEE Trans. Computers 66(2): 240-255 (2017) - [c107]Vidhya Tekken Valapil, Sandeep S. Kulkarni:
Preserving Stabilization While Practically Bounding State Space. EDCC 2017: 26-33 - [c106]Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas:
Efficient Algorithms for Predicate Detection using Hybrid Logical Clocks. ICDCN 2017: 10 - [c105]Aleksey Charapko, Ailidani Ailijiang, Murat Demirbas, Sandeep S. Kulkarni:
Retrospective Lightweight Distributed Snapshots Using Loosely Synchronized Clocks. ICDCS 2017: 2061-2066 - [c104]Sandeep S. Kulkarni, Nitin H. Vaidya:
Effectiveness of Delaying Timestamp Computation. PODC 2017: 263-272 - [c103]Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas:
Monitoring Partially Synchronous Distributed Systems Using SMT Solvers. RV 2017: 277-293 - [c102]Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni:
CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks. SRDS 2017: 184-193 - [i11]Vidhya Tekken Valapil, Sandeep S. Kulkarni:
Preserving Stabilization while Practically Bounding State Space. CoRR abs/1703.09326 (2017) - [i10]Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas:
Monitoring Partially Synchronous Distributed Systems using SMT Solvers. CoRR abs/1707.07699 (2017) - [i9]Ved Prakash Chaudhary, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri:
Starvation Freedom in Multi-Version Transactional Memory Systems. CoRR abs/1709.01033 (2017) - [i8]Vidhya Tekken Valapil, Sandeep S. Kulkarni:
Derivation of Network Reprogramming Protocol with Z3. CoRR abs/1709.06604 (2017) - [i7]Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani:
An Innovative Approach for Achieving Composability in Concurrent Systems using Multi-Version Object Based STMs. CoRR abs/1712.09803 (2017) - 2016
- [c101]Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni:
A framework for verification of SystemC TLM programs with model slicing: a case study. DAC 2016: 22:1-22:6 - [c100]Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni:
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. FORTE 2016: 124-141 - [c99]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Stabilization and fault-tolerance in presence of unchangeable environment actions. ICDCN 2016: 19:1-19:10 - [c98]Mohammad Roohitavaf, Yiyan Lin, Sandeep S. Kulkarni:
Lazy Repair for Addition of Fault-Tolerance to Distributed Programs. IPDPS 2016: 1071-1080 - [c97]Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas:
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. RV 2016: 420-435 - [c96]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Collaborative Stabilization. SRDS 2016: 259-268 - [c95]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Automatic Addition of Conflicting Properties. SSS 2016: 310-326 - [i6]Nitin H. Vaidya, Sandeep S. Kulkarni:
Efficient Timestamps for Capturing Causality. CoRR abs/1606.05962 (2016) - [i5]Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas:
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. CoRR abs/1607.03369 (2016) - [i4]Mohammad Roohitavaf, Sandeep S. Kulkarni:
GentleRain+: Making GentleRain Robust on Clock Anomalies. CoRR abs/1612.05205 (2016) - 2015
- [j42]Fuad Abujarad, Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni:
The complexity of automated addition of fault-tolerance without explicit legitimate states. Distributed Comput. 28(3): 201-219 (2015) - [j41]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Synthesizing bounded-time 2-phase fault recovery. Formal Aspects Comput. 27(1): 1-31 (2015) - [j40]Reza Hajisheykhi, Ling Zhu, Mahesh Arumugam, Murat Demirbas, Sandeep S. Kulkarni:
"Slow is Fast" for wireless sensor networks in the presence of message losses. J. Parallel Distributed Comput. 77: 41-57 (2015) - [c94]Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni:
Multi-scenario, multi-objective optimization using evolutionary algorithms: Initial results. CEC 2015: 1877-1884 - [c93]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
A Theory of Integrating Tamper Evidence with Stabilization. FSEN 2015: 84-99 - [c92]Ling Zhu, Sandeep S. Kulkarni:
Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs. GECCO 2015: 1119-1126 - [c91]Murat Demirbas, Sandeep S. Kulkarni:
Highly Auditable Distributed Systems. HotCloud 2015 - [c90]Ling Zhu, Sandeep S. Kulkarni:
Using Genetic Programming to Identify Tradeoffs in Self-Stabilizing Programs: A Case Study. ICDCS Workshops 2015: 29-34 - [c89]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata. NFM 2015: 429-435 - [c88]Jingshu Chen, Mohammad Roohitavaf, Sandeep S. Kulkarni:
Ensuring Average Recovery with Adversarial Scheduler. OPODIS 2015: 23:1-23:18 - [c87]Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Murat Demirbas:
Analysis of Bounds on Hybrid Vector Clocks. OPODIS 2015: 34:1-34:17 - [c86]Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni:
Auditable Restoration of Distributed Programs. SRDS 2015: 37-46 - [c85]Ling Zhu, Jingshu Chen, Sandeep S. Kulkarni:
Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms. SSS 2015: 217-232 - [i3]Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni:
Auditable Restoration of Distributed Programs. CoRR abs/1506.07957 (2015) - [i2]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Stabilization and Fault-Tolerance in Presence of Unchangeable Environment Actions. CoRR abs/1508.00864 (2015) - [i1]Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni:
Specification-based Synthesis of Distributed Self-Stabilizing Protocols. CoRR abs/1509.05664 (2015) - 2014
- [j39]Jingshu Chen, Ali Ebnenasir, Sandeep S. Kulkarni:
The Complexity of Adding Multitolerance. ACM Trans. Auton. Adapt. Syst. 9(3): 15:1-15:33 (2014) - [c84]Ling Zhu, Kalyanmoy Deb, Sandeep S. Kulkarni:
Multi-scenario optimization using multi-criterion methods: A case study on Byzantine agreement problem. IEEE Congress on Evolutionary Computation 2014: 2601-2608 - [c83]Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni:
Knowledge-Based Automated Repair of Authentication Protocols. FM 2014: 132-147 - [c82]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
Analysis of Permanent Faults in Transaction Level SystemC Models. ICDCS Workshops 2014: 154-160 - [c81]Yiyan Lin, Sandeep S. Kulkarni:
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability. ISSTA 2014: 237-247 - [c80]Sandeep S. Kulkarni, Murat Demirbas, Deepak Madappa, Bharadwaj Avva, Marcelo Leone:
Logical Physical Clocks. OPODIS 2014: 17-32 - [c79]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. SEFM 2014: 175-189 - 2013
- [j38]Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni:
Towards scalable model checking of self-stabilizing programs. J. Parallel Distributed Comput. 73(4): 400-410 (2013) - [j37]Jingshu Chen, Sandeep S. Kulkarni:
MR4UM: A framework for adding fault tolerance to UML state diagrams. Theor. Comput. Sci. 496: 17-33 (2013) - [j36]Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni:
Facilitating the design of fault tolerance in transaction level SystemC programs. Theor. Comput. Sci. 496: 50-68 (2013) - [c78]Jingshu Chen, Sandeep S. Kulkarni:
SMT-Based Model Checking for Stabilizing Programs, . ICDCN 2013: 393-407 - [c77]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
Modeling and analyzing timing faults in transaction level SystemC programs. NoCArc@MICRO 2013: 65-68 - [c76]Yiyan Lin, Sandeep S. Kulkarni:
Automated Multi-graceful Degradation: A Case Study. SRDS 2013: 81-90 - [c75]Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Automated Addition of Fault-Tolerance under Synchronous Semantics. SSS 2013: 266-280 - [c74]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. SSS 2013: 344-347 - [c73]Ling Zhu, Sandeep S. Kulkarni:
Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming. SSS 2013: 370-372 - 2012
- [j35]Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad:
Symbolic synthesis of masking fault-tolerant distributed programs. Distributed Comput. 25(1): 83-108 (2012) - [j34]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Automated model repair for distributed programs. SIGACT News 43(2): 85-107 (2012) - [c72]Jingshu Chen, Sandeep S. Kulkarni:
Application of Automated Revision for UML Models: A Case Study. ICDCN 2012: 31-45 - [c71]Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni:
Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs. ICDCN 2012: 91-105 - [c70]Murat Demirbas, Serafettin Tasci, Sandeep S. Kulkarni:
Maestro: A cloud computing framework with automated locking. ISCC 2012: 833-838 - [c69]Yiyan Lin, Sandeep S. Kulkarni:
Automatic Generation of Graceful Programs. SRDS 2012: 225-230 - [c68]Jingshu Chen, Sandeep S. Kulkarni:
Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. SSS 2012: 179-182 - 2011
- [j33]Fuad Abujarad, Sandeep S. Kulkarni:
Automated constraint-based addition of nonmasking and stabilizing fault-tolerance. Theor. Comput. Sci. 412(33): 4228-4246 (2011) - [j32]Shlomi Dolev, Sandeep S. Kulkarni, André Schiper:
Preface. Theor. Comput. Sci. 412(40): 5513-5514 (2011) - [j31]Bezawada Bruhadeshwar, Sandeep S. Kulkarni:
Balancing Revocation and Storage Trade-Offs in Secure Group Communication. IEEE Trans. Dependable Secur. Comput. 8(1): 58-73 (2011) - [j30]Ali Ebnenasir, Sandeep S. Kulkarni:
Feasibility of Stepwise Design of Multitolerant Programs. ACM Trans. Softw. Eng. Methodol. 21(1): 1:1-1:49 (2011) - [j29]Bezawada Bruhadeshwar, Sandeep S. Kulkarni, Alex X. Liu:
Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is Enough. IEEE Trans. Parallel Distributed Syst. 22(9): 1536-1549 (2011) - [c67]Borzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni:
Automated addition of fault recovery to cyber-physical component-based models. EMSOFT 2011: 127-136 - [c66]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Active Stabilization. SSS 2011: 77-91 - 2010
- [j28]Sandeep S. Kulkarni, Bezawada Bruhadeshwar:
Key-update distribution in secure group communication. Comput. Commun. 33(6): 689-705 (2010) - [c65]Jingshu Chen, Sandeep S. Kulkarni:
Complexity Analysis of Weak Multitolerance. ICDCS 2010: 398-407 - [c64]Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni:
Effect of Fairness in Model Checking of Self-stabilizing Programs. OPODIS 2010: 135-138 - [c63]Mahesh Arumugam, Murat Demirbas, Sandeep S. Kulkarni:
"Slow Is Fast" for Wireless Sensor Networks in the Presence of Message Losses. SSS 2010: 176-190 - [c62]Fuad Abujarad, Sandeep S. Kulkarni:
Complexity Issues in Automated Model Revision without Explicit Legitimate State. SSS 2010: 206-220 - 2009
- [j27]Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni:
Complexity results in revising UNITY programs. ACM Trans. Auton. Adapt. Syst. 4(1): 5:1-5:28 (2009) - [j26]Sandeep S. Kulkarni, Limin Wang:
Energy-efficient multihop reprogramming for sensor networks. ACM Trans. Sens. Networks 5(2): 16:1-16:40 (2009) - [c61]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Compositional verification of fault-tolerant real-time programs. EMSOFT 2009: 29-38 - [c60]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. FM 2009: 660-675 - [c59]Fatmé El-Moukaddem, Eric Torng, Guoliang Xing, Sandeep S. Kulkarni:
Mobile Relay Configuration in Data-intensive Wireless Sensor Networks. MASS 2009: 80-89 - [c58]Mahesh Arumugam, Sandeep S. Kulkarni:
ProSe: A Programming Tool for Rapid Prototyping of Sensor Networks. S-CUBE 2009: 158-173 - [c57]Fuad Abujarad, Sandeep S. Kulkarni:
Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance. SRDS 2009: 119-128 - [c56]Fuad Abujarad, Sandeep S. Kulkarni:
Multicore Constraint-Based Automated Stabilization. SSS 2009: 47-61 - [c55]Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs. PDMC 2009: 92-106 - [c54]Fuad Abujarad, Sandeep S. Kulkarni:
Weakest Invariant Generation for Automated Addition of Fault-Tolerance. LAFT@LICS 2009: 3-15 - [p1]Mahesh Arumugam, Arshad Jhumka, Fuad Abujarad, Sandeep S. Kulkarni:
Stabilizing Interference-Free Slot Assignment for Wireless Mesh Networks. Guide to Wireless Mesh Networks 2009: 77-118 - 2008
- [j25]Limin Wang, Sandeep S. Kulkarni:
Sacrificing a little coverage can substantially increase network lifetime. Ad Hoc Networks 6(8): 1281-1300 (2008) - [j23]Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora:
FTSyn: a framework for automatic synthesis of fault-tolerance. Int. J. Softw. Tools Technol. Transf. 10(5): 455-471 (2008) - [j22]Ehab S. Elmallah, Mohamed G. Gouda, Sandeep S. Kulkarni:
Logarithmic keying. ACM Trans. Auton. Adapt. Syst. 3(4): 18:1-18:18 (2008) - [c53]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. CONCUR 2008: 167-171 - [c52]Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora:
Disassembling real-time fault-tolerant programs. EMSOFT 2008: 169-178 - [c51]Bezawada Bruhadeshwar, Sandeep S. Kulkarni, Alex X. Liu:
Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is Enough. ESORICS 2008: 82-96 - [c50]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Masking Faults While Providing Bounded-Time Phased Recovery. FM 2008: 374-389 - [c49]Fuad Abujarad, Sandeep S. Kulkarni:
Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study. ICDCS Workshops 2008: 539-544 - [c48]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Revising Distributed UNITY Programs Is NP-Complete. OPODIS 2008: 408-427 - [e1]Sandeep S. Kulkarni, André Schiper:
Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings. Lecture Notes in Computer Science 5340, Springer 2008, ISBN 978-3-540-89334-9 [contents] - 2007
- [c47]Arshad Jhumka, Sandeep S. Kulkarni:
On the Design of Mobility-Tolerant TDMA-Based Media Access Control (MAC) Protocol for Mobile Sensor Networks. ICDCIT 2007: 42-53 - [c46]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space. ICDCS 2007: 3 - [c43]Limin Wang, Sandeep S. Kulkarni:
Authentication in Reprogramming of Sensor Networks for Mote Class Adversaries. IPDPS 2007: 1-8 - [c42]Mahesh Arumugam, Sandeep S. Kulkarni:
ProSe - A Programming Tool for Rapid Prototyping of Sensor Networks. SECON 2007: 685-686 - [c41]Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad:
Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. SSS 2007: 21-36 - 2006
- [j18]Sandeep S. Kulkarni, Mahesh Arumugam:
Transformations for write-all-with-collision model, . Comput. Commun. 29(2): 183-199 (2006) - [j17]Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora:
Secret instantiation in ad-hoc networks. Comput. Commun. 29(2): 200-215 (2006) - [j16]Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora:
Erratum to "Secret instantiation in ad-hoc networks" [Computer Communications 29 (2006) 200-215]. Comput. Commun. 29(11): 2167 (2006) - [j15]Sandeep S. Kulkarni, Mahesh Arumugam:
Infuse: A TDMA Based Data Dissemination Protocol for Sensor Networks. Int. J. Distributed Sens. Networks 2(1): 55-78 (2006) - [j14]Mahesh Arumugam, Sandeep S. Kulkarni:
Self-Stabilizing Deterministic Time Division Multiple Access for Sensor Networks. J. Aerosp. Comput. Inf. Commun. 3(8): 403-419 (2006) - [j13]Anish Arora, Sandeep S. Kulkarni, Murat Demirbas:
Resettable vector clocks. J. Parallel Distributed Comput. 66(2): 221-237 (2006) - [c40]Limin Wang, Sandeep S. Kulkarni:
Gappa: Gossip Based Multi-channel Reprogramming for Sensor Networks. DCOSS 2006: 119-134 - [c39]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Automated Incremental Synthesis of Timed Automata. FMICS/PDMC 2006: 261-276 - [c37]Limin Wang, Sandeep S. Kulkarni:
Sacrificing a Little Coverage Can Substantially Increase Network Lifetime. SECON 2006: 326-335 - [c36]Mahesh Arumugam, Limin Wang, Sandeep S. Kulkarni:
A Case Study on Prototyping Power Management Protocols for Sensor Networks. SSS 2006: 50-64 - [c35]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Incremental Synthesis of Fault-Tolerant Real-Time Programs. SSS 2006: 122-136 - [c34]Mohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah:
Logarithmic Keying of Communication Networks. SSS 2006: 314-323 - [c33]Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad:
Brief Announcement: Distributed Synthesis of Fault-Tolerance. SSS 2006: 566-567 - 2005
- [j12]Sandeep S. Kulkarni, Chase Bolen, John Oleszkiewicz, Andrew Robinson:
Alternators in read/write atomicity. Inf. Process. Lett. 93(5): 207-215 (2005) - [j9]Sandeep S. Kulkarni, Ali Ebnenasir:
Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance. IEEE Trans. Dependable Secur. Comput. 2(3): 201-215 (2005) - [j8]Sandeep S. Kulkarni, Ali Ebnenasir:
The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance. IEEE Trans. Dependable Secur. Comput. 2(4): 348-355 (2005) - [c32]Anish Arora, Rajiv Ramnath, Prasun Sinha, Emre Ertin, Sandip Bapat, Vinayak Naik, Vinod Kulathumani, Hongwei Zhang, Mukundan Sridharan, Santosh Kumar, Hui Cao, Nick Seddon, Chris Anderson, Ted Herman, Chen Zhang, Nishank Trivedi, Mohamed G. Gouda, Young-ri Choi, Mikhail Nesterenko, Romil Shah, Sandeep S. Kulkarni, Mahesh Aramugam, Limin Wang, David E. Culler, Prabal Dutta, Cory Sharp, Gilman Tolle, Mike Grimmer, Bill Ferriera, Ken Parker:
Project ExScal (Short Abstract). DCOSS 2005: 393-394 - [c31]Sandeep S. Kulkarni, Ali Ebnenasir:
Adding Fault-Tolerance Using Pre-synthesized Components. EDCC 2005: 72-90 - [c30]Mahesh Arumugam, Sandeep S. Kulkarni:
Self-stabilizing Deterministic TDMA for Sensor Networks. ICDCIT 2005: 69-81 - [c29]Bezawada Bruhadeshwar, Sandeep S. Kulkarni:
User Revocation in Secure Adhoc Networks. ICDCIT 2005: 377-388 - [c28]Sandeep S. Kulkarni, Limin Wang:
MNP: Multihop Network Reprogramming Service for Sensor Networks. ICDCS 2005: 7-16 - [c27]Sandeep S. Kulkarni, Bezawada Bruhadeshwar:
A Family of Collusion Resistant Protocols for Instantiating Security. ICNP 2005: 279-288 - [c26]Sandeep S. Kulkarni, Bezawada Bruhadeshwar:
Rekeying and Storage Cost for Multiple User Revocation. NDSS 2005 - [c25]Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour:
Revising UNITY Programs: Possibilities and Limitations. OPODIS 2005: 275-290 - [c24]Limin Wang, Sandeep S. Kulkarni:
Proactive Reliable Bulk Data Dissemination in Sensor Networks. IASTED PDCS 2005: 773-778 - [c23]Anish Arora, Rajiv Ramnath, Emre Ertin, Prasun Sinha, Sandip Bapat, Vinayak Naik, Vinod Kulathumani, Hongwei Zhang, Hui Cao, Mukundan Sridharan, Santosh Kumar, Nick Seddon, Chris Anderson, Ted Herman, Nishank Trivedi, Chen Zhang, Mikhail Nesterenko, Romil Shah, Sandeep S. Kulkarni, Mahesh Aramugam, Limin Wang, Mohamed G. Gouda, Young-ri Choi, David E. Culler, Prabal Dutta, Cory Sharp, Gilman Tolle, Mike Grimmer, Bill Ferriera, Ken Parker:
ExScal: Elements of an Extreme Scale Wireless Sensor Network. RTCSA 2005: 102-108 - 2004
- [j7]Anish Arora, Prabal Dutta, Sandip Bapat, Vinod Kulathumani, Hongwei Zhang, Vinayak Naik, Vineet Mittal, Hui Cao, Murat Demirbas, Mohamed G. Gouda, Young-ri Choi, Ted Herman, Sandeep S. Kulkarni, Umamaheswaran Arumugam, Mikhail Nesterenko, Adnan Vora, Mark Miyashita:
A line in the sand: a wireless sensor network for target detection, classification, and tracking. Comput. Networks 46(5): 605-634 (2004) - [c21]Sandeep S. Kulkarni, Ali Ebnenasir:
Automated Synthesis of Multitolerance. DSN 2004: 209- - [c20]Sandeep S. Kulkarni, Bezawada Bruhadeshwar:
Distributing Key Updates in Secure Dynamic Groups. ICDCIT 2004: 410-419 - [c19]Sandeep S. Kulkarni, Umamaheswaran Arumugam:
TDMA Service for Sensor Networks. ICDCS Workshops 2004: 604-609 - [c18]Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir:
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. LOPSTR 2004: 36-52 - 2003
- [c17]Sandeep S. Kulkarni, Ali Ebnenasir:
Enhancing The Fault-Tolerance of Nonmasking Programs. ICDCS 2003: 441-449 - [c16]Sandeep S. Kulkarni, Umamaheswaran Arumugam:
Transformations for Write-All-with-Collision Model. OPODIS 2003: 184-197 - [c15]Sandeep S. Kulkarni, Umamaheswaran Arumugam:
Collision-Free Communication in Sensor Networks. Self-Stabilizing Systems 2003: 17-31 - 2002
- [j6]Philip K. McKinley, Kurt Stirewalt, Betty H. C. Cheng, Laura K. Dillon, Sandeep S. Kulkarni:
Education: Interactive Distributed Applications and the Computer Science Curriculum. IEEE Distributed Syst. Online 3(10) (2002) - [c14]Sandeep S. Kulkarni, Ali Ebnenasir:
The Complexity of Adding Failsafe Fault-Tolerance. ICDCS 2002: 337-344 - [c13]Sandeep S. Kulkarni, Bezawada Bruhadeshwar:
Reducing the Cost of the Critical Path in Secure Multicast for Dynamic Groups. ICDCS Workshops 2002: 43-48 - 2001
- [c12]Anish Arora, Murat Demirbas, Sandeep S. Kulkarni:
Graybox Stabilization. DSN 2001: 389-400 - [c11]Sandeep S. Kulkarni, Anish Arora, Arun Chippada:
Polynomial Time Synthesis of Byzantine Agreement. SRDS 2001: 130- - 2000
- [c9]Sandeep S. Kulkarni, Anish Arora:
Automating the Addition of Fault-Tolerance. FTRTFT 2000: 82-93 - [c8]Anish Arora, Sandeep S. Kulkarni, Murat Demirbas:
Resettable vector clocks. PODC 2000: 269-278 - 1998
- [j5]Sandeep S. Kulkarni, Anish Arora:
Multitolerance in Distributed Reset. Chic. J. Theor. Comput. Sci. 1998 (1998) - [j4]Anish Arora, Sandeep S. Kulkarni:
Component Based Design of Multitolerant Systems. IEEE Trans. Software Eng. 24(1): 63-78 (1998) - [j3]Anish Arora, Sandeep S. Kulkarni:
Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance. IEEE Trans. Software Eng. 24(6): 435-450 (1998) - [c6]Anish Arora, Sandeep S. Kulkarni:
Detectors and Correctors: A Theory of Fault-Tolerance Components. ICDCS 1998: 436-443 - [c5]Sandeep S. Kulkarni, Anish Arora:
Low-cost Fault-tolerance in Barrier Synchronizations. ICPP 1998: 132-139 - 1997
- [j2]Sandeep S. Kulkarni, Anish Arora:
Multitolerant Barrier Synchronization. Inf. Process. Lett. 64(1): 29-36 (1997) - [c4]Sandeep S. Kulkarni, Anish Arora:
Compositional Design of Multitolerant Repetitive Byzantine Agreement. FSTTCS 1997: 169-183 - [c3]Sandeep S. Kulkarni, Anish Arora:
Once-and-for all management protocol (OFMP). ICNP 1997: 87-94 - [c2]Sandeep S. Kulkarni, Anish Arora:
Compositional design of multitolerant repetitive byzantine agreement. WSS 1997: 1-15 - 1995
- [c1]Anish Arora, Sandeep S. Kulkarni:
Designing Masking Fault Tolerance via Nonmasking Fault Tolerance. SRDS 1995: 174-185
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.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-24 22:29 CET 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:
