Sandeep S. Kulkarni

Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni: Towards scalable model checking of self-stabilizing programs. J. Parallel Distrib. Comput. 73(4): 400-410 (2013)

Jingshu Chen, Sandeep S. Kulkarni: SMT-Based Model Checking for Stabilizing Programs^, . ICDCN 2013: 393-407

Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Symbolic synthesis of masking fault-tolerant distributed programs. Distributed Computing 25(1): 83-108 (2012)

Borzoo Bonakdarpour, Sandeep S. Kulkarni: Automated model repair for distributed programs. SIGACT News 43(2): 85-107 (2012)

Jingshu Chen, Sandeep S. Kulkarni: Application of Automated Revision for UML Models: A Case Study. ICDCN 2012: 31-45

Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni: Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs. ICDCN 2012: 91-105

Murat Demirbas, Serafettin Tasci, Sandeep S. Kulkarni: Maestro: A cloud computing framework with automated locking. ISCC 2012: 833-838

Yiyan Lin, Sandeep S. Kulkarni: Automatic Generation of Graceful Programs. SRDS 2012: 225-230

Jingshu Chen, Sandeep S. Kulkarni: Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. SSS 2012: 179-182

Fuad Abujarad, Sandeep S. Kulkarni: Automated constraint-based addition of nonmasking and stabilizing fault-tolerance. Theor. Comput. Sci. 412(33): 4228-4246 (2011)

Shlomi Dolev, Sandeep S. Kulkarni, André Schiper: Preface. Theor. Comput. Sci. 412(40): 5513-5514 (2011)

Bezawada Bruhadeshwar, Sandeep S. Kulkarni: Balancing Revocation and Storage Trade-Offs in Secure Group Communication. IEEE Trans. Dependable Sec. Comput. 8(1): 58-73 (2011)

Ali Ebnenasir, Sandeep S. Kulkarni: Feasibility of Stepwise Design of Multitolerant Programs. ACM Trans. Softw. Eng. Methodol. 21(1): 1 (2011)

Bezawada Bruhadeshwar, Sandeep S. Kulkarni, Alex X. Liu: Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is Enough. IEEE Trans. Parallel Distrib. Syst. 22(9): 1536-1549 (2011)

Borzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni: Automated addition of fault recovery to cyber-physical component-based models. EMSOFT 2011: 127-136

Borzoo Bonakdarpour, Sandeep S. Kulkarni: Active Stabilization. SSS 2011: 77-91

Sandeep S. Kulkarni, Bezawada Bruhadeshwar: Key-update distribution in secure group communication. Computer Communications 33(6): 689-705 (2010)

Jingshu Chen, Sandeep S. Kulkarni: Complexity Analysis of Weak Multitolerance. ICDCS 2010: 398-407

Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni: Effect of Fairness in Model Checking of Self-stabilizing Programs. OPODIS 2010: 135-138

Mahesh Arumugam, Murat Demirbas, Sandeep S. Kulkarni: "Slow Is Fast" for Wireless Sensor Networks in the Presence of Message Losses. SSS 2010: 176-190

Fuad Abujarad, Sandeep S. Kulkarni: Complexity Issues in Automated Model Revision without Explicit Legitimate State. SSS 2010: 206-220

Fuad Abujarad, Sandeep S. Kulkarni: Weakest Invariant Generation for Automated Addition of Fault-Tolerance. Electr. Notes Theor. Comput. Sci. 258(2): 3-15 (2009)

Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni: Complexity results in revising UNITY programs. TAAS 4(1) (2009)

Sandeep S. Kulkarni, Limin Wang: Energy-efficient multihop reprogramming for sensor networks. TOSN 5(2) (2009)

Borzoo Bonakdarpour, Sandeep S. Kulkarni: Compositional verification of fault-tolerant real-time programs. EMSOFT 2009: 29-38

Borzoo Bonakdarpour, Sandeep S. Kulkarni: On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. FM 2009: 660-675

