q Mahesh Arumugam, Arshad Jhumka, Fuad Abujarad,
and Sandeep Kulkarni. "Stabilizing Interference Free Slot Assignment for
Wireless Mesh Networks" Guide to wireless mesh networks 2009
q A. Ebnenasir and S. S. Kulkarni. Adding Fault-Tolerance to State Machine-Based Designs,
Software Engineering of Fault-Tolerant Systems, 2007
q S. S. Kulkarni and M(U). Arumugam SS-TDMA: A self-stabilizing MAC for sensor networks
Sensor Network Operations, IEEE Press, 2006.
q 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)
q Yiyan Lin, Sandeep S.
Kulkarni, Arshad Jhumka: Automation
of fault-tolerant graceful degradation. Distributed Comput.
32(1): 1-25 (2019)
q Mohammad Roohitavaf, Sandeep S. Kulkarni: Automatic
Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions
†. Future Internet 11(7): 144 (2019)
q 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)
q 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) q Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni: Automated Synthesis of Distributed
Self-Stabilizing Protocols. Logical Methods in Computer Science 14(1) (2018) q Reza Hajisheykhi, Ali Ebnenasir,
Sandeep S. Kulkarni: A theory of integrating tamper evidence with
stabilization. Sci. Comput. Program. 160: 93-114
(2018) q Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni: Handling Multiple Scenarios in
Evolutionary Multiobjective Numerical Optimization.
IEEE Trans. Evolutionary Computation 22(6): 920-933 (2018) q Sorrachai
Yingchareonthawornchai, Duong N. Nguyen, Sandeep S. Kulkarni, Murat Demirbas: Analysis of Bounds on Hybrid Vector Clocks. IEEE
Trans. Parallel Distrib. Syst. 29(9): 1947-1960
(2018) q Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni: Bounded Auditable Restoration of Distributed
Programs. TC 2016. q 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 Distrib.
Comput. 77: 41-57 (2015) q Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni:
Towards scalable model checking of
self-stabilizing programs. J. Parallel Distrib.
Comput. 73(4): 400-410 (2013) q Jingshu Chen, Sandeep
S. Kulkarni: MR4UM: A framework for adding
fault tolerance to UML state diagrams. Theor. Comput. Sci. 496: 17-33 (2013) q 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) q Borzoo
Bonakdarpour, Sandeep S. Kulkarni, Fuad
Abujarad: Symbolic synthesis of masking
fault-tolerant distributed programs. Distributed Computing 25(1): 83-108 (2012) q Borzoo
Bonakdarpour, Sandeep S. Kulkarni: Automated model repair for distributed programs.
SIGACT News 43(2): 85-107 (2012) q Bezawada Bruhadeshwar, Sandeep S. Kulkarni. Balancing Revocation and
Storage Trade-Offs in Secure Group Communication. IEEE Transactions on
Dependable and Secure Computing 8(1): 58-73 (2011) q Bezawada Bruhadeshwar, Sandeep S. Kulkarni, Alex
X. Liu: Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is
Enough. IEEE Trans. Parallel and Distributed Systems 22(9): 1536-1549 (2011) q Fuad Abujarad, Sandeep S. Kulkarni: Automated constraint-based
addition of nonmasking and stabilizing fault-tolerance. Theor.
Comput. Sci. 412(33): 4228-4246 (2011) q Sandeep Kulkarni
and Bezawada Bruhadeshwar. Key-update distribution in secure group communication,
Computer Communications. 2010 q Sandeep Kulkarni, Fuad Abujarad:
Weakest Invariant Generation for Automated Addition of
Fault-Tolerance, Electronic Notes in Theoretical Computer Science, 2009 q Borzoo
Bonakdarpour and Sandeep Kulkarni: Complexity results in revising UNITY
programs, ACM Transactions on Autonomous and Adaptive Systems (TAAS), 2009. q Sandeep Kulkarni and Limin Wang, . Energy-efficient multihop
reprogramming for sensor networks, ACM Transactions on Sensor Networks, 2009. q Ehab S. Elmallah, Mohamed G. Gouda, Sandeep S. Kulkarni: Logarithmic keying, ACM Transactions on Autonomic Systems,
2008 q Ali Ebnenasir,
Sandeep S. Kulkarni, Anish Arora: FTSyn: a framework for automatic synthesis of
fault-tolerance. International Journal on Software
Tools for Technology Transfer (STTT) 10(5): 455-471, 2008 q Karun N. Biyani, Sandeep S. Kulkarni: Assurance
of dynamic adaptation in distributed systems. Journal of Parallel and Distributed. Computing.
68(8): 1097-1112, 2008 q Limin Wang and Sandeep
S. Kulkarni: Sacrificing a little coverage can
substantially increase network lifetime. Ad Hoc Networks 6(8): 1281-1300,
2008 q Sandeep S.
Kulkarni: Terminating alternator. Parallel
Processing Letters 17(4): 379-390, 2007 q M. Arumugam and S. S. Kulkarni
Self-stabilizing
deterministic TDMA for sensor networks. AIAA Journal of Aerospace
computing, information and communication (JACIC), 2006 q S. S. Kulkarni and M. Arumugam. A TDMA based data dissemination protocol for sensor networks.
International Journal of Distributed Sensor Networks, 2006 q S. S. Kulkarni, M. G. Gouda and A. Arora. Secret Instantiation in Ad Hoc Networks Special Issue of
Elsevier Journal of Computer Communications on Dependable Wireless Sensor
Networks, 2006 q S. S. Kulkarni and M. Arumugam Transformations for Write-All-With-Collision Model
Special Issue of Elsevier Journal of Computer Communications on Dependable
Wireless Sensor Networks, 2006 q S. S. Kulkarni and M. Arumugam Approximate Causal Observer Special issue of Transaction of
SICE volume E. 2006 q A. Arora,
S. S. Kulkarni, and M. Demirbas. Resettable
Vector Clocks Journal of Parallel and Distributed Computing, 2006 q G. Chakrabarti and Sandeep
S. Kulkarni, Load Balancing and Resource Reservation in Ad-hoc
Networks, Ad-Hoc Networks, 2006 q S. S. Kulkarni and A. Ebnenasir, The
Effect of the Specification Model on the Complexity of Adding Masking
Fault-Tolerance IEEE Transactions on Dependable and Secure
Computing, 2005 q S. S. Kulkarni and A. Ebnenasir Complexity
Issues in Automated Synthesis of Failsafe Fault-Tolerance IEEE Transactions
on Dependable and Secure Computing. 2005 q S. S. Kulkarni and Ravikant Stabilizing Causal Deterministic Merge Journal of High
Speed Networks, 2005 q Sandeep S. Kulkarni, Chase Bolen, John Oleszkiewicz,
and Andrew Robinson Alternator in Read/Write Model Information
Processing Letters, 2005 q A. Arora, P.
Dutta, S. Bapat, V. Kulathumani,
H. Zhang, V. Naik, V. Mittal, H. Cao, M. Demirbas, M. Gouda, Y-R. Choi, T. Herman, S. S. Kulkarni,
U. Arumugam, M. Nesterenko,
A. Vora and M. Miyashita, A Line in
the sand: A wireless sensor network for target detection, classification, and
tracking, Computer Networks (Elsevier), 2004 q S. S. Kulkarni and B. Bruhadeshwar.
Adaptive Rekeying for Secure Multicast, IEEE/IEICE Special issue on Communications:
Transactions on Communications, volume E86-B, number 10, pages 2948—2956,
October 2003 q P. McKinley, K. Stirewalt,
B. Cheng, L. Dillon and S. S. Kulkarni, Interactive Distributed Applications
and the Computer Science Curriculum, IEEE
Distributed Systems Online. volume 3(10),
November 2002. q S. S. Kulkarni and
A. Arora. Multitolerance in distributed reset, Special Issue on Self-Stabilization of
Chicago Journal of Theoretical Computer Science, 1998(4), December 1998 q A. Arora and S. S. Kulkarni. Designing masking fault-tolerance via
nonmasking fault-tolerance, IEEE
Transactions on Software Engineering, vol
24(6), pp 435-450, June 1998 q A. Arora and S. S. Kulkarni. Component based design of multitolerant systems, IEEE Transactions on Software Engineering,
vol 24 (1), pp 63-78, January 1998 q S. S. Kulkarni and A. Arora. Multitolerant
barrier synchronization, Information
Processing Letters, vol 64(1), pp 29-36,
October 1997 q D. M. Dhamdhere and S. S.
Kulkarni. A token based k resilient mutual exclusion
algorithm for distributed mutual exclusion., Information Processing Letters, 1994, vol
50, pp. 151-157 q 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 q Vidhya Tekken Valapil, Sandeep S.
Kulkarni, Eric Torng, Gabe Appleton: Efficient Two-Layered Monitor for Partially Synchronous
Distributed Systems. SRDS 2020: 123-132 q 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 q Reza
Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni: A Theory of Integrating Tamper Evidence
with Stabilization. FSEN 2015: 84-99 q Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni: UFIT: A Tool for Modeling Faults in
UPPAAL Timed Automata. NFM 2015: 429-435 q Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni: Auditable Restoration of Distributed
Programs. SRDS 2015: 37-46 q Jingshu Chen, Sandeep S. Kulkarni: SMT-Based Model Checking
for Stabilizing Programs, . ICDCN 2013:
393-407 q Yiyan Lin, Borzoo
Bonakdarpour, Sandeep S. Kulkarni: Automated
Addition of Fault-Tolerance under Synchronous Semantics. SSS 2013:
266-280 q Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni: Modeling and Analyzing
Timing Faults in Transaction Level SystemC Programs. SSS 2013:
344-347 q Murat Demirbas, Serafettin Tasci, Sandeep S. Kulkarni: Maestro: A cloud computing framework
with automated locking. ISCC 2012: 833-838 q Jingshu Chen, Sandeep S. Kulkarni: Brief
Announcement: Verification of Stabilizing Programs with SMT Solvers. SSS
2012: 179-182 q Jingshu Chen, Sandeep S. Kulkarni: Application
of Automated Revision for UML Models: A Case Study. ICDCN 2012: 31-45 q Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni: Facilitating the Design of Fault Tolerance in Transaction
Level SystemC Programs. ICDCN 2012: 91-105 q Yiyan Lin and Sandeep Kulkarni. Automatic
Generation of Graceful Programs. 31st IEEE International Symposium on
Reliable Distributed Systems (SRDS) 2012. Irvine, California. q Borzoo Bonakdarpour and Sandeep Kulkarni. Active Stabilization. International Symposium on
Stabilization, Safety, and Security of Distributed Systems (SSS) 2011,
Grenoble, France. q Borzoo Bonakdarpour, Yiyan Lin and Sandeep Kulkarni. Automated Addition of Fault Recovery to Cyber-physical
Component-based Models. ACM International Conference on Embedded Software
(EMSOFT) 2011, Taipei, Taiwan. q Mahesh Arumugam, Murat Demirbas and Sandeep Kulkarni. ``Slow is
fast'' for Wireless Sensor Networks in the Presence of Message Losses, The
12th International Symposium on Stabilization, Safety, and Security of
Distributed Systems, 2010. q Fuad Abujarad Complexity
Issues in Model Revision without Explicit Legitimate States The 12th
International Symposium on Stabilization, Safety, and Security of Distributed
Systems, 2010. q Jingshu Chen and Sandeep Kulkarni. Complexity
Analysis of weak Multitolerance International Conference on Distributed
Computing Systems (ICDCS) 2010 q Borzoo Bonakdarpour, Sandeep Kulkarni: Compositional
verification of fault-tolerant real-time programs. EMSOFT ,
2009. pp. 29-38 Nominated for best paper
award. q Borzoo Bonakdarpour, Sandeep Kulkarni, . On the Complexity of Synthesizing Relaxed and Graceful
Bounded-Time 2-Phase Recovery, Formal Methods, 2009. pp. 660-675 q Fuad Abujarad, Sandeep Kulkarni, . Multicore Constraint-Based Automated
Stabilization, The 11th International Symposium on Stabilization, Safety,
and Security of Distributed Systems , 2009. pp. 47-61 q Fuad Abujarad, Borzoo Bonakdarpour, Sandeep
Kulkarni, . Parallelizing Deadlock
Resolution in Symbolic Synthesis of Distributed Programs , Parallel and
Distributed Methods in verifiCation (PDMC), 2009. q Fuad Abujarad, Sandeep Kulkarni, . Constraint Based Automated Synthesis
of Nonmasking and Stabilizing Fault-Tolerance, 28th International Symposium
on Reliable Distributed Systems, 2009. q Sandeep Kulkarni, Fuad Abujarad, . Weakest
Invariant Generation for Automated Addition of Fault-Tolerance, Logical Aspects
of Fault Tolerance (LAFT), 2009. q Umamaheswaran Arumugam, Sandeep Kulkarni, . ProSe: A Programming Tool for
Rapid Prototyping of Sensor Networks, Conference on Sensor Systems and
Software, 2009. q Borzoo Bonakdarpour and Sandeep S. Kulkarni: SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant
Programs. CONCUR 2008: 167-171 q Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora: Disassembling real-time
fault-tolerant programs. EMSOFT 2008: 169-178 q Bezawada Bruhadeshwar, Sandeep S.
Kulkarni, Alex X. Liu: Symmetric Key Approaches to
Securing BGP - A Little Bit Trust Is Enough. ESORICS 2008: 82-96 q Borzoo Bonakdarpour and Sandeep S. Kulkarni: Masking Faults While Providing Bounded-Time Phased Recovery.
Formal Methods 2008: 374-389 q Borzoo Bonakdarpour and Sandeep S. Kulkarni: Revising Distributed UNITY Programs Is NP-Complete.
OPODIS 2008: 408-427 q Fuad Abujarad and Sandeep S.
Kulkarni Automated addition of fault-tolerance to SCR
toolset, A case study. Assurance in distributed
systems and networks, ICDCS workshops, 2008 q B. Bonakdarpour and S. S. Kulkarni. Exploiting
Symbolic Techniques in Automated Synthesis of Distributed Programs with Large
State Space International Conference on Distributed Computing Systems,
Toronto Canada, June 2007 q Borzoo Bonakdarpour, Sandeep S. Kulkarni
and Fuad Abujarad: Distributed Synthesis of Fault-Tolerant Programs in the High
Atomicity Model. SSS 2007: 21-36 q L. Wang and S. S. Kulkarni. Authentication
in Reprogramming of Sensor Networks for Mote Class Adversaries. The 15th International Workshop on
Parallel and Distributed Real-Time Systems (WPDRTS) (in conjunction with
IPDPS), March 2007. Long Beach, CA. q 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 q Limin Wang, Mahesh Arumugam,
and Sandeep S. Kulkarni.
Authentication for Bulk Data Dissemination
in Sensor Networks Using Symmetric Keys Workshop on Reliability, Availability, and Security, 2007 q K. Biyani, S. S. Kulkarni Concurrency
Tradeoffs in Dynamic Adaptations, International Workshop on Assurance in
Distributed Systems and Networks, 2006 q L. Wang and S. S. Kulkarni. Sacrificing
a Little Coverage Can Substantially Increase Network Lifetime. In the Third Annual IEEE
Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and
Networks (SECON), September 2006. Reston, VA. q L. Wang and S. S. Kulkarni. Gappa: Gossip Based Multi-Channel Reprogramming
for Sensor Networks. In
International Conference on Distributed Computing in Sensor Systems (DCOSS),
June 2006. San Francisco, CA. q M. Arumugam and L. Wang and
S. S. Kulkarni. A Case Study on Prototyping Power Management
Protocols for Sensor Networks.
In the Eighth International Symposium on Stabilization, Safety, and Security of
Distributed Systems (SSS), November 2006. Dallas, Texas. q B. Bonakdarpour and S. S. Kulkarni. Automated
Incremental Synthesis of Timed Automata. International Workshop on Formal
Methods for Industrial Critical Systems, August 2006 q B. Bonakdarpour, S. S. Kulkarni Automated Revision of
Legacy Real-Time Programs:Work in Progress, IEEE
Real-Time and Embedded, Technology and Applications (RTAS), 2006 q B. Bonakdarpour and S. S. Kulkarni. Towards
Reusing Formal Proofs for Verification of Fault-Tolerance Automated Formal
Methods, August 2006 q B. Bonakdarpour
and S. S. Kulkarni Incremental Synthesis of Fault-Tolerant
Real-Time Programs In the Eighth International Symposium on Stabilization,
Safety, and Security of Distributed Systems (SSS), November 2006. Dallas,
Texas. q B. Bonakdarpour,
S. S. Kulkarni, F. Abujarad (2006) Brief Announcement:
Distributed Synthesis of Fault-Tolerance, International Symposium on
Stabilization, Safety, and Security of Distributed Systems (SSS), 2006 q M. G. Gouda and S.
S. Kulkarni and E. Elmallah . Logarithmic Keying of Communication Networks, International
Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS),
2006 q M. Arumugam and
S. S. Kulkarni, “Self-Stabilizing Deterministic TDMA for Sensor Networks”, International Conference on
Distributed Computing and Internet Technology, December
2005 q B. Bruhadeshwar and S. S.
Kulkarni, “User Revocation in Secure Adhoc Networks”,
International Conference
on Distributed Computing and Internet Technology, December 2005 q A. Ebnenasir and S. S. Kulkarni and B. Bonakdarpour. Revising UNITY Programs: Possibilities and Limitations,
On Principles of Distributed Systems, December 2005 q L. Wang and S. S. Kulkarni. Proactive
Reliable Bulk Data Dissemination in Sensor Networks. The International Workshop on Distributed Algorithms and
Applications for Wireless and Mobile Systems (DAAWMS) (in conjunction with
PDCS), November 2005. Phoenix, AZ. q S. S. Kulkarni and B. Bruhadeshwar
A Family of Collusion Resistant Protocols, International Conference on Network
Protocols, Boston MA, November 2005 q Y. M. Kim, A. Arora, V. Kulathumani,
M. Arumugam, and S. S. Kulkarni. On the Effect of
Faults in Vibration Control of Fairing Structures. In Proceedings of the
International Design Engineering Technical Conferences and Computers and
Information Engineering Conference (IDETC/CIE), 5th International Conference on
Multibody Systems, Nonlinear Dynamics, and Control, SMART-SENS track, September
2005 q A. Arora, R. Ramnath, E. Ertin, P. Sinha, S. Bapat, V. Naik, V. Kulathumani, H. Zhang,
H. Cao, M. Sridharan, S. Kumar, N. Seddon, C.
Anderson, T. Herman, N. Trivedi, C. Zhang, M. Nesterenko,
R. Shah, S. Kulkarni, M. Aramugam, L. Wang, M. Gouda,
Y. Choi, D. Culler, P. Dutta, C. Sharp, G. Tolle, M. Grimmer, B. Ferriera, and K. Parker. ExScal:
Elements of an Extreme Scale Wireless Sensor Network The International
Conference on Real-Time and Embedded Computing Systems and Applications
(RTCSA), August 2005 q M. Arumugam and S. S.
Kulkarni. Tradeoff Between Energy and Latency for Convergecast In Proceedings of the Second International
Workshop on Networked Sensing Systems (INSS), San Diego, CA, June 2005. q S. S. Kulkarni and L. Wang. MNP: Multihop Network Programming
for Sensor Networks International Conference on Distributed Computing
Systems, Columbus OH, June 2005 q Karun N. Biyani and Sandeep
S. Kulkarni. Building Component Families to Support
Adaptation, Design and evaluation of Autonomic Application Software. pp.
125-132, May 2005 q S. S. Kulkarni and A. Ebnenasir Adding
Fault-Tolerance Using Pre-Synthesized Components, Fifth European Dependable
Computing Conference, April 2005 q S. S. Kulkarni and Bezawada Bruhadeshwar. Rekeying and Storage Cost for Multiple User Revocation The
12th Annual Network and Distributed System Security Symposium, February 2005 q S. S. Kulkarni and B. Bezawada
Distributing key updates in secure dynamic groups
International Conference on Distributed Computing and Internet Technology, pp:
410-419, December 2004 q A. Ebnenasir and S. S. Kulkarni Hierarchical Presynthesized Component for Automatic Addition of
Fault-Tolerance: A Case Study. In poster abstracts of the Proceedings of
ACM Workshop on Specification and Verification of Component-Based Systems
(SAVCBS), Newport Beach, California, USA, November 2004 q Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali
Ebnenasir, Mechanical Verification of Automatic Synthesis of Failsafe
Fault-Tolerance (extended abstract), Emerging Trends in Theorem Proving in
Higher Order Logics (TPHOLs), Park City, Utah, USA, September 2004 q Sandeep S. Kulkarni and Borzoo Bonakdarpour and Ali
Ebnenasir. Mechanical
Verification of Automatic Synthesis of Fault-Tolerance, LOPSTR, 2004,
August 2004. q S. S. Kulkarni and A. Ebnenasir. Automated
Synthesis of Multitolerance, International Conference on Dependable Systems
and Networks, Palazzo dei Congressi,
Florence, Italy, June 2004 q Ali Ebnenasir and Sandeep S. Kulkarni SAT-Based
Synthesis of Fault-Tolerance, Fast Abstracts of the International
Conference on Dependable Systems and Networks, June 2004 q S. S. Kulkarni, M.G. Gouda and A. Arora. Security Instantiation for Mobile Networks. Workshop on
Dependability Issues in Wireless Ad Hoc Networks and Sensor Networks (DIWANS),
June 2004 q S. S. Kulkarni and M(U). Arumugam, Approximate Causal Observer
In Proceedings of the International Workshop on Networked Sensing Systems
(INSS), pp 123-128, June 2004 q A. Arora, P. Dutta, S. Bapat, V. Kulathumani, H. Zhang, V. Naik,
V. Mittal, H. Cao, M. Demirbas, M. Gouda, Y-R. Choi, T. Herman, S. S. Kulkarni, U. Arumugam,
M. Nesterenko, A. Vora, and
M. Miyashita A line in the sand: A wireless sensor network
for target detection, classification, and tracking Workshop on Cross-Layer Issues in the Design of
Tactical Mobile Ad Hoc Wireless Networks, June 2004 q Sandeep Kulkarni and Karun Biyani.
Correctness of Component-based Adaptation, International
Symposium on Component-based Software Engineering, May 2004, q S. S. Kulkarni and M(U). Arumugam, TDMA
Service for Sensor Networks, In Proceedings of the Third International
Workshop on Assurance in Distributed Systems and Networks, March 2004 q S. S. Kulkarni and M(U). Arumugam, Transformations for
Write-All-With-Collision Model, In Proceedings of the International
Conference on Principles of Distributed Systems (OPODIS), LNCS:3144, pp
{184-197, December 2003 q S. S. Kulkarni and
U. Arumugam, Collision-free communication
in sensor networks, In Proceedings of the Sixth Symposium on
Self-stabilizing Systems (SSS), Springer, LNCS:2704, pp 17-31, June 2003 q S. S. Kulkarni, K. N. Biyani
and U. Arumugam, Composing
Distributed Fault-Tolerance Components, In Proceedings of the International
Conference on Dependable Systems and Networks (DSN), Supplemental Volume,
Workshop on Principles of Dependable Systems (PoDSy),
pp {W127-W136, June 2003 q Sandeep S. Kulkarni and Ali Ebnenasir, Enhancing The Fault-Tolerance
of Nonmasking Programs, 23rd International Conference on Distributed
Computing Systems, Providence, Rhode Island USA, May 19-22, 2003 q Ali Ebnenasir, Algorithmic Synthesis of Fault-Tolerant
Distributed Programs, Doctoral Symposium of 23rd International Conference on
Distributed Computing Systems, Providence, Rhode Island USA, May 19-22, 2003 q Gautam Chakrabarti and Sandeep S.
Kulkarni A Modified
Approach to Dynamic Source Routing in Mobile Ad-Hoc Networks Proceedings of
ADHOC-NOW 2002. q Sandeep S. Kulkarni and Ali Ebnenasir The Complexity of
Adding Failsafe Fault-Tolerance The 22nd International Conference on
Distributed Computing Systems, July 2-5, 2002 - Vienna, Austria. q Sandeep S. Kulkarni and Bezawada
Bruhadeshwar. Reducing the cost of
the critical path in secure multicast for dynamic groups. International Workshop
on Assurance in Distributed Systems and Networks (ADSN), Vienna Austria, pp
43—48, July 2002 q B. Cheng, L. Dillon, K. Stirewalt,
P. McKinley, S. Kulkarni and J. Lee. Automated development and run-time
adaptation of interactive distributed applications, Software Design and Productivity Coordinating Group, Workshop on New
Visions for Software Design and Productivity, Nashville, TN. December
2001 q S. S. Kulkarni and A. Arora and A. Chippada Polynomial Time Synthesis of Byzantine Agreement
20th Symposium on Reliable Distributed Systems (SRDS'2001). q S. S. Kulkarni and
Ravikant Stabilizing Causal
Deterministic Merge Workshop on Self-stabilization, 2001. q A. Arora, M. Demirbas and S.
Kulkarni. Graybox stabilization.
International Conference on Dependable Systems and Networks (DSN'2001),
Goteborg, Sweden, July 2001. q S. S. Kulkarni and A. Arora. Automating the Addition of Fault-Tolerance
Formal Techniques in Real-Time and Fault Tolerant Systems, 2000 q A. Arora, S. Kulkarni and M. Demirbas Resettable Vector Clocks
19th ACM Symposium on Principles of Distributed Computing (PODC'2000),
Portland, 2000. q S. S. Kulkarni, J. Rushby,
and N. Shankar. A case-study in component-based mechanical
verification of fault-tolerant programs. Workshop on Self-Stabilization,
1999. q S. S. Kulkarni and A. Arora. Low-cost
fault-tolerance in barrier synchronizations. International Conference on
Parallel Processing, August 1998. q A. Arora and S. S. Kulkarni. Detectors
and correctors: A theory of fault-tolerance components. International
Conference on Distributed Computing Systems, pages 436-443, May 1998. q S. S. Kulkarni and A. Arora. Compositional
design of multitolerant repetitive Byzantine agreement, accepted in Foundations of Software Technology and
Theoretical Computer Science, Kharagpur India, 1997 A preliminary
version of the above paper appears in the Third Workshop on Self-Stabilizing
Systems (WSS97), University of California, Santa Barbara, 1997, pp. 1-15 q S. S. Kulkarni and A. Arora. Once-and-Forall Management Protocol (OFMP),
accepted in International Conference
on Network Protocols, 1997 q S. S. Kulkarni and A. Arora. “Compositional design of
multitolerant repetitive Byzantine agreement (extended abstract)”, Workshop on
Self-Stabilization. pp. 1-15, August 1997. q A. Arora and S. S. Kulkarni. Designing
masking fault-tolerance via nonmasking fault-tolerance (extended abstract),
Fourteenth Symposium on Reliable
Distributed Systems, Bad Neuenahr, Germany,
1995, pp. 174-185 PhD
Dissertations (me and my students) q
Duong Nguyen, Using Eventual Consistency to Improve the
Performance of Distributed Graph Computation in Key Value Store, 2021 q
Vidhya Tekken Valapil, Achieving Reliable Distributed Systems: Through
Efficient Run-time Monitoring and Predicate Detection, 2020 q
Mohammad Roohitavaf, Consistency
for Distributed Data Stores, 2019 q
Ling Zhu, Using Evolutionary Appraoch to Design
Fault-tolerant Distributed Programs and Engineering Optimization Problems. Ford
2018 q
Reza Hajishey, A framework for
Verification of Transaction Level Models in SystemC,
2017 q Yiyan Lin, Lazy repair of distributed systems, 2015 q
Jingshu Chen
Automatic Verification and Revision for Multitolerant Programs, 2013 q
Fuad Abujarad Towards Automated Model Revision for Fault-tolerant
Systems, 2009 q
Borzoo
Bonakdarpour, Automated Revision of Distributed and Real Time programs, 2008 q
Limin Wang Energy Efficient Reprogramming for Sensor Networks,
2007 q
Karun Biyani Dynamic Composition of
Distributed Components 2007 q
Mahesh Arumugam Rapid Prototyping
and Quick Deployment of Sensor Networks, 2006 q
Bezawada Bruhadeshwar, Adaptive key
management for secure group communication, 2005 q
Ali Ebnenasir.
Automatic Synthesis of Fault-Tolerance, 2005 q
Sandeep Kulkarni Component Based Design of Fault Tolerance 1999 q
This paper is translated into Sindhi by Samuel Badree Conference Publications