The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (Homepage):  http://www.cse.msu.edu/~sandeep/  Author page on DBLP  Author page in RDF  Community of Sandeep S. Kulkarni in ASPL-2

Publication years (Num. hits)
1994-2001 (17) 2002-2005 (27) 2006 (15) 2007-2008 (20) 2009-2010 (16) 2011-2013 (23) 2014-2015 (23) 2016-2017 (22) 2018 (18) 2019 (11)
Publication types (Num. hits)
article(74) incollection(1) inproceedings(116) proceedings(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 148 occurrences of 54 keywords

Results
Found 193 publication records. Showing 192 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas Using weaker consistency models with monitoring and recovery for improving performance of key-value stores. Search on Bibsonomy J. Braz. Comp. Soc. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohammad Roohitavaf, Sandeep S. Kulkarni Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions †. Search on Bibsonomy Future Internet The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yiyan Lin, Sandeep S. Kulkarni, Arshad Jhumka Automation of fault-tolerant graceful degradation. Search on Bibsonomy Distributed Computing The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Aleksey Charapko, Ailidani Ailijiang, Murat Demirbas, Sandeep S. Kulkarni Retroscope: Retrospective Monitoring of Distributed Systems. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani An Efficient Approach to Achieve Compositionality using Optimized Multi-Version Object Based Transactional Systems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Duong N. Nguyen, Sandeep S. Kulkarni Benefits of Stabilization versus Rollback in Eventually Consistent Key-Value Stores. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani Obtaining Progress Guarantee and GreaterConcurrency in Multi-Version Object Semantics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Duong N. Nguyen, Sandeep S. Kulkarni, Ajoy K. Datta Benefit of self-stabilizing protocols in eventually consistent key-value stores: a case study. Search on Bibsonomy ICDCN The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohammad Roohitavaf, Jung-Sang Ahn, Woon-Hak Kang, Kun Ren, Gene Zhang, Sami Ben-Romdhane, Sandeep S. Kulkarni Session guarantees with raft and hybrid logical clocks. Search on Bibsonomy ICDCN The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ved Prakash Chaudhary, Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri Achieving Starvation-Freedom in Multi-version Transactional Memory Systems. Search on Bibsonomy NETYS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni Handling Multiple Scenarios in Evolutionary Multiobjective Numerical Optimization. Search on Bibsonomy IEEE Trans. Evolutionary Computation The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Sandeep S. Kulkarni, Murat Demirbas Analysis of Bounds on Hybrid Vector Clocks. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohammad Roohitavaf, Sandeep S. Kulkarni Toward Adaptive Causal Consistency for Replicated Data Stores. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mohammad Roohitavaf, Sandeep S. Kulkarni DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-value Stores. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni CausalSpartanX: Causal Consistency and Non-Blocking Read-Only Transactions. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas Optimistic Execution in Key-Value Store. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas Technical Report: Optimistic Execution in Key-Value Store. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Duong N. Nguyen, Sandeep S. Kulkarni, Ajoy K. Datta Benefit of Self-Stabilizing Protocols in Eventually Consistent Key-Value Stores: A Case Study. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mohammad Roohitavaf, Jung-Sang Ahn, Woon-Hak Kang, Kun Ren, Gene Zhang, Sami Ben-Romdhane, Sandeep S. Kulkarni Session Guarantees with Raft and Hybrid Logical Clocks. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni Automated Synthesis of Distributed Self-Stabilizing Protocols. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni A theory of integrating tamper evidence with stabilization. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani An Innovative Approach to Achieve Compositionality Efficiently Using Multi-version Object Based Transactional Systems. Search on Bibsonomy SSS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bruhadeshwar Bezawada, Sandeep S. Kulkarni, Indrajit Ray, Indrakshi Ray, Rui Li 0020 Independent Key Distribution Protocols for Broadcast Authentication. Search on Bibsonomy SACMAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas NetSynth: a framework for synthesizing customized network protocols using genetic programming. Search on Bibsonomy GECCO (Companion) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas Synthesizing customized network protocols using genetic programming. Search on Bibsonomy GECCO (Companion) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores. Search on Bibsonomy LADC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohammad Roohitavaf, Sandeep S. Kulkarni DKVF: a framework for rapid prototyping and evaluating distributed key-value stores. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vidhya Tekken Valapil, Sandeep S. Kulkarni Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks. Search on Bibsonomy SIROCCO The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni Bounded Auditable Restoration of Distributed Systems. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas Monitoring Partially Synchronous Distributed Systems using SMT Solvers. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Ved Prakash Chaudhary, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri Starvation Freedom in Multi-Version Transactional Memory Systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Vidhya Tekken Valapil, Sandeep S. Kulkarni Derivation of Network Reprogramming Protocol with Z3. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani An Innovative Approach for Achieving Composability in Concurrent Systems using Multi-Version Object Based STMs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Vidhya Tekken Valapil, Sandeep S. Kulkarni Preserving Stabilization while Practically Bounding State Space. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas Efficient Algorithms for Predicate Detection using Hybrid Logical Clocks. Search on Bibsonomy ICDCN The full citation details ... 2017 DBLP  BibTeX  RDF
1Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas Monitoring Partially Synchronous Distributed Systems Using SMT Solvers. Search on Bibsonomy RV The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vidhya Tekken Valapil, Sandeep S. Kulkarni Preserving Stabilization While Practically Bounding State Space. Search on Bibsonomy EDCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sandeep S. Kulkarni, Nitin H. Vaidya Effectiveness of Delaying Timestamp Computation. Search on Bibsonomy PODC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aleksey Charapko, Ailidani Ailijiang, Murat Demirbas, Sandeep S. Kulkarni Retrospective Lightweight Distributed Snapshots Using Loosely Synchronized Clocks. Search on Bibsonomy ICDCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks. Search on Bibsonomy SRDS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nitin H. Vaidya, Sandeep S. Kulkarni Efficient Timestamps for Capturing Causality. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Mohammad Roohitavaf, Sandeep S. Kulkarni GentleRain+: Making GentleRain Robust on Clock Anomalies. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Mohammad Roohitavaf, Sandeep S. Kulkarni Automatic Addition of Conflicting Properties. Search on Bibsonomy SSS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mohammad Roohitavaf, Sandeep S. Kulkarni Stabilization and fault-tolerance in presence of unchangeable environment actions. Search on Bibsonomy ICDCN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mohammad Roohitavaf, Yiyan Lin, Sandeep S. Kulkarni Lazy Repair for Addition of Fault-Tolerance to Distributed Programs. Search on Bibsonomy IPDPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni A framework for verification of SystemC TLM programs with model slicing: a case study. Search on Bibsonomy DAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mohammad Roohitavaf, Sandeep S. Kulkarni Collaborative Stabilization. Search on Bibsonomy SRDS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fuad Abujarad, Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni The complexity of automated addition of fault-tolerance without explicit legitimate states. Search on Bibsonomy Distributed Computing The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Ling Zhu, Mahesh Arumugam, Murat Demirbas, Sandeep S. Kulkarni "Slow is Fast" for wireless sensor networks in the presence of message losses. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni Specification-based Synthesis of Distributed Self-Stabilizing Protocols. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Mohammad Roohitavaf, Sandeep S. Kulkarni Stabilization and Fault-Tolerance in Presence of Unchangeable Environment Actions. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni Auditable Restoration of Distributed Programs. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Borzoo Bonakdarpour, Sandeep S. Kulkarni Synthesizing bounded-time 2-phase fault recovery. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ling Zhu, Jingshu Chen, Sandeep S. Kulkarni Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms. Search on Bibsonomy SSS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Murat Demirbas, Sandeep S. Kulkarni Highly Auditable Distributed Systems. Search on Bibsonomy HotCloud The full citation details ... 2015 DBLP  BibTeX  RDF
1Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni Multi-scenario, multi-objective optimization using evolutionary algorithms: Initial results. Search on Bibsonomy CEC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni A Theory of Integrating Tamper Evidence with Stabilization. Search on Bibsonomy FSEN The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ling Zhu, Sandeep S. Kulkarni Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs. Search on Bibsonomy GECCO The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Murat Demirbas Analysis of Bounds on Hybrid Vector Clocks. Search on Bibsonomy OPODIS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jingshu Chen, Mohammad Roohitavaf, Sandeep S. Kulkarni Ensuring Average Recovery with Adversarial Scheduler. Search on Bibsonomy OPODIS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ling Zhu, Sandeep S. Kulkarni Using Genetic Programming to Identify Tradeoffs in Self-Stabilizing Programs: A Case Study. Search on Bibsonomy ICDCS Workshops The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni Auditable Restoration of Distributed Programs. Search on Bibsonomy SRDS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jingshu Chen, Ali Ebnenasir, Sandeep S. Kulkarni The Complexity of Adding Multitolerance. Search on Bibsonomy TAAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ling Zhu, Kalyanmoy Deb, Sandeep S. Kulkarni Multi-scenario optimization using multi-criterion methods: A case study on Byzantine agreement problem. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni Knowledge-Based Automated Repair of Authentication Protocols. Search on Bibsonomy FM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yiyan Lin, Sandeep S. Kulkarni Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability. Search on Bibsonomy ISSTA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sandeep S. Kulkarni, Murat Demirbas, Deepak Madappa, Bharadwaj Avva, Marcelo Leone Logical Physical Clocks. Search on Bibsonomy OPODIS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni Analysis of Permanent Faults in Transaction Level SystemC Models. Search on Bibsonomy ICDCS Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. Search on Bibsonomy SEFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jingshu Chen, Sandeep S. Kulkarni MR4UM: A framework for adding fault tolerance to UML state diagrams. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni Facilitating the design of fault tolerance in transaction level SystemC programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni Towards scalable model checking of self-stabilizing programs. Search on Bibsonomy J. Parallel Distrib. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni Automated Addition of Fault-Tolerance under Synchronous Semantics. Search on Bibsonomy SSS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. Search on Bibsonomy SSS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ling Zhu, Sandeep S. Kulkarni Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming. Search on Bibsonomy SSS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni Modeling and analyzing timing faults in transaction level SystemC programs. Search on Bibsonomy NoCArc@MICRO The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jingshu Chen, Sandeep S. Kulkarni SMT-Based Model Checking for Stabilizing Programs, . Search on Bibsonomy ICDCN The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yiyan Lin, Sandeep S. Kulkarni Automated Multi-graceful Degradation: A Case Study. Search on Bibsonomy SRDS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad Symbolic synthesis of masking fault-tolerant distributed programs. Search on Bibsonomy Distributed Computing The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Sandeep S. Kulkarni Automated model repair for distributed programs. Search on Bibsonomy SIGACT News The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jingshu Chen, Sandeep S. Kulkarni Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. Search on Bibsonomy SSS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs. Search on Bibsonomy ICDCN The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jingshu Chen, Sandeep S. Kulkarni Application of Automated Revision for UML Models: A Case Study. Search on Bibsonomy ICDCN The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Murat Demirbas, Serafettin Tasci, Sandeep S. Kulkarni Maestro: A cloud computing framework with automated locking. Search on Bibsonomy ISCC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yiyan Lin, Sandeep S. Kulkarni Automatic Generation of Graceful Programs. Search on Bibsonomy SRDS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fuad Abujarad, Sandeep S. Kulkarni Automated constraint-based addition of nonmasking and stabilizing fault-tolerance. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shlomi Dolev, Sandeep S. Kulkarni, André Schiper Preface. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bezawada Bruhadeshwar, Sandeep S. Kulkarni, Alex X. Liu Symmetric Key Approaches to Securing BGP - A Little Bit Trust Is Enough. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF symmetric key distribution protocols, Border gateway protocol, routing security, collusion resistance
1Ali Ebnenasir, Sandeep S. Kulkarni Feasibility of Stepwise Design of Multitolerant Programs. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bezawada Bruhadeshwar, Sandeep S. Kulkarni Balancing Revocation and Storage Trade-Offs in Secure Group Communication. Search on Bibsonomy IEEE Trans. Dependable Sec. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Sandeep S. Kulkarni Active Stabilization. Search on Bibsonomy SSS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni Automated addition of fault recovery to cyber-physical component-based models. Search on Bibsonomy EMSOFT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sandeep S. Kulkarni, Bezawada Bruhadeshwar Key-update distribution in secure group communication. Search on Bibsonomy Computer Communications The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mahesh Arumugam, Murat Demirbas, Sandeep S. Kulkarni "Slow Is Fast" for Wireless Sensor Networks in the Presence of Message Losses. Search on Bibsonomy SSS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fuad Abujarad, Sandeep S. Kulkarni Complexity Issues in Automated Model Revision without Explicit Legitimate State. Search on Bibsonomy SSS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 192 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license