Sandeep S. Kulkarni

发表

Revising Distributed UNITY Programs Is NP-Complete

Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2008, OPODIS.

Brief Announcement: Verification of Stabilizing Programs with SMT Solvers

Sandeep S. Kulkarni, Jingshu Chen, 2012, SSS.

Challenges and Demands on Automated Software Revision

Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2008 .

Independent Key Distribution Protocols for Broadcast Authentication

Indrajit Ray, Indrakshi Ray, Rui Li, 2018, SACMAT.

Collision-Free Communication in Sensor Networks

Sandeep S. Kulkarni, Umamaheswaran Arumugam, 2003, Self-Stabilizing Systems.

SMT-Based Model Checking for Stabilizing Programs,

Sandeep S. Kulkarni, Jingshu Chen, S. Kulkarni, 2013, ICDCN.

Mixed-Mode Adaptation in Distributed Systems: A Case Study

Sandeep S. Kulkarni, Karun N. Biyani, S. Kulkarni, 2007, International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS '07).

CausalSpartanX: Causal Consistency and Non-Blocking Read-Only Transactions pdf

Murat Demirbas, Sandeep S. Kulkarni, Mohammad Roohitavaf, 2018, ArXiv.

Knowledge-Based Automated Repair of Authentication Protocols

Borzoo Bonakdarpour, Sandeep S. Kulkarni, Reza Hajisheykhi, 2014, FM.

Multitolerance in Distributed Reset

Anish Arora, Sandeep S. Kulkarni, 1998, Chic. J. Theor. Comput. Sci..

Multicore Constraint-Based Automated Stabilization

Fuad Abujarad, Sandeep S. Kulkarni, 2009, SSS.

On the Design of Mobility-Tolerant TDMA-Based Media Access Control (MAC) Protocol for Mobile Sensor Networks

Arshad Jhumka, Sandeep S. Kulkarni, S. Kulkarni, 2007, ICDCIT.

Terminating alternator

Sandeep S. Kulkarni, 2007, Parallel Process. Lett..

Automatic Addition of Fault-Tolerance to Real-Time Programs

Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2006 .

Modeling and analyzing timing faults in transaction level SystemC programs

Ali Ebnenasir, Sandeep S. Kulkarni, Reza Hajisheykhi, 2013, NoCArc '13.

Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance

Fuad Abujarad, Sandeep S. Kulkarni, S. Kulkarni, 2009, 2009 28th IEEE International Symposium on Reliable Distributed Systems.

Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance

Anish Arora, Sandeep S. Kulkarni, A. Arora, 1998, IEEE Trans. Software Eng..

Retroscope: Retrospective Monitoring of Distributed Systems

Murat Demirbas, Sandeep S. Kulkarni, Ailidani Ailijiang, 2019, IEEE Transactions on Parallel and Distributed Systems.

Education: Interactive Distributed Applications and the Computer Science Curriculum

Betty H. C. Cheng, R. E. Kurt Stirewalt, Laura K. Dillon, 2002, IEEE Distributed Syst. Online.

Multitolerant Barrier Synchronization

Anish Arora, Sandeep S. Kulkarni, 1997, Inf. Process. Lett..

Automatic Addition of Conflicting Properties

Sandeep S. Kulkarni, Mohammad Roohitavaf, S. Kulkarni, 2016, SSS.

SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs

Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2008, CONCUR.

Complexity Analysis of Weak Multitolerance

Sandeep S. Kulkarni, Jingshu Chen, 2010, 2010 IEEE 30th International Conference on Distributed Computing Systems.

Weakest Invariant Generation for Automated Addition of Fault-Tolerance

Fuad Abujarad, Sandeep S. Kulkarni, S. Kulkarni, 2009, LAFT@LICS.

Automated Multi-graceful Degradation: A Case Study

Sandeep S. Kulkarni, Yiyan Lin, 2013, 2013 IEEE 32nd International Symposium on Reliable Distributed Systems.

Poster abstract: ProSe - A programming tool for rapid prototyping of sensor networks

Sandeep S. Kulkarni, Mahesh Arumugam, 2007 .

Energy-efficient multihop reprogramming for sensor networks

Limin Wang, Sandeep S. Kulkarni, Limin Wang, 2009, TOSN.

Automated constraint-based addition of nonmasking and stabilizing fault-tolerance

