Sandeep S. Kulkarni

Available identifiers

zbMath Open kulkarni.sandeep-sWikidataQ102346752 ScholiaQ102346752MaRDI QIDQ287218

List of research outcomes

Publication	Date of Publication	Type
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
Ensuring Average Recovery with Adversarial Scheduler	2017-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q5363825	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sandeep S. Kulkarni