Sandeep S. Kulkarni

From MaRDI portal
Person:287218

Available identifiers

zbMath Open kulkarni.sandeep-sWikidataQ102346752 ScholiaQ102346752MaRDI QIDQ287218

List of research outcomes





PublicationDate of PublicationType
Tolerance to asynchrony in algorithms for multiplication and modulo2024-12-12Paper
Achieving starvation-freedom with greater concurrency in multi-version object-based transactional memory systems2024-04-19Paper
Brief announcement: Fully lattice linear algorithms2023-06-12Paper
Extending Lattice Linearity for Self-stabilizing Algorithms2023-04-21Paper
An efficient approach to achieve compositionality using optimized multi-version object based transactional systems2022-05-17Paper
Preserving stabilization while \textit{practically} bounding state space using incorruptible partially synchronized clocks2020-10-16Paper
Automatic addition of conflicting properties2019-11-22Paper
Automation of fault-tolerant graceful degradation2019-03-21Paper
Biased clocks: a novel approach to improve the ability to perform predicate detection with \(O(1)\) clocks2019-01-30Paper
https://portal.mardi4nfdi.de/entity/Q46034472018-02-20Paper
Effectiveness of Delaying Timestamp Computation2017-10-11Paper
https://portal.mardi4nfdi.de/entity/Q53638252017-09-29Paper
Ensuring Average Recovery with Adversarial Scheduler2017-09-29Paper
Bounded Auditable Restoration of Distributed Systems2017-06-08Paper
Multitolerant barrier synchronization2016-05-26Paper
Synthesizing bounded-time 2-phase fault recovery2016-01-06Paper
The complexity of automated addition of fault-tolerance without explicit legitimate states2015-07-22Paper
Resettable vector clocks2015-03-03Paper
Weakest Invariant Generation for Automated Addition of Fault-Tolerance2014-07-22Paper
MR4UM: a framework for adding fault tolerance to UML state diagrams2014-01-10Paper
Facilitating the design of fault tolerance in transaction level SystemC programs2014-01-10Paper
Symbolic synthesis of masking fault-tolerant distributed programs2013-02-04Paper
Assurance of dynamic adaptation in distributed systems2012-07-26Paper
Automated constraint-based addition of nonmasking and stabilizing fault-tolerance2011-07-22Paper
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs2008-04-24Paper
Resettable vector clocks2006-05-22Paper
Principles of Distributed Systems2005-08-24Paper
https://portal.mardi4nfdi.de/entity/Q44572132004-03-21Paper
https://portal.mardi4nfdi.de/entity/Q44466092004-02-02Paper
https://portal.mardi4nfdi.de/entity/Q27666352002-06-17Paper
https://portal.mardi4nfdi.de/entity/Q42599951999-09-08Paper
A token based \(k\)-resilient mutual exclusion algorithm for distributed systems1994-07-18Paper

Research outcomes over time

This page was built for person: Sandeep S. Kulkarni