Fuad Abujarad, Sandeep S. Kulkarni, S. Kulkarni, 2011, Theor. Comput. Sci..

Project ExScal (Short Abstract)

Chen Zhang, David E. Culler, Emre Ertin, 2005, DCOSS.

Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL

Ali Ebnenasir, Sandeep S. Kulkarni, Reza Hajisheykhi, 2014, SEFM.

Efficient Algorithms for Predicate Detection using Hybrid Logical Clocks

Eric Torng, Murat Demirbas, Sandeep S. Kulkarni, 2017, ICDCN.

Adaptive Rekeying for Secure Multicast

Sandeep S. Kulkarni, Bezawada Bruhadeshwar, 2003 .

The complexity of automated addition of fault-tolerance without explicit legitimate states

Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2014, Distributed Computing.

Towards scalable model checking of self-stabilizing programs

Fuad Abujarad, Sandeep S. Kulkarni, Jingshu Chen, 2013, J. Parallel Distributed Comput..

Self-Stabilizing Deterministic Time Division Multiple Access for Sensor Networks

Sandeep S. Kulkarni, Mahesh Arumugam, S. Kulkarni, 2006, J. Aerosp. Comput. Inf. Commun..

On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery

Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2009, FM.

Key-update distribution in secure group communication

Sandeep S. Kulkarni, Bezawada Bruhadeshwar, S. Kulkarni, 2010, Comput. Commun..

Bounded Auditable Restoration of Distributed Systems

Sandeep S. Kulkarni, Mohammad Roohitavaf, Reza Hajisheykhi, 2017, IEEE Transactions on Computers.

Ensuring Average Recovery with Adversarial Scheduler

Sandeep S. Kulkarni, Jingshu Chen, Mohammad Roohitavaf, 2016, OPODIS.

Rekeying and Storage Cost for Multiple User Revocation

Sandeep S. Kulkarni, Bezawada Bruhadeshwar, 2005, NDSS.

Adding Fault-Tolerance Using Pre-synthesized Components

Ali Ebnenasir, Sandeep S. Kulkarni, 2005, EDCC.

Auditable Restoration of Distributed Programs

Sandeep S. Kulkarni, Mohammad Roohitavaf, Reza Hajisheykhi, 2015, 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS).

Once-and-forall management protocol (OFMP)

Anish Arora, Sandeep S. Kulkarni, 1997, Proceedings 1997 International Conference on Network Protocols.

Rapid prototyping and quick development of sensor networks

Sandeep S. Kulkarni, Umamaheswaran Arumugam, S. Kulkarni, 2006 .

Complexity results in revising UNITY programs

Ali Ebnenasir, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2009, TAAS.

Infuse: A TDMA Based Data Dissemination Protocol for Sensor Networks

Sandeep S. Kulkarni, Mahesh Arumugam, S. Kulkarni, 2006, Int. J. Distributed Sens. Networks.

Distributing Key Updates in Secure Dynamic Groups

Sandeep S. Kulkarni, Bezawada Bruhadeshwar, 2004, ICDCIT.

Synthesizing customized network protocols using genetic programming

Ling Zhu, Sandeep S. Kulkarni, Subir Biswas, 2018, GECCO.

Feasibility of Stepwise Design of Multitolerant Programs

Ali Ebnenasir, Sandeep S. Kulkarni, S. Kulkarni, 2011, TSEM.

Analysis of Bounds on Hybrid Vector Clocks

Murat Demirbas, Sandeep S. Kulkarni, Sorrachai Yingchareonthawornchai, 2016, IEEE Transactions on Parallel and Distributed Systems.

TDMA service for sensor networks

Sandeep S. Kulkarni, Umamaheswaran Arumugam, S. Kulkarni, 2004, 24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings..

Assurance of adaptation in distributed systems

Sandeep S. Kulkarni, Karunkumar N. Biyani, 2007 .

Using weaker consistency models with monitoring and recovery for improving performance of key-value stores

Sandeep S. Kulkarni, Aleksey Charapko, Murat Demirbas, 2019, Journal of the Brazilian Computer Society.

Proactive Reliable Bulk Data Dissemination in Sensor Networks

Limin Wang, Sandeep S. Kulkarni, 2005, IASTED PDCS.

Analysis of Bounds on Hybrid Vector Clocks

