Sandeep S. Kulkarni
Orcid: 0000-0002-7608-2116Affiliations:
- Michigan State University, East Lansing, USA
According to our database1,
Sandeep S. Kulkarni
authored at least 194 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on cse.msu.edu
On csauthors.net:
Bibliography
2024
Proceedings of the 25th International Conference on Distributed Computing and Networking, 2024
2023
CoRR, 2023
Privacy-Preserving Methods for Outlier-Resistant Average Consensus and Shallow Ranked Vote Leader Election.
CoRR, 2023
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023
Proceedings of the 42nd International Symposium on Reliable Distributed Systems, 2023
Analyzing Program Transitions to Compute Benefit of Tolerating Consistency Violation Faults.
Proceedings of the 24th International Conference on Distributed Computing and Networking, 2023
2022
An efficient approach to achieve compositionality using optimized multi-version object based transactional systems.
Inf. Comput., 2022
CoRR, 2022
Computing, 2022
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2022
Proceedings of the ICDCN '22: 23rd International Conference on Distributed Computing and Networking, Delhi, AA, India, January 4, 2022
2021
Precision, recall, and sensitivity of monitoring partially synchronous distributed programs.
Distributed Comput., 2021
CoRR, 2021
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021
2020
Preserving stabilization while practically bounding state space using incorruptible partially synchronized clocks.
Distributed Comput., 2020
Technical Report: Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores.
CoRR, 2020
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report).
CoRR, 2020
Proceedings of the International Symposium on Reliable Distributed Systems, 2020
Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores.
Proceedings of the International Symposium on Reliable Distributed Systems, 2020
2019
IEEE Trans. Parallel Distributed Syst., 2019
Using weaker consistency models with monitoring and recovery for improving performance of key-value stores.
J. Braz. Comput. Soc., 2019
Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions <sup>†</sup>.
Future Internet, 2019
CoRR, 2019
Obtaining Progress Guarantee and GreaterConcurrency in Multi-Version Object Semantics.
CoRR, 2019
Achieving Starvation-Freedom with Greater Concurrency in Multi-Version Object-based Transactional Memory Systems.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2019
Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019
Benefit of self-stabilizing protocols in eventually consistent key-value stores: a case study.
Proceedings of the 20th International Conference on Distributed Computing and Networking, 2019
2018
IEEE Trans. Parallel Distributed Syst., 2018
IEEE Trans. Evol. Comput., 2018
Sci. Comput. Program., 2018
Log. Methods Comput. Sci., 2018
CoRR, 2018
An Innovative Approach to Achieve Compositionality Efficiently Using Multi-version Object Based Transactional Systems.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018
Biased Clocks: A Novel Approach to Improve the Ability To Perform Predicate Detection with O(1) Clocks.
Proceedings of the Structural Information and Communication Complexity, 2018
Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018
NetSynth: a framework for synthesizing customized network protocols using genetic programming.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018
2017
An Innovative Approach for Achieving Composability in Concurrent Systems using Multi-Version Object Based STMs.
CoRR, 2017
CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks.
Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017
Proceedings of the Runtime Verification - 17th International Conference, 2017
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017
Proceedings of the 18th International Conference on Distributed Computing and Networking, 2017
Proceedings of the 13th European Dependable Computing Conference, 2017
2016
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2016
Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems.
Proceedings of the Runtime Verification - 16th International Conference, 2016
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium, 2016
Proceedings of the 17th International Conference on Distributed Computing and Networking, 2016
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016
A framework for verification of SystemC TLM programs with model slicing: a case study.
Proceedings of the 53rd Annual Design Automation Conference, 2016
2015
J. Parallel Distributed Comput., 2015
The complexity of automated addition of fault-tolerance without explicit legitimate states.
Distributed Comput., 2015
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2015
Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015
Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015
Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Using Genetic Programming to Identify Tradeoffs in Self-Stabilizing Programs: A Case Study.
Proceedings of the IEEE 35th International Conference on Distributed Computing Systems Workshops, 2015
Proceedings of the 7th USENIX Workshop on Hot Topics in Cloud Computing, 2015
Using Model Checking Techniques For Evaluating the Effectiveness of Evolutionary Computing in Synthesis of Distributed Fault-Tolerant Programs.
Proceedings of the Genetic and Evolutionary Computation Conference, 2015
Multi-scenario, multi-objective optimization using evolutionary algorithms: Initial results.
Proceedings of the IEEE Congress on Evolutionary Computation, 2015
2014
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
Proceedings of the Principles of Distributed Systems - 18th International Conference, 2014
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability.
Proceedings of the International Symposium on Software Testing and Analysis, 2014
Proceedings of the 34th International Conference on Distributed Computing Systems Workshops (ICDCS 2014 Workshops), Madrid, Spain, June 30, 2014
Proceedings of the FM 2014: Formal Methods, 2014
Multi-scenario optimization using multi-criterion methods: A case study on Byzantine agreement problem.
Proceedings of the IEEE Congress on Evolutionary Computation, 2014
2013
Theor. Comput. Sci., 2013
Theor. Comput. Sci., 2013
J. Parallel Distributed Comput., 2013
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013
Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013
Proceedings of the Distributed Computing and Networking, 14th International Conference, 2013
2012
Distributed Comput., 2012
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012
Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012
Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012
2011
IEEE Trans. Parallel Distributed Syst., 2011
ACM Trans. Softw. Eng. Methodol., 2011
IEEE Trans. Dependable Secur. Comput., 2011
Theor. Comput. Sci., 2011
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011
Proceedings of the 11th International Conference on Embedded Software, 2011
2010
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010
Proceedings of the 2010 International Conference on Distributed Computing Systems, 2010
2009
Proceedings of the Guide to Wireless Mesh Networks, 2009
ACM Trans. Sens. Networks, 2009
Proceedings of the Workshop on Logical Aspects of Fault Tolerance, 2009
Proceedings of the Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, 2009
Proceedings of the Stabilization, 2009
Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009
Proceedings of the Sensor Systems and Software, 2009
Proceedings of the IEEE 6th International Conference on Mobile Adhoc and Sensor Systems, 2009
On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery.
Proceedings of the FM 2009: Formal Methods, 2009
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009
2008
Int. J. Softw. Tools Technol. Transf., 2008
J. Parallel Distributed Comput., 2008
Ad Hoc Networks, 2008
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 2008
Proceedings of the FM 2008: Formal Methods, 2008
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
2007
Proceedings of the Stabilization, 2007
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007
Proceedings of the Second International Workshop on Automation of Software Test, 2007
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space.
Proceedings of the 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), 2007
On the Design of Mobility-Tolerant TDMA-Based Media Access Control (MAC) Protocol for Mobile Sensor Networks.
Proceedings of the Distributed Computing and Internet Technology, 2007
2006
J. Aerosp. Comput. Inf. Commun., 2006
Int. J. Distributed Sens. Networks, 2006
Erratum to "Secret instantiation in ad-hoc networks" [Computer Communications 29 (2006) 200-215].
Comput. Commun., 2006
Comput. Commun., 2006
Ad Hoc Networks, 2006
Proceedings of the Stabilization, 2006
Proceedings of the Stabilization, 2006
Proceedings of the Stabilization, 2006
Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006
Proceedings of the Formal Methods: Applications and Technology, 2006
Proceedings of the Distributed Computing in Sensor Systems, 2006
2005
The Effect of the Specification Model on the Complexity of Adding Masking Fault Tolerance.
IEEE Trans. Dependable Secur. Comput., 2005
IEEE Trans. Dependable Secur. Comput., 2005
ACM SIGSOFT Softw. Eng. Notes, 2005
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005
Proactive Reliable Bulk Data Dissemination in Sensor Networks.
Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2005
Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005
Proceedings of the Network and Distributed System Security Symposium, 2005
Proceedings of the 13th IEEE International Conference on Network Protocols (ICNP 2005), 2005
Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005
Proceedings of the Distributed Computing and Internet Technology, 2005
Proceedings of the Distributed Computing and Internet Technology, 2005
Proceedings of the Dependable Computing, 2005
Proceedings of the Distributed Computing in Sensor Systems, 2005
2004
A line in the sand: a wireless sensor network for target detection, classification, and tracking.
Comput. Networks, 2004
Proceedings of the Logic Based Program Synthesis and Transformation, 2004
Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004
Proceedings of the Distributed Computing and Internet Technology, 2004
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004
2003
Proceedings of the Self-Stabilizing Systems, 6th International Symposium, SSS 2003, 2003
Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003
Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003
2002
Education: Interactive Distributed Applications and the Computer Science Curriculum.
IEEE Distributed Syst. Online, 2002
Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002
Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002
2001
Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001
2000
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000
1999
A case-study in component-based mechanical verification of fault-tolerant programs.
Proceedings of the 1999 ICDCS Workshop on Self-stabilizing Systems, 1999
1998
IEEE Trans. Software Eng., 1998
Proceedings of the 1998 International Conference on Parallel Processing (ICPP '98), 1998
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998
1997
Compositional design of multitolerant repetitive byzantine agreement.
Proceedings of the 3rd Workshop on Self-stabilizing Systems, 1997
Proceedings of the 1997 International Conference on Network Protocols (ICNP '97), 1997
1994
Inf. Process. Lett., 1994