Mahesh Arumugam, Sandeep S. Kulkarni: ProSe: A Programming Tool for Rapid Prototyping of Sensor Networks. S-CUBE 2009: 158-173

Fuad Abujarad, Sandeep S. Kulkarni: Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance. SRDS 2009: 119-128

Fuad Abujarad, Sandeep S. Kulkarni: Multicore Constraint-Based Automated Stabilization. SSS 2009: 47-61

Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni: Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs. PDMC 2009: 92-106

Limin Wang, Sandeep S. Kulkarni: Sacrificing a little coverage can substantially increase network lifetime. Ad Hoc Networks 6(8): 1281-1300 (2008)

Karun N. Biyani, Sandeep S. Kulkarni: Assurance of dynamic adaptation in distributed systems. J. Parallel Distrib. Comput. 68(8): 1097-1112 (2008)

Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora: FTSyn: a framework for automatic synthesis of fault-tolerance. STTT 10(5): 455-471 (2008)

Ehab S. Elmallah, Mohamed G. Gouda, Sandeep S. Kulkarni: Logarithmic keying. TAAS 3(4) (2008)

Borzoo Bonakdarpour, Sandeep S. Kulkarni: SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. CONCUR 2008: 167-171

Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora: Disassembling real-time fault-tolerant programs. EMSOFT 2008: 169-178

Bezawada Bruhadeshwar, Sandeep S. Kulkarni, Alex X. Liu: Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is Enough. ESORICS 2008: 82-96

Borzoo Bonakdarpour, Sandeep S. Kulkarni: Masking Faults While Providing Bounded-Time Phased Recovery. FM 2008: 374-389

Fuad Abujarad, Sandeep S. Kulkarni: Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study. ICDCS Workshops 2008: 539-544

Borzoo Bonakdarpour, Sandeep S. Kulkarni: Revising Distributed UNITY Programs Is NP-Complete. OPODIS 2008: 408-427

Sandeep S. Kulkarni, André Schiper (Eds.): 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

Rohit Kapur, T. Finklea, Felix Ng, Anshuman Chandra, Sanjay Ramnath, Peter Wohl, Thomas W. Williams, Ashok Anbalan, Sandeep S. Kulkarni, Tammy Fernandes, Pramod Notiyath, Rajesh Uppuluri: DFT MAX and Power. J. Low Power Electronics 3(2): 199-205 (2007)

Sandeep S. Kulkarni: Terminating alternator. Parallel Processing Letters 17(4): 379-390 (2007)

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

Borzoo Bonakdarpour, Sandeep S. Kulkarni: Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space. ICDCS 2007: 3

Karun N. Biyani, Sandeep S. Kulkarni: Mixed-Mode Adaptation in Distributed Systems: A Case Study. SEAMS 2007: 14

Karun N. Biyani, Sandeep S. Kulkarni: Testing Dynamic Adaptation in Distributed Systems. AST 2007: 51-54

Limin Wang, Sandeep S. Kulkarni: Authentication in Reprogramming of Sensor Networks for Mote Class Adversaries. IPDPS 2007: 1-8

Mahesh Arumugam, Sandeep S. Kulkarni: ProSe - A Programming Tool for Rapid Prototyping of Sensor Networks. SECON 2007: 685-686

Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. SSS 2007: 21-36

Gautam Chakrabarti, Sandeep S. Kulkarni: Load balancing and resource reservation in mobile ad hoc networks. Ad Hoc Networks 4(2): 186-203 (2006)

Sandeep S. Kulkarni, Mahesh Arumugam: Transformations for write-all-with-collision model^, . Computer Communications 29(2): 183-199 (2006)

Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora: Secret instantiation in ad-hoc networks. Computer Communications 29(2): 200-215 (2006)

Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora: Erratum to "Secret instantiation in ad-hoc networks" [Computer Communications 29 (2006) 200-215]. Computer Communications 29(11): 2167 (2006)