Murat Demirbas, Sandeep S. Kulkarni, Sorrachai Yingchareonthawornchai, 2018, IEEE Trans. Parallel Distributed Syst..

Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs

Ali Ebnenasir, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2004, LOPSTR.

Transformations for write-all-with-collision model,

Sandeep S. Kulkarni, Mahesh Arumugam, S. Kulkarni, 2006, Comput. Commun..

Using weaker consistency models with monitoring and recovery for improving performance of key-value stores

Murat Demirbas, Sandeep S. Kulkarni, Aleksey Charapko, 2018, Journal of the Brazilian Computer Society.

The complexity of adding failsafe fault-tolerance

Ali Ebnenasir, Sandeep S. Kulkarni, 2002, Proceedings 22nd International Conference on Distributed Computing Systems.

Testing Dynamic Adaptation in Distributed Systems

Sandeep S. Kulkarni, Karun N. Biyani, 2007, Second International Workshop on Automation of Software Test (AST '07).

Symbolic synthesis of masking fault-tolerant distributed programs

Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2012, Distributed Computing.

A framework for verification of SystemC TLM programs with model slicing: A case study

Ali Ebnenasir, Sandeep S. Kulkarni, Mohammad Roohitavaf, 2016, 2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC).

The Complexity of Adding Multitolerance

Ali Ebnenasir, Sandeep S. Kulkarni, Jingshu Chen, 2014, TAAS.

Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores

Sandeep S. Kulkarni, Duong N. Nguyen, Duong Nguyen, 2020, 2020 International Symposium on Reliable Distributed Systems (SRDS).

Reducing the cost of the critical path in secure multicast for dynamic groups

Sandeep S. Kulkarni, Bezawada Bruhadeshwar, 2002, Proceedings 22nd International Conference on Distributed Computing Systems Workshops.

A line in the sand: a wireless sensor network for target detection, classification, and tracking

Vinayak S. Naik, Hongwei Zhang, Murat Demirbas, 2004, Comput. Networks.

Automation of fault-tolerant graceful degradation

Arshad Jhumka, Sandeep S. Kulkarni, Yiyan Lin, 2017, Distributed Computing.

FTSyn: a framework for automatic synthesis of fault-tolerance

Anish Arora, Ali Ebnenasir, Sandeep S. Kulkarni, 2008, International Journal on Software Tools for Technology Transfer.

Secret instantiation in ad-hoc networks

Anish Arora, Mohamed G. Gouda, Sandeep S. Kulkarni, 2006, Comput. Commun..

Graybox stabilization

Murat Demirbas, Anish Arora, Sandeep S. Kulkarni, 2001, 2001 International Conference on Dependable Systems and Networks.

Derivation of Network Reprogramming Protocol with Z3 pdf

Sandeep S. Kulkarni, Vidhya Tekken Valapil, S. Kulkarni, 2017, ArXiv.

Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs

Ali Ebnenasir, Sandeep S. Kulkarni, Reza Hajisheykhi, 2013, SSS.

Balancing Revocation and Storage Trade-Offs in Secure Group Communication

Sandeep S. Kulkarni, Bezawada Bruhadeshwar, 2011, IEEE Transactions on Dependable and Secure Computing.

Lazy Repair for Addition of Fault-Tolerance to Distributed Programs

Sandeep S. Kulkarni, Mohammad Roohitavaf, Yiyan Lin, 2016, 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS).

Stabilizing causal deterministic merge

Sandeep S. Kulkarni, Ravikant, Ravikant, 2005, J. High Speed Networks.

Compositional Verification of Real-Time Fault-Tolerant Programs ∗

Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2009 .

Resettable vector clocks

Murat Demirbas, Anish Arora, Sandeep S. Kulkarni, 2000, PODC '00.

DFT MAX and Power

Rohit Kapur, Thomas W. Williams, Peter Wohl, 2007, J. Low Power Electron..

Sacrificing a Little Coverage Can Substantially Increase Network Lifetime

Limin Wang, Sandeep S. Kulkarni, Limin Wang, 2008, 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks.

Self-stabilizing Deterministic TDMA for Sensor Networks

Sandeep S. Kulkarni, Mahesh Arumugam, S. Kulkarni, 2005, ICDCIT.

Multi-scenario optimization using multi-criterion methods: A case study on Byzantine agreement problem

Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni, 2014, 2014 IEEE Congress on Evolutionary Computation (CEC).

