Sandeep S. Kulkarni

Available identifiers

zbMath Open kulkarni.sandeep-sWikidataQ102346752 ScholiaQ102346752MaRDI QIDQ287218

List of research outcomes

Publication	Date of Publication	Type
Tolerance to asynchrony in algorithms for multiplication and modulo	2024-12-12	Paper
Achieving starvation-freedom with greater concurrency in multi-version object-based transactional memory systems	2024-04-19	Paper
Brief announcement: Fully lattice linear algorithms	2023-06-12	Paper
Extending Lattice Linearity for Self-stabilizing Algorithms	2023-04-21	Paper
An efficient approach to achieve compositionality using optimized multi-version object based transactional systems	2022-05-17	Paper
Preserving stabilization while \textit{practically} bounding state space using incorruptible partially synchronized clocks	2020-10-16	Paper
Automatic addition of conflicting properties	2019-11-22	Paper
Automation of fault-tolerant graceful degradation	2019-03-21	Paper
Biased clocks: a novel approach to improve the ability to perform predicate detection with \(O(1)\) clocks	2019-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q4603447	2018-02-20	Paper
Effectiveness of Delaying Timestamp Computation	2017-10-11	Paper
https://portal.mardi4nfdi.de/entity/Q5363825	2017-09-29	Paper
Ensuring Average Recovery with Adversarial Scheduler	2017-09-29	Paper
Bounded Auditable Restoration of Distributed Systems	2017-06-08	Paper
Multitolerant barrier synchronization	2016-05-26	Paper
Synthesizing bounded-time 2-phase fault recovery	2016-01-06	Paper
The complexity of automated addition of fault-tolerance without explicit legitimate states	2015-07-22	Paper
Resettable vector clocks	2015-03-03	Paper
Weakest Invariant Generation for Automated Addition of Fault-Tolerance	2014-07-22	Paper
MR4UM: a framework for adding fault tolerance to UML state diagrams	2014-01-10	Paper
Facilitating the design of fault tolerance in transaction level SystemC programs	2014-01-10	Paper
Symbolic synthesis of masking fault-tolerant distributed programs	2013-02-04	Paper
Assurance of dynamic adaptation in distributed systems	2012-07-26	Paper
Automated constraint-based addition of nonmasking and stabilizing fault-tolerance	2011-07-22	Paper
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs	2008-04-24	Paper
Resettable vector clocks	2006-05-22	Paper
Principles of Distributed Systems	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4457213	2004-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4446609	2004-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q2766635	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4259995	1999-09-08	Paper
A token based \(k\)-resilient mutual exclusion algorithm for distributed systems	1994-07-18	Paper

Research outcomes over time

This page was built for person: Sandeep S. Kulkarni