| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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. Comp. Soc.  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Roohitavaf, Sandeep S. Kulkarni |
Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions †. |
Future Internet |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiyan Lin, Sandeep S. Kulkarni, Arshad Jhumka |
Automation of fault-tolerant graceful degradation. |
Distributed Computing |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksey Charapko, Ailidani Ailijiang, Murat Demirbas, Sandeep S. Kulkarni |
Retroscope: Retrospective Monitoring of Distributed Systems. |
IEEE Trans. Parallel Distrib. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani |
An Efficient Approach to Achieve Compositionality using Optimized Multi-Version Object Based Transactional Systems. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Duong N. Nguyen, Sandeep S. Kulkarni |
Benefits of Stabilization versus Rollback in Eventually Consistent Key-Value Stores. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani |
Obtaining Progress Guarantee and GreaterConcurrency in Multi-Version Object Semantics. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | 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. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani |
Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems. |
SSS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Duong N. Nguyen, Sandeep S. Kulkarni, Ajoy K. Datta |
Benefit of self-stabilizing protocols in eventually consistent key-value stores: a case study. |
ICDCN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad 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. |
ICDCN |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ved Prakash Chaudhary, Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri |
Achieving Starvation-Freedom in Multi-version Transactional Memory Systems. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni |
Handling Multiple Scenarios in Evolutionary Multiobjective Numerical Optimization. |
IEEE Trans. Evolutionary Computation |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Sandeep S. Kulkarni, Murat Demirbas |
Analysis of Bounds on Hybrid Vector Clocks. |
IEEE Trans. Parallel Distrib. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Roohitavaf, Sandeep S. Kulkarni |
Toward Adaptive Causal Consistency for Replicated Data Stores. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Mohammad Roohitavaf, Sandeep S. Kulkarni |
DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-value Stores. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni |
CausalSpartanX: Causal Consistency and Non-Blocking Read-Only Transactions. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas |
Optimistic Execution in Key-Value Store. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas |
Technical Report: Optimistic Execution in Key-Value Store. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Duong N. Nguyen, Sandeep S. Kulkarni, Ajoy K. Datta |
Benefit of Self-Stabilizing Protocols in Eventually Consistent Key-Value Stores: A Case Study. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Mohammad 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. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni |
Automated Synthesis of Distributed Self-Stabilizing Protocols. |
Logical Methods in Computer Science |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
A theory of integrating tamper evidence with stabilization. |
Sci. Comput. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani |
An Innovative Approach to Achieve Compositionality Efficiently Using Multi-version Object Based Transactional Systems. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruhadeshwar Bezawada, Sandeep S. Kulkarni, Indrajit Ray, Indrakshi Ray, Rui Li 0020 |
Independent Key Distribution Protocols for Broadcast Authentication. |
SACMAT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas |
NetSynth: a framework for synthesizing customized network protocols using genetic programming. |
GECCO (Companion) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas |
Synthesizing customized network protocols using genetic programming. |
GECCO (Companion) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
LADC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Roohitavaf, Sandeep S. Kulkarni |
DKVF: a framework for rapid prototyping and evaluating distributed key-value stores. |
ASE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vidhya Tekken Valapil, Sandeep S. Kulkarni |
Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks. |
SIROCCO |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni |
Bounded Auditable Restoration of Distributed Systems. |
IEEE Trans. Computers |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas |
Monitoring Partially Synchronous Distributed Systems using SMT Solvers. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Ved Prakash Chaudhary, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri |
Starvation Freedom in Multi-Version Transactional Memory Systems. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Vidhya Tekken Valapil, Sandeep S. Kulkarni |
Derivation of Network Reprogramming Protocol with Z3. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani |
An Innovative Approach for Achieving Composability in Concurrent Systems using Multi-Version Object Based STMs. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Vidhya Tekken Valapil, Sandeep S. Kulkarni |
Preserving Stabilization while Practically Bounding State Space. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas |
Efficient Algorithms for Predicate Detection using Hybrid Logical Clocks. |
ICDCN |
2017 |
DBLP BibTeX RDF |
|
| 1 | Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas |
Monitoring Partially Synchronous Distributed Systems Using SMT Solvers. |
RV |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vidhya Tekken Valapil, Sandeep S. Kulkarni |
Preserving Stabilization While Practically Bounding State Space. |
EDCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep S. Kulkarni, Nitin H. Vaidya |
Effectiveness of Delaying Timestamp Computation. |
PODC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksey Charapko, Ailidani Ailijiang, Murat Demirbas, Sandeep S. Kulkarni |
Retrospective Lightweight Distributed Snapshots Using Loosely Synchronized Clocks. |
ICDCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni |
CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks. |
SRDS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nitin H. Vaidya, Sandeep S. Kulkarni |
Efficient Timestamps for Capturing Causality. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Mohammad Roohitavaf, Sandeep S. Kulkarni |
GentleRain+: Making GentleRain Robust on Clock Anomalies. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas |
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Mohammad Roohitavaf, Sandeep S. Kulkarni |
Automatic Addition of Conflicting Properties. |
SSS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Roohitavaf, Sandeep S. Kulkarni |
Stabilization and fault-tolerance in presence of unchangeable environment actions. |
ICDCN |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas |
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. |
RV |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Roohitavaf, Yiyan Lin, Sandeep S. Kulkarni |
Lazy Repair for Addition of Fault-Tolerance to Distributed Programs. |
IPDPS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni |
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Roohitavaf, Sandeep S. Kulkarni |
Collaborative Stabilization. |
SRDS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuad Abujarad, Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni |
The complexity of automated addition of fault-tolerance without explicit legitimate states. |
Distributed Computing |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni |
Specification-based Synthesis of Distributed Self-Stabilizing Protocols. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Mohammad Roohitavaf, Sandeep S. Kulkarni |
Stabilization and Fault-Tolerance in Presence of Unchangeable Environment Actions. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni |
Auditable Restoration of Distributed Programs. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
Synthesizing bounded-time 2-phase fault recovery. |
Formal Asp. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Zhu, Jingshu Chen, Sandeep S. Kulkarni |
Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Murat Demirbas, Sandeep S. Kulkarni |
Highly Auditable Distributed Systems. |
HotCloud |
2015 |
DBLP BibTeX RDF |
|
| 1 | Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni |
Multi-scenario, multi-objective optimization using evolutionary algorithms: Initial results. |
CEC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
A Theory of Integrating Tamper Evidence with Stabilization. |
FSEN |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Zhu, Sandeep S. Kulkarni |
Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs. |
GECCO |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Murat Demirbas |
Analysis of Bounds on Hybrid Vector Clocks. |
OPODIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingshu Chen, Mohammad Roohitavaf, Sandeep S. Kulkarni |
Ensuring Average Recovery with Adversarial Scheduler. |
OPODIS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata. |
NFM |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Zhu, Sandeep S. Kulkarni |
Using Genetic Programming to Identify Tradeoffs in Self-Stabilizing Programs: A Case Study. |
ICDCS Workshops |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni |
Auditable Restoration of Distributed Programs. |
SRDS |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingshu Chen, Ali Ebnenasir, Sandeep S. Kulkarni |
The Complexity of Adding Multitolerance. |
TAAS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Zhu, Kalyanmoy Deb, Sandeep S. Kulkarni |
Multi-scenario optimization using multi-criterion methods: A case study on Byzantine agreement problem. |
IEEE Congress on Evolutionary Computation |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni |
Knowledge-Based Automated Repair of Authentication Protocols. |
FM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiyan Lin, Sandeep S. Kulkarni |
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandeep S. Kulkarni, Murat Demirbas, Deepak Madappa, Bharadwaj Avva, Marcelo Leone |
Logical Physical Clocks. |
OPODIS |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
Analysis of Permanent Faults in Transaction Level SystemC Models. |
ICDCS Workshops |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. |
SEFM |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingshu Chen, Sandeep S. Kulkarni |
MR4UM: A framework for adding fault tolerance to UML state diagrams. |
Theor. Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni |
Facilitating the design of fault tolerance in transaction level SystemC programs. |
Theor. Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni |
Towards scalable model checking of self-stabilizing programs. |
J. Parallel Distrib. Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni |
Automated Addition of Fault-Tolerance under Synchronous Semantics. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Zhu, Sandeep S. Kulkarni |
Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming. |
SSS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
Modeling and analyzing timing faults in transaction level SystemC programs. |
NoCArc@MICRO |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingshu Chen, Sandeep S. Kulkarni |
SMT-Based Model Checking for Stabilizing Programs, . |
ICDCN |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiyan Lin, Sandeep S. Kulkarni |
Automated Multi-graceful Degradation: A Case Study. |
SRDS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad |
Symbolic synthesis of masking fault-tolerant distributed programs. |
Distributed Computing |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
Automated model repair for distributed programs. |
SIGACT News |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingshu Chen, Sandeep S. Kulkarni |
Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. |
SSS |
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 | Jingshu Chen, Sandeep S. Kulkarni |
Application of Automated Revision for UML Models: A Case Study. |
ICDCN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Murat Demirbas, Serafettin Tasci, Sandeep S. Kulkarni |
Maestro: A cloud computing framework with automated locking. |
ISCC |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yiyan Lin, Sandeep S. Kulkarni |
Automatic Generation of Graceful Programs. |
SRDS |
2012 |
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 | Shlomi Dolev, Sandeep S. Kulkarni, André Schiper |
Preface. |
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 | 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 | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
Active Stabilization. |
SSS |
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 | Sandeep S. Kulkarni, Bezawada Bruhadeshwar |
Key-update distribution in secure group communication. |
Computer Communications |
2010 |
DBLP DOI BibTeX RDF |
|
| 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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license