Effect of Fairness in Model Checking of Self-stabilizing Programs

Fuad Abujarad, Sandeep S. Kulkarni, Jingshu Chen, 2010, OPODIS.

Analysis of Permanent Faults in Transaction Level SystemC Models

Ali Ebnenasir, Sandeep S. Kulkarni, Reza Hajisheykhi, 2014, 2014 IEEE 34th International Conference on Distributed Computing Systems Workshops (ICDCSW).

Maestro: A cloud computing framework with automated locking

Murat Demirbas, Sandeep S. Kulkarni, Serafettin Tasci, 2012, 2012 IEEE Symposium on Computers and Communications (ISCC).

Load balancing and resource reservation in mobile ad hoc networks

Sandeep S. Kulkarni, Gautam Chakrabarti, S. Kulkarni, 2006, Ad Hoc Networks.

A Token Based k-Resilient Mutual Exclusion Algorithm for Distributed Systems

Dhananjay M. Dhamdhere, Sandeep S. Kulkarni, S. Kulkarni, 1994, Inf. Process. Lett..

Low-cost fault-tolerance in barrier synchronizations

Anish Arora, Sandeep S. Kulkarni, 1998, Proceedings. 1998 International Conference on Parallel Processing (Cat. No.98EX205).

Obtaining Progress Guarantee and GreaterConcurrency in Multi-Version Object Semantics pdf

Sweta Kumari, Sathya Peri, Sandeep S. Kulkarni, 2019, ArXiv.

Automated synthesis of multitolerance

Ali Ebnenasir, Sandeep S. Kulkarni, 2004, International Conference on Dependable Systems and Networks, 2004.

Efficient Timestamps for Capturing Causality pdf

Nitin H. Vaidya, Sandeep S. Kulkarni, 2016, ArXiv.

Adaptive key management for secure group communication

Sandeep S. Kulkarni, Bruhadeshwar Bezawada, 2005 .

Detectors and correctors: a theory of fault-tolerance components

Anish Arora, Sandeep S. Kulkarni, A. Arora, 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

Stabilization and fault-tolerance in presence of unchangeable environment actions

Sandeep S. Kulkarni, Mohammad Roohitavaf, S. Kulkarni, 2015, ICDCN.

Lower Layer Issues—MAC, Scheduling, and Transmission

Hamid Sharif, Song Ci, Sandeep S. Kulkarni, 2006 .

Component based design of fault-tolerance

Anish Arora, Sandeep S. Kulkarni, 1999 .

Proceedings of the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems

André Schiper, Sandeep S. Kulkarni, 2008 .

MR4UM: A framework for adding fault tolerance to UML state diagrams

Sandeep S. Kulkarni, Jingshu Chen, 2013, Theor. Comput. Sci..

Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model

Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2007, SSS.

Mobile Relay Configuration in Data-Intensive Wireless Sensor Networks

Guoliang Xing, Eric Torng, Sandeep S. Kulkarni, 2009, IEEE Transactions on Mobile Computing.

Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions †

Sandeep S. Kulkarni, Mohammad Roohitavaf, 2019, Future Internet.

Highly Auditable Distributed Systems

Murat Demirbas, Sandeep S. Kulkarni, S. Kulkarni, 2015, HotCloud.

Authentication for Bulk Data Dissemination in Sensor Networks Using Symmetric Keys

Sandeep S. Kulkarni, Limin Wang, 2007 .

Complexity issues in automated synthesis of failsafe fault-tolerance

Ali Ebnenasir, Sandeep S. Kulkarni, 2005, IEEE Transactions on Dependable and Secure Computing.

Logical Physical Clocks

Murat Demirbas, Sandeep S. Kulkarni, Deepak Madappa, 2014, OPODIS.

Technical Report: Optimistic Execution in Key-Value Store pdf

Murat Demirbas, Sandeep S. Kulkarni, Aleksey Charapko, 2018, ArXiv.

Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs

Ali Ebnenasir, Sandeep S. Kulkarni, Reza Hajisheykhi, 2012, ICDCN.

Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs

Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2009, PDMC.

Brief Announcement: Distributed Synthesis of Fault-Tolerance

Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2006, SSS.

Interactive distributed applications and the computer science curriculum

Betty H. C. Cheng, Laura K. Dillon, Philip K. McKinley, 2002 .

