dblp.uni-trier.dewww.uni-trier.de

Sandeep S. Kulkarni Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
77EEBorzoo Bonakdarpour, Sandeep S. Kulkarni: Compositional verification of fault-tolerant real-time programs. EMSOFT 2009: 29-38
76EEBorzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni: Complexity results in revising UNITY programs. TAAS 4(1): (2009)
75EESandeep S. Kulkarni, Limin Wang: Energy-efficient multihop reprogramming for sensor networks. TOSN 5(2): (2009)
2008
74 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 Springer 2008
73EEBorzoo Bonakdarpour, Sandeep S. Kulkarni: SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. CONCUR 2008: 167-171
72EEBorzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora: Disassembling real-time fault-tolerant programs. EMSOFT 2008: 169-178
71EEBezawada Bruhadeshwar, Sandeep S. Kulkarni, Alex X. Liu: Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is Enough. ESORICS 2008: 82-96
70EEBorzoo Bonakdarpour, Sandeep S. Kulkarni: Masking Faults While Providing Bounded-Time Phased Recovery. FM 2008: 374-389
69EEFuad Abujarad, Sandeep S. Kulkarni: Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study. ICDCS Workshops 2008: 539-544
68EEBorzoo Bonakdarpour, Sandeep S. Kulkarni: Revising Distributed UNITY Programs Is NP-Complete. OPODIS 2008: 408-427
67EELimin Wang, Sandeep S. Kulkarni: Sacrificing a little coverage can substantially increase network lifetime. Ad Hoc Networks 6(8): 1281-1300 (2008)
66EEKarun N. Biyani, Sandeep S. Kulkarni: Assurance of dynamic adaptation in distributed systems. J. Parallel Distrib. Comput. 68(8): 1097-1112 (2008)
65EEAli Ebnenasir, Sandeep S. Kulkarni, Anish Arora: FTSyn: a framework for automatic synthesis of fault-tolerance. STTT 10(5): 455-471 (2008)
64EEEhab S. Elmallah, Mohamed G. Gouda, Sandeep S. Kulkarni: Logarithmic keying. TAAS 3(4): (2008)
2007
63EEArshad 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
62EEBorzoo Bonakdarpour, Sandeep S. Kulkarni: Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space. ICDCS 2007: 3
61EELimin Wang, Sandeep S. Kulkarni: Authentication in Reprogramming of Sensor Networks for Mote Class Adversaries. IPDPS 2007: 1-8
60EEMahesh Arumugam, Sandeep S. Kulkarni: ProSe - A Programming Tool for Rapid Prototyping of Sensor Networks. SECON 2007: 685-686
59EEBorzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model. SSS 2007: 21-36
58EESandeep S. Kulkarni: Terminating alternator. Parallel Processing Letters 17(4): 379-390 (2007)
2006
57EELimin Wang, Sandeep S. Kulkarni: Gappa: Gossip Based Multi-channel Reprogramming for Sensor Networks. DCOSS 2006: 119-134
56EEBorzoo Bonakdarpour, Sandeep S. Kulkarni: Automated Incremental Synthesis of Timed Automata. FMICS/PDMC 2006: 261-276
55EEKarun N. Biyani, Sandeep S. Kulkarni: Concurrency Tradeoffs in Dynamic Adaptation. ICDCS Workshops 2006: 4
54EEBorzoo Bonakdarpour, Sandeep S. Kulkarni: Incremental Synthesis of Fault-Tolerant Real-Time Programs. SSS 2006: 122-136
53EEMohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah: Logarithmic Keying of Communication Networks. SSS 2006: 314-323
52EEMahesh Arumugam, Limin Wang, Sandeep S. Kulkarni: A Case Study on Prototyping Power Management Protocols for Sensor Networks. SSS 2006: 50-64
51EEBorzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad: Brief Announcement: Distributed Synthesis of Fault-Tolerance. SSS 2006: 566-567
50EEGautam Chakrabarti, Sandeep S. Kulkarni: Load balancing and resource reservation in mobile ad hoc networks. Ad Hoc Networks 4(2): 186-203 (2006)
49EESandeep 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)
48EESandeep S. Kulkarni, Mahesh Arumugam: Transformations for write-all-with-collision model, . Computer Communications 29(2): 183-199 (2006)
47EESandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora: Secret instantiation in ad-hoc networks. Computer Communications 29(2): 200-215 (2006)
46EESandeep S. Kulkarni, Mahesh Arumugam: Infuse: A TDMA Based Data Dissemination Protocol for Sensor Networks. IJDSN 2(1): 55-78 (2006)
45EEAnish Arora, Sandeep S. Kulkarni, Murat Demirbas: Resettable vector clocks. J. Parallel Distrib. Comput. 66(2): 221-237 (2006)
2005
44EEAnish 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
43EESandeep S. Kulkarni, Ali Ebnenasir: Adding Fault-Tolerance Using Pre-synthesized Components. EDCC 2005: 72-90
42 Limin Wang, Sandeep S. Kulkarni: Proactive Reliable Bulk Data Dissemination in Sensor Networks. IASTED PDCS 2005: 773-778
41EEBezawada Bruhadeshwar, Sandeep S. Kulkarni: User Revocation in Secure Adhoc Networks. ICDCIT 2005: 377-388
40EEMahesh Arumugam, Sandeep S. Kulkarni: Self-stabilizing Deterministic TDMA for Sensor Networks. ICDCIT 2005: 69-81
39EESandeep S. Kulkarni, Limin Wang: MNP: Multihop Network Reprogramming Service for Sensor Networks. ICDCS 2005: 7-16
38EESandeep S. Kulkarni, Bezawada Bruhadeshwar: A Family of Collusion Resistant Protocols for Instantiating Security. ICNP 2005: 279-288
37EESandeep S. Kulkarni, Bezawada Bruhadeshwar: Rekeying and Storage Cost for Multiple User Revocation. NDSS 2005
36EEAli Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour: Revising UNITY Programs: Possibilities and Limitations. OPODIS 2005: 275-290
35EEAnish 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
34EEKarun N. Biyani, Sandeep S. Kulkarni: Building component families to support adaptation. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
33EESandeep S. Kulkarni, Ali Ebnenasir: Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance. IEEE Trans. Dependable Sec. Comput. 2(3): 201-215 (2005)
32EESandeep 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)
31EESandeep S. Kulkarni, Chase Bolen, John Oleszkiewicz, Andrew Robinson: Alternators in read/write atomicity. Inf. Process. Lett. 93(5): 207-215 (2005)
30EESandeep S. Kulkarni, Ravikant: Stabilizing causal deterministic merge. J. High Speed Networks 14(2): 155-183 (2005)
2004
29EESandeep S. Kulkarni, Karun N. Biyani: Correctness of Component-Based Adaptation. CBSE 2004: 48-58
28EESandeep S. Kulkarni, Ali Ebnenasir: Automated Synthesis of Multitolerance. DSN 2004: 209-
27EESandeep S. Kulkarni, Bezawada Bruhadeshwar: Distributing Key Updates in Secure Dynamic Groups. ICDCIT 2004: 410-419
26EESandeep S. Kulkarni, Umamaheswaran Arumugam: TDMA Service for Sensor Networks. ICDCS Workshops 2004: 604-609
25EESandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir: Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs. LOPSTR 2004: 36-52
24EEAnish 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)
2003
23EESandeep S. Kulkarni, Ali Ebnenasir: Enhancing The Fault-Tolerance of Nonmasking Programs. ICDCS 2003: 441-449
22EESandeep S. Kulkarni, Umamaheswaran Arumugam: Transformations for Write-All-with-Collision Model. OPODIS 2003: 184-197
21EESandeep S. Kulkarni, Umamaheswaran Arumugam: Collision-Free Communication in Sensor Networks. Self-Stabilizing Systems 2003: 17-31
2002
20EESandeep S. Kulkarni, Ali Ebnenasir: The Complexity of Adding Failsafe Fault-Tolerance. ICDCS 2002: 337-344
19EESandeep S. Kulkarni, Bezawada Bruhadeshwar: Reducing the Cost of the Critical Path in Secure Multicast for Dynamic Groups. ICDCS Workshops 2002: 43-48
18EEPhilip 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)
2001
17EEAnish Arora, Murat Demirbas, Sandeep S. Kulkarni: Graybox Stabilization. DSN 2001: 389-400
16EESandeep S. Kulkarni, Anish Arora, Arun Chippada: Polynomial Time Synthesis of Byzantine Agreement. SRDS 2001: 130-
15EESandeep S. Kulkarni, Ravikant: Stabilizing Causal Deterministic Merge. WSS 2001: 183-199
2000
14EESandeep S. Kulkarni, Anish Arora: Automating the Addition of Fault-Tolerance. FTRTFT 2000: 82-93
13EEAnish Arora, Sandeep S. Kulkarni, Murat Demirbas: Resettable vector clocks. PODC 2000: 269-278
1999
12 Sandeep S. Kulkarni, John M. Rushby, Natarajan Shankar: A case-study in component-based mechanical verification of fault-tolerant programs. WSS 1999: 33-40
1998
11EEAnish Arora, Sandeep S. Kulkarni: Detectors and Correctors: A Theory of Fault-Tolerance Components. ICDCS 1998: 436-443
10EESandeep S. Kulkarni, Anish Arora: Low-cost Fault-tolerance in Barrier Synchronizations. ICPP 1998: 132-139
9EESandeep S. Kulkarni, Anish Arora: Multitolerance in Distributed Reset. Chicago J. Theor. Comput. Sci. 1998: (1998)
8EEAnish Arora, Sandeep S. Kulkarni: Component Based Design of Multitolerant Systems. IEEE Trans. Software Eng. 24(1): 63-78 (1998)
7EEAnish Arora, Sandeep S. Kulkarni: Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance. IEEE Trans. Software Eng. 24(6): 435-450 (1998)
1997
6EESandeep S. Kulkarni, Anish Arora: Compositional Design of Multitolerant Repetitive Byzantine Agreement. FSTTCS 1997: 169-183
5EESandeep S. Kulkarni, Anish Arora: Once-and-for all management protocol (OFMP). ICNP 1997: 87-94
4 Sandeep S. Kulkarni, Anish Arora: Compositional design of multitolerant repetitive byzantine agreement. WSS 1997: 1-15
3EESandeep S. Kulkarni, Anish Arora: Multitolerant Barrier Synchronization. Inf. Process. Lett. 64(1): 29-36 (1997)
1995
2 Anish Arora, Sandeep S. Kulkarni: Designing Masking Fault Tolerance via Nonmasking Fault Tolerance. SRDS 1995: 174-185
1994
1 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)

