default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSandeep S. Kulkarni
Person information
- affiliation: Michigan State University, East Lansing, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j57]Arya Tanmay Gupta
, Sandeep S. Kulkarni:
Tolerance to asynchrony in algorithms for multiplication and modulo. Theor. Comput. Sci. 1024: 114914 (2025)- 2024
- [j56]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Eventually lattice-linear algorithms. J. Parallel Distributed Comput. 185: 104802 (2024) - [c128]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Tolerance to Asynchrony of an Algorithm for Gathering Myopic Robots on an Infinite Triangular Grid. EDCC 2024: 61-68 - [c127]Ishaan Lagwankar, Sandeep S. Kulkarni:
Replay Clocks. ICDCN 2024: 114-123 - [i38]Raaghav Ravishankar, Sandeep S. Kulkarni, Sathya Peri, Gokarna Sharma:
Distributing Context-Aware Shared Memory Data Structures: A Case Study on Unordered Linked List. CoRR abs/2404.10151 (2024) - 2023
- [c126]Duong Ngoc Nguyen, Arya Tanmay Gupta, Sandeep S. Kulkarni:
Analyzing Program Transitions to Compute Benefit of Tolerating Consistency Violation Faults. ICDCN 2023: 58-69 - [c125]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Inducing Lattices in Non-Lattice-Linear Problems. SRDS 2023: 232-242 - [c124]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Lattice Linearity of Multiplication and Modulo. SSS 2023: 141-156 - [i37]Luke Sperling, Sandeep S. Kulkarni:
Privacy-Preserving Methods for Outlier-Resistant Average Consensus and Shallow Ranked Vote Leader Election. CoRR abs/2301.11882 (2023) - [i36]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Multiplication and Modulo are Lattice Linear. CoRR abs/2302.07207 (2023) - [i35]Arya Tanmay Gupta, Sandeep S. Kulkarni:
DAG-Inducing Problems and Algorithms. CoRR abs/2302.14834 (2023) - [i34]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Lattice Linearity in Assembling Myopic Robots on an Infinite Triangular Grid. CoRR abs/2307.13080 (2023) - [i33]Ishaan Lagwankar, Sandeep S. Kulkarni:
Replay Clocks. CoRR abs/2311.07842 (2023) - [i32]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Eventually Lattice-Linear Algorithms. CoRR abs/2311.09760 (2023) - 2022
- [j55]Ved Prakash Chaudhary, Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri:
Achieving starvation-freedom in multi-version transactional memory systems. Computing 104(10): 2159-2179 (2022) - [j54]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. Inf. Comput. 285(Part): 104696 (2022) - [c123]Sandeep S. Kulkarni, Gabe Appleton, Duong N. Nguyen:
Achieving Causality with Physical Clocks. ICDCN 2022: 97-106 - [c122]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Brief Announcement: Fully Lattice Linear Algorithms. SSS 2022: 341-345 - [e2]Raju S. Bapi, Sandeep S. Kulkarni, Swarup Mohalik, Sathya Peri:
Distributed Computing and Intelligent Technology - 18th International Conference, ICDCIT 2022, Bhubaneswar, India, January 19-23, 2022, Proceedings. Lecture Notes in Computer Science 13145, Springer 2022, ISBN 978-3-030-94875-7 [contents] - [i31]Sandeep S. Kulkarni, Sanjay M. Joshi:
Effect of Timing Error: A Case Study of Navigation Camera. CoRR abs/2203.01412 (2022) - [i30]Sandeep S. Kulkarni, Duong N. Nguyen, Lewis Tseng, Nitin H. Vaidya:
Impact of the Consistency Model on Checkpointing of Distributed Shared Memory. CoRR abs/2208.02411 (2022) - [i29]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Lattice Linear Algorithms. CoRR abs/2209.14703 (2022) - [i28]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Lattice Linear Problems vs Algorithms. CoRR abs/2210.03055 (2022) - 2021
- [j53]Duong N. Nguyen, Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas:
Precision, recall, and sensitivity of monitoring partially synchronous distributed programs. Distributed Comput. 34(5): 319-348 (2021) - [c121]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Extending Lattice Linearity for Self-stabilizing Algorithms. SSS 2021: 365-379 - [i27]Sandeep S. Kulkarni, Gabe Appleton, Duong N. Nguyen:
Achieving Causality with Physical Clocks. CoRR abs/2104.15099 (2021) - [i26]Sandeep S. Kulkarni, Duong N. Nguyen:
Analyzing the Effect of Consistency Violation Faults in Self-Stabilizing Programs. CoRR abs/2108.09418 (2021) - [i25]Arya Tanmay Gupta, Sandeep S. Kulkarni:
Extending Lattice linearity for Self-Stabilizing Algorithms. CoRR abs/2109.13216 (2021) - 2020
- [j52]Vidhya Tekken Valapil, Sandeep S. Kulkarni:
Preserving stabilization while practically bounding state space using incorruptible partially synchronized clocks. Distributed Comput. 33(5): 423-443 (2020) - [c120]Duong N. Nguyen, Sandeep S. Kulkarni:
Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores. SRDS 2020: 11-20 - [c119]Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Gabe Appleton:
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems. SRDS 2020: 123-132 - [i24]Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Gabe Appleton:
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems (Technical Report). CoRR abs/2007.13030 (2020) - [i23]Duong N. Nguyen, Sandeep S. Kulkarni:
Technical Report: Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores. CoRR abs/2007.14218 (2020)
2010 – 2019
- 2019
- [j51]Yiyan Lin, Sandeep S. Kulkarni, Arshad Jhumka:
Automation of fault-tolerant graceful degradation. Distributed Comput. 32(1): 1-25 (2019) - [j50]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Automatic Addition of Fault-Tolerance in Presence of Unchangeable Environment Actions †. Future Internet 11(7): 144 (2019) - [j49]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. Comput. Soc. 25(1): 10:1-10:25 (2019) - [j48]Aleksey Charapko, Ailidani Ailijiang, Murat Demirbas, Sandeep S. Kulkarni:
Retroscope: Retrospective Monitoring of Distributed Systems. IEEE Trans. Parallel Distributed Syst. 30(11): 2582-2594 (2019) - [c118]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: 100-109 - [c117]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: 148-157 - [c116]Ved Prakash Chaudhary, Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri:
Achieving Starvation-Freedom in Multi-version Transactional Memory Systems. NETYS 2019: 291-310 - [c115]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: 209-227 - [i22]Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani:
Obtaining Progress Guarantee and GreaterConcurrency in Multi-Version Object Semantics. CoRR abs/1904.03700 (2019) - [i21]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 abs/1905.01200 (2019) - [i20]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 abs/1909.01980 (2019) - [i19]Duong N. Nguyen, Sandeep S. Kulkarni:
Benefits of Stabilization versus Rollback in Eventually Consistent Key-Value Stores. CoRR abs/1910.08248 (2019) - 2018
- [j47]Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni:
Automated Synthesis of Distributed Self-Stabilizing Protocols. Log. Methods Comput. Sci. 14(1) (2018) - [j46]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
A theory of integrating tamper evidence with stabilization. Sci. Comput. Program. 160: 93-114 (2018) - [j45]Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni:
Handling Multiple Scenarios in Evolutionary Multiobjective Numerical Optimization. IEEE Trans. Evol. Comput. 22(6): 920-933 (2018) - [j44]Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Sandeep S. Kulkarni, Murat Demirbas:
Analysis of Bounds on Hybrid Vector Clocks. IEEE Trans. Parallel Distributed Syst. 29(9): 1947-1960 (2018) - [c114]Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas:
NetSynth: a framework for synthesizing customized network protocols using genetic programming. GECCO (Companion) 2018: 243-244 - [c113]Mohammad Roohitavaf, Ling Zhu, Sandeep S. Kulkarni, Subir Biswas:
Synthesizing customized network protocols using genetic programming. GECCO (Companion) 2018: 1616-1623 - [c112]Mohammad Roohitavaf, Sandeep S. Kulkarni:
DKVF: a framework for rapid prototyping and evaluating distributed key-value stores. ASE 2018: 912-915 - [c111]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: 67-76 - [c110]Bruhadeshwar Bezawada, Sandeep S. Kulkarni, Indrajit Ray, Indrakshi Ray, Rui Li:
Independent Key Distribution Protocols for Broadcast Authentication. SACMAT 2018: 27-38 - [c109]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: 345-360 - [c108]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: 284-300 - [i18]Mohammad Roohitavaf, Sandeep S. Kulkarni:
DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-value Stores. CoRR abs/1801.05064 (2018) - [i17]Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas:
Optimistic Execution in Key-Value Store. CoRR abs/1801.07319 (2018) - [i16]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Toward Adaptive Causal Consistency for Replicated Data Stores. CoRR abs/1803.08609 (2018) - [i15]Duong N. Nguyen, Aleksey Charapko, Sandeep S. Kulkarni, Murat Demirbas:
Technical Report: Optimistic Execution in Key-Value Store. CoRR abs/1805.11453 (2018) - [i14]Duong N. Nguyen, Sandeep S. Kulkarni, Ajoy K. Datta:
Benefit of Self-Stabilizing Protocols in Eventually Consistent Key-Value Stores: A Case Study. CoRR abs/1808.00822 (2018) - [i13]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 abs/1808.05698 (2018) - [i12]Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni:
CausalSpartanX: Causal Consistency and Non-Blocking Read-Only Transactions. CoRR abs/1812.07123 (2018) - 2017
- [j43]Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni:
Bounded Auditable Restoration of Distributed Systems. IEEE Trans. Computers 66(2): 240-255 (2017) - [c107]Vidhya Tekken Valapil, Sandeep S. Kulkarni:
Preserving Stabilization While Practically Bounding State Space. EDCC 2017: 26-33 - [c106]Sorrachai Yingchareonthawornchai, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas:
Efficient Algorithms for Predicate Detection using Hybrid Logical Clocks. ICDCN 2017: 10 - [c105]Aleksey Charapko, Ailidani Ailijiang, Murat Demirbas, Sandeep S. Kulkarni:
Retrospective Lightweight Distributed Snapshots Using Loosely Synchronized Clocks. ICDCS 2017: 2061-2066 - [c104]Sandeep S. Kulkarni, Nitin H. Vaidya:
Effectiveness of Delaying Timestamp Computation. PODC 2017: 263-272 - [c103]Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas:
Monitoring Partially Synchronous Distributed Systems Using SMT Solvers. RV 2017: 277-293 - [c102]Mohammad Roohitavaf, Murat Demirbas, Sandeep S. Kulkarni:
CausalSpartan: Causal Consistency for Distributed Data Stores Using Hybrid Logical Clocks. SRDS 2017: 184-193 - [i11]Vidhya Tekken Valapil, Sandeep S. Kulkarni:
Preserving Stabilization while Practically Bounding State Space. CoRR abs/1703.09326 (2017) - [i10]Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Eric Torng, Murat Demirbas:
Monitoring Partially Synchronous Distributed Systems using SMT Solvers. CoRR abs/1707.07699 (2017) - [i9]Ved Prakash Chaudhary, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri:
Starvation Freedom in Multi-Version Transactional Memory Systems. CoRR abs/1709.01033 (2017) - [i8]Vidhya Tekken Valapil, Sandeep S. Kulkarni:
Derivation of Network Reprogramming Protocol with Z3. CoRR abs/1709.06604 (2017) - [i7]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 abs/1712.09803 (2017) - 2016
- [c101]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: 22:1-22:6 - [c100]Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni:
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols. FORTE 2016: 124-141 - [c99]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Stabilization and fault-tolerance in presence of unchangeable environment actions. ICDCN 2016: 19:1-19:10 - [c98]Mohammad Roohitavaf, Yiyan Lin, Sandeep S. Kulkarni:
Lazy Repair for Addition of Fault-Tolerance to Distributed Programs. IPDPS 2016: 1071-1080 - [c97]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: 420-435 - [c96]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Collaborative Stabilization. SRDS 2016: 259-268 - [c95]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Automatic Addition of Conflicting Properties. SSS 2016: 310-326 - [i6]Nitin H. Vaidya, Sandeep S. Kulkarni:
Efficient Timestamps for Capturing Causality. CoRR abs/1606.05962 (2016) - [i5]Sorrachai Yingchareonthawornchai, Duong N. Nguyen, Vidhya Tekken Valapil, Sandeep S. Kulkarni, Murat Demirbas:
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems. CoRR abs/1607.03369 (2016) - [i4]Mohammad Roohitavaf, Sandeep S. Kulkarni:
GentleRain+: Making GentleRain Robust on Clock Anomalies. CoRR abs/1612.05205 (2016) - 2015
- [j42]Fuad Abujarad, Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni:
The complexity of automated addition of fault-tolerance without explicit legitimate states. Distributed Comput. 28(3): 201-219 (2015) - [j41]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Synthesizing bounded-time 2-phase fault recovery. Formal Aspects Comput. 27(1): 1-31 (2015) - [j40]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 Distributed Comput. 77: 41-57 (2015) - [c94]Kalyanmoy Deb, Ling Zhu, Sandeep S. Kulkarni:
Multi-scenario, multi-objective optimization using evolutionary algorithms: Initial results. CEC 2015: 1877-1884 - [c93]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
A Theory of Integrating Tamper Evidence with Stabilization. FSEN 2015: 84-99 - [c92]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: 1119-1126 - [c91]Murat Demirbas, Sandeep S. Kulkarni:
Highly Auditable Distributed Systems. HotCloud 2015 - [c90]Ling Zhu, Sandeep S. Kulkarni:
Using Genetic Programming to Identify Tradeoffs in Self-Stabilizing Programs: A Case Study. ICDCS Workshops 2015: 29-34 - [c89]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata. NFM 2015: 429-435 - [c88]Jingshu Chen, Mohammad Roohitavaf, Sandeep S. Kulkarni:
Ensuring Average Recovery with Adversarial Scheduler. OPODIS 2015: 23:1-23:18 - [c87]Sorrachai Yingchareonthawornchai, Sandeep S. Kulkarni, Murat Demirbas:
Analysis of Bounds on Hybrid Vector Clocks. OPODIS 2015: 34:1-34:17 - [c86]Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni:
Auditable Restoration of Distributed Programs. SRDS 2015: 37-46 - [c85]Ling Zhu, Jingshu Chen, Sandeep S. Kulkarni:
Refinement of Probabilistic Stabilizing Programs Using Genetic Algorithms. SSS 2015: 217-232 - [i3]Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni:
Auditable Restoration of Distributed Programs. CoRR abs/1506.07957 (2015) - [i2]Mohammad Roohitavaf, Sandeep S. Kulkarni:
Stabilization and Fault-Tolerance in Presence of Unchangeable Environment Actions. CoRR abs/1508.00864 (2015) - [i1]Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep S. Kulkarni:
Specification-based Synthesis of Distributed Self-Stabilizing Protocols. CoRR abs/1509.05664 (2015) - 2014
- [j39]Jingshu Chen, Ali Ebnenasir, Sandeep S. Kulkarni:
The Complexity of Adding Multitolerance. ACM Trans. Auton. Adapt. Syst. 9(3): 15:1-15:33 (2014) - [c84]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: 2601-2608 - [c83]Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni:
Knowledge-Based Automated Repair of Authentication Protocols. FM 2014: 132-147 - [c82]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
Analysis of Permanent Faults in Transaction Level SystemC Models. ICDCS Workshops 2014: 154-160 - [c81]Yiyan Lin, Sandeep S. Kulkarni:
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability. ISSTA 2014: 237-247 - [c80]Sandeep S. Kulkarni, Murat Demirbas, Deepak Madappa, Bharadwaj Avva, Marcelo Leone:
Logical Physical Clocks. OPODIS 2014: 17-32 - [c79]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. SEFM 2014: 175-189 - 2013
- [j38]Jingshu Chen, Fuad Abujarad, Sandeep S. Kulkarni:
Towards scalable model checking of self-stabilizing programs. J. Parallel Distributed Comput. 73(4): 400-410 (2013) - [j37]Jingshu Chen, Sandeep S. Kulkarni:
MR4UM: A framework for adding fault tolerance to UML state diagrams. Theor. Comput. Sci. 496: 17-33 (2013) - [j36]Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni:
Facilitating the design of fault tolerance in transaction level SystemC programs. Theor. Comput. Sci. 496: 50-68 (2013) - [c78]Jingshu Chen, Sandeep S. Kulkarni:
SMT-Based Model Checking for Stabilizing Programs, . ICDCN 2013: 393-407 - [c77]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
Modeling and analyzing timing faults in transaction level SystemC programs. NoCArc@MICRO 2013: 65-68 - [c76]Yiyan Lin, Sandeep S. Kulkarni:
Automated Multi-graceful Degradation: A Case Study. SRDS 2013: 81-90 - [c75]Yiyan Lin, Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Automated Addition of Fault-Tolerance under Synchronous Semantics. SSS 2013: 266-280 - [c74]Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni:
Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. SSS 2013: 344-347 - [c73]Ling Zhu, Sandeep S. Kulkarni:
Synthesizing Round Based Fault-Tolerant Programs Using Genetic Programming. SSS 2013: 370-372 - 2012
- [j35]Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad:
Symbolic synthesis of masking fault-tolerant distributed programs. Distributed Comput. 25(1): 83-108 (2012) - [j34]Borzoo Bonakdarpour, Sandeep S. Kulkarni:
Automated model repair for distributed programs. SIGACT News 43(2): 85-107 (2012) - [c72]Jingshu Chen, Sandeep S. Kulkarni:
Application of Automated Revision for UML Models: A Case Study. ICDCN 2012: 31-45 - [c71]Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni:
Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs. ICDCN 2012: 91-105 - [c70]Murat Demirbas, Serafettin Tasci, Sandeep S. Kulkarni:
Maestro: A cloud computing framework with automated locking. ISCC 2012: 833-838 - [c69]Yiyan Lin, Sandeep S. Kulkarni:
Automatic Generation of Graceful Programs. SRDS 2012: 225-230 - [c68]Jingshu Chen, Sandeep S. Kulkarni:
Brief Announcement: Verification of Stabilizing Programs with SMT Solvers. SSS 2012: 179-182 - 2011
- [j33]