NetSynth: a framework for synthesizing customized network protocols using genetic programming

Ling Zhu, Sandeep S. Kulkarni, Subir Biswas, 2018, GECCO.

Concurrency Tradeoffs in Dynamic Adaptation

Sandeep S. Kulkarni, Karun N. Biyani, 2006, 26th IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW'06).

Automated model repair for distributed programs

Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2012, SIGA.

Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms

Ling Zhu, Sandeep S. Kulkarni, Jingshu Chen, 2015, SSS.

Authentication in Reprogramming of Sensor Networks for Mote Class Adversaries

Limin Wang, Sandeep S. Kulkarni, 2007, 2007 IEEE International Parallel and Distributed Processing Symposium.

Statement of Research, Teaching and Service Contributions

Sandeep S. Kulkarni, 2005 .

Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks

Sandeep S. Kulkarni, Vidhya Tekken Valapil, 2018, SIROCCO.

Polynomial time synthesis of Byzantine agreement

Anish Arora, Sandeep S. Kulkarni, Arun Chippada, 2001, Proceedings 20th IEEE Symposium on Reliable Distributed Systems.

Masking Faults While Providing Bounded-Time Phased Recovery

Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2008, FM.

ON THE EFFECT OF FAULTS IN VIBRATION CONTROL OF FAIRING STRUCTURES

Anish Arora, Sandeep S. Kulkarni, Vinodkrishnan Kulathumani, 2005 .

Appears in the International Workshop on Assurance in Distributed Systems and Networks (ADSN) 2004, ICDCS'04 Workshop TDMA Service for Sensor Networks

Sandeep S. Kulkarni, 2004 .

MNP: Multihop Network Reprogramming Service for Sensor Networks

Limin Wang, Sandeep S. Kulkarni, 2005, ICDCS.

Correctness of Component-Based Adaptation

Sandeep S. Kulkarni, Karun N. Biyani, 2004, CBSE.

Compositional verification of fault-tolerant real-time programs

Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2009, EMSOFT '09.

Retrospective Lightweight Distributed Snapshots Using Loosely Synchronized Clocks

Murat Demirbas, Sandeep S. Kulkarni, Ailidani Ailijiang, 2017, 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS).

Complexity Issues in Automated Model Revision without Explicit Legitimate State

Fuad Abujarad, Sandeep S. Kulkarni, 2010, SSS.

Component-Based Analysis of Fault-Tolerant Real-Time Programs

Anish Arora, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2007 .

Concurrency and Complexity in Verifying Dynamic Adaptation: A Case Study

Sandeep S. Kulkarni, Karun N. Biyani, 2005 .

Authentication inReprogramming ofSensor Networks forMoteClass Adversaries 1

Sandeep S. Kulkarni, 2007 .

Synthesizing bounded-time 2-phase fault recovery

Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2014, Formal Aspects of Computing.

Sacrificing a Little Coverage Can Substantially Increase Network Lifetime

Limin Wang, Sandeep S. Kulkarni, 2006, SECON.

UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata

Ali Ebnenasir, Sandeep S. Kulkarni, Reza Hajisheykhi, 2015, NFM.

Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study

Fuad Abujarad, Sandeep S. Kulkarni, 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.

Session guarantees with raft and hybrid logical clocks

Kun Ren, Sandeep S. Kulkarni, Mohammad Roohitavaf, 2018, ICDCN.

Toward Adaptive Causal Consistency for Replicated Data Stores pdf

Sandeep S. Kulkarni, Mohammad Roohitavaf, 2018, ArXiv.

Using Genetic Programming to Identify Tradeoffs in Self-Stabilizing Programs: A Case Study

Ling Zhu, Sandeep S. Kulkarni, S. Kulkarni, 2015, 2015 IEEE 35th International Conference on Distributed Computing Systems Workshops.

"Slow Is Fast" for Wireless Sensor Networks in the Presence of Message Losses

Murat Demirbas, Sandeep S. Kulkarni, Mahesh Arumugam, 2010, SSS.

Using Model Checking Techniques for Symbolic Synthesis of Distributed Programs

Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2008 .

Preserving stabilization while practically bounding state space using incorruptible partially synchronized clocks

Sandeep S. Kulkarni, Vidhya Tekken Valapil, S. Kulkarni, 2019, Distributed Computing.

