Search results for "Sandeep S. Kulkarni"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad	Symbolic synthesis of masking fault-tolerant distributed programs.	Distributed Computing	2012	DBLP DOI BibTeX RDF
1	Jingshu Chen, Sandeep S. Kulkarni	Application of Automated Revision for UML Models: A Case Study.	ICDCN	2012	DBLP DOI BibTeX RDF
1	Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni	Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs.	ICDCN	2012	DBLP DOI BibTeX RDF
1	Bezawada Bruhadeshwar, Sandeep S. Kulkarni	Balancing Revocation and Storage Trade-Offs in Secure Group Communication.	IEEE Trans. Dependable Sec. Comput.	2011	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Sandeep S. Kulkarni, André Schiper	Preface.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Fuad Abujarad, Sandeep S. Kulkarni	Automated constraint-based addition of nonmasking and stabilizing fault-tolerance.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	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.	2011	DBLP DOI BibTeX RDF	symmetric key distribution protocols, Border gateway protocol, routing security, collusion resistance
1	Ali Ebnenasir, Sandeep S. Kulkarni	Feasibility of Stepwise Design of Multitolerant Programs.	ACM Trans. Softw. Eng. Methodol.	2011	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni	Automated addition of fault recovery to cyber-physical component-based models.	EMSOFT	2011	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Active Stabilization.	SSS	2011	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Bezawada Bruhadeshwar	Key-update distribution in secure group communication.	Computer Communications	2010	DBLP DOI BibTeX RDF
1	Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni	Effect of Fairness in Model Checking of Self-stabilizing Programs.	OPODIS	2010	DBLP DOI BibTeX RDF
1	Jingshu Chen, Sandeep S. Kulkarni	Complexity Analysis of Weak Multitolerance.	ICDCS	2010	DBLP DOI BibTeX RDF	Multitolerance, Fault tolerance, Formal methods, Program synthesis
1	Mahesh Arumugam, Murat Demirbas, Sandeep S. Kulkarni	"Slow Is Fast" for Wireless Sensor Networks in the Presence of Message Losses.	SSS	2010	DBLP DOI BibTeX RDF
1	Fuad Abujarad, Sandeep S. Kulkarni	Complexity Issues in Automated Model Revision without Explicit Legitimate State.	SSS	2010	DBLP DOI BibTeX RDF
1	Fuad Abujarad, Sandeep S. Kulkarni	Weakest Invariant Generation for Automated Addition of Fault-Tolerance.	Electr. Notes Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Limin Wang	Energy-efficient multihop reprogramming for sensor networks.	TOSN	2009	DBLP DOI BibTeX RDF	Sensor networks, energy efficiency, network reprogramming
1	Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni	Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs	PDMC	2009	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni	Complexity results in revising UNITY programs.	TAAS	2009	DBLP DOI BibTeX RDF	formal methods, UNITY
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Compositional verification of fault-tolerant real-time programs.	EMSOFT	2009	DBLP DOI BibTeX RDF	interference-freedom, fault-tolerance, real-time, formal methods, compositional verification
1	Mahesh Arumugam, Sandeep S. Kulkarni	ProSe: A Programming Tool for Rapid Prototyping of Sensor Networks.	S-CUBE	2009	DBLP DOI BibTeX RDF
1	Fuad Abujarad, Sandeep S. Kulkarni	Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance.	SRDS	2009	DBLP DOI BibTeX RDF	nonmasking, constraint based, stabilization, distributed programs, program synthesis
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery.	FM	2009	DBLP DOI BibTeX RDF	Bounded-time recovery, Phased recovery, Fault-tolerance, Real-time, Program transformation, Program synthesis
1	Fuad Abujarad, Sandeep S. Kulkarni	Multicore Constraint-Based Automated Stabilization.	SSS	2009	DBLP DOI BibTeX RDF	Multicore Algorithms, Stabilization, Program Transformation, Distributed Programs, Program Synthesis
1	Karun N. Biyani, Sandeep S. Kulkarni	Assurance of dynamic adaptation in distributed systems.	J. Parallel Distrib. Comput.	2008	DBLP DOI BibTeX RDF
1	Ehab S. Elmallah, Mohamed G. Gouda, Sandeep S. Kulkarni	Logarithmic keying.	TAAS	2008	DBLP DOI BibTeX RDF	keying scheme, Secure communications, symmetric keys
1	Limin Wang, Sandeep S. Kulkarni	Sacrificing a little coverage can substantially increase network lifetime.	Ad Hoc Networks	2008	DBLP DOI BibTeX RDF
1	Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora	FTSyn: a framework for automatic synthesis of fault-tolerance.	STTT	2008	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs.	CONCUR	2008	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora	Disassembling real-time fault-tolerant programs.	EMSOFT	2008	DBLP DOI BibTeX RDF	bounded-time recovery, component-based analysis, fault-tolerance, real-time, formal methods, decomposition
1	Fuad Abujarad, Sandeep S. Kulkarni	Automated Addition of Fault-Tolerance to SCR Toolset: A Case Study.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Revising Distributed UNITY Programs Is NP-Complete.	OPODIS	2008	DBLP DOI BibTeX RDF	Automated revision, Complexity, Formal methods, Transformation, Distributed programs, Repair, UNITY
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Masking Faults While Providing Bounded-Time Phased Recovery.	FM	2008	DBLP DOI BibTeX RDF	Bounded-time recovery, Phased recovery, Fault-tolerance, Real-time, Formal methods, Synthesis, Transformation
1	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	SSS	2008	DBLP BibTeX RDF
1	Bezawada Bruhadeshwar, Sandeep S. Kulkarni, Alex X. Liu	Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is Enough.	ESORICS	2008	DBLP DOI BibTeX RDF
1	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	2007	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni	Terminating alternator.	Parallel Processing Letters	2007	DBLP DOI BibTeX RDF
1	Mahesh Arumugam, Sandeep S. Kulkarni	ProSe - A Programming Tool for Rapid Prototyping of Sensor Networks.	SECON	2007	DBLP DOI BibTeX RDF
1	Limin Wang, Sandeep S. Kulkarni	Authentication in Reprogramming of Sensor Networks for Mote Class Adversaries.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Arshad Jhumka, Sandeep S. Kulkarni	On the Design of Mobility-Tolerant TDMA-Based Media Access Control (MAC) Protocol for Mobile Sensor Networks.	ICDCIT	2007	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space.	ICDCS	2007	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad	Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model.	SSS	2007	DBLP DOI BibTeX RDF	Parallel synthesis, Fault-tolerance, Distributed algorithms, Program transformation, Program synthesis
1	Karun N. Biyani, Sandeep S. Kulkarni	Mixed-Mode Adaptation in Distributed Systems: A Case Study.	SEAMS	2007	DBLP DOI BibTeX RDF
1	Karun N. Biyani, Sandeep S. Kulkarni	Testing Dynamic Adaptation in Distributed Systems.	AST	2007	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Mahesh Arumugam	Transformations for write-all-with-collision model, .	Computer Communications	2006	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora	Secret instantiation in ad-hoc networks.	Computer Communications	2006	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Mohamed G. Gouda, Anish Arora	Erratum to "Secret instantiation in ad-hoc networks" [Computer Communications 29 (2006) 200-215].	Computer Communications	2006	DBLP DOI BibTeX RDF
1	Anish Arora, Sandeep S. Kulkarni, Murat Demirbas	Resettable vector clocks.	J. Parallel Distrib. Comput.	2006	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Mahesh Arumugam	Infuse: A TDMA Based Data Dissemination Protocol for Sensor Networks.	IJDSN	2006	DBLP DOI BibTeX RDF
1	Gautam Chakrabarti, Sandeep S. Kulkarni	Load balancing and resource reservation in mobile ad hoc networks.	Ad Hoc Networks	2006	DBLP DOI BibTeX RDF
1	Karun N. Biyani, Sandeep S. Kulkarni	Concurrency Tradeoffs in Dynamic Adaptation.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF	Verification, Complexity, Concurrency, Specification, Dynamic Adaptation
1	Limin Wang, Sandeep S. Kulkarni	Gappa: Gossip Based Multi-channel Reprogramming for Sensor Networks.	DCOSS	2006	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Automated Incremental Synthesis of Timed Automata.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF	Bounded liveness, Bounded response, Real-time, Formal methods, Synthesis, Transformation, Timed automata
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad	Brief Announcement: Distributed Synthesis of Fault-Tolerance.	SSS	2006	DBLP DOI BibTeX RDF
1	Mahesh Arumugam, Limin Wang, Sandeep S. Kulkarni	A Case Study on Prototyping Power Management Protocols for Sensor Networks.	SSS	2006	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Incremental Synthesis of Fault-Tolerant Real-Time Programs.	SSS	2006	DBLP DOI BibTeX RDF	Bounded-time recovery, Fault-tolerance, Real-time, Formal methods, Program transformation, Program synthesis
1	Mohamed G. Gouda, Sandeep S. Kulkarni, Ehab S. Elmallah	Logarithmic Keying of Communication Networks.	SSS	2006	DBLP DOI BibTeX RDF	keying scheme, Secure communications, symmetric keys
1	Sandeep S. Kulkarni, Ali Ebnenasir	The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance.	IEEE Trans. Dependable Sec. Comput.	2005	DBLP DOI BibTeX RDF	safety specification, Fault-tolerance, formal methods, program synthesis, automatic addition of fault tolerance
1	Sandeep S. Kulkarni, Ali Ebnenasir	Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance.	IEEE Trans. Dependable Sec. Comput.	2005	DBLP DOI BibTeX RDF	Fault-tolerance, formal methods, distributed programs, program synthesis, automatic addition of fault-tolerance
1	Sandeep S. Kulkarni, Chase Bolen, John Oleszkiewicz, Andrew Robinson	Alternators in read/write atomicity.	Inf. Process. Lett.	2005	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Ravikant	Stabilizing causal deterministic merge.	J. High Speed Networks	2005	DBLP BibTeX RDF
1	Karun N. Biyani, Sandeep S. Kulkarni	Building component families to support adaptation.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	veri cation, autonomic computing, component-based systems, dynamic adaptation
1	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	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Bezawada Bruhadeshwar	A Family of Collusion Resistant Protocols for Instantiating Security.	ICNP	2005	DBLP DOI BibTeX RDF	Instantiating security, Security, Collusion Resistance
1	Ali Ebnenasir, Sandeep S. Kulkarni, Borzoo Bonakdarpour	Revising UNITY Programs: Possibilities and Limitations.	OPODIS	2005	DBLP DOI BibTeX RDF	Formal Methods, Program Synthesis, UNITY
1	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	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Ali Ebnenasir	Adding Fault-Tolerance Using Pre-synthesized Components.	EDCC	2005	DBLP DOI BibTeX RDF	Formal methods, Distributed programs, Detectors, Correctors, Automatic addition of fault-tolerance
1	Mahesh Arumugam, Sandeep S. Kulkarni	Self-stabilizing Deterministic TDMA for Sensor Networks.	ICDCIT	2005	DBLP DOI BibTeX RDF
1	Bezawada Bruhadeshwar, Sandeep S. Kulkarni	User Revocation in Secure Adhoc Networks.	ICDCIT	2005	DBLP DOI BibTeX RDF	Secure Adhoc Networks, Secret Instantiation Protocols, Group Key Management Protocols, User Revocation
1	Sandeep S. Kulkarni, Limin Wang	MNP: Multihop Network Reprogramming Service for Sensor Networks.	ICDCS	2005	DBLP DOI BibTeX RDF	Sensor Networks, Network Reprogramming, Code Dissemination
1	Limin Wang, Sandeep S. Kulkarni	Proactive Reliable Bulk Data Dissemination in Sensor Networks.	IASTED PDCS	2005	DBLP BibTeX RDF
1	Sandeep S. Kulkarni, Bezawada Bruhadeshwar	Rekeying and Storage Cost for Multiple User Revocation.	NDSS	2005	DBLP BibTeX RDF
1	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	2004	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Umamaheswaran Arumugam	TDMA Service for Sensor Networks.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF	Local Gossip, Sensor Networks, Broadcast, Time Division Multiple Access (TDMA), Convergecast
1	Sandeep S. Kulkarni, Ali Ebnenasir	Automated Synthesis of Multitolerance.	DSN	2004	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
1	Sandeep S. Kulkarni, Bezawada Bruhadeshwar	Distributing Key Updates in Secure Dynamic Groups.	ICDCIT	2004	DBLP DOI BibTeX RDF	Descendent Tracking, Identifier Assignment, Key Distribution, Secure Multicast
1	Sandeep S. Kulkarni, Karun N. Biyani	Correctness of Component-Based Adaptation.	CBSE	2004	DBLP DOI BibTeX RDF	Verification, Correctness, Dynamic Adaptation
1	Sandeep S. Kulkarni, Borzoo Bonakdarpour, Ali Ebnenasir	Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF	Addition of faulttolerance, Fault-tolerance, Program transformation, Theorem proving, Program synthesis, PVS, Mechanical verification
1	Sandeep S. Kulkarni, Umamaheswaran Arumugam	Transformations for Write-All-with-Collision Model.	OPODIS	2003	DBLP DOI BibTeX RDF	Model conversions, Preserving stabilization, Atomicity refinement, Write-all-with-collision model, Read/Write model
1	Sandeep S. Kulkarni, Ali Ebnenasir	Enhancing The Fault-Tolerance of Nonmasking Programs.	ICDCS	2003	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
1	Sandeep S. Kulkarni, Umamaheswaran Arumugam	Collision-Free Communication in Sensor Networks.	Self-Stabilizing Systems	2003	DBLP DOI BibTeX RDF
1	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	2002	DBLP BibTeX RDF
1	Sandeep S. Kulkarni, Bezawada Bruhadeshwar	Reducing the Cost of the Critical Path in Secure Multicast for Dynamic Groups.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF	Shared Keys, Multicast, Group Communication, Critical Path
1	Sandeep S. Kulkarni, Ali Ebnenasir	The Complexity of Adding Failsafe Fault-Tolerance. (PDF / PS)	ICDCS	2002	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis
1	Anish Arora, Murat Demirbas, Sandeep S. Kulkarni	Graybox Stabilization.	DSN	2001	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Anish Arora, Arun Chippada	Polynomial Time Synthesis of Byzantine Agreement. (PDF / PS)	SRDS	2001	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis
1	Sandeep S. Kulkarni, Ravikant	Stabilizing Causal Deterministic Merge.	WSS	2001	DBLP DOI BibTeX RDF
1	Anish Arora, Sandeep S. Kulkarni, Murat Demirbas	Resettable vector clocks.	PODC	2000	DBLP DOI BibTeX RDF	bounded-space, component substitutability, reset events, fault-tolerance, stabilization, vector clocks
1	Sandeep S. Kulkarni, Anish Arora	Automating the Addition of Fault-Tolerance.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, John M. Rushby, Natarajan Shankar	A case-study in component-based mechanical verification of fault-tolerant programs.	WSS	1999	DBLP BibTeX RDF
1	Anish Arora, Sandeep S. Kulkarni	Component Based Design of Multitolerant Systems.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	compositional design, interference-freedom, stepwise design, fault-tolerance, Formal methods, dependability, graceful degradation, detectors, correctors
1	Anish Arora, Sandeep S. Kulkarni	Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Masking and nonmasking fault-tolerance, stepwise design formal methods, distributed systems, component based design, detectors, correctors
1	Sandeep S. Kulkarni, Anish Arora	Multitolerance in Distributed Reset.	Chicago J. Theor. Comput. Sci.	1998	DBLP BibTeX RDF
1	Sandeep S. Kulkarni, Anish Arora	Low-cost Fault-tolerance in Barrier Synchronizations. (PDF / PS)	ICPP	1998	DBLP DOI BibTeX RDF
1	Anish Arora, Sandeep S. Kulkarni	Detectors and Correctors: A Theory of Fault-Tolerance Components.	ICDCS	1998	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Anish Arora	Multitolerant Barrier Synchronization.	Inf. Process. Lett.	1997	DBLP DOI BibTeX RDF
1	Sandeep S. Kulkarni, Anish Arora	Once-and-for all management protocol (OFMP).	ICNP	1997	DBLP DOI BibTeX RDF	once-and-forall management protocol, network management protocol, management information bases, fault-tolerance masking, eventually-detectable faults, protocols
1	Sandeep S. Kulkarni, Anish Arora	Compositional design of multitolerant repetitive byzantine agreement.	WSS	1997	DBLP BibTeX RDF
1	Sandeep S. Kulkarni, Anish Arora	Compositional Design of Multitolerant Repetitive Byzantine Agreement.	FSTTCS	1997	DBLP DOI BibTeX RDF
1	Anish Arora, Sandeep S. Kulkarni	Designing Masking Fault Tolerance via Nonmasking Fault Tolerance.	SRDS	1995	DBLP BibTeX RDF

Publications of "Sandeep S. Kulkarni" ( http://dblp.L3S.de/Authors/Sandeep_S._Kulkarni )