Author

Nair SS

Sorbonne Universit

Biography

Dr. Nair SS, Studied in the Department of Nephrology, Currently working in Medical College Hospital, Thiruvananthapuram, Kerala, India, research interests are Nephrology, internal medicine and pediatric medicine kidneys  
Title
Cited by
Year
Proving the safety of highly-available distributed objects
SS Nair, G Petri, M ShapiroEuropean Symposium on Programming, 544-571, 2020202
29
2020
A Static Code Analysis Tool for Control System Software
SS Nair, R Jetley, A Nair, S Hauck-StattelmannIEEE 22nd International Conference on Software Analysis, Evolution, and …, 202
15
2015
Invariant Safety for Distributed Applications
S Nair, G Petri, M ShapiroWorkshop on Principles and Practice of Consistency for Distributed Data …, 2019201
8
2019
Improving the" Correct Eventual Consistency" Tool
S Nair, M ShapiroarXiv preprint arXiv:1807.0431, 2018201
6
2018
A static analyzer for Industrial robotic applications
A Mandal, R Jetley, M D’Souza, S Nair2017 IEEE International Symposium on Software Reliability Engineering …, 2017201
6
2017
A coordination-free, convergent, and safe replicated tree
S Nair, F Meirim, M Pereira, C Ferreira, M ShapiroarXiv preprint arXiv:2103.04828, 2021202
5
2021
Evaluation of the CEC (Correct Eventual Consistency) Tool
SS Nairhttps://hal.inria.fr/hal-0168719v, 01701
2
2017
Proving the safety of highly-available distributed objects (Extended version)
S Nair, G Petri, M ShapiroLIP6, Sorbonne Université, Inria, Paris, France; Arm Research, Cambridge, UK, 2020202
1
2020

Referred From: https://scholar.google.com/citations?user=qmFAUpwAAAAJ&hl=en

Cited by
Citations 81
h-index 6
i10-index 2
Recommended Journals
Open Access Journals