Sandeep S. Kulkarni, Mahesh Arumugam: Infuse: A TDMA Based Data Dissemination Protocol for Sensor Networks. IJDSN 2(1): 55-78 (2006)

Anish Arora, Sandeep S. Kulkarni, Murat Demirbas: Resettable vector clocks. J. Parallel Distrib. Comput. 66(2): 221-237 (2006)

Limin Wang, Sandeep S. Kulkarni: Gappa: Gossip Based Multi-channel Reprogramming for Sensor Networks. DCOSS 2006: 119-134

Borzoo Bonakdarpour, Sandeep S. Kulkarni: Automated Incremental Synthesis of Timed Automata. FMICS/PDMC 2006: 261-276

Karun N. Biyani, Sandeep S. Kulkarni: Concurrency Tradeoffs in Dynamic Adaptation. ICDCS Workshops 2006: 4

Limin Wang, Sandeep S. Kulkarni: Sacrificing a Little Coverage Can Substantially Increase Network Lifetime. SECON 2006: 326-335

Mahesh Arumugam, Limin Wang, Sandeep S. Kulkarni: A Case Study on Prototyping Power Management Protocols for Sensor Networks. SSS 2006: 50-64

Borzoo Bonakdarpour, Sandeep S. Kulkarni: Incremental Synthesis of Fault-Tolerant Real-Time Programs. SSS 2006: 122-136

Mohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah: Logarithmic Keying of Communication Networks. SSS 2006: 314-323

Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Brief Announcement: Distributed Synthesis of Fault-Tolerance. SSS 2006: 566-567

Sandeep S. Kulkarni, Chase Bolen, John Oleszkiewicz, Andrew Robinson: Alternators in read/write atomicity. Inf. Process. Lett. 93(5): 207-215 (2005)

Sandeep S. Kulkarni, Ravikant: Stabilizing causal deterministic merge. J. High Speed Networks 14(2): 155-183 (2005)

Karun N. Biyani, Sandeep S. Kulkarni: Building component families to support adaptation. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)

Sandeep S. Kulkarni, Ali Ebnenasir: Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance. IEEE Trans. Dependable Sec. Comput. 2(3): 201-215 (2005)

Sandeep S. Kulkarni, Ali Ebnenasir: The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance. IEEE Trans. Dependable Sec. Comput. 2(4): 348-355 (2005)

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

Sandeep S. Kulkarni, Ali Ebnenasir: Adding Fault-Tolerance Using Pre-synthesized Components. EDCC 2005: 72-90

Mahesh Arumugam, Sandeep S. Kulkarni: Self-stabilizing Deterministic TDMA for Sensor Networks. ICDCIT 2005: 69-81

Bezawada Bruhadeshwar, Sandeep S. Kulkarni: User Revocation in Secure Adhoc Networks. ICDCIT 2005: 377-388

Sandeep S. Kulkarni, Limin Wang: MNP: Multihop Network Reprogramming Service for Sensor Networks. ICDCS 2005: 7-16

Sandeep S. Kulkarni, Bezawada Bruhadeshwar: A Family of Collusion Resistant Protocols for Instantiating Security. ICNP 2005: 279-288

Sandeep S. Kulkarni, Bezawada Bruhadeshwar: Rekeying and Storage Cost for Multiple User Revocation. NDSS 2005

Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour: Revising UNITY Programs: Possibilities and Limitations. OPODIS 2005: 275-290

Limin Wang, Sandeep S. Kulkarni: Proactive Reliable Bulk Data Dissemination in Sensor Networks. IASTED PDCS 2005: 773-778

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

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. Computer Networks 46(5): 605-634 (2004)

Sandeep S. Kulkarni, Karun N. Biyani: Correctness of Component-Based Adaptation. CBSE 2004: 48-58

Sandeep S. Kulkarni, Ali Ebnenasir: Automated Synthesis of Multitolerance. DSN 2004: 209-

