All publications on this page are copyrighted by respective publisher. If you need a particular paper that is unavailable on this page, please contact me at sandeep@cse.msu.edu

Book Chapter

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.

Journal Publications

q  Reza HajisheykhiMohammad RoohitavafSandeep 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

Conference Publications

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  Reza Hajishey, A framework for Verification of Transaction Level Models in SystemC, 2017

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