Coauthor Index

1Fuad Abujarad [51] [59] [69]
2Chris Anderson [35] [44]
3Mahesh Aramugam [35] [44]
4Anish Arora [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [16] [17] [24] [35] [44] [45] [47] [49] [65] [72]
5Mahesh Arumugam [40] [46] [48] [52] [60]
6Umamaheswaran Arumugam [21] [22] [24] [26]
7Sandip Bapat [24] [35] [44]
8Karun N. Biyani [29] [34] [55] [66]
9Chase Bolen [31]
10Borzoo Bonakdarpour [25] [36] [51] [54] [56] [59] [62] [68] [70] [72] [73] [76] [77]
11Bezawada Bruhadeshwar [19] [27] [37] [38] [41] [71]
12Hui Cao [24] [35] [44]
13Gautam Chakrabarti [50]
14Betty H. C. Cheng [18]
15Arun Chippada [16]
16Young-ri Choi [24] [35] [44]
17David E. Culler [35] [44]
18Murat Demirbas [13] [17] [24] [45]
19Dhananjay M. Dhamdhere [1]
20Laura K. Dillon [18]
21Prabal Dutta [24] [35] [44]
22Ali Ebnenasir [20] [23] [25] [28] [32] [33] [36] [43] [65] [76]
23Ehab S. Elmallah [53] [64]
24Emre Ertin [35] [44]
25Bill Ferriera [35] [44]
26Mohamed G. Gouda [24] [35] [44] [47] [49] [53] [64]
27Mike Grimmer [35] [44]
28Ted Herman [24] [35] [44]
29Arshad Jhumka [63]
30Vinod Kulathumani [24] [35] [44]
31Santosh Kumar [35] [44]
32Alex X. Liu (Xiang-Yang Alex Liu) [71]
33Philip K. McKinley [18]
34Vineet Mittal [24]
35Mark Miyashita [24]
36Vinayak Naik [24] [35] [44]
37Mikhail Nesterenko [24] [35] [44]
38John Oleszkiewicz [31]
39Ken Parker [35] [44]
40Rajiv Ramnath [35] [44]
41 Ravikant [15] [30]
42Andrew Robinson [31]
43John M. Rushby [12]
44André Schiper [74]
45Nick Seddon [35] [44]
46Romil Shah [35] [44]
47Natarajan Shankar [12]
48Cory Sharp [35] [44]
49Prasun Sinha [35] [44]
50Mukundan Sridharan [35] [44]
51R. E. Kurt Stirewalt (Kurt Stirewalt) [18]
52Gilman Tolle [35] [44]
53Nishank Trivedi [35] [44]
54Adnan Vora [24]
55Limin Wang [35] [39] [42] [44] [52] [57] [61] [67] [75]
56Chen Zhang [35] [44]
57Hongwei Zhang [24] [35] [44]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)