Logical Physical Clocks and Consistent Snapshots in Globally Distributed Databases

Murat Demirbas, Sandeep S. Kulkarni, Bharadwaj Avva, 2014 .

Optimistic Execution in Key-Value Store pdf

Murat Demirbas, Sandeep S. Kulkarni, Aleksey Charapko, 2018, ArXiv.

Component Based Design of Multitolerant Systems

Anish Arora, Sandeep S. Kulkarni, A. Arora, 1998, IEEE Trans. Software Eng..

Automated Synthesis of Distributed Self-Stabilizing Protocols

Sébastien Tixeuil, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2015, Log. Methods Comput. Sci..

Programming Sensor Networks Made Easy

Sandeep S. Kulkarni, Mahesh Arumugam, S. Kulkarni, 2005 .

Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs

Ling Zhu, Sandeep S. Kulkarni, 2015, GECCO.

A theory of integrating tamper evidence with stabilization

Ali Ebnenasir, Sandeep S. Kulkarni, Reza Hajisheykhi, 2018, Sci. Comput. Program..

Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming

Ling Zhu, Sandeep S. Kulkarni, 2013, SSS.

Gappa: Gossip Based Multi-channel Reprogramming for Sensor Networks

Limin Wang, Sandeep S. Kulkarni, 2006, DCOSS.

A Case Study on Prototyping Power Management Protocols for Sensor Networks

Limin Wang, Sandeep S. Kulkarni, Mahesh Arumugam, 2006, SSS.

Multi-scenario, multi-objective optimization using evolutionary algorithms: Initial results

Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni, 2015, 2015 IEEE Congress on Evolutionary Computation (CEC).

Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems

Murat Demirbas, Sandeep S. Kulkarni, Vidhya Tekken Valapil, 2016, RV.

Benefit of self-stabilizing protocols in eventually consistent key-value stores: a case study

Ajoy K. Datta, Sandeep S. Kulkarni, Duong N. Nguyen, 2018, ICDCN.

Hierarchical Presynthesized Components for Automatic Addition of Fault-Tolerance: A Case Study1

Ali Ebnenasir, Sandeep S. Kulkarni, 2004 .

Symmetric Key Approaches to Securing BGP—A Little Bit Trust Is Enough

Alex X. Liu, Sandeep S. Kulkarni, Bezawada Bruhadeshwar, 2008, IEEE Transactions on Parallel and Distributed Systems.

Collaborative Stabilization

Sandeep S. Kulkarni, Mohammad Roohitavaf, 2016, 2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS).

Designing masking fault-tolerance via nonmasking fault-tolerance

Anish Arora, Sandeep S. Kulkarni, 1995, Proceedings. 14th Symposium on Reliable Distributed Systems.

An Innovative Approach to Achieve Compositionality Efficiently Using Multi-version Object Based Transactional Systems

Sweta Kumari, Sathya Peri, Sandeep S. Kulkarni, 2018, SSS.

Transformations for Write-All-with-Collision Model

Sandeep S. Kulkarni, Umamaheswaran Arumugam, S. Kulkarni, 2003, OPODIS.

ProSe - A Programming Tool for Rapid Prototyping of Sensor Networks

Sandeep S. Kulkarni, Mahesh Arumugam, S. Kulkarni, 2007, 2007 2nd IEEE Workshop on Networking Technologies for Software Define Radio Networks.

Technical Report: Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores pdf

Sandeep S. Kulkarni, Duong N. Nguyen, Duong Nguyen, 2020, ArXiv.

Building component families to support adaptation

Sandeep S. Kulkarni, Karun N. Biyani, 2005, ACM SIGSOFT Softw. Eng. Notes.

An Innovative Approach for Achieving Composability in Concurrent Systems using Multi-Version Object Based STMs pdf

Sweta Kumari, Sathya Peri, Sandeep S. Kulkarni, 2017, ArXiv.

Automated addition of fault recovery to cyber-physical component-based models

Borzoo Bonakdarpour, Sandeep S. Kulkarni, Yiyan Lin, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

André Schiper, Sandeep S. Kulkarni, 2008 .

CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks

Murat Demirbas, Sandeep S. Kulkarni, Mohammad Roohitavaf, 2017, 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS).

Logarithmic Keying of Communication Networks