Sandeep S. Kulkarni, Bezawada Bruhadeshwar: Distributing Key Updates in Secure Dynamic Groups. ICDCIT 2004: 410-419

Sandeep S. Kulkarni, Umamaheswaran Arumugam: TDMA Service for Sensor Networks. ICDCS Workshops 2004: 604-609

Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir: Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. LOPSTR 2004: 36-52

Sandeep S. Kulkarni, Ali Ebnenasir: Enhancing The Fault-Tolerance of Nonmasking Programs. ICDCS 2003: 441-449

Sandeep S. Kulkarni, Umamaheswaran Arumugam: Transformations for Write-All-with-Collision Model. OPODIS 2003: 184-197

Sandeep S. Kulkarni, Umamaheswaran Arumugam: Collision-Free Communication in Sensor Networks. Self-Stabilizing Systems 2003: 17-31

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 Systems Online 3(10) (2002)

Sandeep S. Kulkarni, Ali Ebnenasir: The Complexity of Adding Failsafe Fault-Tolerance. ICDCS 2002: 337-344

Sandeep S. Kulkarni, Bezawada Bruhadeshwar: Reducing the Cost of the Critical Path in Secure Multicast for Dynamic Groups. ICDCS Workshops 2002: 43-48

Anish Arora, Murat Demirbas, Sandeep S. Kulkarni: Graybox Stabilization. DSN 2001: 389-400

Sandeep S. Kulkarni, Anish Arora, Arun Chippada: Polynomial Time Synthesis of Byzantine Agreement. SRDS 2001: 130-

Sandeep S. Kulkarni, Ravikant: Stabilizing Causal Deterministic Merge. WSS 2001: 183-199

Sandeep S. Kulkarni, Anish Arora: Automating the Addition of Fault-Tolerance. FTRTFT 2000: 82-93

Anish Arora, Sandeep S. Kulkarni, Murat Demirbas: Resettable vector clocks. PODC 2000: 269-278

Sandeep S. Kulkarni, John M. Rushby, Natarajan Shankar: A case-study in component-based mechanical verification of fault-tolerant programs. WSS 1999: 33-40

Sandeep S. Kulkarni, Anish Arora: Multitolerance in Distributed Reset. Chicago J. Theor. Comput. Sci. 1998 (1998)

Anish Arora, Sandeep S. Kulkarni: Component Based Design of Multitolerant Systems. IEEE Trans. Software Eng. 24(1): 63-78 (1998)

Anish Arora, Sandeep S. Kulkarni: Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance. IEEE Trans. Software Eng. 24(6): 435-450 (1998)

Anish Arora, Sandeep S. Kulkarni: Detectors and Correctors: A Theory of Fault-Tolerance Components. ICDCS 1998: 436-443

Sandeep S. Kulkarni, Anish Arora: Low-cost Fault-tolerance in Barrier Synchronizations. ICPP 1998: 132-139

Sandeep S. Kulkarni, Anish Arora: Multitolerant Barrier Synchronization. Inf. Process. Lett. 64(1): 29-36 (1997)

Sandeep S. Kulkarni, Anish Arora: Compositional Design of Multitolerant Repetitive Byzantine Agreement. FSTTCS 1997: 169-183

Sandeep S. Kulkarni, Anish Arora: Once-and-for all management protocol (OFMP). ICNP 1997: 87-94

Sandeep S. Kulkarni, Anish Arora: Compositional design of multitolerant repetitive byzantine agreement. WSS 1997: 1-15

Anish Arora, Sandeep S. Kulkarni: Designing Masking Fault Tolerance via Nonmasking Fault Tolerance. SRDS 1995: 174-185

Dhananjay M. Dhamdhere, Sandeep S. Kulkarni: A Token Based k-Resilient Mutual Exclusion Algorithm for Distributed Systems. Inf. Process. Lett. 50(3): 151-157 (1994)