The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sandeep S. Kulkarni: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sandeep S. Kulkarni, Karun N. Biyani
    Correctness of Component-Based Adaptation. [Citation Graph (0, 0)][DBLP]
    CBSE, 2004, pp:48-58 [Conf]
  2. 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). [Citation Graph (0, 0)][DBLP]
    DCOSS, 2005, pp:393-394 [Conf]
  3. Limin Wang, Sandeep S. Kulkarni
    Gappa: Gossip Based Multi-channel Reprogramming for Sensor Networks. [Citation Graph (0, 0)][DBLP]
    DCOSS, 2006, pp:119-134 [Conf]
  4. Anish Arora, Murat Demirbas, Sandeep S. Kulkarni
    Graybox Stabilization. [Citation Graph (0, 0)][DBLP]
    DSN, 2001, pp:389-400 [Conf]
  5. Sandeep S. Kulkarni, Ali Ebnenasir
    Automated Synthesis of Multitolerance. [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:209-0 [Conf]
  6. Sandeep S. Kulkarni, Ali Ebnenasir
    Adding Fault-Tolerance Using Pre-synthesized Components. [Citation Graph (0, 0)][DBLP]
    EDCC, 2005, pp:72-90 [Conf]
  7. Sandeep S. Kulkarni, Anish Arora
    Compositional Design of Multitolerant Repetitive Byzantine Agreement. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1997, pp:169-183 [Conf]
  8. Sandeep S. Kulkarni, Anish Arora
    Automating the Addition of Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:82-93 [Conf]
  9. Mahesh Arumugam, Sandeep S. Kulkarni
    Self-stabilizing Deterministic TDMA for Sensor Networks. [Citation Graph (0, 0)][DBLP]
    ICDCIT, 2005, pp:69-81 [Conf]
  10. Sandeep S. Kulkarni, Bezawada Bruhadeshwar
    Distributing Key Updates in Secure Dynamic Groups. [Citation Graph (0, 0)][DBLP]
    ICDCIT, 2004, pp:410-419 [Conf]
  11. Bezawada Bruhadeshwar, Sandeep S. Kulkarni
    User Revocation in Secure Adhoc Networks. [Citation Graph (0, 0)][DBLP]
    ICDCIT, 2005, pp:377-388 [Conf]
  12. Anish Arora, Sandeep S. Kulkarni
    Detectors and Correctors: A Theory of Fault-Tolerance Components. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1998, pp:436-443 [Conf]
  13. Sandeep S. Kulkarni, Ali Ebnenasir
    The Complexity of Adding Failsafe Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2002, pp:337-344 [Conf]
  14. Sandeep S. Kulkarni, Ali Ebnenasir
    Enhancing The Fault-Tolerance of Nonmasking Programs. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2003, pp:441-449 [Conf]
  15. Sandeep S. Kulkarni, Limin Wang
    MNP: Multihop Network Reprogramming Service for Sensor Networks. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2005, pp:7-16 [Conf]
  16. Karun N. Biyani, Sandeep S. Kulkarni
    Concurrency Tradeoffs in Dynamic Adaptation. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2006, pp:4- [Conf]
  17. Sandeep S. Kulkarni, Umamaheswaran Arumugam
    TDMA Service for Sensor Networks. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2004, pp:604-609 [Conf]
  18. Sandeep S. Kulkarni, Bezawada Bruhadeshwar
    Reducing the Cost of the Critical Path in Secure Multicast for Dynamic Groups. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2002, pp:43-48 [Conf]
  19. Sandeep S. Kulkarni, Anish Arora
    Once-and-for all management protocol (OFMP). [Citation Graph (0, 0)][DBLP]
    ICNP, 1997, pp:87-94 [Conf]
  20. Sandeep S. Kulkarni, Bezawada Bruhadeshwar
    A Family of Collusion Resistant Protocols for Instantiating Security. [Citation Graph (0, 0)][DBLP]
    ICNP, 2005, pp:279-288 [Conf]
  21. Sandeep S. Kulkarni, Anish Arora
    Low-cost Fault-tolerance in Barrier Synchronizations. [Citation Graph (0, 0)][DBLP]
    ICPP, 1998, pp:132-139 [Conf]
  22. Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir
    Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:36-52 [Conf]
  23. Sandeep S. Kulkarni, Bezawada Bruhadeshwar
    Rekeying and Storage Cost for Multiple User Revocation. [Citation Graph (0, 0)][DBLP]
    NDSS, 2005, pp:- [Conf]
  24. Sandeep S. Kulkarni, Umamaheswaran Arumugam
    Transformations for Write-All-with-Collision Model. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2003, pp:184-197 [Conf]
  25. Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour
    Revising UNITY Programs: Possibilities and Limitations. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2005, pp:275-290 [Conf]
  26. Limin Wang, Sandeep S. Kulkarni
    Proactive Reliable Bulk Data Dissemination in Sensor Networks. [Citation Graph (0, 0)][DBLP]
    IASTED PDCS, 2005, pp:773-778 [Conf]
  27. Anish Arora, Sandeep S. Kulkarni, Murat Demirbas
    Resettable vector clocks. [Citation Graph (0, 0)][DBLP]
    PODC, 2000, pp:269-278 [Conf]
  28. 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. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2005, pp:102-108 [Conf]
  29. Anish Arora, Sandeep S. Kulkarni
    Designing Masking Fault Tolerance via Nonmasking Fault Tolerance. [Citation Graph (0, 0)][DBLP]
    Symposium on Reliable Distributed Systems, 1995, pp:174-185 [Conf]
  30. Sandeep S. Kulkarni, Anish Arora, Arun Chippada
    Polynomial Time Synthesis of Byzantine Agreement. [Citation Graph (0, 0)][DBLP]
    SRDS, 2001, pp:130-0 [Conf]
  31. Sandeep S. Kulkarni, Umamaheswaran Arumugam
    Collision-Free Communication in Sensor Networks. [Citation Graph (0, 0)][DBLP]
    Self-Stabilizing Systems, 2003, pp:17-31 [Conf]
  32. Sandeep S. Kulkarni, Anish Arora
    Compositional design of multitolerant repetitive byzantine agreement. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:1-15 [Conf]
  33. Sandeep S. Kulkarni, Ravikant
    Stabilizing Causal Deterministic Merge. [Citation Graph (0, 0)][DBLP]
    WSS, 2001, pp:183-199 [Conf]
  34. Sandeep S. Kulkarni, John M. Rushby, Natarajan Shankar
    A case-study in component-based mechanical verification of fault-tolerant programs. [Citation Graph (0, 0)][DBLP]
    WSS, 1999, pp:33-40 [Conf]
  35. Gautam Chakrabarti, Sandeep S. Kulkarni
    Load balancing and resource reservation in mobile ad hoc networks. [Citation Graph (0, 0)][DBLP]
    Ad Hoc Networks, 2006, v:4, n:2, pp:186-203 [Journal]
  36. Sandeep S. Kulkarni, Anish Arora
    Multitolerance in Distributed Reset. [Citation Graph (0, 0)][DBLP]
    Chicago J. Theor. Comput. Sci., 1998, v:1998, n:, pp:- [Journal]
  37. 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. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2004, v:46, n:5, pp:605-634 [Journal]
  38. Sandeep S. Kulkarni, Mahesh Arumugam
    Transformations for write-all-with-collision model, . [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2006, v:29, n:2, pp:183-199 [Journal]
  39. Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora
    Secret instantiation in ad-hoc networks. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2006, v:29, n:2, pp:200-215 [Journal]
  40. Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora
    Erratum to "Secret instantiation in ad-hoc networks" [Computer Communications 29 (2006) 200-215]. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2006, v:29, n:11, pp:2167- [Journal]
  41. Philip K. McKinley, Kurt Stirewalt, Betty H. C. Cheng, Laura K. Dillon, Sandeep S. Kulkarni
    Education: Interactive Distributed Applications and the Computer Science Curriculum. [Citation Graph (0, 0)][DBLP]
    IEEE Distributed Systems Online, 2002, v:3, n:10, pp:- [Journal]
  42. Dhananjay M. Dhamdhere, Sandeep S. Kulkarni
    A Token Based k-Resilient Mutual Exclusion Algorithm for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1994, v:50, n:3, pp:151-157 [Journal]
  43. Sandeep S. Kulkarni, Anish Arora
    Multitolerant Barrier Synchronization. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1997, v:64, n:1, pp:29-36 [Journal]
  44. Sandeep S. Kulkarni, Chase Bolen, John Oleszkiewicz, Andrew Robinson
    Alternators in read/write atomicity. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:93, n:5, pp:207-215 [Journal]
  45. Sandeep S. Kulkarni, Ravikant
    Stabilizing causal deterministic merge. [Citation Graph (0, 0)][DBLP]
    J. High Speed Networks, 2005, v:14, n:2, pp:155-183 [Journal]
  46. Anish Arora, Sandeep S. Kulkarni, Murat Demirbas
    Resettable vector clocks. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 2006, v:66, n:2, pp:221-237 [Journal]
  47. Sandeep S. Kulkarni, Ali Ebnenasir
    Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Dependable Sec. Comput., 2005, v:2, n:3, pp:201-215 [Journal]
  48. Sandeep S. Kulkarni, Ali Ebnenasir
    The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Dependable Sec. Comput., 2005, v:2, n:4, pp:348-355 [Journal]
  49. Anish Arora, Sandeep S. Kulkarni
    Component Based Design of Multitolerant Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:1, pp:63-78 [Journal]
  50. Anish Arora, Sandeep S. Kulkarni
    Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:6, pp:435-450 [Journal]
  51. Borzoo Bonakdarpour, Sandeep S. Kulkarni
    Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2007, pp:3- [Conf]
  52. Limin Wang, Sandeep S. Kulkarni
    Authentication in Reprogramming of Sensor Networks for Mote Class Adversaries. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2007, pp:1-8 [Conf]
  53. Mohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah
    Logarithmic Keying of Communication Networks. [Citation Graph (0, 0)][DBLP]
    SSS, 2006, pp:314-323 [Conf]
  54. Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad
    Brief Announcement: Distributed Synthesis of Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
    SSS, 2006, pp:566-567 [Conf]
  55. Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad
    Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. [Citation Graph (0, 0)][DBLP]
    SSS, 2007, pp:21-36 [Conf]
  56. Mahesh Arumugam, Limin Wang, Sandeep S. Kulkarni
    A Case Study on Prototyping Power Management Protocols for Sensor Networks. [Citation Graph (0, 0)][DBLP]
    SSS, 2006, pp:50-64 [Conf]
  57. Borzoo Bonakdarpour, Sandeep S. Kulkarni
    Incremental Synthesis of Fault-Tolerant Real-Time Programs. [Citation Graph (0, 0)][DBLP]
    SSS, 2006, pp:122-136 [Conf]
  58. Borzoo Bonakdarpour, Sandeep S. Kulkarni
    Automated Incremental Synthesis of Timed Automata. [Citation Graph (0, 0)][DBLP]
    FMICS/PDMC, 2006, pp:261-276 [Conf]

  59. SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. [Citation Graph (, )][DBLP]


  60. Disassembling real-time fault-tolerant programs. [Citation Graph (, )][DBLP]


  61. Compositional verification of fault-tolerant real-time programs. [Citation Graph (, )][DBLP]


  62. Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is Enough. [Citation Graph (, )][DBLP]


  63. Masking Faults While Providing Bounded-Time Phased Recovery. [Citation Graph (, )][DBLP]


  64. On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. [Citation Graph (, )][DBLP]


  65. On the Design of Mobility-Tolerant TDMA-Based Media Access Control (MAC) Protocol for Mobile Sensor Networks. [Citation Graph (, )][DBLP]


  66. Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study. [Citation Graph (, )][DBLP]


  67. Testing Dynamic Adaptation in Distributed Systems. [Citation Graph (, )][DBLP]


  68. Mixed-Mode Adaptation in Distributed Systems: A Case Study. [Citation Graph (, )][DBLP]


  69. Revising Distributed UNITY Programs Is NP-Complete. [Citation Graph (, )][DBLP]


  70. Multicore Constraint-Based Automated Stabilization. [Citation Graph (, )][DBLP]


  71. "Slow Is Fast" for Wireless Sensor Networks in the Presence of Message Losses. [Citation Graph (, )][DBLP]


  72. Complexity Issues in Automated Model Revision without Explicit Legitimate State. [Citation Graph (, )][DBLP]


  73. ProSe - A Programming Tool for Rapid Prototyping of Sensor Networks. [Citation Graph (, )][DBLP]


  74. Sacrificing a little coverage can substantially increase network lifetime. [Citation Graph (, )][DBLP]


  75. Key-update distribution in secure group communication. [Citation Graph (, )][DBLP]


  76. Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs [Citation Graph (, )][DBLP]


  77. Weakest Invariant Generation for Automated Addition of Fault-Tolerance. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002