Ehab S. Elmallah, Mohamed G. Gouda, Sandeep S. Kulkarni, 2006, SSS.

ExScal: elements of an extreme scale wireless sensor network

Chen Zhang, David E. Culler, Emre Ertin, 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05).

GentleRain+: Making GentleRain Robust on Clock Anomalies pdf

Sandeep S. Kulkarni, Mohammad Roohitavaf, S. Kulkarni, 2016, ArXiv.

Benefits of Stabilization versus Rollback in Eventually Consistent Key-Value Stores pdf

Sandeep S. Kulkarni, Duong Nguyen, Duong N. Nguyen, 2019, ArXiv.

Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is Enough

Alex X. Liu, Sandeep S. Kulkarni, Bezawada Bruhadeshwar, 2011, IEEE Trans. Parallel Distributed Syst..

Starvation Freedom in Multi-Version Transactional Memory Systems

Sweta Kumari, Sathya Peri, Sandeep S. Kulkarni, 2019, NETYS.

A family of collusion resistant protocols for instantiating security

Sandeep S. Kulkarni, Bezawada Bruhadeshwar, S. Kulkarni, 2005, 13TH IEEE International Conference on Network Protocols (ICNP'05).

Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability

Sandeep S. Kulkarni, Yiyan Lin, S. Kulkarni, 2014, ISSTA 2014.

A Theory of Integrating Tamper Evidence with Stabilization

Ali Ebnenasir, Sandeep S. Kulkarni, Reza Hajisheykhi, 2015, FSEN.

Automatic Generation of Graceful Programs

Sandeep S. Kulkarni, Yiyan Lin, 2012, 2012 IEEE 31st Symposium on Reliable Distributed Systems.

The effect of the specification model on the complexity of adding masking fault tolerance

Ali Ebnenasir, Sandeep S. Kulkarni, 2005, IEEE Transactions on Dependable and Secure Computing.

DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-Value Stores

Sandeep S. Kulkarni, Mohammad Roohitavaf, S. Kulkarni, 2018, 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).

Revising UNITY Programs: Possibilities and Limitations

Ali Ebnenasir, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2005, OPODIS.

Preserving Stabilization While Practically Bounding State Space

Sandeep S. Kulkarni, Vidhya Tekken Valapil, S. Kulkarni, 2017, 2017 13th European Dependable Computing Conference (EDCC).

Alternators in read/write atomicity

Sandeep S. Kulkarni, Andrew Robinson, John Oleszkiewicz, 2005, Inf. Process. Lett..

Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings

Sandeep S. Kulkarni, Andr Schiper, 2008, SSS.

Automating the Addition of Fault-Tolerance

Anish Arora, Sandeep S. Kulkarni, A. Arora, 2000, FTRTFT.

Compositional design of multitolerant repetitive byzantine agreement

Anish Arora, Sandeep S. Kulkarni, 1997, WSS.

ProSe: A Programming Tool for Rapid Prototyping of Sensor Networks

Sandeep S. Kulkarni, Mahesh Arumugam, S. Kulkarni, 2007, S-CUBE.

Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space

Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2007, 27th International Conference on Distributed Computing Systems (ICDCS '07).

Automated Addition of Fault-Tolerance under Synchronous Semantics

Borzoo Bonakdarpour, Sandeep S. Kulkarni, Yiyan Lin, 2013, SSS.

Stabilizing Interference-Free Slot Assignment for Wireless Mesh Networks

Arshad Jhumka, Fuad Abujarad, Sandeep S. Kulkarni, 2009, Guide to Wireless Mesh Networks.

pCover: Partial Coverage for Long-Lived Surveillance Sensor Networks

Sandeep S. Kulkarni, Limin Wang, 2005 .

Logarithmic keying

Ehab S. Elmallah, Mohamed G. Gouda, Sandeep S. Kulkarni, 2008, TAAS.

Monitoring Partially Synchronous Distributed Systems Using SMT Solvers pdf

Eric Torng, Murat Demirbas, Sandeep S. Kulkarni, 2017, RV.

Rapid Prototyping of Power Management Protocols for Sensor Networks: A Case Study

Sandeep S. Kulkarni, Mahesh Arumugam, Limin Wang, 2006 .

Application of Automated Revision for UML Models: A Case Study

Sandeep S. Kulkarni, Jingshu Chen, 2012, ICDCN.

Resettable vector clocks

Murat Demirbas, Anish Arora, Sandeep S. Kulkarni, 2006, J. Parallel Distributed Comput..

Enhancing the fault-tolerance of nonmasking programs

Ali Ebnenasir, Sandeep S. Kulkarni, 2003, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings..

Erratum to "Secret instantiation in ad-hoc networks" [Computer Communications 29 (2006) 200-215]

Anish Arora, Mohamed G. Gouda, Sandeep S. Kulkarni, 2006, Comput. Commun..

Assurance of dynamic adaptation in distributed systems

Sandeep S. Kulkarni, Karun N. Biyani, 2008, J. Parallel Distributed Comput..

Disassembling real-time fault-tolerant programs

Anish Arora, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2008, EMSOFT '08.

Specification-Based Synthesis of Distributed Self-Stabilizing Protocols

Sébastien Tixeuil, Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2015, FORTE.

"Slow Is Fast" for Wireless Sensor Networks in the Presence of Message Losses

Ling Zhu, Murat Demirbas, Sandeep S. Kulkarni, 2010, SSS.

Automated Incremental Synthesis of Timed Automata

Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2006, FMICS/PDMC.

Active Stabilization

Borzoo Bonakdarpour, Sandeep S. Kulkarni, S. Kulkarni, 2011, SSS.

Incremental Synthesis of Fault-Tolerant Real-Time Programs

Borzoo Bonakdarpour, Sandeep S. Kulkarni, 2006, SSS.

A case-study in component-based mechanical verification of fault-tolerant programs

Natarajan Shankar, Sandeep S. Kulkarni, John M. Rushby, 1999, Proceedings 19th IEEE International Conference on Distributed Computing Systems.

Effectiveness of Delaying Timestamp Computation

Nitin H. Vaidya, Sandeep S. Kulkarni, 2017, PODC.

Facilitating the design of fault tolerance in transaction level SystemC programs

Ali Ebnenasir, Sandeep S. Kulkarni, Reza Hajisheykhi, 2013, Theor. Comput. Sci..

ADDING FAULT-TOLERANCE TO STATE MACHINE-BASED DESIGNS

Anish Arora, Ali Ebnenasir, Sandeep S. Kulkarni, 2007 .

Automatic synthesis of fault-tolerance

Ali Ebnenasir, Sandeep S. Kulkarni, 2005 .

Analyzing the Effect of Consistency Violation Faults in Self-Stabilizing Programs pdf

Sandeep S. Kulkarni, Duong N. Nguyen, Duong Nguyen, 2021, ArXiv.

Precision, recall, and sensitivity of monitoring partially synchronous distributed programs

Murat Demirbas, Sandeep S. Kulkarni, Vidhya Tekken Valapil, 2021, Distributed Computing.

Fast Abstract : Self-Stabilizing Deterministic TDMA for Sensor Networks ?

Sandeep S. Kulkarni, Mahesh Arumugam, .

CHAPTER 1 SS-TDMA : A SELF-STABILIZING MAC FOR SENSOR NETWORKS

Sandeep S. Kulkarni, Mahesh, S. Kulkarni, 2022 .

SAT-Based Synthesis of Fault-Tolerance 1

Ali Ebnenasir, Sandeep S. Kulkarni, .

Composing Distributed Fault-tolerance Components

Sandeep S. Kulkarni, Umamaheswaran Arumugam, Karun N. Biyani, 2003 .

Component Based Design of Multitolerance

Anish Arora, Sandeep S. Kulkarni, A. Arora, 2001 .

ADAPTATION IN SENSOR-ACTUATOR NETWORKS : A CASE STUDY

Sandeep S. Kulkarni, Karun N. Biyani, Mahesh Arumugam, 2006 .

Feasibility of Stepwise Addition of Multitolerance to High Atomicity Programs

Ali Ebnenasir, Sandeep S. Kulkarni, 2008 .

An Optimal Symmetric Secret Distribution of Star Networks

Sandeep S. Kulkarni, Bruhadeshwar Bezawada, 2007 .

Building component families to support adaptation

Sandeep S. Kulkarni, Karun N. Biyani, S. Kulkarni, 2005 .

TRADEOFF BETWEEN ENERGY AND LATENCY FOR CONVERGECAST

Sandeep S. Kulkarni, Mahesh Arumugam, 2005 .